indexing
	description: "References to objects containing a reference to objects meant to be exchanged with non-Eiffel software."

class interface
	POINTER_REF

feature -- Access

	hash_code: INTEGER
			-- Hash code value
		ensure -- from HASHABLE
			good_hash_value: Result >= 0

	item: POINTER
			-- Pointer value
	
feature -- Status report

	is_hashable: BOOLEAN
			-- May current object be hashed?
			-- (True if it is not its type's default.)
		ensure -- from HASHABLE
			ok_if_not_default: Result implies (Current /= default)
	
feature -- Element change

	set_item (p: POINTER)
			-- Make p the item value.
	
feature -- Output

	out: STRING
			-- Printable representation of pointer value
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class POINTER_REF