public class MakeNarrowingAssignmentsExplicit extends NodeVisitor
| Constructor and Description |
|---|
MakeNarrowingAssignmentsExplicit(NodeFactory nf) |
| Modifier and Type | Method and Description |
|---|---|
Node |
leave(Node old,
Node n,
NodeVisitor v)
This method is called after all of the children of
n
have been visited. |
public MakeNarrowingAssignmentsExplicit(NodeFactory nf)
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.