EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Objects that are able to iterate over cursor trees, on which they can perform repeated actions and tests according to a number of predefined control structures such as ``if%'%', ``until%'%' and others.";
status: "See notice at end of class";
names: iterators, iteration, cursor_tree_iterators, cursor_tree_iteration, tree_iterators, tree_iteration;
exploration: depth_first, breadth_first;
traversal: preorder, postorder, inorder;
date: "$Date: 2007-03-30 19:10:11 +0000 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
class CURSOR_TREE_ITERATOR [G]
inherit
LINEAR_ITERATOR [G]
rename
do_all as pre_do_all,
until_do as pre_until_do,
do_until as pre_do_until,
do_if as pre_do_if,
search as pre_search,
do_for as pre_do_for,
do_while as pre_do_while,
while_do as pre_while_do,
while_continue as pre_while_continue,
continue_while as pre_continue_while,
continue_until as pre_continue_until,
continue_search as pre_continue_search,
continue_for as pre_continue_for,
forall as pre_forall,
exists as pre_exists,
forth as pre_forth
redefine
target, pre_forth
select
pre_do_all, pre_until_do, pre_do_until, pre_do_if, pre_search, pre_do_for, pre_continue_until, pre_continue_search, pre_continue_for, pre_forall, pre_exists, pre_forth, start, pre_while_do, pre_do_while, pre_continue_while, pre_while_continue
end;
LINEAR_ITERATOR [G]
rename
do_all as post_do_all,
until_do as post_until_do,
do_until as post_do_until,
do_if as post_do_if,
search as post_search,
do_for as post_do_for,
do_while as post_do_while,
while_do as post_while_do,
while_continue as post_while_continue,
continue_while as post_continue_while,
continue_until as post_continue_until,
continue_search as post_continue_search,
continue_for as post_continue_for,
forall as post_forall,
exists as post_exists,
forth as post_forth,
start as post_start
redefine
post_forth, post_start, target
end;
LINEAR_ITERATOR [G]
rename
do_all as breadth_do_all,
until_do as breadth_until_do,
do_until as breadth_do_until,
do_if as breadth_do_if,
search as breadth_search,
do_for as breadth_do_for,
do_while as breadth_do_while,
while_do as breadth_while_do,
while_continue as breadth_while_continue,
continue_while as breadth_continue_while,
continue_until as breadth_continue_until,
continue_search as breadth_continue_search,
continue_for as breadth_continue_for,
forall as breadth_forall,
exists as breadth_exists,
forth as breadth_forth
redefine
breadth_forth, target
end
feature -- Status report
target: CURSOR_TREE [G];
-- The structure to which iteration features will apply
feature -- Cursor movement
pre_start is
-- Move cursor of target to root position
-- (first position in preorder and breadth-first).
-- Was declared in CURSOR_TREE_ITERATOR as synonym of pre_start and breadth_start.
do
target.start
end;
breadth_start is
-- Move cursor of target to root position
-- (first position in preorder and breadth-first).
-- Was declared in CURSOR_TREE_ITERATOR as synonym of pre_start and breadth_start.
do
target.start
end;
post_start is
-- Move cursor of target to first position in postorder.
do
target.postorder_start
end;
pre_forth is
-- Move cursor of target to next position in preorder.
do
target.preorder_forth
end;
post_forth is
-- Move cursor of target to next position in postorder.
do
target.postorder_forth
end;
breadth_forth is
-- Move cursor of target to next position in breadth-first.
do
target.breadth_forth
end;
end -- class CURSOR_TREE_ITERATOR
|
