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

[Jennifer LHOTAK]

Hi,

We are currently updating Soot to support the Java 1.5 features at the
bytecode level. The implementation is mostly complete and the testing will
be finished soon. We hope to release it in early May. We then plan to
update Soot to support the new features at the source level. This is a
much bigger project, but hopefully more time will be available to devote
to it.

It sounds like you are working on a very interesting project.

Jennifer

On Fri, 25 Mar 2005, Keith Lea wrote:

> 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
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://www.sable.mcgill.ca/mailman/listinfo/soot-list
>