public void Append(IDiagnosticsWriter writer)
{
foreach (string key in Properties.Keys)
{
writer.AppendLine($"- {key}:{Properties[key]}");
}
}
public static void Dump(
this Diagnostic diagnostic,
IDiagnosticsWriter writer)
{
writer.Write(string.Format("{0}: {1}: {2}\n",
diagnostic.Range,
diagnostic.Severity,
diagnostic.Message));
}
public static int Dump(
this IDiagnosticsSource source,
IDiagnosticsWriter writer)
{
int errorCount = 0;
foreach (var d in source.Diagnostics)
{
if (d.Severity >= Severity.Error)
{
errorCount++;
}
d.Dump(writer);
}
return(errorCount);
}
public void Append(IDiagnosticsWriter writer)
{
writer.AppendLine($"{Value}");
}
public static void Dump(
this Diagnostic diagnostic,
IDiagnosticsWriter writer )
{
writer.Write( string.Format("{0}: {1}: {2}\n",
diagnostic.Range,
diagnostic.Severity,
diagnostic.Message));
}
public static int Dump(
this IDiagnosticsSource source,
IDiagnosticsWriter writer )
{
int errorCount = 0;
foreach( var d in source.Diagnostics )
{
if( d.Severity >= Severity.Error )
errorCount++;
d.Dump( writer );
}
return errorCount;
}
