expanded class interface POINTER -- -- References to objects meant to be exchanged with non-Eiffel -- software. -- -- Note : An Eiffel POINTER is mapped as C type "void *" or as -- Java "java.lang.Object" type. -- feature(s) from HASHABLE hash_code: INTEGER -- The hash-code value of Current. ensure good_hash_value: Result >= 0 feature(s) from POINTER_REF item: POINTER feature(s) from POINTER_REF set_item (value: like item) feature(s) from POINTER is_null: BOOLEAN -- Is the external POINTER a NULL pointer ? is_not_null: BOOLEAN -- Is the external POINTER a non-NULL pointer ? feature(s) from POINTER -- Object Printing : append_in (str: STRING) -- Append on str a viewable version of Current. fill_tagged_out_memory -- Append a viewable information in tagged_out_memory in -- order to affect the behavior of out, tagged_out, etc. feature(s) from POINTER to_any: ANY -- Assume that Current is really an Eiffel reference. end of expanded POINTER