C# (CSharp) ImplForIFaceWithMethodCallInContract Examples

Example #1

File: RewrittenInheritanceTest.cs Project: wang-xinhong/CodeContracts

        public void NegativeIFaceWithMethodCalInContract2()
        {
            IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();

            o.M(5);
        }

Example #2

File: RewrittenInheritanceTest.cs Project: wang-xinhong/CodeContracts

        public void PositiveIFaceWithMethodCalInContract()
        {
            IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();

            o.M(1);
        }

Example #3

File: RewrittenInheritanceTest.cs Project: zhuyue1314/CodeContracts

        public void NegativeIFaceWithMethodCalInContract2()
        {
            IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();

            Assert.Throws <TestRewriterMethods.PostconditionException>(() => o.M(5));
        }

Example #4

File: RewrittenInheritanceTest.cs Project: nbulp/CodeContracts

 public void NegativeIFaceWithMethodCalInContract2()
 {
   IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();
   o.M(5);
 }

Example #5

File: RewrittenInheritanceTest.cs Project: nbulp/CodeContracts

 public void PositiveIFaceWithMethodCalInContract()
 {
   IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();
   o.M(1);
 }

Example #6

File: RewrittenInheritanceTest.cs Project: asvishnyakov/CodeContracts

 public void NegativeIFaceWithMethodCalInContract2()
 {
   IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract();
   Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.M(5));
 }