Exemplos de SubtypeWithoutContracts DerivedOutOfBandC em C# (CSharp)

Exemplo n.º 1

Arquivo: OutOfBandTest.cs Projeto: asvishnyakov/CodeContracts

 public void PositiveInheritedOOBInvariant()
 {
   var c = new DerivedOutOfBandC();
   c.ViolateBaseInvariant(true);
 }

Exemplo n.º 2

Arquivo: OutOfBandTest.cs Projeto: asvishnyakov/CodeContracts

 public void NegativeInheritedOOBInvariant()
 {
   var c = new DerivedOutOfBandC();
   Assert.Throws<TestRewriterMethods.InvariantException>(() => c.ViolateBaseInvariant(false));
 }

Exemplo n.º 3

Arquivo: OutOfBandTest.cs Projeto: nbulp/CodeContracts

 public void NegativeInheritedOOBInvariant()
 {
   var c = new DerivedOutOfBandC();
   c.ViolateBaseInvariant(false);
 }