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