:: Linguaggi di programmazione per la sicurezza ::
:: o Progettazione di software sicuro ::
Quanto ti è piaciuta la materia?
|
Come ti è sembrato il corso?
|
Docente: Elvinia Riccobene
Materiale ufficiale
Appunti
Appunti by Jappo
Principali Domande Esame Scritto
Esercizi
MegaGlossario
Configurazione Eclipse e JML2 Eclipse Plug-In
Configurazione Ottimale e Testata
Materiale
Installazione del plugin
- Seguire le istruzioni contenute nel PDF JML2 Eclipse Plug-In Installation and Configuration.
- Dopo aver aggiunto l'indirizzo, bisogna deselezionare la voce "Groups items by category"; in questo modo il plugin viene mostrato nella lista.
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:
- scompattate il contenuto di features.zip nella sottocartella "features";
- scompattate il contenuto di plugins.zip nella sottocartella "plugins".
Temi di Esame
UniCrema | Primo Semestre | Terzo Anno | Sicurezza
