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