Java Drops... Precondizione e Postcondizione dei metodi.

Precondizione:

La precondizione di un metodo e' una condizione che deve essere verificata prima che quel metodo sia invocato. Le precondizioni descrivono i parametri di un metodo e ogni altra assunzione che viene fatta a proposito dello stato corrente del programma al momento dell'invocazione.
Se un utente non soddisfa le precondizioni, allora il comportamento del metodo e' indefinito.
Cio' significa che esso puo' lanciare un'eccezione, procedere con un valore non corretto dello stato, oppure tentare di ripristinare uno stato corretto.
A ogni modo, non dovreste mai aspettarvi un comportamento coerente dall'esecuzione di un metodo, se le sue precondizioni on sono soddisfatte.

Postcondizione:

La postcondizione di un metodo esprime una condizione che deve essere verificata al termine dell'esecuzione del metodo stesso. Le postcondizioni descrivono delle proprieta' relative ai valori di ritorno e a qualsiasi altro effetto collaterale che l'esecuzione del metodo ha causato sullo stato corrente del programma. Nel momento in cui invocate un metodo, dovete assumere che il metodo termini soddisfacendo tutte le sue precondizioni. Se invece state scrivendo un metodo, dovreste documentare tutte le postcondizioni in modo che gli altri programmatori sappiano cosa aspettarsi dall'esecuzione del metodo.