द्वारा कार्यक्रम polyglotprogramming.com/contract4j

कॉन्ट्रैक्ट4जे एक बिल्ड और रनटाइम टूल है जो जावा 5 के लिए कॉन्ट्रैक्ट एंड कोट द्वारा डिजाइन का समर्थन करता है और उद्धृत करता है। परीक्षणों को एनोटेशन का उपयोग करके परिभाषित किया गया है। रनटाइम में, पहलूजे पहलू परीक्षण अभिव्यक