note
	description: "Enum type for policy strength (default, global, local)."
	author: "Paolo Antonucci"
	date: "$Date$"
	revision: "$Revision$"

class
	AT_ENUM_POLICY_STRENGTH

inherit

	AT_ENUM [AT_POLICY_STRENGTH]
		redefine
			name
		end

feature -- Access

	name: STRING = "policy_strength"
			-- <Precursor>

	value (a_value_name: STRING): AT_POLICY_STRENGTH
			-- The value with name `a_value_name'.
		do
			create Result.make_with_value_name (a_value_name)
		end

	value_from_number (a_numerical_value: INTEGER): AT_POLICY_STRENGTH
			-- The value with numerical value `a_numerical_value'.
		do
			create Result.make_with_numerical_value (a_numerical_value)
		end

feature {AT_ENUM} -- Value list

	value_list: ARRAY [TUPLE [numerical_value: INTEGER; value_name: STRING]]
			-- Effective list of values.
		once ("PROCESS")
			Result := <<	[0, "not_set"],
							[1, "default"],
							[2, "global"],
							[3, "local"]		>>
		end

feature -- Values

	Ps_not_set: AT_POLICY_STRENGTH
		once ("PROCESS")
			create Result.make_with_numerical_value (0)
		end

	Ps_default: AT_POLICY_STRENGTH
		once ("PROCESS")
			create Result.make_with_numerical_value (1)
		end

	Ps_global: AT_POLICY_STRENGTH
		once ("PROCESS")
			create Result.make_with_numerical_value (2)
		end

	Ps_local: AT_POLICY_STRENGTH
		once ("PROCESS")
			create Result.make_with_numerical_value (3)
		end

end