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