Implementazione del sottotipo 3

public class MaxIntSet extends IntSet {

// OVERVIEW: un MaxIntSet è un sottotipo di IntSet che lo estende con

// il metodo max

private int mass; // l’elemento massimo, se this non è vuoto

...

public void insert (int x) {

if (size() == 0 || x > mass) mass = x;

super.insert(x); }

... }

• ha bisogno di usare il metodo insert del supertipo, anche se overriden

  • attraverso il prefisso super

    • analogo a this
  • non trattato nella nostra semantica operazionale

• per un programma esterno che usi un oggetto di tipo MaxIntSet il metodo overriden insert del supertipo non è accessibile in nessun modo

Previous slide

Next slide

Back to first slide

View graphic version