Frontend ESC / Java2 Progetto Frentend ESC / JAVA2 Parses Java 1.4 Code sorgente e Java 1.5 Bytecode in un albero di sintassi astratto.
Scarica ora

Frontend ESC / Java2 Classifica e riepilogo

Frontend ESC / Java2 Tag

Giava Biblioteca Java. fine frontale Analizzatore Java ESC Sottosistema Javafe.

Frontend ESC / Java2 Descrizione

ESC / JAVA2 Frontend Project Parses Java 1.4 Code sorgente e Java 1.5 Bytecode in un albero di sintassi astratto. Progetto Frontend ESC / JAVA2 Parses Java 1.4 Code sorgente e Java 1.5 Bytecode in un albero di sintassi astratto che può essere utilizzato per il controllo statico esteso. Il controllo statico esteso per Java versione 2 (ESC / Java2) è uno strumento di programmazione che tenta di trovare comune Errori di runtime nei programmi Java annotati da JML per analisi statica del codice del programma e delle sue annotazioni formali. Gli utenti possono controllare l'importo e il tipo di controllo che ESC / Java2 si esibisce annotando i propri programmi con commenti appositamente formattati chiamati Pragmas.ec / Java2 è disponibile in due moduli: · ESC / Java2 è uno strumento a riga di comando con un semplice anteriore GUI Swing -fine. · ESC / Java2 è anche un plugin Eclipse 3.3 (EUROPA) Plugin.requirements: · Java 1.4 o Laureawhat's No è nuovo in questa versione: · Le classi di vettore AST e di prova sono ora incluse nella biblioteca JAVAFE. · Gli eseguibili binari per gli strumenti ASTGEN e ASTFilelist hanno stato preconto per Macos X e Linux.

Frontend ESC / Java2 Software correlato