Dettagli del software:
Versione: 2.0 Beta 5
Data di caricamento: 3 Jun 15
Licenza: Libero
Popolarità: 116
ESC / Java2 è statico Checker estesa per Java. Automaticamente, rileva staticamente e modularmente errori di programmazione più comuni. Motivi ESC / Java2 su programmi Java che sono (opzionale) annotazioni scritte in JML
Cosa c'è di nuovo in questa versione:.
- Non ci sono grandi cambiamenti funzionali, ma alcuni bugfix e la pulizia delle funzioni esistenti.
- Questo è destinato ad essere la versione finale e la prima release stabile.
I commenti non trovato