EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Structures for which there exists a traversal policy that will visit every element exactly once.";
status: "See notice at end of class";
names: traversable, traversing;
access: cursor;
contents: generic;
date: "$Date: 2007-03-30 11:10:11 -0800 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
deferred class TRAVERSABLE [G]
inherit
CONTAINER [G]
feature -- Access
item: G is
-- Item at current position
require
not_off: notoff
deferred
end;
feature -- Status report
off: BOOLEAN is
-- Is there no current item?
deferred
end;
feature -- Cursor movement
start is
-- Move to first position if any.
deferred
end;
invariant
empty_constraint: empty implies off;
end -- class TRAVERSABLE
|
