Programy według chex4j.sf.net

Chex4j umożliwia dokumentowanie i wymuszanie @pre i @post warunków wywołań metod za pomocą instrumentacji pliku klasy czasu lub kompilacji. Warunki działają tak szybko, jak normalny kod.