indexing
	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.

feature -- Initialization

	make is
		do
			issue_revision_id := 0
			issue_id := 0
			creation_time := 0
			user_id := 0
			text := ""
		end

feature -- Settings

	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

	set_issue_id (a_issue_id: INTEGER) is
			--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) is
			--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) is
			--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) is
			--Set the value of text
		require
			value_exists: a_text /= Void
		do
			text := a_text
		ensure
			text_set: a_text = text
		end

feature -- Output

	out: STRING is
		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")
		end

end -- class ISSUE_REVISION