[Soot-list] Status of Java 5.0 language features in Soot

[Keith Lea]

Hi, I'm planning to implement a plugin for IntelliJ IDEA which allows 
developers to use Java 5 annotations (@XX) to specify simple invariants 
on variables, parameters, and method return calls, which are enforced at 
runtime via source transformation, checked at edit-time via source 
highlighting, and enforced at compile-time via pre-compilation step.

For example, a statement "@NonNull String s;" would be possible, which 
would indicate that s can never be null.

I plan to use the features described in the 2004 paper about Eclipse 
integration, although hopefully in a more efficient way, since the 
analysis should be performed at practically every keystroke in the Java 
editor.

This project must work with Java 5.0 source features such as foreach 
loops, generics, because it depends on Java 5.0 annotations. This 
doesn't mean Soot has to support Java 5.0 source, because I could 
transform the 5.0 source to mostly equivalent 1.4 source before passing 
to Soot.

However, I'd like to know - what is the status of Java 5.0 language 
features in Soot?

Thanks,
-Keith