cerca
Linguaggi di programmazione per la sicurezza o Progettazione di software sicuro
modifica cronologia stampa login logout

Wiki

UniCrema


Materie per semestre

Materie per anno

Materie per laurea


Help

Linguaggi di programmazione per la sicurezza o Progettazione di software sicuro

 :: Linguaggi di programmazione per la sicurezza ::
 :: o Progettazione di software sicuro ::
Quanto ti Ŕ piaciuta la materia?

2 stars N░ voti: 87
Come ti Ŕ sembrato il corso?

1.5 stars N░ voti: 96

Docente: Elvinia Riccobene

Materiale ufficiale

Dispense e Temi d'esame

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