Specifica del sottotipo

public class MaxIntSet extends IntSet {

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

// il metodo max

public MaxIntSet ()

// EFFECTS: inizializza this al MaxIntSet vuoto

public int max () throws EmptyException

// EFFECTS: se this è vuoto solleva EmptyException, altrimenti

// ritorna l’elemento massimo in this

}

• la specifica di MaxIntSet definisce solo quello che c’è di nuovo

  • il costruttore
  • il metodo max
• tutto il resto della specifica viene ereditato da IntSet

Previous slide

Next slide

Back to first slide

View graphic version