Sommario

• tipo apparente, tipo effettivo, dispatching dei metodi

• definizione di gerarchie di tipi

  • specifica
  • implementazione

• gerarchie di tipi in Java

  • supertipo: classe concreta
  • supertipo: classe astratta
  • supertipo: interfaccia

• implementazioni multiple

• semantica dei sottotipi (il principio di sostituzione)

Previous slide

Next slide

Back to first slide

View graphic version