Beispiel #1
0
 public abstract void SetLastResult(BatchExecutionResult lastResult);
Beispiel #2
0
 public override void SetLastResult(BatchExecutionResult lastResult)
 {
     Contract.Requires(lastResult != null);
 }
Beispiel #3
0
 public override void SetLastResult(BatchExecutionResult lastResult)
 {
     Contract.Requires(!lastResult.IsEmpty);
 }