public class JifTypeChecker
extends polyglot.visit.TypeChecker
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) |
Modifier and Type | Method and Description |
---|---|
boolean |
disambiguationInProgress() |
boolean |
inferClassParameters() |
JifTypeChecker |
inferClassParameters(boolean inferClassParameters) |
enterCall, lang, leaveCall, override, setCheckConstants
addDecls, addDecls, begin, context, context, enter, enter, enterScope, leave, rethrowMissingDependencies, superEnter
catchErrors, enterCall, enterError, errorQueue, hasErrors, job, leaveCall, leaveCall, nodeFactory, typeSystem
bypass, bypass, bypassChildren, visitChildren
public JifTypeChecker(polyglot.frontend.Job job, polyglot.types.TypeSystem ts, polyglot.ast.NodeFactory nf)
public JifTypeChecker(polyglot.frontend.Job job, polyglot.types.TypeSystem ts, polyglot.ast.NodeFactory nf, boolean dip)
public boolean inferClassParameters()
public boolean disambiguationInProgress()
public JifTypeChecker inferClassParameters(boolean inferClassParameters)