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

Contents of /FreeELKS/trunk/library/structures/dispenser/dispenser.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: 1462 byte(s)
Synchronized with ISE 6.0.65740
1 indexing
2
3 description: "[
4 Dispensers: containers for which clients have no say
5 as to what item they can access at a given time.
6 Examples include stacks and queues.
7 ]"
8 legal: "See notice at end of class."
9
10 status: "See notice at end of class."
11 names: dispenser, active;
12 access: fixed, membership;
13 contents: generic;
14 date: "$Date$"
15 revision: "$Revision$"
16
17 deferred class DISPENSER [G] inherit
18
19 ACTIVE [G]
20
21 FINITE [G]
22
23 feature -- Status report
24
25 readable: BOOLEAN is
26 -- Is there a current item that may be read?
27 do
28 Result := not is_empty
29 end
30
31 writable: BOOLEAN is
32 -- Is there a current item that may be modified?
33 do
34 Result := not is_empty
35 end
36
37 feature -- Element change
38
39 append (s: SEQUENCE [G]) is
40 -- Append a copy of `s'.
41 -- (Synonym for `fill')
42 do
43 fill (s)
44 end
45
46 extend, force, put (v: like item) is
47 -- Add item `v'.
48 deferred
49 end
50
51 invariant
52
53 readable_definition: readable = not is_empty
54 writable_definition: writable = not is_empty
55
56 indexing
57 library: "EiffelBase: Library of reusable components for Eiffel."
58 copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
59 license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
60 source: "[
61 Eiffel Software
62 356 Storke Road, Goleta, CA 93117 USA
63 Telephone 805-685-1006, Fax 805-685-6869
64 Website http://www.eiffel.com
65 Customer support http://support.eiffel.com
66 ]"
67
68
69
70
71
72
73
74 end -- class DISPENSER
75
76
77

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23