INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Containers whose items are accessible through keys "
title: "EiffelBase: library of reusable components for Eiffel. ", "Based on EiffelBase library for ISE Eiffel, ", "used with permission. "
project: "EiffelBase Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
key: table, access
cluster: eiffelbase
deferred class TABLE [G, H]
inherit

BAG [G]
rename
put as bag_put
end
feature -- Access

item, infix "@" (k: H): G
-- Entry of key `k'.
require
valid_key: valid_key (k)
feature -- Status report

valid_key (k: H): BOOLEAN
-- Is `k' a valid key?
feature -- Element change

put (v: G; k: H)
-- Associate value `v' with key `k'.
require
valid_key: valid_key (k)
end -- class TABLE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES