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(""));
}
