Google अनुबंध प्रोग्रामिंग को आसान बनाता है

Google ने Java के लिए कॉन्ट्रैक्ट्स की एक खुली लाइब्रेरी जारी की है, जो Java में कॉन्ट्रैक्ट प्रोग्रामिंग विधियों के कार्यान्वयन को सरल बनाता है। जावा लाइब्रेरी के लिए कॉन्ट्रैक्ट्स का उपयोग करते हुए, एनकाउंटर के अंदर बूलियन एक्सप्रेशन के रूप में प्री-कॉन्स्टीट्यूशन, पोस्टकॉन्डिशन और इनवेरिएंट को जावा में जोड़ा जा सकता है।

जैसा कि आधिकारिक घोषणा में कहा गया है, लाइब्रेरी को दो Google प्रोग्रामरों द्वारा अपने खाली समय में (व्यक्तिगत परियोजनाओं पर 20%) विकसित किया गया था और यह मॉडर्न जस पर आधारित है और एफिल भाषा के प्रभाव में बनाया गया है, जिसमें अनुबंध प्रोग्रामिंग की विधि पहली बार लागू की गई थी।

अनुबंध प्रोग्रामिंग की विधि यह मानती है कि डिजाइनर को सिस्टम घटकों के लिए औपचारिक, सटीक और सत्यापन योग्य इंटरफ़ेस विनिर्देशों को परिभाषित करना होगा। अमूर्त डेटा प्रकारों की सामान्य परिभाषा के अलावा, पूर्व शर्त, पोस्टकंडिशन और इनवेरिएंट का भी उपयोग किया जाता है। इन विशिष्टताओं को व्यापार अनुबंधों में स्थितियों और जिम्मेदारियों के वैचारिक रूपक के अनुसार "अनुबंध" कहा जाता है।

कोड में त्रुटि के स्थान को यथासंभव सटीक रूप से खोजने के लिए यह सब आवश्यक है। Google एक उदाहरण देता है: यदि मानक कोड में विफलता का स्थान त्रुटि के स्थान से काफी दूर हो सकता है,



... तो अनुबंध के उल्लंघन के मामले में, त्रुटि का स्थान तुरंत स्थानीयकृत है।



आप साहित्य में अनुबंध प्रोग्रामिंग और जावा के लिए कॉन्ट्रैक्ट में उपयोग की जाने वाली कार्यप्रणाली के बारे में अधिक पढ़ सकते हैं।