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());
 }