runtimeverification / javamop

Runtime verification system for Java, using AspectJ for instrumentation.
http://fsl.cs.illinois.edu/javamop
MIT License
45 stars 37 forks source link

Support Generics in Advice arguments #259

Closed msaxena2 closed 4 years ago

msaxena2 commented 4 years ago

Allows parsing advice arguments like event foo(List<TypeBar> argBuzz)