+
Point of view
All features
expanded class POINTER
Summary
top
References to objects meant to be exchanged with non-Eiffel software.
Note : An Eiffel POINTER is mapped as C type "Void *"
Direct parents
Insert list: HASHABLE, STRING_HANDLER
Overview
top
Features
{ANY}
{}
{ANY}
  • is_equal (other: POINTER): BOOLEAN
    Is other attached to an object considered equal to current object?
is_null: BOOLEAN
effective function
{ANY}
top
Is the external POINTER a NULL pointer ?
is_not_null: BOOLEAN
{ANY}
top
Is the external POINTER a non-NULL pointer ?
to_string: STRING
effective function
{ANY}
top
append_in (buffer: STRING)
effective procedure
{ANY}
top
Append on str a viewable version of Current.
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
require
    • locked: tagged_out_locked
    • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
fill_tagged_out_memory
effective procedure
{ANY}
top
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
require
    • locked: tagged_out_locked
    • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
hash_code: INTEGER_32
effective function
{ANY}
top
The hash-code value of Current.
ensure
  • good_hash_value: Result >= 0
infix "+" (offset: INTEGER_32): POINTER
effective function
{ANY}
top
Current moved by an offset of offset bytes.
to_any: ANY
effective function
{ANY}
top
Dangerous forced conversion.
This feature is obsolete: Use STORABLE instead.
sprintf_pointer (native_array: NATIVE_ARRAY[CHARACTER], p: POINTER)
{}
top
pointer_hash_code (p: POINTER): INTEGER_32
{}
top
pointer_to_natural_32 (p: POINTER): NATURAL_32
{}
top
pointer_to_any (p: POINTER): ANY
{}
top
Dangerous forced conversion.
This function assumes that p really is a reference to some Eiffel allocated object.
pointer_plus (p: POINTER, offset: INTEGER_32): POINTER
{}
top
Pointer p moved by an offset of offset bytes.
string_buffer: STRING
once function
{}
top
is_equal (other: POINTER): BOOLEAN
deferred function
{ANY}
top
Is other attached to an object considered equal to current object?
require
  • other /= Void
ensure
  • Result implies hash_code = other.hash_code
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)