public void NegativeAbstractMethodWithContract3()
{
AbstractClass a = new ImplForAbstractMethod();
a.ReturnFirst(new int[] { 3, 4, 5 }, false);
}
public void PositiveAbstractMethodWithContract()
{
AbstractClass a = new ImplForAbstractMethod();
a.ReturnFirst(new int[] { 3, 4, 5 }, true);
}
public void NegativeAbstractMethodWithContract2()
{
AbstractClass a = new ImplForAbstractMethod();
a.ReturnFirst(new int[] { }, true);
}
public void NegativeAbstractMethodWithContract1()
{
AbstractClass a = new ImplForAbstractMethod();
Assert.Throws <TestRewriterMethods.PreconditionException>(() => a.ReturnFirst(null, 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();
a.ReturnFirst(new int[] { 3, 4, 5 }, false);
}
public void NegativeAbstractMethodWithContract2()
{
AbstractClass a = new ImplForAbstractMethod();
a.ReturnFirst(new int[] { }, true);
}
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 NegativeAbstractMethodWithContract1()
{
AbstractClass a = new ImplForAbstractMethod();
Assert.Throws<TestRewriterMethods.PreconditionException>(() => a.ReturnFirst(null, true));
}