I'm implementing an invariants extension to the java language. I'm implementing the parser for my new language and annotated AST as an intermediate representation. Now I'm thinking of using AspectJ to control where to inject code in a visit to AST to control the variables but I detect a problem. AspectJ doesn't have a joinpoint to local variables. Is there any extension to aspectj or other aspect programming framework with this functionality?
Regards