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

Esempio n. 1

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void IteratorNegativeNN() {
   var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
   test2.Test1a(null); // Precondition of Test1a violated.
 }

Esempio n. 2

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void IteratorPositiveNN() {
   var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
   test2.Test1a("hello"); // Precondition of Test1a holds
 }