कॉफोजा: अनुबंध प्रोग्रामिंग के लिए एक व्यावहारिक पुस्तकालय। भाग 1

यह लेख कोफोजा लाइब्रेरी से 2010 इंटर्नशिप तकनीकी रिपोर्ट का अनुवाद है। दस्तावेज़ पुस्तकालय के उद्भव के कारणों का खुलासा करता है और आलोचकों के सवालों का जवाब देता है जो इस पुस्तकालय के लिए समर्पित लेखों में हैबेरा पर पाया जा सकता है। यह लेख डिज़ाइन बाय कॉन्ट्रैक्ट्स या कॉन्ट्रैक्ट प्रोग्रामिंग प्रतिमान के कार्यान्वयन को समझने और समझने का कार्य करता है।

अनुवाद कार्य की मात्रा के संबंध में लेख को दो भागों में विभाजित किया गया है। शीघ्र ही दूसरा भाग दिखाई देगा।

सामग्री

संक्षिप्त समीक्षा
1 परिचय
2 अनुबंध एनोटेशन
3 घटक और वास्तुकला
4 अनुबंध पहलू का संकलन
4.1 बोर्ड संकलन
4.2 कनेक्शन अंक और लिंकिंग
४.३ परिषद की विरासत
4.4 संकलन तकनीक की सीमाएँ
5 अनुबंध जीवन चक्र
5.1 अनुबंध के संकलन पर क्लोज-अप
5.2 अनुबंध पद्धति का लेआउट
5.2.1 कक्षाएं और इंटरफेस
5.3 रनटाइम में अनुबंध व्यवहार
5.3.1 अनुबंध पुनरावृत्ति
5.4 पुराने मूल्य अभिव्यक्तियों का विशेष मामला
6 चर्चा
7 निष्कर्ष
8 आभार
उद्धृत साहित्य की सूची

---

नत मिन्ह ले
12 जनवरी, 2011

संक्षिप्त समीक्षा

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

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

परिचय

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

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

जावा में अनुबंध तीसरे पक्ष के पुस्तकालयों पर निर्भर करते हैं क्योंकि भाषा में केवल जावा 6 जैसे दावे के लिए अविकसित समर्थन शामिल है। हाल के वर्षों में कई प्रयासों ने एक दर्जन विकल्प लाए हैं, जैसे कि जेएमएल, सी 4 जे, कॉन्ट्रैक्ट 4 जे, जेएएस और पहले से उल्लेख किया गया आधुनिक जस, जिस पर गोफजा आधारित है।

कॉफ़ोजा ने पहले से ज्ञात सभी चीजों को संकलित किया और दिलचस्प दृष्टिकोणों का उल्लेख किया जो जावा में संविदात्मक प्रोग्रामिंग में विशेष रूप से स्थिर एक स्थिर पुस्तकालय बनाने के लिए अलग-अलग उल्लेखित पुस्तकालयों में पेश किए गए थे:

• जावा एनोटेशन (कॉन्ट्रैक्ट 4 जे, मॉडर्न जस) का उपयोग करके संक्षिप्त अनुबंध विनिर्देश
• अनुबंध में जावा एक्सप्रेशंस के लिए पूर्ण समर्थन, मानक कंपाइलर एपीआई (मॉडर्न जस) के माध्यम से सहवर्ती संकलन का उपयोग करना
• सिंटैक्स और प्रकारों के संकलन समय की जाँच करना (अनुबंध 4 जे की तरह, अनुबंध की अभिव्यक्ति के रनटाइम पर कोई व्याख्या नहीं)
• ऑनलाइन और ऑफलाइन अनुबंधों को बायटेकोड पुनर्लेखन का उपयोग करके लक्ष्य से जोड़ना। (सी 4 जे, कॉन्ट्रैक्ट 4 जे, मॉडर्न जस)
• और हल्का कोड निर्भरता की एक छोटी संख्या पर आधारित है (विशेष रूप से, AspectJ के साथ कोई निर्भरता नहीं है जैसा कि अनुबंध 4J के मामले में है)

इस कार्यान्वयन का मुख्य योगदान मॉडर्न जस में प्रस्तुत मॉडलों के संकलन का एक उन्नत संस्करण है, जो AOP तकनीकों से प्रेरित है और जावा संकलक मानकों के उपयोग के आधार पर, स्टब्स और काल्पनिक वस्तुओं (नकली) का उत्पादन करता है।

अनुभाग 2 और 3 में कॉफोजा लाइब्रेरी और उसके उपयोग के अवलोकन का वर्णन किया गया है, और अनुभाग 4 और 5 अनुबंधों की प्रस्तुति, खुद को अंदर से अनुबंध के कार्यान्वयन के विवरण को कवर करते हैं।

