note
	description: "Class which allows EiffelStore to retrieve/store%
	      %the content relative to a column of the table ISSUE"

class
	ISSUE

inherit
	ANY
		redefine
			out
		end

create
	make


feature -- Access

	issue_id: INTEGER
			-- Auto-generated.

	project_id: INTEGER
			-- Auto-generated.

	project_issue_id: INTEGER
			-- Auto-generated.

	title: STRING
			-- Auto-generated.

	private: INTEGER
			-- Auto-generated.

	last_modified: INTEGER
			-- Auto-generated.

	deadline: INTEGER
			-- Auto-generated.

	work_amount: INTEGER
			-- Auto-generated.

feature -- Initialization

	make
		do
			issue_id := 0
			project_id := 0
			project_issue_id := 0
			title := ""
			private := 0
			last_modified := 0
			deadline := 0
			work_amount := 0
		end

feature -- Settings

	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_project_id (a_project_id: INTEGER)
			--Set the value of project_id
		require
			value_exists: a_project_id > 0
		do
			project_id := a_project_id
		ensure
			project_id_set: a_project_id = project_id
		end

	set_project_issue_id (a_project_issue_id: INTEGER)
			--Set the value of project_issue_id
		require
			value_exists: a_project_issue_id > 0
		do
			project_issue_id := a_project_issue_id
		ensure
			project_issue_id_set: a_project_issue_id = project_issue_id
		end

	set_title (a_title: STRING)
			--Set the value of title
		require
			value_exists: a_title /= Void
		do
			title := a_title
		ensure
			title_set: a_title = title
		end

	set_private (a_private: INTEGER)
			--Set the value of private
		require
			value_exists: a_private >= 0
		do
			private := a_private
		ensure
			private_set: a_private = private
		end

	set_last_modified (a_last_modified: INTEGER)
			--Set the value of last_modified
		require
			value_exists: a_last_modified >= 0
		do
			last_modified := a_last_modified
		ensure
			last_modified_set: a_last_modified = last_modified
		end

	set_deadline (a_deadline: INTEGER)
			--Set the value of deadline
		require
			value_exists: a_deadline >= 0
		do
			deadline := a_deadline
		ensure
			deadline_set: a_deadline = deadline
		end

	set_work_amount (a_work_amount: INTEGER)
			--Set the value of work_amount
		require
			value_exists: a_work_amount >= 0
		do
			work_amount := a_work_amount
		ensure
			work_amount_set: a_work_amount = work_amount
		end

feature -- Output

	out: STRING
		do
			Result := ""
			Result.append (issue_id.out + "%N")
			Result.append (project_id.out + "%N")
			Result.append (project_issue_id.out + "%N")
			Result.append (title.out + "%N")
			Result.append (private.out + "%N")
			Result.append (last_modified.out + "%N")
			Result.append (deadline.out + "%N")
			Result.append (work_amount.out + "%N")
		end

end -- class ISSUE