INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "The project-wide universal properties: facilities for", "being traversable in one direction - towards the last entry"
project: "Visual Eiffel"
revision: "$Revision: 1.2 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: containers
deferred class SIMPLE_TRAVERSABLE_
feature -- Operations

cursor: SIMPLE_CURSOR_
-- delivers a new cursor to the beginning of the container
feature -- Queries

is_inside (cs: like cursor): BOOLEAN
-- is this cursor traversing the container ?
require
valid_argument: cs /= void

is_protected: BOOLEAN
-- true if at least one cursor is traversing the container
-- otherwise - false
end -- class SIMPLE_TRAVERSABLE_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES