note description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table WORKITEM_COMMIT" class WORKITEM_COMMIT inherit ANY redefine out end create make feature -- Access workitem_id: INTEGER -- Auto-generated. revision: INTEGER -- Auto-generated. log: STRING -- Auto-generated. diff: STRING -- Auto-generated. feature -- Initialization make do workitem_id := 0 revision := 0 log := "" diff := "" end feature -- Settings set_workitem_id (a_workitem_id: INTEGER) --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_revision (a_revision: INTEGER) --Set the value of revision require value_exists: a_revision >= 0 do revision := a_revision ensure revision_set: a_revision = revision end set_log (a_log: STRING) --Set the value of log require value_exists: a_log /= Void do log := a_log ensure log_set: a_log = log end set_diff (a_diff: STRING) --Set the value of diff require value_exists: a_diff /= Void do diff := a_diff ensure diff_set: a_diff = diff end feature -- Output out: STRING do Result := "" Result.append (workitem_id.out + "%N") Result.append (revision.out + "%N") Result.append (log.out + "%N") Result.append (diff.out + "%N") end end -- class WORKITEM_COMMIT