यह अनुबंध ++ नाम का लिनक्स ऐप है, जिसकी नवीनतम रिलीज़ को कॉन्ट्रैक्टपीपी_0_4_1.ज़िप के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
ऑनवर्क्स के साथ कॉन्ट्रैक्ट ++ नाम के इस ऐप को ऑनलाइन डाउनलोड करें और चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
स्क्रीनशॉट
Ad
अनुबंध++
वर्णन
**** इस पुस्तकालय को बढ़ावा में ले जाया गया ****नया स्थान: https://github.com/boostorg/contract
सी ++ अनुबंध प्रोग्रामिंग (अनुबंध या डीबीसी द्वारा उर्फ डिजाइन)।
सभी एफिल सुविधाओं का समर्थन किया गया: उप-अनुबंध, पोस्टकंडीशन पुराना और परिणाम मान, वैकल्पिक अनुबंध संकलन, अभिकथन विफलता पर अनुकूलन योग्य कार्रवाई, ब्लॉक इनवेरिएंट, लूप वेरिएंट, आदि।
प्लस वर्चुअल स्पेसिफायर, कॉन्सेप्ट चेकिंग, नामित पैरामीटर।
देखें: http://contractpp.sourceforge.net
विशेषताएं
- पूर्व शर्त, पोस्टकंडिशन, क्लास इनवेरिएंट, ब्लॉक इनवेरिएंट और लूप वेरिएंट के लिए समर्थन।
- उप-अनुबंध व्युत्पन्न कक्षाएं (शुद्ध आभासी कार्यों और एकाधिक विरासत के समर्थन के साथ)।
- पोस्टकंडिशन में एक्सेस एक्सप्रेशन पुराने मान और फ़ंक्शन रिटर्न वैल्यू।
- पूर्व शर्त, पोस्टकंडिशन, क्लास इनवेरिएंट, ब्लॉक इनवेरिएंट और लूप वेरिएंट का वैकल्पिक संकलन और जाँच।
- अनुबंध अभिकथन विफलता पर अनुकूलन योग्य क्रियाएं (डिफ़ॉल्ट रूप से समाप्त होती हैं लेकिन यह फेंक, बाहर निकल सकती हैं, आदि)।
- आभासी विनिर्देशक।
- अवधारणा की जाँच।
- नामित पैरामीटर।
दर्शक
डेवलपर्स, गुणवत्ता इंजीनियर
प्रोग्रामिंग भाषा
एफिल, सी++
यह एक ऐसा एप्लिकेशन है जिसे https://sourceforge.net/projects/contractpp/ से भी प्राप्त किया जा सकता है। इसे ऑनवर्क्स में होस्ट किया गया है ताकि इसे हमारे एक फ्री ऑपरेटिव सिस्टम से सबसे आसान तरीके से ऑनलाइन चलाया जा सके।