/[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 91424 - (show annotations)
Tue Oct 26 18:39:32 2004 UTC (15 years, 2 months ago) by manus_eiffel
File size: 1657 byte(s)
Initial revision

1 indexing
2
3 description:
4 "Containers whose items are accessible through keys"
5
6 status: "See notice at end of class"
7 names: table, access;
8 access: key, membership;
9 contents: generic;
10 date: "$Date$"
11 revision: "$Revision$"
12
13 deferred class TABLE [G, H] inherit
14
15 BAG [G]
16 rename
17 put as bag_put
18 end
19
20 feature -- Access
21
22 item, infix "@" (k: H): G is
23 -- Entry of key `k'.
24 require
25 valid_key: valid_key (k)
26 deferred
27 end
28
29 feature -- Status report
30
31 valid_key (k: H): BOOLEAN is
32 -- Is `k' a valid key?
33 deferred
34 end
35
36 feature -- Element change
37
38 put (v: G; k: H) is
39 -- Associate value `v' with key `k'.
40 require
41 valid_key: valid_key (k)
42 deferred
43 end
44
45 feature {NONE} -- Inapplicable
46
47 bag_put (v: G) is
48 do
49 end
50
51 indexing
52
53 library: "[
54 EiffelBase: Library of reusable components for Eiffel.
55 ]"
56
57 status: "[
58 Copyright 1986-2001 Interactive Software Engineering (ISE).
59 For ISE customers the original versions are an ISE product
60 covered by the ISE Eiffel license and support agreements.
61 ]"
62
63 license: "[
64 EiffelBase may now be used by anyone as FREE SOFTWARE to
65 develop any product, public-domain or commercial, without
66 payment to ISE, under the terms of the ISE Free Eiffel Library
67 License (IFELL) at http://eiffel.com/products/base/license.html.
68 ]"
69
70 source: "[
71 Interactive Software Engineering Inc.
72 ISE Building
73 360 Storke Road, Goleta, CA 93117 USA
74 Telephone 805-685-1006, Fax 805-685-6869
75 Electronic mail <info@eiffel.com>
76 Customer support http://support.eiffel.com
77 ]"
78
79 info: "[
80 For latest info see award-winning pages: http://eiffel.com
81 ]"
82
83 end -- class TABLE
84
85
86

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23