5.11 Class POINTER PreviousNext

indexing
description: "References to objects meant to be exchanged %
    %with non-Eiffel software."
expanded class interface
POINTER
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

Copyright 1995, Nonprofit International Consortium for Eiffel
mailto:
nice@atlanta.twr.com
Last Updated: 26 October 1997

HomeTocPreviousNext