예제 #1
0
        public StepResult(Step step,
                          CoreTSystem tsystem,
                          Map <string, Term> valueParams,
                          StepResultMap resultMap,
                          CancellationToken cancel)
        {
            Contract.Requires(resultMap != null);
            Contract.Requires(valueParams != null);
            Contract.Requires(step != null);
            Contract.Requires(tsystem != null);

            this.step        = step;
            this.tsystem     = tsystem;
            this.cancel      = cancel;
            this.resultMap   = resultMap;
            this.valueParams = valueParams;
        }
예제 #2
0
 /// <summary>
 /// A dummy step that completes only after all the steps of a system are completed.
 /// </summary>
 public StepResult(StepResultMap resultMap)
 {
     Contract.Requires(resultMap != null);
     this.resultMap = resultMap;
 }