C# (CSharp) CodeUnderTest.EvaluateOldExpressionsAfterPreconditions.C Examples

Example #1

File: RewrittenContractTest.cs Project: nbulp/CodeContracts

 public void NegativeEvaluateOldExpressionsAfterPreconditions() {
   var c = new CodeUnderTest.EvaluateOldExpressionsAfterPreconditions.C();
   c.M(null); // if the old value for xs.Length is evaluated before the precondition this results in a null dereference
 }

Example #2

File: RewrittenContractTest.cs Project: nbulp/CodeContracts

 public void PositiveEvaluateFailingOldExpression2() {
   var c = new CodeUnderTest.EvaluateOldExpressionsAfterPreconditions.C();
   c.ConditionalOld(new int[] { 3, 4 });
 }

Example #3

File: RewrittenContractTest.cs Project: nbulp/CodeContracts

 public void PositiveEvaluateOldExpressionsAfterPreconditions() {
   var c = new CodeUnderTest.EvaluateOldExpressionsAfterPreconditions.C();
   int[] A = new int[] { 3, 4, 5 };
   c.M(A);
 }