Eiffeldoc: HASHABLE

Point of view

All features

deferred class HASHABLE

Summary

Ancestor class for all hashable objects.

For example, the hash_code is needed for HASHED_DICTIONARY and for HASHED_SET. Thus, most standard objects are HASHABLE (STRING, REAL, INTEGER_8, INTEGER_16, INTEGER_32, INTEGER_64, POINTER, NUMBER, MUTABLE_BIG_INTEGER, and so forth).

Direct parents: Insert list: ANY
Known children: Inherit list: ABSTRACT_STRING, ADDRESS, EZMQ_SOCKET, MUTABLE_BIG_INTEGER, NATURAL_GENERAL, NUMBER, NUMERIC, PACKRAT_PRIMARY, PROCESS, REPOSITORY_TRANSIENT_OBJECT, UNICODE_STRING; Insert list: CHARACTER, COMMAND_LINE_CONTEXT, EZMQ_EVENT, EZMQ_FLAGS, EZMQ_TYPE, HIERARCHIC_GRAPH_NODE, JSON_STRING, MICROSECOND_TIME, POINTER, PYTHON_DICTIONARY_NODE, TIME, URL

Overview

top

Features

{ANY}

hash_code: INTEGER_32

The hash-code value of Current.
is_equal (other: HASHABLE): BOOLEAN

Is other attached to an object considered equal to current object?

hash_code: INTEGER_32

deferred function

{ANY}

top

The hash-code value of Current.

ensure

good_hash_value: Result >= 0

is_equal (other: HASHABLE): BOOLEAN

deferred function

{ANY}

top

Is other attached to an object considered equal to current object?

require

other /= Void

ensure

Result implies hash_code = other.hash_code
commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)