- 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