2 अनुबंध एनोटेशन

सभी Cofoja निर्माण जावा एनोटेशन के एक छोटे सेट के माध्यम से व्यक्त किए जाते हैं: Reuires, सुनिश्चित, Invariant, सीधे एफिल से उधार लिया गया है, और कम उपयोग किए गए ThrowEnsures और अनुबंधित हैं। बयानों की सूची के रूप में अनुबंध को परिभाषित करने के लिए पहले चार एनोटेशन मुद्रित किए जाते हैं (स्निपेट देखें 1)

  <Code>

 @Invariant ("आकार ()> = 0")
 इंटरफ़ेस स्टैक <T> {

	 सार्वजनिक int आकार ();

	 @Requires ("आकार ()> = 1") सार्वजनिक टी तिरछी नज़र ();
	 @Requires ("आकार ()> = 1")
	 @Ensures ({
		 "आकार () == पुराना (आकार) () - 1",
		 "परिणाम == पुराना (झांकना) ()"
	 })
	 सार्वजनिक टी पॉप ();

	 @Ensures ({
		 "आकार () == पुराना (आकार ()) + 1",
		 "झांकना () == पुराना (obj)"
	 })
	 सार्वजनिक शून्य धक्का (टी obj);
 }
 </ Code> 

टुकड़ा 1: अनुबंध के साथ एक ढेर का एक उदाहरण।

एफिल के रूप में, कॉन्ट्रैक्ट्स को AND और Boolean ऑपरेटरों का उपयोग करके विरासत श्रृंखलाओं के टुकड़ों की रचना करके प्राप्त किया जा सकता है।
ये एनोटेशन बुनियादी अनुबंध विशिष्टताओं का एक पूरा सेट प्रदान करते हैं, जिनमें से अधिक जटिल व्यवहार का निर्माण करना आसान है। दरअसल, बयानों में मनमाने ढंग से जावा के भाव हो सकते हैं, अर्थात्। जावा में लिखे गए किसी भी सत्यापन को कॉफोजा अनुबंध में लिखा जा सकता है।

कॉफोजा, जैसा कि इसके उद्देश्य के लिए परिभाषित किया गया है, जेएमएल और जेएएसएस जैसे पैकेजों में पेश किए गए अभिनव और विशेष कार्यक्षमता प्रदान करने की तलाश नहीं करता है। इसके बजाय, यह इसकी मुख्य क्षमताओं की प्रयोज्यता और पहुंच पर केंद्रित है। यहां तक ​​कि एक मौजूदा भाषा जैसे कि जावा में निर्माण की पूरी सरणी में थोड़ी कार्यक्षमता जोड़ना भी एक आजमाया हुआ और परखा हुआ काम है, और जावा कॉन्ट्रैक्ट प्रोग्रामिंग पुस्तकालयों में पिछले प्रयासों ने आंशिक रूप से संविदात्मक क्षमताओं का समर्थन किया: उदाहरण के लिए, जेएमएल को सब कुछ लाने के प्रयास के बावजूद जावा 5 की सीमाओं का पता चला। समय; जेनेरिक प्रकारों के साथ कोड संकलित करते समय आधुनिक जैस विफल रहता है, और कोड या बाइटकोड से छेड़छाड़ करने वाले पुस्तकालयों को केवल इंटरफ़ेस दायित्वों को स्वीकार किया जा सकता है।

कोफूजा में से एक लक्ष्य आसानी और पुनर्प्राप्ति के लिए अभिव्यक्तता के साथ जावा कोड के संभावित रूपांतरों को लाना है। निम्नलिखित लेख उन मूलभूत तकनीकों का वर्णन करते हैं जो कॉफ़ोज़ा में अनुबंधों को लागू करने में निहित हैं। डिबगिंग जैसी सहायक विशेषताएं, केवल उपयुक्त स्थानों में उल्लिखित हैं और स्वतंत्र अध्ययन के योग्य हैं, जो इन लेखों के बाहर है।

3 घटक और वास्तुकला

टुकड़ा 2: संकलन और परिनियोजन प्रक्रिया

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

