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