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

Annotation of /trunk/eweasel/tests/incr071/unbounded.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65296 - (hide annotations)
Thu Nov 30 19:56:25 2006 UTC (13 years, 1 month ago) by manus
Original Path: trunk/Src/eweasel/tests/incr071/unbounded.e
File size: 1380 byte(s)
Initial revision for the eweasel delivery provided by David Hollenberg
  from the University of Southern California under the GPL v2.0 license.

1 manus 65296 indexing
2    
3     description:
4     "Finite structures whose item count is not bounded";
5    
6     status: "See notice at end of class";
7     names: unbounded, storage;
8     date: "$Date$";
9     revision: "$Revision$"
10    
11     deferred class UNBOUNDED [G] inherit
12    
13     FINITE [G]
14    
15     feature -- Status report
16    
17     --extendible: BOOLEAN is true;
18     -- Can new items be added? (Answer: yes)
19    
20     -- invariant
21    
22     -- extendible: extendible
23    
24     end -- class UNBOUNDED
25    
26    
27     --|----------------------------------------------------------------
28     --| EiffelBase: Library of reusable components for Eiffel.
29     --| Copyright (c) 1993-2006 University of Southern California and contributors.
30     --| For ISE customers the original versions are an ISE product
31     --| covered by the ISE Eiffel license and support agreements.
32     --| EiffelBase may now be used by anyone as FREE SOFTWARE to
33     --| develop any product, public-domain or commercial, without
34     --| payment to ISE, under the terms of the ISE Free Eiffel Library
35     --| License (IFELL) at http://eiffel.com/products/base/license.html.
36     --|
37     --| Interactive Software Engineering Inc.
38     --| ISE Building, 2nd floor
39     --| 270 Storke Road, Goleta, CA 93117 USA
40     --| Telephone 805-685-1006, Fax 805-685-6869
41     --| Electronic mail <info@eiffel.com>
42     --| Customer support e-mail <support@eiffel.com>
43     --| For latest info see award-winning pages: http://eiffel.com
44     --|----------------------------------------------------------------
45    

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23