1. जावा को संकलित करने से पहले, जैसे ही स्रोत प्रीप्रोसेसर द्वारा पढ़ा जाता है। यह नोट करना महत्वपूर्ण है कि यह चरण स्रोत फ़ाइलों को संशोधित नहीं करता है; इसका विशेष उद्देश्य ऐसी जानकारी निकालना है जो अन्यथा हैंडलर के एनोटेशन में उपलब्ध नहीं हो सकती है (नीचे देखें)। यदि जावा कंपाइलर के पास com.sun.source पैकेज के साथ गैर-मानक API है, तो प्रीप्रोसेसर की आवश्यकता नहीं है
2. जब जावा फाइलें संकलित की जाती हैं, जैसे एनोटेशन प्रोसेसर। एनोटेशन प्रोसेसर कॉन्ट्रैक्ट कोड के वर्तमान संकलन के लिए अलग-अलग बायटेकोड फाइलों में जिम्मेदार है।
3. एक जावा एजेंट के रूप में क्लास लोडिंग के दौरान, जावा प्रोग्राम लॉन्च करने के लिए मॉड्यूल के लिए एक प्लग-इन। जावा एजेंट कॉन्ट्रैक्ट क्लासेस के बाईटेकोड को फिर से लिखता है, कॉन्ट्रैक्ट्स को टारगेट से जोड़ता है।
4. वैकल्पिक कदम। एक टूलकिट कदम जिसे एक स्वतंत्र प्रक्रिया के रूप में जावा कार्यक्रमों के लॉन्च के बाहर किया जा सकता है जो मौजूदा अनुबंध के साथ वर्गों को संश्लेषित करने के लिए इसी अनुबंध बाइटकोड (अनुबंध फ़ाइलों के रूप में) के साथ एक सामान्य अनुबंध-मुक्त बायटेकोड (मानक वर्ग फ़ाइलों के रूप में) को जोड़ती है।

कॉफ़ोज़ा दो उपयोगिताओं के साथ भी आता है: कॉफ़ोज़ैक और कॉफ़ोज़ब , जो कमांड लाइन से आसान निष्पादन के लिए क्रमशः पहले दो चरणों और अंतिम चरण का प्रदर्शन करते हैं।

मॉडर्न जस का प्रमुख विचार अलग से अनुबंधों का संकलन है। मूल स्रोत फ़ाइलें किसी भी स्थिति में कभी नहीं बदलती हैं। इसमें कमियां हैं, मुख्य रूप से वाक्यगत (उदाहरण के लिए, अनुबंध कोड डबल कोट्स के अंदर लिखा गया है), लेकिन निम्नलिखित दो गुणों की गारंटी देता है जो विश्वसनीयता इस दृष्टिकोण को लाती है:

• संकलित अनुबंध सामान्य संकलन प्रक्रिया के साथ ओवरलैप नहीं होता है; यह संकलक के दौरान बग की संभावना को सीमित करता है, संकलक द्वारा उल्लिखित मूल कोड के व्यवहार का उपयोग करके।
• एक अनुबंध संकलक को संकलित करने के लिए अनुबंध के साथ कोड की आवश्यकता नहीं है; एनोटेशन के साथ लिंक कोड पर्याप्त है। यदि किसी कारण से (उदाहरण के लिए, पुस्तकालयों में एक बग या असमर्थित जावा कार्यक्षमता) कोफोजा का उपयोग कोड के एक विशिष्ट खंड पर नहीं किया जा सकता है, तो फिर भी अनुबंधों को चुनिंदा या कुछ समय के लिए छोड़कर विकास जारी रखा जा सकता है।

अनुबंध तुरंत संसाधित होने के बाद कक्षाओं में शामिल होते हैं, और इसलिए उनका प्रारंभिक प्रतिनिधित्व अक्रिय डेटा (उदाहरण के लिए, स्ट्रिंग शाब्दिक) जीवन के कई रूपों से गुजरता है। निम्नलिखित अनुभागों का वर्णन है कि कैसे अनुबंधों को उनके विनिर्देशों से मान्य बायोटेक में अनुवादित किया जाता है। धारा 4 में AOP से उधार ली गई एक सामान्य संकलन तकनीक का वर्णन किया गया है, जबकि खंड 5 में Cofoja में आंतरिक कार्यान्वयन का वर्णन है।

4 अनुबंध पहलू का संकलन

कॉन्ट्रैक्ट्स का सत्यापन कोड में क्रॉस-कटिंग द्वारा बनाया गया है, जैसा कि पहलू-उन्मुख शब्दों में वर्णित है। यद्यपि अनुबंध स्वयं कार्यक्रम के व्यावसायिक तर्क के गुणों को निर्धारित करते हैं, लेकिन उन्हें जाँचना आवेदन के पहलू के रूप में प्रतिनिधित्व योग्य है।

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

