Programas por chex4j.sf.net

Chex4j le permite documentar y aplicar @pre y @post condiciones de llamadas a métodos con instrumentación de archivos de clase de tiempo de ejecución o de compilación. Las condiciones se ejecutan tan rápido como el código nor