INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Reference class for POINTER."
project: "Eiffel Kernel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class POINTER_REF
inherit

HASHABLE
redefine
out
end
feature -- Access

item: POINTER

hash_code: INTEGER
-- Hash code value
-- (From HASHABLE)
feature -- Element change

set_item (p: POINTER)
-- Make 'p' the associated pointer value
ensure
item_set: item = p
feature -- Output

out: STRING
-- Printable representation of pointer value
-- (From GENERAL)
feature -- Conversion

to_integer: INTEGER
-- The corresponding integer value of current pointer value

from_integer (value: INTEGER)
-- The corresponding integer value of current pointer value
feature -- Arithmetic operations

infix "+" (offset: INTEGER): POINTER
end -- class POINTER_REF

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES