EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Values that may be hashed into an integer index, for use as keys in hash tables";
status: "See notice at end of class";
date: "$Date: 2007-03-30 19:10:11 +0000 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
deferred class HASHABLE
feature -- Access
hash_code: INTEGER is
-- Hash code value
deferred
ensure
good_hash_value: Result >= 0
end;
feature -- Status report
is_hashable: BOOLEAN is
-- May current object be hashed?
-- (True if it is not its type's default.)
do
Result := (Current /= default)
ensure
ok_if_not_default: Result implies (Current /= default)
end;
end -- class HASHABLE
|
