/[eiffelstudio]/trunk/eweasel/tests/incr071/table.e
ViewVC logotype

Contents of /trunk/eweasel/tests/incr071/table.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (13 years ago) by manus
File size: 1765 byte(s)
Moved from trunk/Src/eweasel to trunk/eweasel so that a simple checkout of the source code is not penalized by the lenghty process of checking out all the tests of eweasel.
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 alias "[]", infix "@" (k: H): G assign put 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 end -- class TABLE
52
53
54 --|----------------------------------------------------------------
55 --| EiffelBase: Library of reusable components for Eiffel.
56 --| Copyright (c) 1993-2006 University of Southern California and contributors.
57 --| For ISE customers the original versions are an ISE product
58 --| covered by the ISE Eiffel license and support agreements.
59 --| EiffelBase may now be used by anyone as FREE SOFTWARE to
60 --| develop any product, public-domain or commercial, without
61 --| payment to ISE, under the terms of the ISE Free Eiffel Library
62 --| License (IFELL) at http://eiffel.com/products/base/license.html.
63 --|
64 --| Interactive Software Engineering Inc.
65 --| ISE Building, 2nd floor
66 --| 270 Storke Road, Goleta, CA 93117 USA
67 --| Telephone 805-685-1006, Fax 805-685-6869
68 --| Electronic mail <info@eiffel.com>
69 --| Customer support e-mail <support@eiffel.com>
70 --| For latest info see award-winning pages: http://eiffel.com
71 --|----------------------------------------------------------------
72

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23