jif.visit

Class JifTypeChecker

java.lang.Object

polyglot.visit.NodeVisitor

polyglot.visit.HaltingVisitor

polyglot.visit.ErrorHandlingVisitor

polyglot.visit.ContextVisitor

polyglot.visit.DisambiguationDriver

polyglot.visit.TypeChecker

jif.visit.JifTypeChecker

All Implemented Interfaces:

java.lang.Cloneable, polyglot.util.Copy<polyglot.visit.NodeVisitor>

public class JifTypeChecker
extends polyglot.visit.TypeChecker

Nested Class Summary

Nested classes/interfaces inherited from class polyglot.visit.TypeChecker

polyglot.visit.TypeChecker.AmbChecker

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields inherited from class polyglot.visit.TypeChecker

checkConstants

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

Constructors

Constructor and Description
JifTypeChecker(polyglot.frontend.Job job, polyglot.types.TypeSystem ts, polyglot.ast.NodeFactory nf)
JifTypeChecker(polyglot.frontend.Job job, polyglot.types.TypeSystem ts, polyglot.ast.NodeFactory nf, boolean dip)

Method Summary

Modifier and Type	Method and Description
boolean	disambiguationInProgress()
boolean	inferClassParameters()
JifTypeChecker	inferClassParameters(boolean inferClassParameters)

Methods inherited from class polyglot.visit.TypeChecker

enterCall, lang, leaveCall, override, setCheckConstants

Methods inherited from class polyglot.visit.ContextVisitor

addDecls, 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

JifTypeChecker

public JifTypeChecker(polyglot.frontend.Job job,
                      polyglot.types.TypeSystem ts,
                      polyglot.ast.NodeFactory nf)

JifTypeChecker

public JifTypeChecker(polyglot.frontend.Job job,
                      polyglot.types.TypeSystem ts,
                      polyglot.ast.NodeFactory nf,
                      boolean dip)

Method Detail

inferClassParameters

public boolean inferClassParameters()

disambiguationInProgress

public boolean disambiguationInProgress()

inferClassParameters

public JifTypeChecker inferClassParameters(boolean inferClassParameters)