Table of Contents Previous Chapter

5.11 Class POINTER

indexing

description: "References to objects meant to be exchanged with non-Eiffel software."

expanded class interface

feature -- Access

hash_code: INTEGER

-- Hash code value

-- (From HASHABLE.)

ensure

good_hash_value: Result >= 0

feature -- Output

out: STRING

-- Printable representation of pointer value

-- (From GENERAL.)

end