D Language
ठेके

टिप्पणियों

कार्य अनुबंध

फंक्शन कॉन्ट्रैक्ट्स प्रोग्रामर को विसंगतियों की जाँच करने की अनुमति देते हैं। विसंगतियों में अमान्य पैरामीटर, सही रिटर्न मान के लिए चेक या ऑब्जेक्ट की अमान्य स्थिति शामिल हैं।

फ़ंक्शन या विधि के निकाय से पहले और बाद में जांच हो सकती है।

void printNotGreaterThan42(uint number)
in {
    assert(number < 42);
}
body {
    import std.stdio : writeln;
    writeln(number);
}

रिलीज के निर्माण में दावे को दूर किया जाएगा।

कार्य अनुबंध

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

class OlderThanEighteen {
    uint age;

    final void driveCar()
    in {
         assert(age >= 18); // variable must be in range
    }
    body {
         // step on the gas
    }
}