EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Tables whose keys are integers or equivalent";
status: "See notice at end of class";
names: indexable, access;
access: index, membership;
contents: generic;
date: "$Date: 2007-03-30 11:10:11 -0800 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
deferred class INDEXABLE [G, H -> INTEGER]
inherit
TABLE [G, H]
rename
valid_key as valid_index
redefine
put
end
feature -- Element change
put (v: G; k: H) is
-- Associate value v with key k.
deferred
ensure
insertion_done: item (k) = v
end;
end -- class INDEXABLE
|
