Скріншот програми:
Дані програми:
Версія: 2.0.5
Дата завантаження: 3 Jun 15
Розробник: KindSoftware
Ліцензія: Безкоштовно
Популярність: 22
ESC проекту / Java2 Frontend розбирає Java 1.4 вихідного коду і байт-код Java 1.5 в абстрактне синтаксичне дерево, яке може бути використане для Розширена статична перевірка.
Розширений Статичний перевірки для Java версії 2 (ESC / Java2) є інструментом програмування, який намагається знайти спільні помилки часу виконання в JML-анотованих програм Java за допомогою статичного аналізу програмного коду і його формальних анотацій. Користувачі можуть контролювати кількість і види перевірки, що ESC / Java2 виконує аннотирования своїх програм спеціально відформатованих коментарів званих псевдокомментаріі.
ESC / Java2 доступний у двох формах:
Коментар не знайдено