public class JL7TryExt.EffectivelyFinalVisitor extends NodeVisitor
| Constructor and Description |
|---|
JL7TryExt.EffectivelyFinalVisitor(JLang lang,
LocalInstance li) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isEffectivelyFinal() |
Node |
leave(Node old,
Node n,
NodeVisitor v)
This method is called after all of the children of
n
have been visited. |
public JL7TryExt.EffectivelyFinalVisitor(JLang lang, LocalInstance li)
public boolean isEffectivelyFinal()
public Node leave(Node old, Node n, NodeVisitor v)
NodeVisitorn
have been visited. In this case, these children were visited by the
visitor v. This is the last chance for the visitor to
modify the tree rooted at n. This method will be called
exactly the same number of times as entry is called.
That is, for each node that is not overridden, enter and
leave are each called exactly once.
Note that if old == n then the visitor should make a copy
of n before modifying it. It should then return the
modified copy.
This method is typically called by the method
leave(parent, old, n v).
If a subclass overrides the method
leave(parent, old, n v)
then this method may not be called.
leave in class NodeVisitorold - The original state of root of the current subtree.n - The current state of the root of the current subtree.v - The NodeVisitor object used to visit the children.n.