|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
DebugUtils | Clase que gestiona las pre- y post-condiciones impuestas en las clases de la aplicación, definiendo de este modo un modelo de desarrollo mediante contrato, en el que al principio de un método se comprobarán los parámetros recibidos y el estado inicial mediante cláusulas DebugUtils.prec(), y al final del mismo se comprobará el valor devuelto y el estado final del sistema mediante clausulas DebugUtils.check(). |
Exception Summary | |
CheckException | Excepción lanzada al no cumplirse una postcondición. |
DebugException | Clase abstracta que sirve de base para PreconditionException y CheckException |
PreconditionException | Excepción lanzada al no cumplirse una precondición |
|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |