C# (CSharp) DerivedFromBaseClassWithOldAndResult.InheritOldの例

コード例 #1

ファイル: RewrittenInheritanceTest.cs プロジェクト: wang-xinhong/CodeContracts

        public void NegativeInheritOld()
        {
            DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
            int z = 3;

            o.InheritOld(ref z, false);
        }

コード例 #2

ファイル: RewrittenInheritanceTest.cs プロジェクト: wang-xinhong/CodeContracts

        public void PositiveInheritOld()
        {
            DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
            int z = 3;

            o.InheritOld(ref z, true);
        }

コード例 #3

ファイル: RewrittenInheritanceTest.cs プロジェクト: zhuyue1314/CodeContracts

        public void NegativeInheritOld()
        {
            DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
            int z = 3;

            Assert.Throws <TestRewriterMethods.PostconditionException>(() => o.InheritOld(ref z, false));
        }

コード例 #4

ファイル: RewrittenInheritanceTest.cs プロジェクト: nbulp/CodeContracts

 public void NegativeInheritOld()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   int z = 3;
   o.InheritOld(ref z, false);
 }

コード例 #5

ファイル: RewrittenInheritanceTest.cs プロジェクト: nbulp/CodeContracts

 public void PositiveInheritOld()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   int z = 3;
   o.InheritOld(ref z, true);
 }

コード例 #6

ファイル: RewrittenInheritanceTest.cs プロジェクト: asvishnyakov/CodeContracts

 public void NegativeInheritOld()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   int z = 3;
   Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.InheritOld(ref z, false));
 }