Ejemplo n.º 1
0
        public void NegativeIFaceWithMethodCalInContract2()
        {
            IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();

            o.M(5);
        }
Ejemplo n.º 2
0
        public void PositiveIFaceWithMethodCalInContract()
        {
            IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();

            o.M(1);
        }
Ejemplo n.º 3
0
        public void NegativeIFaceWithMethodCalInContract2()
        {
            IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();

            Assert.Throws <TestRewriterMethods.PostconditionException>(() => o.M(5));
        }
Ejemplo n.º 4
0
 public void NegativeIFaceWithMethodCalInContract2()
 {
   IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();
   o.M(5);
 }
Ejemplo n.º 5
0
 public void PositiveIFaceWithMethodCalInContract()
 {
   IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();
   o.M(1);
 }
Ejemplo n.º 6
0
 public void NegativeIFaceWithMethodCalInContract2()
 {
   IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();
   Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.M(5));
 }