public Disposition complete(ProcessInvokeAsyncWorker worker)
{
if (worker.pinv.disposition is Fresh)
{
BeatExtensions.propagatePrivateImports(contextVerb, beatobj, outputFile());
//- And then propagate the NuBuild annotations, too.
AnnotationScanner.transferAnnotations(
beatobj, outputFile(), BoogieAsmDepBase.CommentSymbol);
}
return(worker.pinv.disposition);
}
public Disposition Complete(WorkingDirectory workingDirectory, double cpuTimeSeconds, string stdout, string stderr, Disposition disposition)
{
if (disposition is Fresh)
{
BeatExtensions.propagatePrivateImports(workingDirectory, this.contextVerb, this.beatobj, this.outputFile());
// And then propagate the NuBuild annotations, too.
AnnotationScanner.transferAnnotations(
workingDirectory,
this.beatobj,
this.outputFile(),
BoogieAsmDepBase.CommentSymbol);
}
return(disposition);
}
