Description Md Arefin 2015-07-28 10:10:00 EDT

we would like to check that a block of code (e.g., a for loop body) does not throw checked exceptions. Note that, if a block of code does throw a checked exception, the code will compile so as long as the method header/signature has a throws clause. Here's an example:

void m() throws Exception {
    for (...) {
        throw new Exception(); //bad.
    }
    for (...) {
        //good.
    }
}

Note that this is not as simple as just checking for throw statements in the AST of the loop body as the body may call methods that throw exceptions and the throw could appear in a try/catch block that does not rethrow the exception.

there is a method org.eclipse.jdt.internal.codeassist.ThrownExceptionFinder.getThrownUncaughtExceptions()
It seems that the method to call first is ThrownExceptionFinder.processThrownExceptions(TryStatement, BlockScope) rather than TryStament we need to check for any kind of statement so that we can find exceptions in an arbitrary statement.