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

kernel.support

Class KL_VALUES


Known direct descendants

KL_EXECUTION_ENVIRONMENT, DS_TABLE

Features

Invariants

indexing

description

Values that are accessible through keys

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2004, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/11/14 15:09:44 $

revision

$Revision: 1.2 $

deferred class

KL_VALUES [G, K]

feature -- Access

value (k: K): G

-- Item associated with k;
-- Return default value if no such item

require
k_not_void: k /= Void

invariant

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

end