C# (CSharp) DerivedFromBaseClassWithOldAndResult.InheritOldInQuantifier Examples

Example #1

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

        public void NegativeInheritOldInQuantifier()
        {
            DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();

            int[] A = new int[] { 3, 4, 5 };
            o.InheritOldInQuantifier(A, false);
        }

Example #2

File: RewrittenInheritanceTest.cs Project: zhuyue1314/CodeContracts

        public void NegativeInheritOldInQuantifier()
        {
            DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();

            int[] A = new int[] { 3, 4, 5 };
            Assert.Throws <TestRewriterMethods.PostconditionException>(() => o.InheritOldInQuantifier(A, false));
        }

Example #3

File: RewrittenInheritanceTest.cs Project: nbulp/CodeContracts

 public void NegativeInheritOldInQuantifier()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   int[] A = new int[] { 3, 4, 5 };
   o.InheritOldInQuantifier(A, false);
 }

Example #4

File: RewrittenInheritanceTest.cs Project: asvishnyakov/CodeContracts

 public void NegativeInheritOldInQuantifier()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   int[] A = new int[] { 3, 4, 5 };
   Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.InheritOldInQuantifier(A, false));
 }