repOk di MaxIntSet

• invariante di rappresentazione per MaxIntSet

// IMaxIntSet (c) = c.size() > 0 ==>

// (c.mass appartiene a aIntSet(c) &&

// per tutti gli x in aIntSet(c), x <= c. mass)

public class MaxIntSet extends IntSet {

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

// il metodo max

private int mass; // l’elemento massimo, se this non è vuoto

...

public boolean repOk () {

if (!super.rep0k ()) return false;

if (size() == 0) return true;

boolean found = false;

Iterator g = elements();

while (g.hasNext()) {

int z = ((Integer) g.next()).intValue();

if (z > mass) return false;

if (z == mass) found = true; }

return found; } }

Previous slide

Next slide

Back to first slide

View graphic version