23 07 15 1

Pagina 1

Appello 23 luglio 2015 ! Politecnico di Milano Anno accademico 2014-2015 Ingegneria del Software Cognome: LAUREANDO ⇤ 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: 2h. Esercizio 1: Esercizio 2: Esercizio 3: Esercizio 4: Esercizio 1 Si consideri la seguente interfaccia Java Albero<T> che specifica i metodi pubblici di un ADT Albero. I nodi dell’albero sono oggetti di una classe immutabile, detta Nodo<T>, precisata nel seguito. Ogni nodo memorizza un valore di tipo T. public interface Albero<T> { //OVERVIEW: Un albero con radice, dalla quale esiste un unico cammino ad ogni altro nodo. //Ogni nodo puo’ avere 0, 1 o piu’ figli, disposti in un ordine qualunque. //L’albero non puo’ essere vuoto. Ogni nodo e’ etichettato con un valore di tipo T. //@ensures ( * \result e’ il numero di nodi dell’albero *); public / *@ pure @ */ int size(); //@ensures ( * \result e’ la radice dell’albero *) public / *@ pure @ */ Nodo<T> radice(); //@ensures ( * \result e’ un iteratore a tutti e soli i figli del nodo n //@ in ordine qualunque. *); public Iterator<Nodo<T> figli(Nodo<T> n); //@ensures ( *restituisce il padre del nodo n,…