C# (CSharp) CodeUnderTest.IteratorSimpleContract.Test4 Examples

Example #1

File: RewrittenContractTest.cs Project: nbulp/CodeContracts

 public void IteratorGenStrMethNegElemMethEqParamMeth() {
   var test4 = new CodeUnderTest.IteratorSimpleContract.Test4<CodeUnderTest.IteratorSimpleContract.A>(new CodeUnderTest.IteratorSimpleContract.A(null));
   CodeUnderTest.IteratorSimpleContract.A a = new CodeUnderTest.IteratorSimpleContract.A("hello");
   CodeUnderTest.IteratorSimpleContract.A[] aa = { new CodeUnderTest.IteratorSimpleContract.A("12345"), new CodeUnderTest.IteratorSimpleContract.A("5432") };
   test4.Test1e(aa, a);
 }

Example #2

File: RewrittenContractTest.cs Project: nbulp/CodeContracts

 public void IteratorGenStrNegPostAllNN() {
   var test4 = new CodeUnderTest.IteratorSimpleContract.Test4<CodeUnderTest.IteratorSimpleContract.A>(new CodeUnderTest.IteratorSimpleContract.A("hello"));
   test4.Test1aa(new CodeUnderTest.IteratorSimpleContract.A(""));
 }