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