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

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

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

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

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