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. |
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. |
verify_can_call_hash(item : $OB) : BOOL |
---|
**** |
________This_private_predicate_returns_true_if_and_only_if_item_is_of ___a_reference_type. |