INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Values that may be hashed into an integer index, for use as keys in hash tables.", "Note: In general, the default value of a type (e.g. 0 for integers, void for references) may not be hashed."
project: "Eiffel Kernel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
deferred class HASHABLE
feature -- Access

hash_code: INTEGER
-- Hash code value
ensure
good_hash_value: Result >= 0
end -- class HASHABLE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES