public interface TryOps
Modifier and Type | Method and Description |
---|---|
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.
|
ExceptionChecker constructTryBlockExceptionChecker(ExceptionChecker ec)
ec
- The exception checker immediately prior to the try block.Block exceptionCheckTryBlock(ExceptionChecker ec) throws SemanticException
ec
- SemanticException
java.util.List<Catch> exceptionCheckCatchBlocks(ExceptionChecker ec) throws SemanticException
ec
- SemanticException
Block exceptionCheckFinallyBlock(ExceptionChecker ec) throws SemanticException
ec
- SemanticException