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