public class JifExceptionChecker
extends polyglot.visit.ExceptionChecker
Modifier and Type | Class and Description |
---|---|
static class |
JifExceptionChecker.FatalExceptionSetter |
Constructor and Description |
---|
JifExceptionChecker(polyglot.frontend.Job job,
polyglot.types.TypeSystem ts,
polyglot.ast.NodeFactory nf) |
Modifier and Type | Method and Description |
---|---|
protected polyglot.ast.Node |
leaveCall(polyglot.ast.Node parent,
polyglot.ast.Node old,
polyglot.ast.Node n,
polyglot.visit.NodeVisitor v)
Call exceptionCheck(ExceptionChecker) on the node.
|
void |
throwsException(polyglot.types.Type t,
polyglot.util.Position pos)
The ast nodes will use this callback to notify us that they throw an
exception of type t.
|
enterCall, enterError, lang, leaveCall, pop, push, push, push, push, pushCatchAllThrowable, reportUncaughtException, throwsSet
begin, catchErrors, enter, enterCall, errorQueue, hasErrors, job, leave, leaveCall, nodeFactory, typeSystem
bypass, bypass, bypassChildren, override, visitChildren
public JifExceptionChecker(polyglot.frontend.Job job, polyglot.types.TypeSystem ts, polyglot.ast.NodeFactory nf)
protected polyglot.ast.Node leaveCall(polyglot.ast.Node parent, polyglot.ast.Node old, polyglot.ast.Node n, polyglot.visit.NodeVisitor v) throws polyglot.types.SemanticException
leaveCall
in class polyglot.visit.ErrorHandlingVisitor
old
- The original state of root of the current subtree.n
- The current state of the root of the current subtree.v
- The NodeVisitor
object used to visit the children.n
.polyglot.types.SemanticException
public void throwsException(polyglot.types.Type t, polyglot.util.Position pos) throws polyglot.types.SemanticException
throwsException
in class polyglot.visit.ExceptionChecker
t
- The type of exception that the node throws.polyglot.types.SemanticException