---

TreeNode Interface Reference

Inheritance diagram for TreeNode:[legend]List of all members.

Public Methods
TreeNode	compose (TreeNode tree, Case context)
Vector	getLeafCases (Vector leafCases)
Vector	getLeaves (Vector leaves)
void	print (int level)
TreeNode	specialize (ExprNode leaf, Case context)
	TreeNode (Tree t)
	TreeNode (TreeNode p)
Collection	above ()
Collection	below ()
Collection	children ()
Collection	get (TreeNode n)
TreeNode	getParent ()
Tree	getTree ()
String	toString (String prefix)
Private Methods
void	addChild (TreeNode n)
Private Attributes
Tree	tree
TreeNode	parent
Collection	children

---

Detailed Description

Case tree node.

See CaseNode for more info.

Definition at line 43 of file edu/ksu/cis/bandera/spin/TreeNode.java.

---

Constructor & Destructor Documentation

TreeNode::TreeNode (  Tree   t )  [inline]

Creates a new node as the root of a tree. Definition at line 35 of file gov/nasa/arc/ase/util/TreeNode.java.

TreeNode::TreeNode (  TreeNode   p )  [inline]

Creates a new node under a given node. Definition at line 45 of file gov/nasa/arc/ase/util/TreeNode.java.

---

Member Function Documentation

Collection TreeNode::above (    )  [inline]

Returns the set of nodes above this one. Definition at line 55 of file gov/nasa/arc/ase/util/TreeNode.java.

void TreeNode::addChild (  TreeNode   node )  [inline, private]

Adds a children. Definition at line 68 of file gov/nasa/arc/ase/util/TreeNode.java. Referenced by TreeNode().

Collection TreeNode::below (    )  [inline]

Returns the set of nodes below this one. Definition at line 74 of file gov/nasa/arc/ase/util/TreeNode.java.

Collection TreeNode::children (    )  [inline]

Returns the children of a node. Definition at line 89 of file gov/nasa/arc/ase/util/TreeNode.java.

Collection TreeNode::get (  TreeNode   n )  [inline]

Gets all the node under this one that are equal to a given one. Definition at line 96 of file gov/nasa/arc/ase/util/TreeNode.java. Referenced by Tree::get().

TreeNode TreeNode::getParent (    )  [inline]

Returns the parent of this node. Definition at line 112 of file gov/nasa/arc/ase/util/TreeNode.java.

Tree TreeNode::getTree (    )  [inline]

Returns the tree the node belongs to. Definition at line 118 of file gov/nasa/arc/ase/util/TreeNode.java.

String TreeNode::toString (  String   prefix )  [inline]

Returns a string rapresentation of the node and the nodes below. Definition at line 124 of file gov/nasa/arc/ase/util/TreeNode.java. Referenced by Tree::toString().

---

Member Data Documentation

Collection TreeNode::children [private]

The children of this node. Definition at line 30 of file gov/nasa/arc/ase/util/TreeNode.java.

TreeNode TreeNode::parent [private]

The parent of this node. Definition at line 25 of file gov/nasa/arc/ase/util/TreeNode.java.

Tree TreeNode::tree [private]

The tree the node belongs to. Definition at line 20 of file gov/nasa/arc/ase/util/TreeNode.java.

---

The documentation for this interface was generated from the following files:

• edu/ksu/cis/bandera/spin/TreeNode.java
• gov/nasa/arc/ase/util/TreeNode.java

---