क्या मैं इस सरल अनुबंध को गलत तरीके से कार्यान्वित कर रहा हूं?

Question

यह मेरा कोड है:

public class RegularPolygon 
{ 
    public int VertexCount; 
    public double SideLength; 

    public RegularPolygon(int vertexCount, double sideLength) 
    { 
     Contract.Requires(vertexCount >= 3); 
     VertexCount = vertexCount; 
     SideLength = sideLength; 
    } 

    [ContractInvariantMethod] 
    private void RegularPolygonInvariants() 
    { 
     Contract.Invariant(VertexCount>=3); 
    } 

} 

मैं दोनों Contract.Requires और Contract.Invariant तरीकों से 2 से कम या बराबर बनने से vertexCount चर को रोकने के लिए के साथ की कोशिश की है; हालांकि मैं अभी भी 2 या कम पक्षों के साथ एक नियमित पोलिगॉन शुरू करने में सक्षम हूं। मेरा (सरलीकृत) NUnit परीक्षण इस तरह दिखता है:

[TestFixture] 
class TestRegularPolygon 
{ 
    private RegularPolygon _polygon; 

    [SetUp] 
    public void Init() 
    { 
     _polygon = new RegularPolygon(1, 50); 
    } 

    [Test] 
    public void Constructor() 
    { 
     Assert.That(_polygon.VertexCount,Is.GreaterThanOrEqualTo(3)); 
    } 

} 

उपर्युक्त परीक्षण भी पास हो जाता है और मैं यह नहीं समझ सकता कि क्यों!

सबसे पहले मैंने सोचा था कि ReSharper सकता है कुछ खिलवाड़ किया गया है क्योंकि यह लाइन और प्रदर्शित करता है इस संदेश को बाहर grays जब भी मैं Contract नाम स्थान में एक विधि का उपयोग करने का प्रयास करें:

विधि मंगलाचरण को छोड़ दिया है। कंपाइलर विधि आमंत्रण उत्पन्न नहीं करेगा क्योंकि विधि सशर्त है, या यह कार्यान्वयन के बिना आंशिक विधि है।

लेकिन आर # को निलंबित करना और एनयूनीट में परीक्षण चलाने के परिणामस्वरूप वीएस में कोई त्रुटि या चेतावनी नहीं है। तो मुझे लगता है कि ऐसा इसलिए है क्योंकि ReSharper में अभी तक कोड अनुबंधों के लिए हाइलाइटिंग संगतता नहीं है।

मैंने प्रलेखन को देखा है और जहां तक ​​मैं कह सकता हूं कि मुझे यह समस्या नहीं होनी चाहिए।

क्या मैं कोड अनुबंधों का गलत इस्तेमाल कर रहा हूं या क्या मेरा पर्यावरण किसी भी तरह से काम करने से रोक रहा है?

धन्यवाद।

Answer 1

जांच करने वाली पहली चीज़ - क्या आपको वास्तव में अनुबंध जांच चालू है? यदि नहीं, तो आपके कोई भी अनुबंध कुछ भी नहीं करेगा। इससे आर # चेतावनी भी समझाएगी। बिल्ड गुणों में "कोड अनुबंध" के अंतर्गत देखें, और देखें कि "रनटाइम चेकिंग" के तहत यह क्या कहता है।

टिप्पणियों के अनुसार, सुनिश्चित करें कि आपके पास संकलन प्रतीक के रूप में परिभाषित CONTRACTS_FULL है - ऐसा लगता है कि आर # की आवश्यकता है।

दूसरा बिंदु: आप सार्वजनिक परिवर्तनशील क्षेत्रों मिल गया है, अपने अपरिवर्तनीय कोई लेखन

polygon.VertexCount = 0; 

कृपया सार्वजनिक क्षेत्रों, विशेष रूप से नहीं लिखने योग्य लोगों का उपयोग नहीं करते द्वारा किसी भी क्षण में उल्लंघन किया जा सकता है, जिसका अर्थ है। :)