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

class
	SESSION

inherit
	ANY
		redefine
			out
		end

create
	make


feature -- Access

	session_id: STRING
			-- Auto-generated.

	user_id: INTEGER
			-- Auto-generated.

	creation_time: INTEGER
			-- Auto-generated.

	access_time: INTEGER
			-- Auto-generated.

feature -- Initialization

	make is
		local
			l_date: DATE_TIME
		do
			session_id := session_id_generator.generate_id

			user_id := 0

			create l_date.make_now
			creation_time := 0
			access_time := 0
		end

feature -- Settings

	set_session_id (a_session_id: like session_id) is
			--Set the value of session_id
		require
			value_exists: a_session_id /= Void
		do
			session_id := a_session_id
		ensure
			session_id_set: a_session_id = session_id
		end

	set_user_id (a_user_id: like user_id) 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_creation_time (a_creation_time: like creation_time) 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_access_time (a_access_time: like creation_time) is
			--Set the value of access_time
		require
			value_exists: a_access_time > 0
		do
			access_time := a_access_time
		ensure
			access_time_set: a_access_time = access_time
		end

feature -- Output

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

feature {NONE} -- Onces

	session_id_generator: SESSION_ID_GENERATOR is
			-- Session ID generator.
		once
			create Result.make
		end

end -- class SESSION