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

class
	USER_READ_WORKITEM 

inherit
	ANY
		redefine
			out
		end

create
	make


feature -- Access

	user_id: INTEGER
			-- Auto-generated.

	workitem_id: INTEGER
			-- Auto-generated.

feature -- Initialization

	make is
		do
			user_id := 0
			workitem_id := 0
		end

feature -- Settings

	set_user_id (a_user_id: INTEGER) is
			--Set the value of user_id
		require
			value_exists: a_user_id /= Void
		do
			user_id := a_user_id
		ensure
			user_id_set: a_user_id = user_id
		end

	set_workitem_id (a_workitem_id: INTEGER) is
			--Set the value of workitem_id
		require
			value_exists: a_workitem_id /= Void
		do
			workitem_id := a_workitem_id
		ensure
			workitem_id_set: a_workitem_id = workitem_id
		end

feature -- Output

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

end -- class USER_READ_WORKITEM