public override IVerbWorker getWorker(WorkingDirectory workingDirectory)
{
VerbOutputsContext context = new VerbOutputsContext(this.parent, this.assertSuspiciousDafnyImpls);
ContextContents contents = new ContextContents(context);
BuildEngine.theEngine.Repository.StoreVirtual(this.getContextOutput(), new Fresh(), contents);
return new VerbSyncWorker(workingDirectory, new Fresh());
}
public override IVerbWorker getWorker(WorkingDirectory workingDirectory)
{
IEnumerable<IIncludePathContext> contexts = this.parents.Select(parent =>
((ContextContents)BuildEngine.theEngine.Repository.FetchVirtual(parent.getContextOutput())).Context);
ConcatContext context = new ConcatContext(contexts);
ContextContents contents = new ContextContents(context);
BuildEngine.theEngine.Repository.StoreVirtual(this.getContextOutput(), new Fresh(), contents);
return new VerbSyncWorker(workingDirectory, new Fresh());
}
public override IVerbWorker getWorker(WorkingDirectory workingDirectory)
{
ContextContents contents = new ContextContents(this._context);
BuildEngine.theEngine.Repository.StoreVirtual(this.getContextOutput(), new Fresh(), contents);
return new VerbSyncWorker(workingDirectory, new Fresh());
}
