Program menurut chex4j.sf.net

Chex4j memungkinkan Anda untuk mendokumentasikan dan @pre dan @post kondisi panggilan metode dengan instrumentasi file runtime atau build time class. Kondisi berjalan secepat kode normal.