polyglot.visit
Class TypeChecker.AmbChecker

java.lang.Object
  extended by polyglot.visit.NodeVisitor
      extended by polyglot.visit.TypeChecker.AmbChecker
All Implemented Interfaces:
java.lang.Cloneable, Copy
Enclosing class:
TypeChecker

protected static class TypeChecker.AmbChecker
extends NodeVisitor


Constructor Summary
protected TypeChecker.AmbChecker()
           
 
Method Summary
 Node override(Node n)
          Given a tree rooted at n, the visitor has the option of overriding all traversal of the children of n.
 
Methods inherited from class polyglot.visit.NodeVisitor
begin, copy, enter, enter, finish, finish, leave, leave, override, toString, visitEdge, visitEdgeNoOverride
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TypeChecker.AmbChecker

protected TypeChecker.AmbChecker()
Method Detail

override

public Node override(Node n)
Description copied from class: NodeVisitor
Given a tree rooted at n, the visitor has the option of overriding all traversal of the children of n. If no changes were made to n and the visitor wishes to prevent further traversal of the tree, then it should return n. If changes were made to the subtree, then the visitor should return a copy of n with appropriate changes. Finally, if the visitor does not wish to override traversal of the subtree rooted at n, then it should return null.

This method is typically called by the method override(parent, n). If a subclass overrides the method override(parent, n) then this method may not be called.

Overrides:
override in class NodeVisitor
Parameters:
n - The root of the subtree to be traversed.
Returns:
A node if normal traversal is to stop, null if it is to continue.