PolyFun. Dare implementazione,funzione di astrazione, invarianti della rappresentazione. Provare che i metodi apply e bind preservano gli invarianti.

Slides:



Advertisements
Presentazioni simili
Astrazioni Polimorfe e Tipi Generici. 2 Polimorfismo Dal Greco molte forme Una variabile polimorfa può riferirsi a oggetti di classi diverse Un metodo.
Advertisements

1 Astrazioni sui dati : Specifica ed Implementazione di Tipi di Dato Astratti in Java.
LIP: 4 Aprile 2008 ECCEZIONI. Eccezioni Come si definiscono eccezioni Come si lanciano Come si gestiscono (gestione esplicita o di default)
Liste di Interi Esercitazione. Liste Concatenate Tipo di dato utile per memorizzare sequenze di elementi di dimensioni variabile Definizione tipicamente.
MultiSet, Liste Ordinate
Le gerarchie di tipi.
Esercitazione Frame. Argomento Realizzazione di un tipo di dato astratto Usare le eccezioni per segnalare situazioni particolari Invariante e funzione.
LIP: 19 Aprile Contenuto Soluzione Compitino Tipo di dato MultiSet, estensione con sottoclasse.
1 Le gerarchie di tipi: implementazioni multiple e principio di sostituzione.
1 Astrazioni sui dati : Ragionare sui Tipi di Dato Astratti.
Liste Ordinate 3 Maggio Ultima Lezione Abbiamo visto i tipi di dato astratti IntList e StringList Realizzano liste di interi e di stringhe Realizzati.
LIP: 1 Marzo 2005 Classe Object e Vettori. Partiamo da Lesercizio dellultima esercitazione realizzato tramite array Vedremo come si puo fare in modo piu.
Specifiche senza JML: uso delle asserzioni. 2 Asserzioni in Java Dal jdk 1.4 (da Febbraio 2002) cè meccanismo per gestire asserzioni Asserzione: espressione.
1 Le gerarchie di tipi. 2 Supertipi e sottotipi 4 un supertipo –class –interface 4 può avere più sottotipi –un sottotipo extends il supertipo ( class.
1 Astrazioni sui dati : Ragionare sui Tipi di Dato Astratti dispense prof. G. Levi.
Multiset. Progettare (specifica con identificazione delle eventuali astrazioni necessarie, incluse eccezioni, e implementazione) del tipo di dato Multiset,
Astrazione procedurale ed eccezioni
Polimorfismo Significato Significato Varie famiglie Varie famiglie Polimorfismo in java Polimorfismo in java Polimorfismo di Sottotipo: Apparato in Java.
1 Un esempio con iteratore: le liste ordinate di interi.
Esercitazione su Vector. Permette di definire collezioni di dati generiche, che sono in grado di memorizzare elementi di ogni sottotipo di Object Definito.
Eccezioni Metodi parziali Eccezioni: Usi e Metodi parziali Eccezioni: rimuovere i requires Eccezioni: rimuovere i requires Eccezioni: definizione, sollevamento,
1 Eccezioni in Java. 2 Ricordiamo che 4 una procedura può terminare –normalmente, ritornando un risultato –in modo eccezionale ci possono essere diverse.
1 Astrazioni polimorfe. 2 Perché il polimorfismo 4 non vogliamo definire versioni differenti dell’astrazione corrispondente ad una collezione di elementi.
Astrazione di dati Esercizio 1. Si completi l’implementazione Poly.add data a lezione con la specifica e l’implementazione degli ausiliari min e max data.
1 Astrazione sul controllo: gli iteratori. 2 Perché vogliamo iterarare “in modo astratto” 4 problema: iterare su tipi di dato arbitrari  esempio: procedura.
Liste di Interi Esercitazione. Una variante Liste concatenate di Integers Non modificabile Costruttori per creare la lista vuota o un nodo Metodi d’istanza.
Primo Compitino Primo esercizio Identificare gli errori segnalati dal compilatore Verifica statica del codice Regole di binding per i nomi (quelle.
1 Progettazione dettagliata di un Tipo di Dato Astratto: l’ambiente di metodi.
Liste di Interi Esercitazione. IntList Lista di interi Problema tipico: memorizzare una sequenza di valori [6,0,9,3….9] Vediamo un tipo di dato utile.
Liste Concatenate 11 Aprile E’ una delle strutture dati fondamentali in tutti i linguaggi di programmazione di alto livello Una Lista Concatenata.
Liste di Interi Esercitazione. IntList Lista di interi Una lista è una disposizione ordinata di elementi ( non in modo crescente-descrescente, ma per.
Si dia la specifica del tipo di dato astratto Tabella.Una Tabella ha due colonne e un numero variabile di righe. Gli elementi della prima colonna sono.
1 Gerarchie e polimorfismo: liste. 2 Generalizzare le liste di interi  List 4 lista di oggetti –non modificabile 4 vorremo poi definire un sottotipo.
Esercitazione Object, Vettori, Liste. Ereditarieta’ Abbiamo visto come tramite l’ereditarieta’ e’ possibile estendere classi esistenti -arricchendo lo.
1 Laboratorio di Introduzione alla Programmazione §II MODULO §3 crediti §Esame e voto unico (su 6 crediti totali)
1 Astrazione sul controllo: gli iteratori. 2 Gli iteratori 4 perché vogliamo iterarare “in modo astratto” 4 iteratori e generatori in Java –specifica.
LIP: 9 Maggio Esercizi Riprendiamo un esercizio proposto Definire un tipo di dato Persona che definisce oggetti che rappresentano le informazioni.
1 Progettare un Tipo di Dato Astratto. 2 Scelte di Progetto (astrazione) 4 Caratteristiche degli oggetti –Modificabilità 4 Scelta delle operazioni –Realizzare.
1 Astrazioni sui dati : Ragionare sui Tipi di Dato Astratti.
1 Un esempio: le liste ordinate di interi. 2 Liste ordinate  OrderedIntList 4 lista ordinata di interi –modificabile.
Ese 3 (del 3 Aprile 2003). Testo Progettare la specifica e l’implementazione del tipo di dato astratto modificabile Stack, supponendo che gli elementi.
1 Astrazione sul controllo: gli iteratori. 2 Perché vogliamo iterarare “in modo astratto” 4 problema: iterare su tipi di dato arbitrari  esempio: procedura.
1 Le gerarchie di tipi: implementazioni multiple e principio di sostituzione.
Esercitazione del 7 marzo 2008 Ereditarieta’. Esercizio: soluzione Implementare la seguente specifica che definisce un tipo di dato Libro.
Ese 3 (del 3 Aprile 2003). Testo Progettare la specifica e l’implementazione del tipo di dato astratto modificabile Stack, supponendo che gli elementi.
Ese 3 (del 31 Marzo 2004). Testo Dare rappresentazione e realizzazione dei metodi della seguente classe QueueWithPriority. Nella risposta, non riportare.
LIP: 22 Marzo 2005 Eccezioni. Eccezioni-Richiami Come si definiscono eccezioni Come si lanciano Come si gestiscono (gestione esplicita o di default)
1 Le s-espressioni. 2  Sexpr 4 alberi binari (possibilmente “vuoti”) che hanno sulle foglie atomi (stringhe) 4 sono la struttura dati base del linguaggio.
Esercizio 3. Testo Dare rappresentazione e realizzazione dei metodi della seguente classe QueueWithPriority. Nella risposta, non riportare i commenti.
PolyFun. Dare implementazione,funzione di astrazione, invarianti della rappresentazione. Provare che i metodi apply e bind preservano gli invarianti.
LIP: 2 Maggio 2008 Classi Astratte. Cos’e’ una Classe Astratta una classe astratta e’ un particolare tipo di classe permette di fornire una implementazione.
1 Astrazione sul controllo: gli iteratori. 2 Perché vogliamo iterare “in modo astratto” 4 problema: iterare su tipi di dato arbitrari  esempio: procedura.
Sommario Oggetti immutabili e non Tipi Primitivi: String, Arrays.
Esercitazione. Problema Vogliamo definire in modo gerachico un tipo di dato che definisce Tabelle multi-dimensionali con un numero di righe variabili.
Primo Compitino Terzo Esercizio Implementare il tipo di dato astratto Table un oggetto di tipo Table ha due colonne e un numero variabile di righe.
1 Astrazioni sui dati : Specifica ed Implementazione di Tipi di Dato Astratti in Java.
Ese 1 e 3 (del 6 Aprile 2005). Primo Ese Si identifichino gli errori che il compilatore segnalerebbe per il seguente programma Tipi Legami tra dichiarazioni.
1 Astrazioni sui dati : Specifica ed Implementazione di Tipi di Dato Astratti in Java.
LIP: 11 Maggio 2007 Classi Astratte. Cos’e’ una Classe Astratta una classe astratta e’ un particolare tipo di classe permette di fornire una implementazione.
Esercitazione 14 Marzo Esercizio dell’altra volta Definire un tipo di dato Abbonato i cui oggetti descrivono le informazioni relative ad un abbonato.
Esercitazione del 9 marzo 2007 Ereditarieta’. Richiami Definire sottoclassi (ereditarieta’) Overriding Specificatori di accesso (private, protected) Principio.
Liste Concatenate 28 Marzo Avviso Martedi’ 4 Aprile: Verifica di LIP Per iscriversi (obbligatorio) inviare un e- mail entro venerdi’ 31 Marzo a.
1 Astrazioni polimorfe. 2 Perché il polimorfismo 4 Abbiamo visto come si definiscono insiemi di stringhe, insiemi di interi, insiemi di caratteri, etc.
1 Un esempio con iteratore: le liste ordinate di interi.
LIP: 4 Maggio 2007 Interfacce. Cos’e’ una Interfaccia una interfaccia e’ un particolare tipo di classe contiene solo la specifica non ha implementazione.
LIP: 15 Marzo 2005 Vettori di interi. Esercizio proposto Definire una classe VectorInt i cui oggetti sono vettori omogenei di interi ordinati in modo.
LIP: 18 Aprile 2008 Interfacce. Rappresentazione Lista val next vuota Lista vuota: any true Lista non vuota: any true 154 false 24 false.
Ex.1 - Astrazioni su Dati Si abbia il tipo di dato stack di interi, IntStack, specificato sotto: public class IntStack { \\ OVERVIEW: uno Stack è una collezione.
Sommario cos’è un tipo di dato astratto astrazione tramite specifica:
Ese 3 (del 3 Aprile 2003).
Transcript della presentazione:

PolyFun

Dare implementazione,funzione di astrazione, invarianti della rappresentazione. Provare che i metodi apply e bind preservano gli invarianti. public class PolyFun { // OVERVIEW: un PolyFun è una funzione // parziale(a dominio finito) da un tipo // qualunque a qualunque altro. Non è // modificabile.Dominio e codominio devono // essere omogenei. // Costruttore public PolyFun (Class dt, Class ct) // EFFECTS: costruisce una nuova PolyFun // avente come dominio dt e come codominio // ct e indefinita per tutti gli argomenti.

// metodi public boolean defined (Object o) // EFFECTS: se this è definita per l'argomento // o ritorna true altrimenti ritorna false. public Object apply (Object o) throws UndefinedException // EFFECTS: se la funzione this è definita per // l'oggetto o restituisce this(o) altrimenti // solleva l'eccezione (unchecked) // UndefinedException.

public PolyFun bind (Object d, Object c) throws DuplicateException, ClassCastException, NullPointer Exception { // EFFECTS: restituisce una funzione // diversa da this solo perché definita anche // per d e applicata a d restituisce c. // Se this è già definita per d, // solleva DuplicateException; se d e c // solleva NullPointer Exception; se d e c // non sono dello stesso tipo di dominio // e codominio solleva ClassCastException. }

Implementazione Si utilizzano due variabili (di tipo class) che memorizzano il tipodel dominio e il tipo del codominio(inizializzate dal costruttore). Per rappresentare la funzione si utilizza un vettore di coppie (argomento, valore). Esempio: {((x1, f(x1)),((x2, f(x2)),… }. Per le coppie usiamo il tipo Pair. Si deve garantire che dominio e codominio siano omogenei.

Classe PolyFun public class PolyFun { // OVERVIEW: un PolyFun è una funzione // parziale(a dominio finito) da un tipo // qualunque a qualunque altro. Non è // modificabile. Dominio e codominio // devono essere omogenei. protected vector v; Protected Class dom; protected Class cod;

Classe PolyFun, costruttore // Costruttore public PolyFun (Class dt, Class ct) // EFFECTS: costruisce una nuova PolyFun // avente dominio dt e codominio ct // e indefinita per tutti gli argomenti. {v = new vector; dom = dt; cod = ct; }

Classe PolyFun, metodo defined // metodi public boolean defined (Object o) // EFFECTS: se this è definita per // l'argomento o ritorna true altrimenti // ritorna false. if (v.size = 0) return false; for(int i = 0; i < v.size(); i++) { Pair p = (Pair)v.get(i); if (o.equals(p.left()))return true;} return false;}

Classe PolyFun, metodo apply public Object apply (Object o) throws UndefinedException // EFFECTS: se la funzione this è definita // per l'oggetto o restituisce this(o) // altrimenti solleva l'eccezione // (unchecked) UndefinedException. if (!defined(o)throw UndefinedException (PolyFun.apply); for(int i = 0; i < v.size(); i++) { Pair p = (Pair)v.get(i); if(o.equals(p.left())) return p.right;}

Classe PolyFun, metodo bind public PolyFun bind (Object d, Object c) throws DuplicateException, ClassCastException, NullPointerException { // EFFECTS: restituisce una funzione // diversa da this perché definita anche // per d e applicata a d restituisce c. // Se this è già definita per d, // solleva DuplicateException; se d e c sono null // solleva NullPointer Exception; se d e c // non sono dello stesso tipo di dominio // e codominio solleva ClassCastException. if (d == null ||c == null) throw NullPointerException(PolyFun.bind); if (defined(d)) throw DuplicateException(PolyFun.bind); if ( (d.getclass() != dom || c.getclass() != cod throw ClassCastException(PolyFun.bind); Pair p = new Pair(c,d); v.add(p); }

Funzione di astrazione Alpha PolyFun (c) = f : c.cod ---> c.cod Tale che f(x) = y sse esiste i, 0 <= i <c.v.size(): c.v.get(i).left() = x c.v.get(i).right() = y

Invariante I PolyFun (c) = per ogni i, 0 <= i <c.v.size() c.v.get(i) non null and c.v.get(i).left().getclass()= c.dom and c.v.get(i).right().getclass()= c.cod and per ogni i, 0 <= i < c.v.size() i != j c.v.get(i).left() != c.v.get(j).left()

Sottoclasse SubPolyFun public class SubPolyFun extends PolyFun { //OVERVIEW: una SubPolyFun è una // sottoclasse di funzioni parziali a // dominio finito da un sottotipo di // oggetti confrontabili a un tipo // qualunque.

SubPolyFun, costruttore // costruttore public SubPolyFun (Comparable d, Object c ) // EFFECTS: costruisce una nuova // SubPolyFun che ha come dominio il tipo di d // e come codominio il tipo di c indefinita // per tutti gli argomenti

SubPolyFun, bind // metodo overriden public PolyFun bind (Object d, Object c) throw DuplicateException, ClassCastException // REQUIRES: d deve essere un sottotipo di // Comparable. // EFFECTS: restituisce una funzione diversa // da this solo perché definita anche per d e // applicata a d restituisce c. Se this è // già definita per d, solleva // DuplicateException; se d e c non sono dello // stesso tipo di dominio e codominio solleva // ClassCastException. Gli elementi di d sono // mantenuti in ordine crescente // rispetto allordinamento.

SubPolyFun, copy // metodi extra public SubPolyFun copy ( ) // EFFECTS: restituisce una copia della // funzione this

SubPolyFun, update public void update (Comparable d, Object c) throws ClassCastException, UndefinedException // MODIFIES: this // EFFECTS: modifica this così da // restituire il valore c, // se applicata a d ; se c non è dello // stesso tipo del codominio di this solleva // ClassCastException, se this non è // definita per d solleva UndefinedException.