Sagteware kiekie:
Sagteware besonderhede:
Weergawe: 2.0.5
Upload datum: 3 Jun 15
Ontwikkelaar: KindSoftware
Lisensie: Gratis
Populariteit: 167
ESC / Java2 Frontend projek ontleed Java 1,4 bronkode en Java 1,5 bytecode in 'n Abstract Syntax Tree wat gebruik kan word vir die Uitgebreide Static keur.
Die Uitgebreide Static Checker vir Java weergawe 2 (ESC / Java2) is 'n ontwikkeling instrument wat poog om gemeenskaplike run-time foute in JML-geannoteerde Java programme vind deur statiese ontleding van die program kode en die formele notas. Gebruikers kan die hoeveelheid en soorte kontroleer dat ESC / Java2 voer deur regmaak hul programme met spesiaal geformateer kommentaar genoem pragmas beheer.
ESC / Java2 is beskikbaar in twee vorme:
Kommentaar nie gevind