deferred class
	EL_ENUMERATION_NATURAL_32

inherit
	EL_ENUMERATION [NATURAL_32]

	EL_32_BIT_IMPLEMENTATION

feature -- Basic operations

	write_value (writeable: EL_WRITABLE; a_value: NATURAL_32)
		do
			writeable.write_natural_32 (a_value)
		end

feature {NONE} -- Implementation

	as_enum (a_value: INTEGER): NATURAL_32
		do
			Result := a_value.to_natural_32
		end

	as_integer (a_value: NATURAL_32): INTEGER
		do
			Result := a_value.to_integer_32
		end

	new_field_name_table (table: HASH_TABLE [IMMUTABLE_STRING_8, NATURAL_32]): EL_NATURAL_32_SPARSE_ARRAY [IMMUTABLE_STRING_8]
		do
			create Result.make (table)
		end

	new_interval_table (field_list: EL_FIELD_LIST): like default_interval_table
		do
			create Result.make (new_interval_hash_table (field_list))
		end

feature {NONE} -- Constants

	Default_interval_table: EL_NATURAL_32_SPARSE_ARRAY [INTEGER_64]
		once
			create Result.make_empty
		end

end