class POINTER_STATUS
Summary
Overview
exported features
  • is_equal (other: POINTER_STATUS): BOOLEAN
    Is other attached to an object considered equal to current object?
is_pointer_inside: BOOLEAN
writable attribute
hash_code: INTEGER_32
effective function
The hash-code value of Current.
is_equal (other: POINTER_STATUS): BOOLEAN
deferred function
Is other attached to an object considered equal to current object?
when_pointer_enter (p: PROCEDURE[TUPLE])
effective procedure
when_pointer_enter_signal: SIGNAL_0
effective function
when_pointer_leave (p: PROCEDURE[TUPLE])
effective procedure
when_pointer_leave_signal: SIGNAL_0
effective function