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

Annotation of /FreeELKS/trunk/library/structures/dispenser/dispenser.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91477 - (hide annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years, 1 month ago) by ericb
File size: 1462 byte(s)
Synchronized with ISE 6.0.65740
1 manus_eiffel 91424 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 ericb 91477 legal: "See notice at end of class."
9 manus_eiffel 91424
10 ericb 91477 status: "See notice at end of class."
11 manus_eiffel 91424 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 ericb 91477 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 manus_eiffel 91424
68    
69    
70    
71    
72    
73 ericb 91477
74 manus_eiffel 91424 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