INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

project: "Visual Eiffel"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: grape
class TREE [G]
creation

make
feature

make (root_element: G)
require
root_element_label_must_not_be_void: root_element /= void

add_leaf (element: G)
require
element_label_must_not_be_void: element /= void

add_branch (element: G)
require
branch_label_must_not_be_void: element /= void

item: G

is_leaf: BOOLEAN

first: G

leftmost: G

next: G

down
require
impossible_to_go_down_on_leaf: is_leaf = false

up

set_current (el: G)

set_label (el: G)

root_label: G

get_path: ARRAY_MODEL [G]

set_path (p: ARRAY_MODEL [G])
end -- class TREE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES