Exemplos de Tests.Sources Foo.HandleFooAsync em C# (CSharp)

Exemplo n.º 1

Arquivo: ExceptionalAsyncPostcondition.cs Projeto: terrorizer1980/CodeContracts

 partial void Run()
 {
     if (behave)
     {
         Foo.HandleFooAsync().Wait();
     }
     else
     {
         throw new ArgumentNullException();
     }
 }

Exemplo n.º 2

 partial void Run()
 {
     if (behave)
     {
         Foo <string> .HandleFooAsync(null).Wait();
     }
     else
     {
         Foo <string> .HandleFooAsync("should fail").GetAwaiter().GetResult();
     }
 }

Exemplo n.º 3

Arquivo: MixedAsyncPostcondition.cs Projeto: zhuyue1314/CodeContracts

 partial void Run()
 {
     Foo.HandleFooAsync(behave).Wait();
 }