indexing description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table WORKITEM_ISSUE" class WORKITEM_ISSUE inherit ANY redefine out end create make feature -- Access workitem_id: INTEGER -- Auto-generated. issue_revision_id: INTEGER -- Auto-generated. feature -- Initialization make is do workitem_id := 0 issue_revision_id := 0 end feature -- Settings set_workitem_id (a_workitem_id: INTEGER) is --Set the value of workitem_id require value_exists: a_workitem_id >= 0 do workitem_id := a_workitem_id ensure workitem_id_set: a_workitem_id = workitem_id end set_issue_revision_id (a_issue_revision_id: INTEGER) is --Set the value of issue_revision_id require value_exists: a_issue_revision_id >= 0 do issue_revision_id := a_issue_revision_id ensure issue_revision_id_set: a_issue_revision_id = issue_revision_id end feature -- Output out: STRING is do Result := "" Result.append (workitem_id.out + "%N") Result.append (issue_revision_id.out + "%N") end end -- class WORKITEM_ISSUE