La sintaxis de una afirmación es muy simple:
afirmar CÓDIGO
El código debe evaluar como verdadera o falsa . Si es verdad, entonces el programa continúa como de costumbre. Si es falso , entonces se emite un AssertionError . De esta manera, la palabra clave afirmación permite a un programador para hacer afirmaciones sobre el estado del programa en puntos específicos e identificar momentos en que el programa pasa a los estados que no están permitidos .
Cuándo utilizar aserciones
afirmaciones deben ser utilizados para comprobar invariantes , o situaciones que el programador cree que nunca va a ocurrir . El siguiente ejemplo de una afirmación sobre el estado de una moneda es un ejemplo de un invariante . Mediante el uso de afirmaciones para comprobar invariantes , los programadores de lograr dos cosas . En primer lugar , proporcionan una forma para que el programa falle si el invariante resulta ser falsa debido a la corrupción de la memoria . En segundo lugar , proporcionan una forma claramente legible para el programador para mostrar a otros programadores de los supuestos que existen en su código.
Problemas
El problema central con afirmaciones tienen su origen en el hecho de que son una característica opcional . Por una variedad de razones , las máquinas clientes pueden elegir para ejecutar el programa con las afirmaciones apagados . Esto tiene una serie de efectos . En primer lugar, el programador no puede poner cualquier código en el supuesto de que altera el estado del programa , ya que este código ya no se ejecuta si no una afirmación . En segundo lugar , el programador no puede suponer que serán evaluados afirmaciones. Esto significa que el argumento de la comprobación de los métodos aún se debe realizar utilizando el antiguo sistema excepciones, que nunca puede ser desactivada. Por último , dado que una nueva palabra clave " afirmar " se ha añadido a la lengua, variables en código antiguo no puede tener el nombre de " valer ".
Aserción Ejemplo
Considere la el siguiente código :
afirmar ( moneda JEFES ==