C# (CSharp) DerivedFromBaseClassWithOldAndResult.InheritOldInQuantifier示例

示例#1

文件： RewrittenInheritanceTest.cs 项目： wang-xinhong/CodeContracts

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

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

示例#2

文件： RewrittenInheritanceTest.cs 项目： zhuyue1314/CodeContracts

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

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

示例#3

文件： RewrittenInheritanceTest.cs 项目： nbulp/CodeContracts

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

示例#4

文件： RewrittenInheritanceTest.cs 项目： asvishnyakov/CodeContracts

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