Esempi in C# (CSharp) per CodeUnderTest.IteratorSimpleContract.Test2.Test1b

Esempio n. 1

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void IteratorPositiveLegacyArgNN() {
   var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
   test2.Test1b("hello");
 }

Esempio n. 2

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void IteratorNegativeLegacyArgNN() {
   var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
   try
   {
     test2.Test1b(null);
   } catch (ArgumentException) {
     // An ArgumentException is thrown by the legacy precondition. 
   }
 }