indexing description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table ISSUE" class ISSUE inherit ANY redefine out end create make feature -- Access issue_id: INTEGER -- Auto-generated. project_id: INTEGER -- Auto-generated. project_issue_id: INTEGER -- Auto-generated. title: STRING -- Auto-generated. private: INTEGER -- Auto-generated. last_modified: INTEGER -- Hand-generated feature -- Initialization make is do issue_id := 0 project_id := 0 project_issue_id := 0 title := "" last_modified := 0 end feature -- Settings set_issue_id (a_issue_id: INTEGER) is --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_project_id (a_project_id: INTEGER) is --Set the value of project_id require value_exists: a_project_id > 0 do project_id := a_project_id ensure project_id_set: a_project_id = project_id end set_project_issue_id (a_project_issue_id: INTEGER) is --Set the value of project_issue_id require value_exists: a_project_issue_id > 0 do project_issue_id := a_project_issue_id ensure project_issue_id_set: a_project_issue_id = project_issue_id end set_title (a_title: STRING) is --Set the value of title require value_exists: a_title /= Void do title := a_title ensure title_set: a_title = title end set_private (a_is_private: BOOLEAN) is --Set the value of private do if a_is_private then private := 1 else private := 0 end end set_last_modified (a_last_modified: INTEGER) is --Set the value of last_modified require value_exists: a_last_modified > -1 do last_modified := a_last_modified ensure last_modified_set: a_last_modified = last_modified end feature -- Output out: STRING is do Result := "" Result.append (issue_id.out + "%N") Result.append (project_id.out + "%N") Result.append (project_issue_id.out + "%N") Result.append (title.out + "%N") Result.append (private.out + "%N") Result.append (last_modified.out + "%N") end end -- class ISSUE