Specifica del sottotipo
public class SortedIntSet extends IntSet {
// OVERVIEW: un SortedIntSet è un sottotipo di IntSet che lo estende
// con i metodi max e subset(SortedIntSet) e in cui gli elementi sono
// accessibili in modo ordinato
// EFFECTS: inizializza this al SortedIntSet vuoto
public int max () throws EmptyException
// EFFECTS: se this è vuoto solleva EmptyException, altrimenti
// ritorna l’elemento massimo in this
public Iterator elements ()
// EFFECTS: ritorna un generatore che produrrà tutti gli elementi di
// this (come Integers) ciascuno una sola volta, in ordine crescente
// REQUIRES: this non deve essere modificato finché il generatore è in
public boolean subset (Intset s)
// EFFECTS: se s è un sottoinsieme di this ritorna true, altrimenti
la rappresentazione degli oggetti di tipo SortedIntSet potrebbe utilizzare una lista ordinata
- non serve piú a nulla la variabile di istanza ereditata da IntSet
- il vettore els andrebbe eliminato da IntSet
- senza els, IntSet non può avere oggetti e quindi deve essere astratta