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

kernel.elks

Class KS_HASHABLE


Known direct descendants

KS_STRING

Features

Invariants

indexing

description

Portable interface for class HASHABLE

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2001, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/11/14 15:08:37 $

revision

$Revision: 1.5 $

deferred class

KS_HASHABLE

feature -- Access

hash_code: INTEGER

-- Hash code value
-- (ELKS 95 HASHABLE)

ensure
good_hash_value: Result >= 0

invariant

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

end