Software screenshot:
Dettagli del software:
Versione: 2.0.5
Data di caricamento: 3 Jun 15
Sviluppatore: KindSoftware
Licenza: Libero
Popolarità: 22
ESC progetto / Java2 Frontend analizza codice Java 1.4 sorgente e bytecode Java 1.5 in un albero di sintassi astratta che può essere utilizzato per esteso Controllo statico.
Il statico Checker estesa per Java versione 2 (ESC / Java2) è uno strumento di programmazione che tenta di trovare gli errori più comuni di runtime in programmi Java JML-annotati con l'analisi statica del codice di programma e le sue annotazioni formali. Gli utenti possono controllare la quantità e tipi di controllo che ESC / Java2 esegue annotando i loro programmi con commenti in formato speciale chiamato pragma.
ESC / Java2 è disponibile in due forme:
I commenti non trovato