public class TypeChecker extends DisambiguationDriver
| Modifier and Type | Class and Description |
|---|---|
protected static class |
TypeChecker.AmbChecker |
| Modifier and Type | Field and Description |
|---|---|
protected boolean |
checkConstants |
context, outer, prune, rethrowMissingDependencieserror, job, nf, tsbypass, bypassParent| Constructor and Description |
|---|
TypeChecker(Job job,
TypeSystem ts,
NodeFactory nf) |
| Modifier and Type | Method and Description |
|---|---|
protected NodeVisitor |
enterCall(Node n) |
JLang |
lang() |
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. |
void |
setCheckConstants(boolean check) |
addDecls, addDecls, begin, context, context, enter, enter, enterScope, leave, rethrowMissingDependencies, superEntercatchErrors, enterCall, enterError, errorQueue, hasErrors, job, leaveCall, leaveCall, nodeFactory, typeSystembypass, bypass, bypassChildren, visitChildrencopy, finish, finish, leave, override, toString, visitEdge, visitEdgeNoOverridepublic TypeChecker(Job job, TypeSystem ts, NodeFactory nf)
public JLang lang()
lang in class NodeVisitorpublic void setCheckConstants(boolean check)
public Node override(Node parent, Node n)
NodeVisitorn, 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.
override in class HaltingVisitorparent - The parent of n,
null if n has no parent.n - The root of the subtree to be traversed.null if it
is to continue.protected NodeVisitor enterCall(Node n) throws SemanticException
enterCall in class ErrorHandlingVisitorSemanticExceptionprotected Node leaveCall(Node old, Node n, NodeVisitor v) throws SemanticException
leaveCall in class ErrorHandlingVisitorSemanticException