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

class
	RELEASE

inherit
	ANY
		redefine
			out
		end

create
	make


feature -- Access

	release_id: INTEGER
			-- Auto-generated.

	project_id: INTEGER
			-- Auto-generated.

	creation_time: INTEGER
			-- Auto-generated.

	name: STRING
			-- Auto-generated.

	description: STRING
			-- Auto-generated.

	version: STRING
			-- Auto-generated.

feature -- Initialization

	make is
		do
			release_id := 0
			project_id := 0
			creation_time := 0
			name := ""
			description := ""
			version := ""
		end

feature -- Settings

	set_release_id (a_release_id: INTEGER) is
			--Set the value of release_id
		require
			value_exists: a_release_id >= 0
		do
			release_id := a_release_id
		ensure
			release_id_set: a_release_id = release_id
		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_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_name (a_name: STRING) is
			--Set the value of name
		require
			value_exists: a_name /= Void
		do
			name := a_name
		ensure
			name_set: a_name = name
		end

	set_description (a_description: STRING) is
			--Set the value of description
		require
			value_exists: a_description /= Void
		do
			description := a_description
		ensure
			description_set: a_description = description
		end

	set_version (a_version: STRING) is
			--Set the value of version
		require
			value_exists: a_version /= Void
		do
			version := a_version
		ensure
			version_set: a_version = version
		end

feature -- Output

	out: STRING is
		do
			Result := ""
			Result.append (release_id.out + "%N")
			Result.append (project_id.out + "%N")
			Result.append (creation_time.out + "%N")
			Result.append (name.out + "%N")
			Result.append (description.out + "%N")
			Result.append (version.out + "%N")
		end

end -- class RELEASE