| 1 |
indexing |
| 2 |
|
| 3 |
description: "[ |
| 4 |
Infinite containers whose items are in one-to-one |
| 5 |
correspondence with the integers. |
| 6 |
]" |
| 7 |
|
| 8 |
status: "See notice at end of class" |
| 9 |
names: countable, infinite, storage ; |
| 10 |
date: "$Date$" |
| 11 |
revision: "$Revision$" |
| 12 |
|
| 13 |
deferred class COUNTABLE [G] inherit |
| 14 |
|
| 15 |
INFINITE [G] |
| 16 |
|
| 17 |
feature -- Access |
| 18 |
|
| 19 |
item (i: INTEGER): G is |
| 20 |
-- The `i'-th item |
| 21 |
require |
| 22 |
positive_argument: i > 0 |
| 23 |
deferred |
| 24 |
end |
| 25 |
|
| 26 |
indexing |
| 27 |
|
| 28 |
library: "[ |
| 29 |
EiffelBase: Library of reusable components for Eiffel. |
| 30 |
]" |
| 31 |
|
| 32 |
status: "[ |
| 33 |
--| Copyright (c) 1993-2006 University of Southern California and contributors. |
| 34 |
For ISE customers the original versions are an ISE product |
| 35 |
covered by the ISE Eiffel license and support agreements. |
| 36 |
]" |
| 37 |
|
| 38 |
license: "[ |
| 39 |
EiffelBase may now be used by anyone as FREE SOFTWARE to |
| 40 |
develop any product, public-domain or commercial, without |
| 41 |
payment to ISE, under the terms of the ISE Free Eiffel Library |
| 42 |
License (IFELL) at http://eiffel.com/products/base/license.html. |
| 43 |
]" |
| 44 |
|
| 45 |
source: "[ |
| 46 |
Interactive Software Engineering Inc. |
| 47 |
ISE Building |
| 48 |
360 Storke Road, Goleta, CA 93117 USA |
| 49 |
Telephone 805-685-1006, Fax 805-685-6869 |
| 50 |
Electronic mail <info@eiffel.com> |
| 51 |
Customer support http://support.eiffel.com |
| 52 |
]" |
| 53 |
|
| 54 |
info: "[ |
| 55 |
For latest info see award-winning pages: http://eiffel.com |
| 56 |
]" |
| 57 |
|
| 58 |
end -- class COUNTABLE |
| 59 |
|
| 60 |
|
| 61 |
|
Parent Directory
| 
Revision Log