मैं एनआईएनआईटी फेंक प्रतिबंध पर फ़ंक्शन कैसे पास करूं?

Question

मैं एफ # में कुछ एनयूनीट परीक्षण लिखने की कोशिश कर रहा हूं और ThrowsConstraint पर फ़ंक्शन पास करने में समस्या आ रही है। एक आसुत (गैर) कामकाजी नमूना नीचे है।

open System.IO 
open NUnit.Framework 

[<TestFixture>] 
module Example = 

    [<Test>] 
    let foo() = 
     let f = fun() -> File.GetAttributes("non-existing.file") 
     Assert.That(f, Throws.TypeOf<FileNotFoundException>()) 

यह ठीक संकलित लेकिन मैं NUnit परीक्षण धावक से निम्नलिखित मिल:

FsTest.Tests.Example.foo: 
System.ArgumentException : The actual value must be a TestDelegate but was f@11 
Parameter name: actual 

जब मैं ExpectedException विशेषता का उपयोग कर समस्या को हल करने में सक्षम हूँ, मेरे सवाल का सही है क्या है इस स्थिति में एक एफ # समारोह का उपयोग करने का तरीका?

Answer 1

सभी आप अपने मूल टुकड़ा काम करने के लिए आदेश में क्या करने की जरूरत TestDelegate, जो unit -> unit है हस्ताक्षर अनुरूप करने के लिए f फिक्सिंग है। बस File.GetAttributes के रिटर्न मान त्यागें:

let f = fun() -> File.GetAttributes("non-existing.file") |> ignore 

एफ # संकलक अपने मूल कोड में barf नहीं किया क्योंकि सिर्फ एक और फिटिंग NUnit ओवरलोड Assert.That(actual: obj, expression: Constraints.IResolveConstraint) मौजूद है।

Assert.That के रूप में बहुत व्यापक उपयोग मैं उम्मीद अपवादों को अधिक विशिष्ट ज़ोर रूप है, का परीक्षण उदाहरण के लिए के लिए छड़ी होगी है:

[<Test>] 
let foo() = 
    Assert.Throws<FileNotFoundException> 
     (fun() -> File.GetAttributes("non-existing.file")|> ignore) 
    |> ignore 

जहां एफ # संकलक स्थिर अपने कार्य के गलत हस्ताक्षर स्थान में सक्षम होगा।

Answer 2

आईएमएचओ, आप न्यूटिट के शीर्ष पर Unquote का उपयोग करके स्वयं को कुछ दर्द बचा सकते हैं। फिर अपने दावे को कभी कभी अप्रत्याशित क्रम व्यवहार एफ # की तुलना में अभिव्यक्ति की सी # के रिश्तेदार की कमी की भरपाई के लिए तैयार कर रहे हैं के साथ जोर भार के की NUnit के बड़े सूट के रूप में सरल रूप में

[<Test>] 
let foo() = 
    raises<FileNotFoundException> <@ File.GetAttributes("non-existing.file") @> 

होगा।

ऑन-द-दूसरे हाथ, क्योंकि एफ # पहले से ही इस तरह के सुंदर ढंग से व्यक्त करने के दावे के लिए संरचनात्मक तुलना के रूप में सुविधाओं के साथ सुसज्जित है, गंदें शब्द बोलना सिर्फ तीन सरल अभिकथन ऑपरेटरों के साथ अपने मूल सुविधाओं का फायदा उठाने के लिए बनाया गया है: test, raises, और raisesWith।