ANY NONE
class interface WHEN_GEOMETRY_CHANGE

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

feature(s) from WHEN_GEOMETRY_CHANGE
   when_geometry_change (p: PROCEDURE[ANY,TUPLE[INTEGER, INTEGER, INTEGER, INTEGER]])

   when_geometry_change_signal: SIGNAL_4[INTEGER, INTEGER, INTEGER, INTEGER]



end of WHEN_GEOMETRY_CHANGE