INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Hierarchical structures in which each item has zero or ", "one immediate predecessor, and zero or more successors. "
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: hierarchical, traversing
cluster: eiffelbase
deferred class HIERARCHICAL [G]
inherit

TRAVERSABLE [G]
end
feature -- Access

successor_count: INTEGER
-- Number of successors of current element
require
not_off: not off
feature -- Cursor movement

up
-- Move to predecessor.
require
not_off: not off

down (i: INTEGER)
-- Move to `i'-th successor.
require
not_off: not off
argument_within_bounds: i >= 1 and i <= successor_count
invariant

non_negative_successor_count: successor_count >= 0
end -- class HIERARCHICAL

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES