|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
This Class defines the DOMpattern data structure.
Method Summary | |
void |
addNode(DOMPatternNode child,
DOMPatternNode newparent)
Add a new parent node for a given DOMPatternNode node. |
RootNode |
getRoot()
Get the root node of this DOMTree. |
boolean |
isInTree(DOMPatternNode node)
Check the tree for a specific node |
void |
removeNode(DOMPatternNode node)
Delete the given DOMPatternNode. |
void |
setRoot(RootNode new_root)
Set root node of DOMPattern. |
java.lang.String |
toIndentString()
Get the indented print output of the result. |
ListPattern |
toListPattern(DOMPatternNode node)
Convert the tree into a list by calling toString() on each node. |
java.lang.String |
toString()
Convert the tree into a String. |
Methods inherited from interface edu.wpi.cs.dsrg.xmldb.xat.common.treestructure.Pattern |
containsColumn,
getColumnNames |
Method Detail |
public void addNode(DOMPatternNode child, DOMPatternNode newparent)
parent
- The parent node it attached to.child
- The child node attached.public RootNode getRoot()
public boolean isInTree(DOMPatternNode node)
node
- the node you are looking for in the treepublic void removeNode(DOMPatternNode node)
node
- the to-be-deleted child node.public void setRoot(RootNode new_root)
new_root
- The new root node.public java.lang.String toIndentString()
public ListPattern toListPattern(DOMPatternNode node)
node
- The DOMPatternNode translate for.public java.lang.String toString()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |