note description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table ISSUE_ATTACHMENT" class ISSUE_ATTACHMENT inherit ANY redefine out end create make feature -- Access issue_attachment_id: INTEGER -- Auto-generated. issue_id: INTEGER -- Auto-generated. file_name: STRING -- Auto-generated. description: STRING -- Auto-generated. feature -- Initialization make do issue_attachment_id := 0 issue_id := 0 file_name := "" description := "" end feature -- Settings set_issue_attachment_id (a_issue_attachment_id: INTEGER) --Set the value of issue_attachment_id require value_exists: a_issue_attachment_id > 0 do issue_attachment_id := a_issue_attachment_id ensure issue_attachment_id_set: a_issue_attachment_id = issue_attachment_id end set_issue_id (a_issue_id: INTEGER) --Set the value of issue_id require value_exists: a_issue_id > 0 do issue_id := a_issue_id ensure issue_id_set: a_issue_id = issue_id end set_file_name (a_file_name: STRING) --Set the value of file_name require value_exists: a_file_name /= Void do file_name := a_file_name ensure file_name_set: a_file_name = file_name end set_description (a_description: STRING) --Set the value of description require value_exists: a_description /= Void do description := a_description ensure description_set: a_description = description end feature -- Output out: STRING do Result := "" Result.append (issue_attachment_id.out + "%N") Result.append (issue_id.out + "%N") Result.append (file_name.out + "%N") Result.append (description.out + "%N") end end -- class ISSUE_ATTACHMENT