C# (CSharp) DerivedFromBaseClassWithOldAndResult.InheritResultInQuantifier примеры использования

Пример #1

Файл: RewrittenInheritanceTest.cs Проект: wang-xinhong/CodeContracts

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

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

Пример #2

Файл: RewrittenInheritanceTest.cs Проект: zhuyue1314/CodeContracts

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

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

Пример #3

Файл: RewrittenInheritanceTest.cs Проект: nbulp/CodeContracts

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

Пример #4

Файл: RewrittenInheritanceTest.cs Проект: asvishnyakov/CodeContracts

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