note description: "Class which allows EiffelStore to retrieve/store% %the content relative to a column of the table ISSUE_REVISION" class ISSUE_REVISION inherit ANY redefine out end create make feature -- Access issue_revision_id: INTEGER -- Auto-generated. issue_id: INTEGER -- Auto-generated. creation_time: INTEGER -- Auto-generated. user_id: INTEGER -- Auto-generated. text: STRING -- Auto-generated. text_type: INTEGER -- Auto-generated. feature -- Initialization make do issue_revision_id := 0 issue_id := 0 creation_time := 0 user_id := 0 text := "" text_type := 0 end feature -- Settings set_issue_revision_id (a_issue_revision_id: INTEGER) --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 set_issue_id (a_issue_id: INTEGER) --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_creation_time (a_creation_time: INTEGER) --Set the value of creation_time require value_exists: a_creation_time >= 0 do creation_time := a_creation_time ensure creation_time_set: a_creation_time = creation_time end set_user_id (a_user_id: INTEGER) --Set the value of user_id require value_exists: a_user_id > 0 do user_id := a_user_id ensure user_id_set: a_user_id = user_id end set_text (a_text: STRING) --Set the value of text require value_exists: a_text /= Void do text := a_text ensure text_set: a_text = text end set_text_type (a_text_type: INTEGER) --Set the value of text_type require value_exists: a_text_type >= 0 do text_type := a_text_type ensure text_type_set: a_text_type = text_type end feature -- Output out: STRING do Result := "" Result.append (issue_revision_id.out + "%N") Result.append (issue_id.out + "%N") Result.append (creation_time.out + "%N") Result.append (user_id.out + "%N") Result.append (text.out + "%N") Result.append (text_type.out + "%N") end end -- class ISSUE_REVISION