Exemple #1
0
        public void NegativeAbstractClass()
        {
            AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType();

            a.M(false);
        }
Exemple #2
0
        public void PositiveAbstractClass()
        {
            AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType();

            a.M(true);
        }
Exemple #3
0
        public void NegativeAbstractClass()
        {
            AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType();

            Assert.Throws <TestRewriterMethods.PostconditionException>(() => a.M(false));
        }
Exemple #4
0
 public void NegativeAbstractClass()
 {
   AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType();
   a.M(false);
 }
Exemple #5
0
 public void PositiveAbstractClass()
 {
   AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType();
   a.M(true);
 }
Exemple #6
0
 public void NegativeAbstractClass()
 {
   AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType();
   Assert.Throws<TestRewriterMethods.PostconditionException>(() => a.M(false));
 }