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

class
	POLICY

inherit
	ANY
		redefine
			out
		end

create
	make


feature -- Access

	policy_id: INTEGER
			-- Auto-generated.

	instruction: STRING
			-- Auto-generated.

	group_id: INTEGER
			-- Auto-generated.

feature -- Initialization

	make
		do
			policy_id := 0
			instruction := ""
			group_id := 0
		end

feature -- Settings

	set_policy_id (a_policy_id: INTEGER)
			--Set the value of policy_id
		require
			value_exists: a_policy_id > 0
		do
			policy_id := a_policy_id
		ensure
			policy_id_set: a_policy_id = policy_id
		end

	set_instruction (a_instruction: STRING)
			--Set the value of instruction
		require
			value_exists: a_instruction /= Void
		do
			instruction := a_instruction
		ensure
			instruction_set: a_instruction = instruction
		end

	set_group_id (a_group_id: INTEGER)
			--Set the value of group_id
		require
			value_exists: a_group_id > 0
		do
			group_id := a_group_id
		ensure
			group_id_set: a_group_id = group_id
		end

feature -- Output

	out: STRING
		do
			Result := ""
			Result.append (policy_id.out + "%N")
			Result.append (instruction.out + "%N")
			Result.append (group_id.out + "%N")
		end

end -- class POLICY