deferred class SENSITIVE

Features exported to VISION

SENSITIVE is common class for objects who the system may send events.

Direct parents

conformant parents

HASHABLE

Known children

conformant children

CONTAINER, PIXMAP, POINTER_STATUS, WHEN_CLOSE_REQUESTED, WHEN_EXPOSE, WHEN_FULLY_VISIBLE, WHEN_GEOMETRY_CHANGE, WHEN_KEY_DOWN, WHEN_KEY_UP, WHEN_LEFT_DOWN, WHEN_LEFT_UP, WHEN_MAPPED, WHEN_MIDDLE_DOWN, WHEN_MIDDLE_UP, WHEN_NOT_VISIBLE, WHEN_PARTIALLY_VISIBLE, WHEN_POINTER_ENTER, WHEN_POINTER_LEAVE, WHEN_POINTER_MOVE, WHEN_RIGHT_DOWN, WHEN_RIGHT_UP, WHEN_UNMAPPED, WHEN_WHEEL_DOWN, WHEN_WHEEL_UP

Summary

exported features

Details

hash_code: INTEGER

The hash-code value of Current.

ensure

  • good_hash_value: Result >= 0

widget: POINTER

widget identifier from the native graphic API.

deferred is_equal (other: SENSITIVE): BOOLEAN

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)