Beispiel #1
0
        public void NegativeAbstractMethodWithContract5()
        {
            AbstractClass a = new ImplForAbstractMethod();

            a.Increment(3, false);
        }
Beispiel #2
0
        public void PositiveAbstractMethodWithContract2()
        {
            AbstractClass a = new ImplForAbstractMethod();

            a.Increment(3, true);
        }
Beispiel #3
0
        public void NegativeAbstractMethodWithContract4()
        {
            AbstractClass a = new ImplForAbstractMethod();

            a.Increment(-3, true);
        }
Beispiel #4
0
        public void NegativeAbstractMethodWithContract5()
        {
            AbstractClass a = new ImplForAbstractMethod();

            Assert.Throws <TestRewriterMethods.PostconditionException>(() => a.Increment(3, false));
        }
Beispiel #5
0
 public void NegativeAbstractMethodWithContract5()
 {
   AbstractClass a = new ImplForAbstractMethod();
   a.Increment(3, false);
 }
Beispiel #6
0
 public void NegativeAbstractMethodWithContract4()
 {
   AbstractClass a = new ImplForAbstractMethod();
   a.Increment(-3, true);
 }
Beispiel #7
0
 public void PositiveAbstractMethodWithContract2()
 {
   AbstractClass a = new ImplForAbstractMethod();
   a.Increment(3, true);
 }
Beispiel #8
0
 public void NegativeAbstractMethodWithContract5()
 {
   AbstractClass a = new ImplForAbstractMethod();
   Assert.Throws<TestRewriterMethods.PostconditionException>(() => a.Increment(3, false));
 }