ESC проекта / Java2 Frontend разбирает Java 1.4 исходного кода и байт-код Java 1.5 в абстрактное синтаксическое дерево, которое может быть использовано для Расширенная статическая проверка.Расширенное Статический проверки для Java версии 2 (ESC / Java2)...