EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Infinite containers whose items are in one-to-one correspondence with the integers.";
status: "See notice at end of class";
names: countable, infinite, storage;
date: "$Date: 2007-03-30 11:10:11 -0800 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
deferred class COUNTABLE [G]
inherit
INFINITE [G]
feature -- Access
item (i: INTEGER): G is
-- The i-th item
require
positive_argument: i > 0
deferred
end;
end -- class COUNTABLE
|
