public abstract class DefaultVisitor extends java.lang.Object implements Visitor
Constructor and Description |
---|
DefaultVisitor() |
Modifier and Type | Method and Description |
---|---|
void |
subtreeEntered(Term subtreeRoot)
this method is called in execPreOrder and execPostOrder in class Term
when entering the subtree rooted in the term subtreeRoot.
|
void |
subtreeLeft(Term subtreeRoot)
this method is called in execPreOrder and execPostOrder in class Term
when leaving the subtree rooted in the term subtreeRoot.
|
boolean |
visitSubtree(Term visited)
Checks if the subtree below the visited
Term should be traversed. |
public boolean visitSubtree(Term visited)
Visitor
Term
should be traversed.visitSubtree
in interface Visitor
visited
- The currently visited Term
.true
visit sub tree, false
skip sub tree.public void subtreeEntered(Term subtreeRoot)
Visitor
subtreeEntered
in interface Visitor
subtreeRoot
- root of the subtree which the visitor enters.public void subtreeLeft(Term subtreeRoot)
Visitor
subtreeLeft
in interface Visitor
subtreeRoot
- root of the subtree which the visitor leaves.