ANY NONE
class interface WHEN_POINTER_MOVE
   --TODO

feature(s) from HASHABLE
   hash_code: INTEGER
      -- The hash-code value of Current.
      ensure
         good_hash_value: Result >= 0

feature(s) from WHEN_POINTER_MOVE
   when_pointer_move (p: PROCEDURE[ANY,TUPLE[INTEGER, INTEGER]])

   when_pointer_move_signal: SIGNAL_2[INTEGER, INTEGER]



end of WHEN_POINTER_MOVE