Voc� pode usar afirma��es para detectar os erros que podem de outra maneira ir despercebidos. As afirma��es cont�m as express�es booleanas que definem o estado correto de seu programa em pontos espec�ficos no c�digo fonte do programa. Os desenhadores da plataforma de Java, entretanto, n�o inclu�ram a sustenta��o para afirma��es. Talvez viram exce��es como uma caracter�stica superior, permitindo que voc� use a tentativa/prendedor/finalmente jogue uma exce��o em vez de abortar o programa como nas afirma��es. Mas a plataforma de Java 2, libera��o 1.4 da edi��o padr�o (J2SE), introduziu uma facilidade interna da afirma��o. Este artigo faz o seguinte:

* Apresenta uma vista geral do projeto pelo contrato
* Apresenta uma vista geral das afirma��es
* Mostra como rolar suas pr�prias capacidades da afirma��o
* Descreve a facilidade nova da afirma��o
* Mostra como usar a facilidade nova da afirma��o
* Oferece directrizes para usar afirma��es
* Apresenta exemplos de como usar afirma��es

Leia o artigo aqui; altamente - recomendado.