Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

kernel.spec.ise

Class KL_HASHABLE_ROUTINES



Features

Invariants

indexing

description

Routines that ought to be in class HASHABLE

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 1999, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/02/03 15:50:34 $

revision

$Revision: 1.4 $

class

KL_HASHABLE_ROUTINES

feature -- Access

hash_value (an_any: ANY): INTEGER

-- Hash code value

require
an_any_not_void: an_any /= Void
ensure
hash_value_positive: Result >= 0

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end