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_ELEMENT [G]
inherit

ARRAY_MODEL [TREE_ELEMENTG]
rename
make as am_make
end
creation

make,
make_branch
feature

label: G
feature {TREE, TREE_ELEMENT}

make (element: G)
require
tree_element_label_is_not_void: element /= void

make_branch (element: G)
require
branch_element_label_is_not_void: element /= void
end -- class TREE_ELEMENT

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES