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.

Slides:



Advertisements
Presentazioni simili
Tipi di dato astratti Lista, Pila, Coda, Albero.
Advertisements

Strutture dati lineari
1 Astrazioni sui dati : Specifica ed Implementazione di Tipi di Dato Astratti in Java.
29 febbraio 2008 Progettare tipi di dato astratti.
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.
PolyFun. Dare implementazione,funzione di astrazione, invarianti della rappresentazione. Provare che i metodi apply e bind preservano gli invarianti.
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.
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.
Astrazione procedurale ed eccezioni
1 Un esempio con iteratore: le liste ordinate di interi.
Ereditarieta’. Contenuti Introduciamo un meccanismo fondamentale di Java: l’ereditarieta’ Permette di estendere classi gia’ definite (ovvero di definire.
Esercitazione su Vector. Permette di definire collezioni di dati generiche, che sono in grado di memorizzare elementi di ogni sottotipo di Object Definito.
Astrazione di dati Dati Astratti: cosa e perchè Dati Astratti: due meccanismi differenti Dati Astratti: due meccanismi differenti Astrazione e incapsulamento.
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.
Ripasso su Java. Introduzione Per risolvere problemi complessi, i linguaggi di programmazione forniscono costrutti per realizzare nuove funzioni che trasformino.
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.
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.
Programmazione in Java. Classi I programmi in Java consistono di classi. Le classi consentono di definire: collezioni di procedure (metodi statici) tipi.
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.
LIP: 8 Marzo 2005 Vettori. Abbiamo visto L’uso di Vector come alternativa all’uso di arrays Rivediamo l’esercizio dell’altra volta.
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)
Esercizio 3. Testo Dare rappresentazione e realizzazione dei metodi della seguente classe QueueWithPriority. Nella risposta, non riportare i commenti.
Cose nuove di Java (prima a chiacchiera, poi formalmente)
PolyFun. Dare implementazione,funzione di astrazione, invarianti della rappresentazione. Provare che i metodi apply e bind preservano gli invarianti.
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.
Progettare una classe 21 Febbraio La classe BankAccount Vogliamo realizzare una classe i cui oggetti sono dei semplici conti bancari. * Identifichiamo.
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.
Alcune Classi Standard Object, Vettori. Ereditarieta’ Abbiamo visto come tramite l’ereditarieta’ e’ possibile estendere classi esistenti -arricchendo.
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.
Ese 3 (del 3 Aprile 2003).
Transcript della presentazione:

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 parziale di un tipo di dato astratto

Cos’e’ una Classe Astratta definisce metodi astratti (non implementati) definisce metodi concreti (implementati eventualmente usando anche i metodi astratti) ammette la dichiarazione di variabili ammette costruttori

Cos’e’ una Classe Astratta Non e’ possibile creare oggetti istanza di una classe astratta Di conseguenza i costruttori possono essere chiamati solo dalle sottoclassi per inizializzare le variabili ereditate

Sottotipi L’implementazione e’ completata dai sottotipi, che: estendono la definizione dello stato aggiungendo nuove variabili definiscono i relativi costruttori implementano i metodi ereditati astratti eventualmente sovrascrivono quelli concreti

A cosa servono? per fattorizzare la parte comune a vari sottotipi per esempio, per definire implementazioni multiple di un tipo di dato astratto (analogo interfacce)

Perche’ non un’interfaccia? Una classe astratta e’ utile i sottotipi hanno delle parti comuni Quelle che possono essere implementate nel supertipo

Esempio La specifica di un tipo di dato astratto puo’ essere definita da un’ interfaccia I sottotipi definiscono diverse implementazioni del tipo di dato Esempio: stack di interi

public interface Stack { \\ OVERVIEW: uno Stack e’ una collezione di \\elementi (interi) organizzati per ordine di inserimento con una politica \\ LIFO. E’ modificabile \\metodi astratti public int size(); \\ EFFECTS: restituisce il numero di elementi di this public int top() throws EmptyException; \\ EFFECTS: se this e’ vuoto solleva EmptyException, altrimenti \\ritorna l’ultimo elemento inserito public void pop() throws EmptyException; \\ MODIFIES: this \\ EFFECTS: se this non e’ vuoto rimuove l’ultimo elemento inserito, \\altrimenti solleva EmptyException

public void push(int o); \\ MODIFIES: this \\ EFFECTS: inserisce o nella pila public String toString(); \\ EFFECTS: restituisce una stringa che contiene gli elementi di this \\ nell’ordine che hanno public void somma(Stack p) throws InvalidSizeException; \\ MODIFIES: this \\EFFECTS: se p e’ null solleva NullPointerException, se \\ this e p non hanno lo stesso numero di elementi \\ solleva InvalidSizeException, altrimenti \\ modifica this, sommando l’elemento di p nella posizione \\ corrispondente public void svuotapila(); \\ MODIFIES: this \\EFFECTS: elimina tutti gli elementi }

Supertipo: interfaccia Non contiene implementazione I sottotipi devono fornire tutta l’implementazione: ListStack ====> implementato con una lista concatenata VectorStack ====> implementato con un Vector Le differenze di implementazione restano invisibili al codice scritto per il supertipo Stack

