Java aggiunto la parola chiave " affermare " per rendere più facile per individuare e segnalare gli errori in Java 1.4 . Le asserzioni permettono al programma di specificare una condizione che si aspetta di essere vero . Se la condizione di fallire, il programma segnala un errore che deve essere maneggiato . Asserzione Sintassi

La sintassi per una affermazione è molto semplice :

affermare CODICE

Il codice deve valutare come true o false . Se fosse vero, allora il programma continua come al solito. Se false, allora viene generata AssertionError . In questo modo , la parola chiave affermazione permette ai programmatori di fare affermazioni sullo stato del programma a punti specifici e individuare momenti in cui il programma passa in stati che non sono ammessi.
Quando utilizzare asserzioni < br > con

asserzioni dovrebbero essere utilizzati per controllare invarianti , o situazioni che il programmatore ritiene possano mai verificarsi . L'esempio seguente di una asserzione sullo stato di una moneta è un esempio di un invariante . Utilizzando affermazioni per verificare invarianti , i programmatori di realizzare due cose . In primo luogo , essi forniscono un modo per il programma di fallire se l' invariante risulta essere falsa a causa di corruzione della memoria . In secondo luogo , essi forniscono un modo chiaramente leggibile per il programmatore di mostrare altri programmatori le ipotesi che esistono nel suo codice .