public override Presentation getRealtimePresentation(Disposition d) { if (d is Failed) { return(base.getRealtimePresentation(d)); } VerificationResult vr = VerificationResult.fromXmlFile(getOutputFile().getFilesystemPath()); PresentationBuilder pr = new PresentationBuilder(); pr.startLine(); pr.color( vr.pass ? Presentation.GREEN : Presentation.RED, String.Format("{0} {1} {2,5:0.0}s", //-getSource().getRelativePath(), this.getAbstractIdentifier(), (vr.pass ? "Success" : "Fail"), vr.cpuTime)); pr.endLine(); if (!vr.pass) { foreach (VerificationMessage msg in vr.getMessages()) { pr.pre(msg.message); } } return(pr.fix()); }
public override Presentation getRealtimePresentation(Disposition d) { if (d is Failed) { return base.getRealtimePresentation(d); } VerificationResult vr = VerificationResult.fromXmlFile(this.getOutputFile()); PresentationBuilder pr = new PresentationBuilder(); pr.startLine(); pr.color( vr.pass ? Presentation.GREEN : Presentation.RED, string.Format( "{0} {1} {2,5:0.0}s", ////getSource().getRelativePath(), this.getAbstractIdentifier(), vr.pass ? "Success" : "Fail", vr.cpuTime)); pr.endLine(); if (!vr.pass) { foreach (VerificationMessage msg in vr.getMessages()) { pr.pre(msg.Message); } } return pr.fix(); }
//- Called by tool when we want a short (one-line) //- summary for showing in-progress results. public virtual Presentation getRealtimePresentation(Disposition d) { PresentationBuilder pr = new PresentationBuilder(); pr.startLine(); pr.color( d is Fresh ? Presentation.GREEN : Presentation.RED, ToString() + " " + d.ToString()); pr.endLine(); if (d is Failed) { //- This isn't a verification failure, a tool itself broke. //- Provide that report. foreach (string m in d.getMessages()) { pr.pre(Presentation.abbreviateLines(m)); } } return(pr.fix()); }
// Called by tool when we want a short (one-line) // summary for showing in-progress results. public virtual Presentation getRealtimePresentation(Disposition d) { PresentationBuilder pr = new PresentationBuilder(); pr.startLine(); pr.color( d is Fresh ? Presentation.GREEN : Presentation.RED, this.ToString() + " " + d.ToString()); pr.endLine(); if (d is Failed) { // This isn't a verification failure, a tool itself broke. // Provide that report. foreach (string m in d.getMessages()) { pr.pre(Presentation.abbreviateLines(m)); } } return pr.fix(); }