Screenshot Software:
Detalii soft:
ESC proiect / Java2 Frontend analizează Java codul sursă 1.4 și Java bytecode 1.5 într-un Rezumat Sintaxa copac care poate fi folosit pentru Extended Verificarea statică.
Extended Checker static pentru Java versiunea 2 (ESC / Java2) este un instrument de programare care încearcă să găsească comune erori run-time în programele Java JML-adnotate prin analiza statica a codului de program și adnotări formale. Utilizatorii pot controla cantitatea și tipurile de verificare care ESC / Java2 efectuează de adnotare programele lor cu comentarii special formatate numite pragmas.
ESC / Java2 este disponibil în două forme:
Comentariile nu a fost găsit