Atur cara mengikut chex4j.sf.net

Chex4j membolehkan anda mendokumenkan dan menguatkuasakan @pre dan @post syarat-syarat panggilan kaedah dengan runtime atau membina instrumentasi fail kelas masa. Keadaan berjalan secepat kod biasa.