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