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

class
	WORKITEM

inherit
	ANY
		redefine
			out
		end

create
	make


feature -- Access

	workitem_id: INTEGER
			-- Auto-generated.

	type_id: INTEGER
			-- Auto-generated.

	creation_time: INTEGER
			-- Auto-generated.

	project_id: INTEGER
			-- Auto-generated.

	user_id: INTEGER
			-- Auto-generated.

feature -- Initialization

	make is
		do
			workitem_id := 0
			type_id := 0
			creation_time := 0
			project_id := 0
			user_id := 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_type_id (a_type_id: INTEGER) is
			--Set the value of type_id
		require
			value_exists: a_type_id >= 0
		do
			type_id := a_type_id
		ensure
			type_id_set: a_type_id = type_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_project_id (a_project_id: INTEGER) is
			--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_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

feature -- Output

	out: STRING is
		do
			Result := ""
			Result.append (workitem_id.out + "%N")
			Result.append (type_id.out + "%N")
			Result.append (creation_time.out + "%N")
			Result.append (project_id.out + "%N")
			Result.append (user_id.out + "%N")
		end

end -- class WORKITEM