[1]
Si consideri il tipo di dati astratto modificabile
IntegerCollection,
utilizzato per rappresentare una collezione mutabile di oggetti di tipo
Integer.
Tale tipo di dati ha, tra gli altri, i seguenti metodi
-
public int occurrences(Integer elem),
che restituisce il numero di occorrenze del parametro elem nella collezione;
-
public int size( ),
che restituisce la cardinalità della collezione (il numero degli elementi presenti);
-
public void insert(Integer elem),
che inserisce l'oggetto elem nella collezione;
-
public Integer extractMax( ),
che restituisce ed elimina dalla collezione una occorrenza dell'elemento avente valore massimo.
Si completi la specifica del tipo di dati astratto, includendo una overview con la descrizione
di un'istanza tipica e fornendo la specifica completa dei metodi, comprese le eventuali eccezioni lanciate.
public interface IntegerCollection {
// Commenti opportuni
public int occurrences(Integer elem);
public int size( );
public void insert(Integer elem);
public Integer extractMax( );
// Altri metodi per operare sulla classe
}