La specifica di Set

public class Set {

// OVERVIEW: un Set è un insieme modificabile di Objects. con un numero qualunque

// di elementi. null non può mai essere elemento di un Set. Si usa equals per

// determinare l’uguaglianza degli elementi

// costruttori

public Set ()

// EFFECTS: inizializza this all’insieme vuoto

// metodi

public void insert (Object x) throws NullPointerException

// MODIFIES: this

// EFFECTS: se x è null solleva NullPointerException, altrimenti

// aggiunge x agli elementi di this

public void remove (Object x)

// MODIFIES: this

// EFFECTS: se x è in this lo rimuove, altrimenti non fa nulla

public boolean isIn (Object x)

// EFFECTS: ritorna true se x appartiene a this, altrimenti ritorna false

public boolean subset (Set s)

// EFFECTS: ritorna true se tutti gli elementi di this appartengono a s,

// altrimenti ritorna false

// specifica di size e elements

}

Previous slide

Next slide

Back to first slide

View graphic version