Package com.ejie.r01f.debug

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