Screenshot Software:
Szczegóły programowe:
ESC projektu / Java2 Java Frontend analizuje kod źródłowy i 1,4 kodu bajtowego w Java 1.5 składni abstrakcyjnej drzewa, które mogą być używane do rozszerzonej Static Sprawdzanie.
Rozszerzona Static Checker for Java w wersji 2 (ESC / Java2) to narzędzie programowania, który próbuje znaleźć wspólne błędów czasu w JML-adnotacjami programów Java za pomocą analizy statycznej kodu programu i jego formalnych adnotacji. Użytkownicy mogą kontrolować ilość i rodzaje kontroli, które ESC / Java2 wykonuje poprzez opisywanie swoich programów ze specjalnie sformatowanych komentarzy zwanych pragmas.
ESC / Java2 jest dostępny w dwóch formach:
Komentarze nie znaleziono