class ELT_HASH
****

________This_class_provides_the_hash_value_of_an_object.__This_is_guaranteed
___to_be_the_same_on_repeated_calls_on_the_same_object.




Public


Features
elt_hash(item : $OB) : CARD
****
________This_routine_returns_a_hash_value_for_the_given_item,_using_the
___user-defined_hash_routine_if_one_is_defined.__Otherwise,_uses_the_system
___defined_hash_function.


Private

verify_can_call_hash(item : $OB) : BOOL
****
________This_private_predicate_returns_true_if_and_only_if_item_is_of
___a_reference_type.

The Sather Home Page