ANY | NONE |
class interface WHEN_CLOSE_REQUESTED feature(s) from HASHABLE hash_code: INTEGER -- The hash-code value of Current. ensure good_hash_value: Result >= 0 feature(s) from WHEN_CLOSE_REQUESTED when_close_requested (p: PROCEDURE[ANY,TUPLE]) when_close_requested_signal: SIGNAL_0 end of WHEN_CLOSE_REQUESTED