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));
 }