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

class
	PROJECT_BOOKMARK

inherit
	ANY
		redefine
			out
		end

create
	make


feature -- Access

	project_id: INTEGER
			-- Auto-generated.

	user_id: INTEGER
			-- Auto-generated.

feature -- Initialization

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

feature -- Settings

	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 (project_id.out + "%N")
			Result.append (user_id.out + "%N")
		end

end -- class PROJECT_BOOKMARK