Java Assertions

ASSERTIONS

Es una declaración que le permite probar sus suposiciones acerca de su programa
Cada afirmación contiene una expresión booleana que usted cree que va a serverdad la afirmación de que se ejecuta. Si no es cierto, el sistema emitirá un error. Al verificar que la expresión booleana es cierto, la afirmación confirma su hipótesissobre el comportamiento de su programa
Las afirmaciones sirven para documentar el funcionamiento interno de su programa, la mejora de la estabilidad.

Tipos
La instrucción deaserción tiene dos formas. La primera forma, es más simple:

afirman Expresión 1 ;
en Expresión 1 es un booleano expresión. Cuando el sistema funciona de la siguienteafirmación, se evalúa la expresión 1 y si es falsa se produce una AssertionError con ningún mensaje de detalle.
La segunda forma de la declaración de la afirmación es lasiguiente:

afirman Expresión 1 : Expresión 2 ;
donde:

Expresión 1 es un booleano expresión.
La expresión 2 es una expresión que tiene un valor. (No puede ser unainvocación de un método que se declara nula .)
Esta forma de Assertion provee un mensaje de AssertionError detallado . El sistema pasa el valor de la expresión 2 alconstructor del AssertionError, que utiliza la representación de string del valor como mensaje de detalle del error.

Para asegurarse de que las afirmaciones no son un gasto derecursos en las aplicaciones implementadas, las afirmaciones pueden activarse o desactivarse cuando se inicia el programa, y están desactivados por defecto. Desactivación de lasafirmaciones elimina la penalización de rendimiento completo. Una vez desactivado, que son esencialmente equivalentes a los estados vacíos en la semántica y de rendimiento.