assert
Un'asserzione è un'istruzione che permette di testare eventuali comportamenti che un'applicazione deve avere Ogni asserzione richiede che sia verificata un'espressione booleana che lo sviluppatore ritiene debba essere verificata, nel punto in cui è dichiarata. Se questa non è verificata il programma esegue un errore.
Esistono due tipi di sintassi per poter utilizzare le asserzioni:
  1. assert espressione_booleana;
  2. assert espressione_booleana: espressione_stampabile;
Con la prima sintassi quando l'applicazione esegue l'asserzione valuta il valore dell'espressione_booleana. Se questo true, il programma prosegue normalmente, ma se il valore false viene lanciato l'errore AssertionError.
La seconda sintassi permette di specificare anche un messaggio esplicativo tramite l'espressione_stampabile.
Esempio: 
assert b > 0; 

equivale a:

if (!(b>0)) {
	throw new AssertionError();
}

Esempio: 

assert b > 0: ?il valore di b  ? + b;