.NET 4 कोड अनुबंध: "अनुमोदित की आवश्यकता है: स्रोत! = शून्य"

Question

मैंने अभी अपनी परियोजना में कोड अनुबंध का उपयोग करना शुरू कर दिया है। हालांकि, मुझे अपने भंडार कार्यान्वयन में कोई समस्या है, जो एंटीटी फ्रेमवर्क का उपयोग करके मेरे डेटाबेस से पूछताछ करता है।

public IEnumerable<Organization> GetAllOrganizations() 
{ 
    return _uow.CreateSet<Party>().OfType<Organization>().AsEnumerable(); 
} 

विधि एक संग्रह डेटाबेस में सभी संगठनों से युक्त, या एक खाली संग्रह वहाँ डेटाबेस में संगठनों नहीं है रिटर्न:

मैं निम्न विधि है।

बहरहाल, यह ठीक नहीं है CodeContracts, जो मुझे त्रुटि दिखा सकते हैं के अनुसार है: "की आवश्यकता है अप्रमाणित: स्रोत = अशक्त"

क्या यह मुझे बताने की कोशिश कर रहा है? मैं अनुबंध.एसम्यूम का उपयोग कर कोड अनुबंधों को पूरा कर सकता हूं, यह मानने के लिए कि यह हमेशा कुछ खोजेगा, लेकिन फिर मुझे डेटाबेस से डेटा पढ़ने वाले सभी तरीकों से ऐसा करने की ज़रूरत है।

क्या मुझे यहां कुछ याद आ रहा है, या जब आप डेटाबेस और LINQ के साथ काम कर रहे हैं तो यह इरादा व्यवहार है?

Answer 1

मेरा अनुमान है कि CreateSet, OfType और AsEnumerable विधियों में से एक को "स्रोत" नामक इस पैरामीटर के साथ एक विस्तार विधि के रूप में घोषित किया गया है, और CodeContrcts यह साबित नहीं कर सकता कि यह शून्य नहीं है। साथ ही, क्या आपको यह निर्दिष्ट करने के लिए क्लॉज की आवश्यकता नहीं है कि _ प्रविष्टि पर शून्य न हो?

CreateSet विस्तार विधि प्रतीत होता है क्योंकि यह एमएसडीएन में प्रकट नहीं होता है। विधि लौट अशक्त कभी नहीं करना चाहिए, तो आप CreateSet को यह अनुबंध जोड़कर इस लागू कर सकते हैं:

Contract.Ensures(Contract.Result<T>() != null); 

CodeContracts विश्लेषक इस नियम को देखता है, तो यह सबूत के रूप में ले जाएगा कि OfType के लिए इनपुट अशक्त नहीं होगा, और चेतावनी दूर जाना चाहिए।