public class JifLabelSubst
extends polyglot.visit.ContextVisitor
Modifier and Type | Field and Description |
---|---|
protected VarMap |
bounds |
protected polyglot.util.ErrorQueue |
eq |
protected Solver |
solver |
protected JifTypeSystem |
ts |
Constructor and Description |
---|
JifLabelSubst(polyglot.frontend.Job job,
JifTypeSystem ts,
polyglot.ast.NodeFactory nf,
Solver solver) |
Modifier and Type | Method and Description |
---|---|
polyglot.ast.Node |
leaveCall(polyglot.ast.Node old,
polyglot.ast.Node n,
polyglot.visit.NodeVisitor v) |
protected void |
solve() |
protected polyglot.ast.Node |
updateNode(polyglot.ast.Node n) |
addDecls, addDecls, begin, context, context, enter, enter, enterScope, leave, rethrowMissingDependencies, superEnter
catchErrors, enterCall, enterCall, enterError, errorQueue, hasErrors, job, leaveCall, leaveCall, nodeFactory, typeSystem
bypass, bypass, bypassChildren, override, visitChildren
protected JifTypeSystem ts
protected final Solver solver
protected polyglot.util.ErrorQueue eq
protected VarMap bounds
public JifLabelSubst(polyglot.frontend.Job job, JifTypeSystem ts, polyglot.ast.NodeFactory nf, Solver solver)
public polyglot.ast.Node leaveCall(polyglot.ast.Node old, polyglot.ast.Node n, polyglot.visit.NodeVisitor v) throws polyglot.types.SemanticException
leaveCall
in class polyglot.visit.ErrorHandlingVisitor
polyglot.types.SemanticException
protected void solve() throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected polyglot.ast.Node updateNode(polyglot.ast.Node n) throws polyglot.types.SemanticException
polyglot.types.SemanticException