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