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 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,…
First page of the document.
