public SpecExecutionRequest(Specification specification, IResultObserver observer)
{
Observer = observer;
Specification = specification;
_completion = new TaskCompletionSource <SpecResults>();
}
public Exploit()
{
if (_resultObserver == null)
{
_resultObserver = this;
}
}
public void NotifyAllResultItemObservers(ResultItem result)
{
for (int i = 0; i < resultItemObservers.Count; i++)
{
IResultObserver observer = resultItemObservers[i];
observer.UpdateResultItem(result);
}
}
// TODO -- if an error bubbles up, the SpecificationEngine should mark its runner
// as Invalid
public static StepthroughExecutor Start(ISystem system, Specification specification, IResultObserver observer, IUserInterfaceObserver uiObserver, FixtureLibrary library)
{
var request = new SpecExecutionRequest(specification, observer);
request.CreatePlan(library);
// Got to watch because this can error out
var execution = system.CreateContext();
return new StepthroughExecutor(execution, request, uiObserver);
}
public SpecContext(Specification specification, Timings timings, IResultObserver observer, StopConditions stopConditions, IExecutionContext execution)
{
Counts = new Counts();
Specification = specification;
_resultObserver = observer;
_execution = execution;
StopConditions = stopConditions;
_timings = timings ?? new Timings();
Reporting = new Reporting();
}
public SpecExecutionRequest(Specification specification, IResultObserver observer)
{
_observer = observer;
Specification = specification;
}
public SpecExecutionRequest(Specification specification, IResultObserver observer)
{
Observer = observer;
Specification = specification;
}
// TODO -- if an error bubbles up, the SpecificationEngine should mark its runner
// as Invalid
public static StepthroughExecutor Start(ISystem system, Specification specification, IResultObserver observer, IUserInterfaceObserver uiObserver, FixtureLibrary library)
{
var request = new SpecExecutionRequest(specification, observer);
request.CreatePlan(library);
// Got to watch because this can error out
var execution = system.CreateContext();
return(new StepthroughExecutor(execution, request, uiObserver));
}
public void RemoveResultItemObserver(IResultObserver observer)
{
resultItemObservers.Remove(observer);
}
public void RegisterResultItemObserver(IResultObserver observer)
{
resultItemObservers.Add(observer);
}
public static void subScribeResultObserver(IResultObserver resultObserver)
{
_resultObserver = resultObserver;
}
public SpecificationExecutor(StopConditions stopConditions, IResultObserver observer)
{
}