ANY DRAWABLE NONE
deferred class interface SENSITIVE
   -- SENSITIVE is common class for objects who the system may send events.
   --

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



end of deferred SENSITIVE