class interface WHEN_RIGHT_CLICKED
feature(s) from WHEN_POINTER_ENTER
when_pointer_enter (p: PROCEDURE[ANY,TUPLE])
when_pointer_enter_signal: SIGNAL_0
feature(s) from WHEN_POINTER_LEAVE
when_pointer_leave (p: PROCEDURE[ANY,TUPLE])
when_pointer_leave_signal: SIGNAL_0
feature(s) from POINTER_STATUS
is_pointer_inside: BOOLEAN
feature(s) from WHEN_RIGHT_DOWN
when_right_down (p: PROCEDURE[ANY,TUPLE])
when_right_down_signal: SIGNAL_0
feature(s) from HASHABLE
hash_code: INTEGER
-- The hash-code value of Current.
ensure
good_hash_value: Result >= 0
feature(s) from WHEN_RIGHT_UP
when_right_up (p: PROCEDURE[ANY,TUPLE])
when_right_up_signal: SIGNAL_0
feature(s) from WHEN_RIGHT_CLICKED
right_click_signal: SIGNAL_0
when_right_clicked (p: PROCEDURE[ANY,TUPLE])
right_is_down: BOOLEAN
end of WHEN_RIGHT_CLICKED