Aserciones como postcondiciones

En este caso sí se recomienda el uso de aserciones para la comprobación de las postcondiciones de un método, pues se supone que el método se encuentra bien implementado. En este caso, el uso de postcondiciones permite asegurar que se cumplen en todas las ejecuciones que se hacen del método.     public void ordenar(int[] datos)…… Continúa leyendo Aserciones como postcondiciones

Aserciones como precondiciones

Como convenio, las precondiciones de un método público en Java es preferible que se comprueben mediante una condición y lancen la excepción IllegalArgumentException o la excepción apropiada de acuerdo con el error encontrado. Como ejemplo: public void ponEdad(int edad) throws Exception {         if (edad 125) {             throw new Exception(“Edad no…… Continúa leyendo Aserciones como precondiciones

Aserciones como comprobación de invariantes

Empezamos tema nuevo. Las aserciones. ¡Adelante! Una aserción tiene la siguiente sintaxis: assert condicion;  o  assert condición : mensaje; donde la condición es una expresión lógica que debe cumplirse en el momento en que se evalúa la aserción. Si la condición no se cumple, el programa termina con un error. Tras el operador dos puntos…… Continúa leyendo Aserciones como comprobación de invariantes