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

class
	RELEASE_FILE

inherit
	ANY
		redefine
			out
		end

create
	make


feature -- Access

	file_id: INTEGER
			-- Auto-generated.

	release_id: INTEGER
			-- Auto-generated.

	name: STRING
			-- Auto-generated.

	platform: STRING
			-- Auto-generated.

feature -- Initialization

	make is
		do
			file_id := 0
			release_id := 0
			name := ""
			platform := ""
		end

feature -- Settings

	set_file_id (a_file_id: INTEGER) is
			--Set the value of file_id
		require
			value_exists: a_file_id >= 0
		do
			file_id := a_file_id
		ensure
			file_id_set: a_file_id = file_id
		end

	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_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_platform (a_platform: STRING) is
			--Set the value of platform
		require
			value_exists: a_platform /= Void
		do
			platform := a_platform
		ensure
			platform_set: a_platform = platform
		end

feature -- Output

	out: STRING is
		do
			Result := ""
			Result.append (file_id.out + "%N")
			Result.append (release_id.out + "%N")
			Result.append (name.out + "%N")
			Result.append (platform.out + "%N")
		end

end -- class RELEASE_FILE