Definizione di una gerarchia di tipi: implementazione
implementazione del supertipo
- può non essere implementato affatto
- può avere implementazioni parziali
- alcuni metodi sono implementati, altri no
- può fornire informazioni a potenziali sottotipi dando accesso a variabili o metodi di istanza
- che un “normale” utente del supertipo non può vedere
i sottotipi sono implementati come estensioni dell’implementazione del supertipo
- la rep degli oggetti del sottotipo contiene anche le variabili di istanza definite nell’implementazione del supertipo
- alcuni metodi possono essere ereditati
- di altri il sottotipo può definire una nuova implementazione