Ese (del Aprile 2003) Testo

Ese 3 (del 3 Aprile 2003)

Testo

• Progettare la specifica e l’implementazione del tipo di dato astratto modificabile Stack, supponendo che gli elementi siano di tipo Object e che le operazioni primitive in aggiunta al costruttore siano: push, pop, top e isempty

• Definire una procedura stand-alone che, dato uno Stack contenente interi, lo modifichi, rimpiazzando gli ultimi due elementi inseriti con la loro somma.

Specifica

• public class Stack {

• \\ OVERVIEW: uno Stack e’ una collezione di oggetti (Object) organizzati per ordine di inserimento con una politica LIFO. E’ modificabile

• public Stack () {

• \\ EFFECTS: costruisce uno Stack Vuoto

• }

• public boolean isEmpty() {

• \\ EFFECTS: se this e’ vuoto restituisce true, altrimenti false

• }

• public Object top() throws EmptyException

• {

• \\ EFFECTS: se this e’ vuoto sollevaEmptyException, altrimenti ritorna l’ultimo elemento inserito

• }

Modificatori

• public void pop() throws EmptyException {

• \\ MODIFIES: this

• \\ EFFECTS: se this non e’ vuoto rimuove l’ultimo elemento inserito, altrimenti

• \\ solleva EmptyException

• }

• public void push (Object o) throws NullPointerException {

• \\ MODIFIES: this

• \\ EFFECTS: se o e’ null solleva NullPointerException, altrimenti

• \\ inserisce o nella pila

• }