- Nel caso della programmazione contrattuale, nella quale il compito del controllo viene
delegato al fornitore dei dati, è possibile inserire un meccanismo di controllo
degli errori di programmazione
- La macro assert() richiede un'espressione booleana da verificare
- Se l'espressione risulta falsa a tempo di esecuzione, assert stampa sullo standard error un
messaggio di errore del tipo:
Assertion failed: <espressione controllata>, file <sorgente con l'errore>,
line <linea di codice dell'assert>
quindi termina il programma con una chiamata alla funzione abort(), che segnala una condizione
di errore
|