Modifier and Type | Class and Description |
---|---|
class |
JL7TryExt.EffectivelyFinalVisitor |
class |
JL7TryExt.SetThrowSetVisitor |
Constructor and Description |
---|
JL7TryExt() |
Modifier and Type | Method and Description |
---|---|
void |
checkPreciseRethrows(J7Lang lang,
TypeSystem ts,
Block tryBlock) |
ExceptionChecker |
constructTryBlockExceptionChecker(ExceptionChecker ec)
Construct an ExceptionChecker that is suitable for checking the try block of
a try-catch-finally AST node.
|
java.util.List<Catch> |
exceptionCheckCatchBlocks(ExceptionChecker ec)
Perform exception checking of the catch blocks of a try-catch-finally
AST node, using the supplied exception checker.
|
Block |
exceptionCheckFinallyBlock(ExceptionChecker ec)
Perform exception checking of the finally block of a try-catch-finally
AST node (if there is one), using the supplied exception checker.
|
Block |
exceptionCheckTryBlock(ExceptionChecker ec)
Perform exception checking of the try block of a try-catch-finally
AST node, using the supplied exception checker.
|
protected boolean |
isFinalFormal(JLang lang,
Catch cb) |
Try |
node()
The node we ultimately extend.
|
void |
preciseRethrowsForCatchBlock(J7Lang lang,
Catch cb,
SubtypeSet reaching) |
protected void |
setThrowsTypes(JLang lang,
LocalInstance localInstance,
java.util.List<Type> s,
Block b) |
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, init, initPred, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
public Block exceptionCheckTryBlock(ExceptionChecker ec) throws SemanticException
TryOps
exceptionCheckTryBlock
in interface TryOps
SemanticException
public ExceptionChecker constructTryBlockExceptionChecker(ExceptionChecker ec)
TryOps
constructTryBlockExceptionChecker
in interface TryOps
ec
- The exception checker immediately prior to the try block.public java.util.List<Catch> exceptionCheckCatchBlocks(ExceptionChecker ec) throws SemanticException
TryOps
exceptionCheckCatchBlocks
in interface TryOps
SemanticException
public Block exceptionCheckFinallyBlock(ExceptionChecker ec) throws SemanticException
TryOps
exceptionCheckFinallyBlock
in interface TryOps
SemanticException
public void checkPreciseRethrows(J7Lang lang, TypeSystem ts, Block tryBlock)
checkPreciseRethrows
in interface JL7TryOps
public void preciseRethrowsForCatchBlock(J7Lang lang, Catch cb, SubtypeSet reaching)
preciseRethrowsForCatchBlock
in interface JL7TryOps
protected void setThrowsTypes(JLang lang, LocalInstance localInstance, java.util.List<Type> s, Block b)