ESC/Java

From Arnout Engelen

Jump to: navigation, search

[edit] Limitations

ESC/Java only supports Java 1.4, not 1.5, and Java 1.5 is not currently being actively planned.

A workaround:

  • maybe transduce java 1.5 to 1.4 with JastAdd? Or is this impossible, or doesn't it solve the problem?

[edit] Performance

Performance could be better - maybe using a caching Simplify server??

[edit] Gradually Introducion

it'd be nice if ESC/Java could be configured to see a dereference as a guarantee that the reference is not null afterwards, but not a verification obligation.

Could this be done by adding 

-NoWarn Null

because violation of nonnullness is a NonNull error? That'd be sweet.

Maybe also for Cast (pre-generics...) and possibly Exception errors.

Retrieved from "http://arnout.engelen.eu/index.php/ESC/Java"
Personal tools