Description Steve Powell 2009-10-14 07:16:00 EDT

Created attachment 149513 [details]
Amalgam of files to test aspectj advice.

after(Object o) throwing(ExceptionType e) ... { ... }

on a pointcut that matches methods with no throws clauses

will not advise those methods when the ExceptionType is a checked exception. 
This, I believe, is an optimisation.

However, it is perfectly possible that ExecptionType is checked but subclasses
of ExceptionType are not.

The prototypical example, is Exception.  If throwing(Exception e) is part of
the advice, then methods that do not declare throws types are NOT advised, even
though they can validly throw (for example) RuntimeException. The
RuntimeExceptions are therefore not caught by the after advice.

The workaround is to specify throwing(Throwable t) and for the advice to filter
out Exception exceptions. Since Throwable is not checked, this advises all
methods whether they declare throws or not.

I expect the after(Object o) throwing(ExceptionType e) {} to advise all methods
in the pointcut that may possibly issue an exception that would be caught by
catch(ExceptionType e) -- this includes subclasses of ExceptionType which may
not be checked.

Example attached.

[I do not think this problem is operating system specific.]