Codice scritto per il supertipo (interfaccia) public static boolean cerca(Stack p, int x) { \\ REQUIRES: p non null \\EFFECTS: restituisce true se x occorre in this, \\false altrimenti if (p.size()==0) {return false;} int top=p.top(); if (x==top) {return true;} p.pop(); boolean result=cerca(p,x); p.push(top); return result; }

Astrazione tramite la specifica Si forza ad astrarre tramite la specifica Il codice di cerca e’ scritto in base al supertipo (i sottotipi che sono l’impolementazione sono mascherati) Il metodo funziona per tutti i sottotipi (tutte le implementazioni) Usando l’interfaccia Stack i moduli che usano il tipo di dato astratto possono anche essere compilati

Supertipo: classe astratta E’ possibile implementare una parte nel supertipo in modo analogo per i due sottotipi? I metodi pop, top,push,toString devono essere astratti (dipendono dal modo in cui si implementa) I metodi size,svuotapila,somma al contrario non dipendono dalla rappresentazione della pila, possono essere implementati nel supertipo

Metodi concreti size si puo’ implementare utilizzando una variabile d’istanza ( protected) che memorizza il numero di elementi Le variabili d’istanza di una classe astratta non ha molto senso mascherarle in quanto i sottotipi devono completare l’implementazione (tipicamente dipendono dall’implementazione della superclasse) svuotapila,somma si possono implementare utilizzando i metodi astratti pop(), push() e top()

public abstract class Stack { \\ OVERVIEW: uno Stack e’ una collezione di \\elementi (interi) organizzati per ordine di inserimento con una politica \\ LIFO. E’ modificabile protected int sz; public Stack(){\\ EFFECTS: inizializza this allo Stack vuoto sz=0;} \\metodi astratti (specifica uguale) public abstract int top() throws EmptyException; public abstract void pop() throws EmptyException; public abstract void push(int o); public abstract String toString();

\\metodi concreti public int size(){ \\ EFFECTS: restituisce il numero di elementi di this return sz;} public void svuotapila(){ \\ MODIFIES: this \\EFFECTS: elimina tutti gli elementi while (size()==0) pop();}

public void somma(Stack p) throws InvalidSizeException{ \\ MODIFIES: this \\EFFECTS: se p e’ null solleva NullPointerException, se \\ this e p non hanno lo stesso numero di elementi \\ solleva InvalidSizeException, altrimenti \\ modifica this, sommando l’elemento di p nella posizione \\ corrispondente if (p==null) throw new NullPointerException(“Stack.somma”); if (size() != p.size()) throw new InvalidSizeException(“Stack.somma”); if (size() > 0) { int newtop1=p.top(); int newtop2=top(); pop(); somma(p.pop()); push(newtop1+newtop2); p.push(newtop1); }} }

Parte II Definiamo un sottotipo di Stack, VectorStack Definisce un’implementazione completa della pila di interi tramite Vector Completa l’implementazione della classe astratta

public class VectorStack extends Stack { \\ OVERVIEW: e’ un sottotipo di Stack private Vector pila; public VectorStack(){ \\ EFFECTS: inizializza this allo Stack vuoto super(); pila=new Vector();} \\metodi concreti (specifica uguale) public int top() throws EmptyException{ if (sz==0) throw new EmptyException(“Stack.top”); return ((Integer) pila.elementAt(pila.size()-1)).intValue();} public void pop() throws EmptyException{ if (sz==0) throw new EmptyException(“Stack.top”); pila.removeelementAt(pila.size()-1); sz--;}

public void push(int o){ pila.addElement(new Integer(o)); sz++;} public String toString(){ String result=“”; for (int i=0;i < pila.size();i++) {result=result + (Integer) pila.elementAt(i).intValue();} return result; }

Esercizio Abbiamo visto la definizione di tipi di dato astratti Insieme di interi Insieme ordinato di interi Vogliamo usare la gerarchia di tipi per fattorizzare le informazioni comuni ai sottotipi

Classe astratta Contiene la parte comune dell’implementazione cardinalita’ la struttura dati usata per l’implementazione Restano astratti i metodi che modificano la struttura dati (che differiscono nei due casi) Analogamente il metodo di ricerca

Supertipo public abstract class IntSet { // OVERVIEW: un IntSet è un insieme modificabile // di interi di dimensione qualunque // costruttore public IntSet () { // EFFECTS: inizializza this all’insieme vuoto} //metodi astratti public abstract void insert(int x); // MODIFIES: this // EFFECTS: aggiunge x a this public abstract void remove (int x); // MODIFIES: this // EFFECTS: toglie x da this public abstract boolean isIn (int x); // EFFECTS: se x appartiene a this ritorna // true, altrimenti false

Supertipo //metodi concreti public boolean subset (IntSet x) { // EFFECTS: se this e’ sottoinsieme di x restituisce // true, altrimenti false} public void union(IntSet x) { //MODIFIES: this // EFFECTS:modifica this facendo l’unione con x} public void intersection(IntSet x) { //MODIFIES: this // EFFECTS:modifica this facendo l’intersezione con x} public int size(){ // EFFECTS:restituisce la cardinalita’ di this} }

Esercizi Esercizio I: implementare la classe astratta Esercizio II: definire un sottotipo SortedIntSet definisce insiemi ordinati implementa in modo opportuno i metodi astratti estende la superclasse con un metodo subset (overloaded) prende come parametro un SortedIntSet (da implementare in modo piu’ efficiente)