protected override int Do(IWorkId work) { var args = this.MakeArgs(work).ToArray(); var bufferedOutput = BufferedTextWriter.Create(); try { bufferedOutput.WriteLine("Analysis of dll: {0}", work.SliceId.Dll); return(this.callClousotMain(args, bufferedOutput)); } finally { this.output.WriteLine(bufferedOutput.ToString()); } }
protected override int Do(IWorkId work) { var args = this.MakeArgs(work).ToArray(); var bufferedOutput = BufferedTextWriter.Create(); try { var outputFactory = new FullTextWriterOutputFactory <Method, Assembly>(bufferedOutput); this.output.WriteLine("[SlicerWorker: {0}] Analysis of dll (Time stamp {1}) {2}", DateTime.Now, work.Time, work.SliceId.Dll); return(this.callClousotMain(args, outputFactory, this.db.AsEnumerable())); } finally { this.output.WriteLine(bufferedOutput.ToString()); } }