public void IteratorGenClsMethPostElemLTProp() { var test3 = new CodeUnderTest.IteratorSimpleContract.Test3<CodeUnderTest.IteratorSimpleContract.A>(new CodeUnderTest.IteratorSimpleContract.A("hello")); CodeUnderTest.IteratorSimpleContract.A[] aa = { new CodeUnderTest.IteratorSimpleContract.A("1234567"), new CodeUnderTest.IteratorSimpleContract.A("213456") }; test3.Test1h(aa); }
public void IteratorGenClsMethInsClNegElemEqParam() { var test3 = new CodeUnderTest.IteratorSimpleContract.Test3<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("321") }; test3.Test1g(aa, a); }
public void IteratorGenClsMethInsClNegPostElemLTProp() { var test3 = new CodeUnderTest.IteratorSimpleContract.Test3<CodeUnderTest.IteratorSimpleContract.A>(new CodeUnderTest.IteratorSimpleContract.A("hello")); CodeUnderTest.IteratorSimpleContract.A[] aa = { new CodeUnderTest.IteratorSimpleContract.A("45"), new CodeUnderTest.IteratorSimpleContract.A("321") }; test3.Test1h(aa); }
public void IteratorGenClsMethPosPostElemNN() { var test3 = new CodeUnderTest.IteratorSimpleContract.Test3<CodeUnderTest.IteratorSimpleContract.A>(new CodeUnderTest.IteratorSimpleContract.A(null)); CodeUnderTest.IteratorSimpleContract.A[] strs = { new CodeUnderTest.IteratorSimpleContract.A("hello") }; test3.Test1d(strs); }
public void IteratorGenClsMethNegElemMethEqParamMeth() { var test3 = new CodeUnderTest.IteratorSimpleContract.Test3<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") }; test3.Test1e(aa, a); }
public void IteratorGenClsMethNegElemNN() { var test3 = new CodeUnderTest.IteratorSimpleContract.Test3<CodeUnderTest.IteratorSimpleContract.A>(new CodeUnderTest.IteratorSimpleContract.A("hello")); CodeUnderTest.IteratorSimpleContract.A[] aa = { null }; test3.Test1d(aa); }
public void IteratorGenClsMethNegCollectionNN() { var test3 = new CodeUnderTest.IteratorSimpleContract.Test3<CodeUnderTest.IteratorSimpleContract.A>(new CodeUnderTest.IteratorSimpleContract.A("hello")); IEnumerable<CodeUnderTest.IteratorSimpleContract.A> x = null; test3.Test1d(x); }
public void IteratorGenClsPosLegacyArgNN() { var test3 = new CodeUnderTest.IteratorSimpleContract.Test3<CodeUnderTest.IteratorSimpleContract.A>(new CodeUnderTest.IteratorSimpleContract.A("hello")); test3.Test1b(new CodeUnderTest.IteratorSimpleContract.A("hello")); }
public void IteratorGenClsNegLegacyArgNN() { var test3 = new CodeUnderTest.IteratorSimpleContract.Test3<CodeUnderTest.IteratorSimpleContract.A>(new CodeUnderTest.IteratorSimpleContract.A("hello")); try { test3.Test1b(null); } catch (ArgumentException) { // An ArgumentException is thrown by the legacy precondition. } }
public void IteratorGenClsNegPostAllNN() { var test3 = new CodeUnderTest.IteratorSimpleContract.Test3<CodeUnderTest.IteratorSimpleContract.A>(new CodeUnderTest.IteratorSimpleContract.A("hello")); test3.Test1aa(new CodeUnderTest.IteratorSimpleContract.A("")); }