Table of Contents
Astrazioni polimorfe
Perché il polimorfismo
Polimorfismo “vero”
Polimorfismo in Java
Scelta del supertipo in una astrazione polimorfa
Sommario
Astrazioni di dati polimorfe come collezioni di Object: Set
La specifica di Set
Implementazione di Set
Implementazione di Set: commenti
Funzione di astrazione ed invariante di rappresentazione
Uguaglianza 1
Uguaglianza 2
Contenitori
La classe Container
Uguaglianza 3
Utilizzazione delle astrazioni polimorfe
Utilizzazione delle astrazioni polimorfe: compilazione e casting
Interfacce nell’approccio element subtype
L’interfaccia Comparable
Sottotipi di Comparable ed eccezioni
La classe OrderedList
Specifica e implementazione di OrderedList 1
Specifica e implementazione di OrderedList 2
Specifica e implementazione di OrderedList 3
Interfacce nell’approccio related subtype
Interfacce nell’approccio related subtype
L’interfaccia Adder
L’approccio related subtype
Il sottotipo di Adder collegato a Poly
Relazione tra PolyAdder e Poly
Il tipo SumSet
Specifica e implementazione di SumSet 1
Specifica e implementazione di SumSet 2
Utilizzazione di SumSet
La combinazione dei due approcci
La combinazione dei due approcci nelle collezioni di java.util
Procedure polimorfe
Due sort polimorfi
|
Author: Giorgio Levi
Email: levi@di.unipi.it
Home Page: http://www.di.unipi.it/~levi/corsoMP/pagina.html
Download presentation source
|