Musi mieć Oprogramowanie Dla KindSoftware
ESC / Java2 jest Rozszerzona Static Checker for Java. Automatycznie, statycznie i modułowo wykrywa typowe błędy programistyczne. Powody ESC / java2 o programy Java, które (opcjonalnie) adnotacje napisanych w JML Co nowego w tym wydaniu:. Nie ma...
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...