Study material for Ingegneria del Software, shared by the Studwiz community and reviewed by moderators.
Study material for Ingegneria del Software, shared by the Studwiz community and reviewed by moderators.
Import quality: text was extracted directly from the original document.
Representative passages recognised in different parts of the material. The full extracted text remains available to search, while this compact preview makes the page easier to read.
Appello 03 marzo 2015 ! Politecnico di Milano Anno accademico 2013-2014 Ingegneria del Software Cognome: Nome: Matricola: Sezione (segnarne una): ⇤ Baresi ⇤ Ghezzi ⇤ San Pietro Istruzioni 1. La mancata indicazione dei dati anagrafici e della sezione comporta l‘annullamento del compito. 2. Al termine, consegnare solo i fogli distribuiti utilizzando il retro delle pagine in caso di necessit `a. Non separare questi fogli. Eventuali fogli di brutta, ecc. non verranno in nessun caso presi in considerazione. `E possibile scrivere in matita. 3. `E possibile consultare liberamente libri, manuali o appunti. `E proibito l’uso di ogni dispositivo elettro- nico (quali calcolatrici tascabili, telefoni cellulari, ecc.). 4. Non `e possibile lasciare l’aula conservando il tema della prova in corso. 5. Tempo a disposizione: 1h45’. Esercizio 1: Esercizio 2: Esercizio 3: Esercizio 4: Esercizio 1 Si consideri la classe Poligonale classe mutabile che rappresenta una sequenza (senza duplicazioni) di punti nello spazio tridimensionale. Ogni punto `e un elemento di una classe Punto, accennata in seguito. La classe Poligonale `e cos`ı specificata: public class Poligonale { public Poligonale();//costruisce una poligonale vuota. //@ensures /result e’ la cardinalita’ dell’insieme public int size() {...} //@ensures /result e’ il punto i-esimo della sequenza, con 0<=i<size(). //@signals IndexOutOfBoundException e) (i<0 || i>=size(); public Punto get(int i) throws IndexOutOfBoundException {...} //@ensures ( *inserisce un nuovo punto al termine della sequenza) //@signals DuplicateException e) ( *eccezione se p esiste in this *) public void inserisci(Punto p) throws IndexOutOfBoundException {...} //@ensures /result e’ un iteratore a tutti i punti, nell’ordine della sequenza, //@ senza ripetizioni.…
First page of the document.
