TupleItf

public interface TupleItf
{
    // OVERVIEW : TupleItf è l'interfaccia che
    // rappresenta un'oggetto composto da
    // una coppia di elementi (chiave,valore) entrambi
    // di tipo <String> che rispetta le seguenti proprietà:

    // (1) Una tupla non può essere null.
    // (2) Una tupla non può contenere elementi null.

    // Tipico elemento : [chiave->valore]

    // Funzione di astrazione:
    // A(c) = [chiave->valore] o [] se chiave e valore sono vuoti

    // Invariante di rappresentazione:
    // I(c) = ((c.getKey()!=null)&&(c.getValue!=null))

    // Costruttore di default
    // inizializza l'oggetto corrente come tupla vuota [].

    // Costruttore con parametri
    // inizializza l'oggetto corrente con i parametri passati in
    // input.

    // Metdodi :

    public void setKey(String k) throws NullPointerException;
    // REQUIRE : k è una stringa non nulla && this != null
    // EFFECTS : imposta l'elemento chiave con il
    // parametro k, se this è nullo o k è nullo lancia un' eccezione

    public void setValue(String v) throws NullPointerException;
    // REQUIRE : v è una stringa non nulla && this != null
    // EFFECTS : imposta l'elemento valore con il
    // parametro v, se this è nullo o v è nullo lancia un' eccezione

    public String getKey() throws NullPointerException;
    // REQUIRE : this != null
    // EFFECTS : restituisce una stringa contenente l'elemento chiave
    // o lancia un'eccezione nel caso in cui this==null o this.key == null

    public String getValue() throws NullPointerException;
    // REQUIRE : this != null
    // EFFECTS : restituisce una stringa contenente l'elemento valore
    // o lancia un'eccezione nel caso in cui this==null o this.value == null

    public int compareTo(Tuple t) throws NullPointerException;
    // REQUIRE : this != null && t != null
    // EFFECTS : restituisce un intero negativo se this.key precede
    // lessicograficamente t.key, positivo se segue o zero se sono
    // identici. Nel caso in cui uno degli elementi sopra citati o gli
    // oggetti stessi siano nulli, lancia un'eccezione.

    // Metodo di astrazione:
    public String toString() throws NullPointerException;
    // REQUIRE : this != null
    // EFFECTS : restituisce una stringa contenente la rappresentazione
    // grafica della tupla come specificato nell'overview oppure lancia
    // un'eccezione se this==null.

    // Metodo di controllo dell'invariante di rappresentazione:
    public boolean repOk() throws NullPointerException;
    // REQUIRE : this != null
    // EFFECTS : restituisce true se l'invariante è soddisfatto
    // false altrimenti oppure lancia
    // un'eccezione se this==null.

}