L’invariante di rappresentazione può essere implementato 1

• il metodo repOk che verifica l’invariante dovrebbe essere fornito da ogni astrazione sui dati

  • pubblico perché deve poter essere chiamato da fuori della sua classe

• ha sempre la seguente specifica

public boolean rep0k ()

// EFFECTS: ritorna true se il rep invariant

// vale per this, altrimenti ritorna false

Previous slide

Next slide

Back to first slide

View graphic version