polyglot.visit
Class TypeChecker

java.lang.Object
  polyglot.visit.NodeVisitor
      polyglot.visit.HaltingVisitor
          polyglot.visit.ErrorHandlingVisitor
              polyglot.visit.ContextVisitor
                  polyglot.visit.DisambiguationDriver
                      polyglot.visit.TypeChecker

All Implemented Interfaces:

java.lang.Cloneable, Copy

public class TypeChecker
extends DisambiguationDriver

Visitor which performs type checking on the AST.

Nested Class Summary

protected static class

TypeChecker.AmbChecker

Field Summary

Fields inherited from class polyglot.visit.ContextVisitor

context, outer, prune, rethrowMissingDependencies

Fields inherited from class polyglot.visit.ErrorHandlingVisitor

error, job, nf, ts

Fields inherited from class polyglot.visit.HaltingVisitor

bypass, bypassParent

Constructor Summary

TypeChecker(Job job, TypeSystem ts, NodeFactory nf)

Method Summary

protected NodeVisitor	enterCall(Node n)
protected Node	leaveCall(Node old, Node n, NodeVisitor v)
Node	override(Node parent, 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.ContextVisitor

addDecls, begin, context, context, enter, enter, enterScope, leave, rethrowMissingDependencies, superEnter

Methods inherited from class polyglot.visit.ErrorHandlingVisitor

catchErrors, enterCall, enterError, errorQueue, hasErrors, job, leaveCall, leaveCall, nodeFactory, typeSystem

Methods inherited from class polyglot.visit.HaltingVisitor

bypass, bypass, bypassChildren, visitChildren

Methods inherited from class polyglot.visit.NodeVisitor

copy, finish, finish, 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

public TypeChecker(Job job,
                   TypeSystem ts,
                   NodeFactory nf)

Method Detail

override

public Node override(Node parent,
                     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.

The default implementation of this method is to call override(n), as most subclasses do not need to know the parent of the node n.

Overrides:

override in class HaltingVisitor

Parameters:

parent - The parent of n, null if n has no parent.

n - The root of the subtree to be traversed.

Returns:

A node if normal traversal is to stop, null if it is to continue.

enterCall

protected NodeVisitor enterCall(Node n)
                         throws SemanticException

Overrides:

enterCall in class ErrorHandlingVisitor

Throws:

SemanticException

leaveCall

protected Node leaveCall(Node old,
                         Node n,
                         NodeVisitor v)
                  throws SemanticException

Overrides:

leaveCall in class ErrorHandlingVisitor

Throws:

SemanticException