C# (CSharp) DerivedFromBaseClassWithOldAndResult.InheritResult Examples

Example #1

File: RewrittenInheritanceTest.cs Project: nbulp/CodeContracts

 public void PositiveInheritResultInContract()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   o.InheritResult(3, true);
 }

Example #2

File: RewrittenInheritanceTest.cs Project: nbulp/CodeContracts

 public void NegativeInheritResultInContract()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   o.InheritResult(3, false);
 }

Example #3

File: RewrittenInheritanceTest.cs Project: asvishnyakov/CodeContracts

 public void NegativeInheritResultInContract()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.InheritResult(3, false));
 }