polyglot.ast

Interface TryOps

All Known Subinterfaces:

JL7TryOps

All Known Implementing Classes:

JL7TryExt, Try_c, TryWithResources_c

public interface TryOps

This interface allows extensions both to override and reuse functionality in Try_c.

Method Summary

Methods

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.

Method Detail

constructTryBlockExceptionChecker

ExceptionChecker constructTryBlockExceptionChecker(ExceptionChecker ec)

Construct an ExceptionChecker that is suitable for checking the try block of a try-catch-finally AST node.

Parameters:

ec - The exception checker immediately prior to the try block.

Returns:

exceptionCheckTryBlock

Block exceptionCheckTryBlock(ExceptionChecker ec)
                             throws SemanticException

Perform exception checking of the try block of a try-catch-finally AST node, using the supplied exception checker.

Parameters:

ec -

Returns:

Throws:

SemanticException

exceptionCheckCatchBlocks

java.util.List<Catch> exceptionCheckCatchBlocks(ExceptionChecker ec)
                                                throws SemanticException

Perform exception checking of the catch blocks of a try-catch-finally AST node, using the supplied exception checker.

Parameters:

ec -

Returns:

Throws:

SemanticException

exceptionCheckFinallyBlock

Block exceptionCheckFinallyBlock(ExceptionChecker ec)
                                 throws SemanticException

Perform exception checking of the finally block of a try-catch-finally AST node (if there is one), using the supplied exception checker.

Parameters:

ec -

Returns:

Throws:

SemanticException