Программы chex4j.sf.net

Chex4j позволяет документировать и обеспечивать @pre и @post условиях вызовов метода с помощью инструменталяций времени выполнения или сборки файлов тайм-класса. Условия работают так же быстро, как и обычный код.