ANY NONE
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