:: Linguaggi di programmazione per la sicurezza :: :: o Progettazione di software sicuro ::
Quanto ti è piaciuta la materia? |
Come ti è sembrato il corso? |
Docente: Elvinia Riccobene
| Dispense e Temi d'esame |
Configurazione Ottimale e Testata
Materiale
Installazione del plugin
Utilizzo del plugin
Una volta installato il plugin, troviamo in eclipse una barra "JML2 Tools" nella barra degli strumenti. Con il bottone "Run JML2 checker" controlliamo che il codice JML scritto sia corretto. Con il bottone "Run JML2 compiler" compiliamo il codice con il compilatore di JML. Per eseguire il codice bisogna fare tasto destro sul file e "Run As -> JML Rac".
Nella scheda "JML2 Errors" si trovano gli errori sintattici delle specifiche JML. Per visualizzare la scheda bisogna selezionare "Window/Show View/Other/Java/JML2 Errors"
ATTENZIONE
In passato l'update site del plugin era risultato irraggiungibile. Ora la situazione è stata risolta. Nel caso in futuro ci siano ancora problemi con l'update site, in allegato trovate i file che dovete aggiungere alla vostra installazione eclipse per poter utilizzare ugualmente il plugin: