indexing description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table WORKITEM_BLOG" class WORKITEM_BLOG inherit ANY redefine out end create make feature -- Access workitem_id: INTEGER -- Auto-generated. title: STRING -- Auto-generated. diff: STRING -- Auto-generated. revision: INTEGER -- Auto-generated. old_revision: INTEGER -- Auto-generated. feature -- Initialization make is do workitem_id := 0 title := "" diff := "" revision := 0 old_revision := 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_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_diff (a_diff: STRING) is --Set the value of diff require value_exists: a_diff /= Void do diff := a_diff ensure diff_set: a_diff = diff end set_revision (a_revision: INTEGER) is --Set the value of revision require value_exists: a_revision >= 0 do revision := a_revision ensure revision_set: a_revision = revision end set_old_revision (a_old_revision: INTEGER) is --Set the value of old_revision require value_exists: a_old_revision >= 0 do old_revision := a_old_revision ensure old_revision_set: a_old_revision = old_revision end feature -- Output out: STRING is do Result := "" Result.append (workitem_id.out + "%N") Result.append (title.out + "%N") Result.append (diff.out + "%N") Result.append (revision.out + "%N") Result.append (old_revision.out + "%N") end end -- class WORKITEM_BLOG