L’amico IntSet (specifica)

public class IntSet {

// OVERVIEW: un IntSet è un insieme modificabile

// di interi di dimensione qualunque

// costruttore

public IntSet ()

// EFFECTS: inizializza this a vuoto

// metodi

public void insert (int x)

// MODIFIES: this

// EFFECTS: aggiunge x a this

public void remove (int x)

// MODIFIES: this

// EFFECTS: toglie x da this

public boolean isIn (int x)

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

public int size ()

// EFFECTS: ritorna la cardinalità di this

public Iterator elements ()

// EFFECTS: ritorna un generatore che produrrà tutti gli elementi

// di this (come Integers) ciascuno una sola volta, in ordine

// arbitrario

// REQUIRES: this non deve essere modificato finché il generatore

// è in uso

}

Previous slide

Next slide

Back to first slide

View graphic version