edu.washington.cs.supple.customization.scope
Class TreeNode

java.lang.Object
  edu.washington.cs.supple.customization.scope.TreeNode

Direct Known Subclasses:

TreeNode.MatchedTreeNode

public class TreeNode

extends java.lang.Object

A data structure for constructing tree patterns. The patterns contain a child/parent link structure and names of the tree nodes. The data structure is used by the version spaces.

Author:

raphael

Nested Class Summary

static class

TreeNode.MatchedTreeNode

Constructor Summary

TreeNode(java.lang.String name, java.util.Vector children)

TreeNode(UiObject object)

Method Summary

void	addChild(TreeNode c)
void	addChildren(TreeNode[] c)
java.lang.Object	clone()
java.util.Vector	getChildren()
java.lang.String	getName()
int	getSize()
static TreeNode	match(TreeNode t1, TreeNode t2)
void	removeChild(TreeNode c)
java.lang.String	toXPath()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TreeNode

public TreeNode(java.lang.String name,
                java.util.Vector children)

TreeNode

public TreeNode(UiObject object)

Method Detail

getName

public java.lang.String getName()

addChildren

public void addChildren(TreeNode[] c)

addChild

public void addChild(TreeNode c)

removeChild

public void removeChild(TreeNode c)

getChildren

public java.util.Vector getChildren()

getSize

public int getSize()

match

public static TreeNode match(TreeNode t1,
                             TreeNode t2)

toXPath

public java.lang.String toXPath()

clone

public java.lang.Object clone()