indexing description: "Values taht 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." deferred class interface HASHABLE feature -- Access hash_code: INTEGER -- Hash code value deferred ensure good_hash_value: Result >= 0 end
|