public void NegativeAbstractMethodWithContract3()
{
AbstractClass a = new ImplForAbstractMethod();
a.ReturnFirst(new int[] { 3, 4, 5 }, false);
}
public void PositiveAbstractMethodWithContract2()
{
AbstractClass a = new ImplForAbstractMethod();
a.Increment(3, true);
}
public void NegativeAbstractMethodWithContract2()
{
AbstractClass a = new ImplForAbstractMethod();
a.ReturnFirst(new int[] { }, true);
}
public void NegativeAbstractMethodWithContract5()
{
AbstractClass a = new ImplForAbstractMethod();
Assert.Throws <TestRewriterMethods.PostconditionException>(() => a.Increment(3, false));
}
public void PositiveAbstractMethodWithContract()
{
AbstractClass a = new ImplForAbstractMethod();
a.ReturnFirst(new int[] { 3, 4, 5 }, true);
}
public void NegativeAbstractMethodWithContract3()
{
AbstractClass a = new ImplForAbstractMethod();
Assert.Throws<TestRewriterMethods.PostconditionException>(() => a.ReturnFirst(new int[] { 3, 4, 5 }, false));
}
public void NegativeAbstractMethodWithContract3()
{
AbstractClass a = new ImplForAbstractMethod();
Assert.Throws <TestRewriterMethods.PostconditionException>(() => a.ReturnFirst(new int[] { 3, 4, 5 }, false));
}
public void NegativeAbstractMethodWithContract4()
{
AbstractClass a = new ImplForAbstractMethod();
a.Increment(-3, true);
}
public void NegativeAbstractMethodWithContract5()
{
AbstractClass a = new ImplForAbstractMethod();
a.Increment(3, false);
}
public void NegativeAbstractMethodWithContract2()
{
AbstractClass a = new ImplForAbstractMethod();
a.ReturnFirst(new int[] { }, true);
}
public void NegativeAbstractMethodWithContract3()
{
AbstractClass a = new ImplForAbstractMethod();
a.ReturnFirst(new int[] { 3, 4, 5 }, false);
}
public void PositiveAbstractMethodWithContract2()
{
AbstractClass a = new ImplForAbstractMethod();
a.Increment(3, true);
}
public void PositiveAbstractMethodWithContract()
{
AbstractClass a = new ImplForAbstractMethod();
a.ReturnFirst(new int[] { 3, 4, 5 }, true);
}
public void NegativeAbstractMethodWithContract5()
{
AbstractClass a = new ImplForAbstractMethod();
Assert.Throws<TestRewriterMethods.PostconditionException>(() => a.Increment(3, false));
}
public void NegativeAbstractMethodWithContract4()
{
AbstractClass a = new ImplForAbstractMethod();
a.Increment(-3, true);
}
public void NegativeAbstractMethodWithContract1()
{
AbstractClass a = new ImplForAbstractMethod();
Assert.Throws <TestRewriterMethods.PreconditionException>(() => a.ReturnFirst(null, true));
}
public void NegativeAbstractMethodWithContract5()
{
AbstractClass a = new ImplForAbstractMethod();
a.Increment(3, false);
}
public void NegativeAbstractMethodWithContract1()
{
AbstractClass a = new ImplForAbstractMethod();
Assert.Throws<TestRewriterMethods.PreconditionException>(() => a.ReturnFirst(null, true));
}
