INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Sequential lists, without commitment to a particular ", "representation "
title: "EiffelBase: library of reusable components for Eiffel. ", "Based on EiffelBase library for ISE Eiffel, ", "used with permission. "
project: "EiffelBase Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
key: list, sequence
cluster: eiffelbase
deferred class LIST [G]
inherit

CHAIN [G]
redefine
forth
end
feature -- Cursor movement

forth
-- Move to next position; if no next position,
-- ensure that `exhausted' will be true.
ensure
moved_forth: index = index + 1
feature -- Status report

after: BOOLEAN
-- Is there no valid cursor position to the right of cursor?

before: BOOLEAN
-- Is there no valid cursor position to the left of cursor?
invariant

before_definition: before = (index = 0)
after_definition: after = (index = count + 1)
end -- class LIST

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES