indexing description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table WORKITEM_RELEASE" class WORKITEM_RELEASE inherit ANY redefine out end create make feature -- Access workitem_id: INTEGER -- Auto-generated. release_id: INTEGER -- Auto-generated. feature -- Initialization make is do workitem_id := 0 release_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_release_id (a_release_id: INTEGER) is --Set the value of release_id require value_exists: a_release_id >= 0 do release_id := a_release_id ensure release_id_set: a_release_id = release_id end feature -- Output out: STRING is do Result := "" Result.append (workitem_id.out + "%N") Result.append (release_id.out + "%N") end end -- class WORKITEM_RELEASE