कॉफोजा ने संकलन प्रक्रिया को व्यवस्थित रूप से व्यवस्थित करने के लिए इस दृष्टिकोण में सुधार किया है जो अधिक पारदर्शी रूप से प्रासंगिक अवधारणाओं को प्रदर्शित करता है।

4.1 बोर्ड संकलन

काउंसिल कोड को संकलित करते समय मुख्य समस्या उस कोड में होती है जिसे काउंसिल लागू करने की विधि के समान वातावरण तक पहुंच की आवश्यकता होती है। दूसरे शब्दों में, काउंसिल के हिस्से की उम्मीद है कि यह संकलित कोड के समान सीमाओं के भीतर है। उदाहरण के लिए, पूर्वानुभव, संभवतः कॉल के तर्कों की जांच करता है, या कोई भी अनुबंध एक निजी वर्ग विधि लागू करना चाहता है। यदि कंपाइलर इसके बारे में जानता है तो इसे हासिल करना आसान है; हालांकि, मानक जावा कंपाइलर उन पर ध्यान नहीं देता है।

इसके लिए, इस क्रम में जावा कंपाइलर का उपयोग किया जाता है: परिषद को मूल कक्षा की एक प्रति में वापस भेज दिया जाता है, जिसे बायटेकोड में बदल दिया जाता है, और परिणामस्वरूप संकलित विधियों को निकाला जाता है। ये विधियां आसानी से लोड होने से पहले अंतिम कक्षाओं (वैकल्पिक तरीकों के रूप में) के अंदर बंधी हो सकती हैं। इस प्रकार, बाइटकोड एक अतिरिक्त पहलू से संबंधित है, इसके अलावा, संकलित और अलग से संग्रहीत और पूरी तरह से पुन: प्रयोज्य।

तकनीक में सुधार किया गया है, ताकि मूल वर्ग के तरीकों को स्टब्स के साथ बदल दिया जा सके। यह महत्वपूर्ण है कि कंपाइलर काउंसिल कोड के अंदर इन तरीकों से कॉल कैसे ठीक करता है; और उनकी वर्तमान सामग्री कोई मायने नहीं रखती है। इस संबंध में, मानक एनोटेशन प्रसंस्करण एपीआई आसानी से गठित स्टब्स के लिए पर्याप्त जानकारी प्रदान करता है क्योंकि वर्ग पदानुक्रम के प्रतिबिंबित तत्व हैं। एक अतिरिक्त लाभ केवल क्लासटेक के रूप में उपलब्ध कक्षा प्रयोज्यता का विस्तार है: विधि हस्ताक्षर को संबंधित फ़ाइलों को अनदेखा करते हुए, क्लास फ़ाइलों से पढ़ा जा सकता है।

4.2 कनेक्शन अंक और लिंकिंग

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

अस्थायी डेटा, जैसे कि तर्क और वापसी मूल्य, यदि कोई हो, को स्पष्ट रूप से कॉपी किया जाना चाहिए, जैसे कि उन्हें अव्यवस्थित तरीके से विधि से स्थानांतरित किया गया हो।

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

इस दृष्टिकोण के लिए अनुबंध विशेष रूप से अच्छे हैं, क्योंकि जानकारी का संदर्भ स्वाभाविक रूप से विच्छेदित चर के एक सेट में टूट जाता है। दो विकल्प: विधि के अंदर परिषद बाइटकोड विधियों को एम्बेड करना और सहायक इकाई के अंदर परिषद विधि को विभाजित करना।

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

एक अधिक सामान्य रणनीति सहायक विधि को सहायक के अंदर रखना है, जिसमें वास्तविक कोड और आवरण शामिल हैं, जो मूल नाम और हस्ताक्षर लेता है, लेकिन इसका वास्तविक कार्य परिषद विधियों का पालन करता है जो सहायक प्रक्रिया को कॉल करने के लिए जिम्मेदार हैं ।

४.३ परिषद की विरासत

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

आवेदन के आधार पर, विरासत में मिली परिषद अपने सार और उद्देश्य को बहुत बदल सकती है, विभिन्न रणनीतियां संभव हैं, लेकिन यह इस दस्तावेज़ के दायरे से परे है।

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

इसके बजाय, अतिरिक्त विधियाँ किसी विशेष वर्ग में भी रह सकती हैं जो एकल इंटरफ़ेस या उपयोगिता वर्ग में उसी सीमा के भीतर होती हैं, जिस इंटरफ़ेस से वे जुड़ी होती हैं (उसी पैकेज या बाहरी वर्ग)।

