द्वारा कार्यक्रम chex4j.sf.net

Chex4j आपको रनटाइम के साथ विधि कॉल की @pre और @post शर्तों को दस्तावेज़ और लागू करने या समय वर्ग फ़ाइल इंस्ट्रूमेंटेशन बनाने की अनुमति देता है। स्थितियां सामान्य कोड के रूप में तेजी से चलती हैं।