コード例 #1
0
 public void PositiveInheritedOOBInvariant()
 {
   var c = new DerivedOutOfBandC();
   c.ViolateBaseInvariant(true);
 }
コード例 #2
0
 public void NegativeInheritedOOBInvariant()
 {
   var c = new DerivedOutOfBandC();
   Assert.Throws<TestRewriterMethods.InvariantException>(() => c.ViolateBaseInvariant(false));
 }
コード例 #3
0
ファイル: OutOfBandTest.cs プロジェクト: nbulp/CodeContracts
 public void NegativeInheritedOOBInvariant()
 {
   var c = new DerivedOutOfBandC();
   c.ViolateBaseInvariant(false);
 }