/[eiffelstudio]/FreeELKS/trunk/library/structures/access/table.e
ViewVC logotype

Contents of /FreeELKS/trunk/library/structures/access/table.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91477 - (show annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years ago) by ericb
File size: 1259 byte(s)
Synchronized with ISE 6.0.65740
1 indexing
2
3 description:
4 "Containers whose items are accessible through keys"
5 legal: "See notice at end of class."
6
7 status: "See notice at end of class."
8 names: table, access;
9 access: key, membership;
10 contents: generic;
11 date: "$Date$"
12 revision: "$Revision$"
13
14 deferred class TABLE [G, H] inherit
15
16 BAG [G]
17 rename
18 put as bag_put
19 end
20
21 feature -- Access
22
23 item alias "[]", infix "@" (k: H): G assign put is
24 -- Entry of key `k'.
25 require
26 valid_key: valid_key (k)
27 deferred
28 end
29
30 feature -- Status report
31
32 valid_key (k: H): BOOLEAN is
33 -- Is `k' a valid key?
34 deferred
35 end
36
37 feature -- Element change
38
39 put (v: G; k: H) is
40 -- Associate value `v' with key `k'.
41 require
42 valid_key: valid_key (k)
43 deferred
44 end
45
46 feature {NONE} -- Inapplicable
47
48 bag_put (v: G) is
49 do
50 end
51
52 indexing
53 library: "EiffelBase: Library of reusable components for Eiffel."
54 copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
55 license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
56 source: "[
57 Eiffel Software
58 356 Storke Road, Goleta, CA 93117 USA
59 Telephone 805-685-1006, Fax 805-685-6869
60 Website http://www.eiffel.com
61 Customer support http://support.eiffel.com
62 ]"
63
64 end -- class TABLE
65
66
67

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23