deferred class
	EL_ENUMERATION_NATURAL_8

inherit
	EL_ENUMERATION [NATURAL_8]
		rename
			enum_type as natural_8_type
		end

	EL_8_BIT_IMPLEMENTATION

feature -- Conversion

	to_compatible (a_value: NATURAL_32): NATURAL_8
		do
			Result := a_value.to_natural_8
		end

feature -- Basic operations

	write_value (writeable: EL_WRITABLE; a_value: NATURAL_8)
		do
			writeable.write_natural_8 (a_value)
		end

feature {NONE} -- Implementation

	as_hashable (a_value: NATURAL_8): NATURAL_8
		do
			Result := a_value
		end

	as_integer (n: NATURAL_8): INTEGER
		do
			Result := n.to_integer_32
		end

	enum_value (field: EL_REFLECTED_NATURAL_8): NATURAL_8
		do
			Result := field.value (Current)
		end

	enum_max_value: INTEGER
		local
			n: NATURAL_8
		do
			Result := n.Max_value
		end

	enum_min_value: INTEGER
		local
			n: NATURAL_8
		do
			Result := n.Min_value
		end

feature -- Type definitions

	ENUM_FIELD: EL_REFLECTED_NATURAL_8
		once ("PROCESS")
			create Result.make (Current, 1, Default_name)
		end

end