पहला निर्णय मौजूदा जुड़े बुनियादी ढांचे का उपयोग करना है: इंटरफ़ेस को लागू करने वाली कक्षाएं आसानी से परिषद के तरीकों को संलग्न कर सकती हैं और हमेशा की तरह जारी रख सकती हैं। हालाँकि, कार्यान्वित वर्ग के सभी संदर्भों को वास्तविक वर्ग के संदर्भों में परिवर्तित करते समय ध्यान रखा जाना चाहिए, जिनके तरीकों को इंजेक्ट किया जाता है। कोड दोहराव के साथ कार्य भी हैं।

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

खंड 5.2.1 इन मुद्दों को अनुबंध अभ्यास के परिप्रेक्ष्य से संबोधित करता है: यह आधुनिक जस के कार्यान्वयन की तुलना करता है, जो पहले समाधान के एक संस्करण का उपयोग करता है, और कॉफोजा, जो दूसरे समाधान को लागू करता है।

4.4 संकलन तकनीक की सीमाएँ

यह पहलू संकलन दृष्टिकोण इस आश्वासन पर टिकी हुई है कि जावा संकलक अपनी सीमाओं के भीतर विधि का अनुकूलन नहीं करता है। वास्तव में, इसके लिए यह आवश्यक है कि स्रोत कोड विधियाँ और बायोटेक विधियाँ संयुक्त रूप से एक-से-एक हों, उदाहरण के लिए, संकलन के दौरान विधि का विखंडन नहीं होता है। स्टब्स के साथ, सीधे एक विधि टुकड़ा एम्बेड करना एक और बड़ा अवांछित अनुकूलन है। व्यवहार में, यह एक बड़ी समस्या पेश नहीं करता है, एक संकलक की तुलना में आभासी मशीन के स्तर को अनुकूलित करने की दिशा में वर्तमान रुझान को ध्यान में रखता है। इसके अलावा, अनुबंध, विशेष रूप से, मुख्य रूप से विकास और डिबग उद्देश्यों के लिए अभिप्रेत हैं, और इसलिए, संभवतः सक्षम किए गए अनुकूलन के साथ संकलित नहीं किया जाएगा।

एक और संभावित अधिक गंभीर समस्या संकलन त्रुटियां हैं। त्रुटि रिपोर्टिंग में अधिक सावधानी की आवश्यकता होती है, जैसे वह मायावी विरोधाभासों को धोखा देने के लिए इच्छुक है। एक सरल विचार मुख्य संकलक प्रक्रिया से परिणाम को वापस करना है ताकि उपयोगकर्ता को गठित संदेश दिखाए जाएं जो उपयोगकर्ता कोड से संबंधित नहीं हैं, लेकिन उत्पन्न तत्वों के साथ एक मिश्रित कोड के अनुरूप हैं। कॉफोजा सामान्य त्रुटि संदेशों को स्पष्ट करने में मदद करने के लिए उन्नत सुविधाओं के साथ इस विकल्प का अनुपालन करता है; अधिक सामान्य समाधान संकलक एपीआई के साथ बेहतर एकीकरण का उपयोग कर सकता है।

उद्धृत साहित्य की सूची

• जे बलोच। जेएसआर 41: एक सरल शोध सुविधा। नवंबर 1999
• C4J
• डॉ। कोक जेएमएल को जेनेरिक प्रकारों और जावा 1.6 में अपनाना। सातवीं अंतर्राष्ट्रीय कार्यशाला, घटक आधारित प्रणालियों की विशिष्टता और सत्यापन पर, पीपी। 27-34, नवंबर 2008।
• कंपाइलर ट्री एपीआई
• Contrac4J
• एफिल सॉफ्टवेयर। अनुबंध द्वारा डिजाइन की शक्ति
• ए एलियासन। गतिशील प्रॉक्सी का उपयोग करके जावा के लिए अनुबंध द्वारा डिजाइन को लागू करें। फरवरी 2002
• कार हो गई। कंप्यूटर प्रोग्रामिंग के लिए एक स्वयंसिद्ध आधार। एसीएम के संचार, वॉल्यूम 12, अंक 10, पीपी। 576-580। अक्टूबर 1969।
• अभिकथन के साथ जावा
• जावा मॉडलिंग भाषा
• बी। लिस्कोव, जे। विंग। A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 16, Issue 6, pp. 1811–1841. November 1994
• B. Meyer. Applying “Design by Contract.” Computer (IEEE), Volume 25, Issue 10, pp. 40–51. October 1992
• Oracle Corporation. The Java HotSpot Virtual Machine, v1.4.1
• J. Rieken. Design By Contract for Java — Revised. April 2007
• D. Wampler. Contract4J for Design by Contract in Java: Design Pattern-Like Protocols and Aspect Interfaces. 2006