Table of Contents Previous Chapter

5.25 Class POINTER_REF

indexing

description: "Reference class for POINTER"

class interface

feature -- Access

item: POINTER

-- Pointer value

hash_code: INTEGER

-- Hash code value

-- (From HASHABLE.)

ensure

good_hash_value: Result >= 0

feature -- Element change

set_item (p: POINTER)

-- Make p the associated pointer value.

ensure

item_set: item = p

end