// error reporting
public void ReportError(TextSpan span, string message, Severity severity)
{
Sink.AddError(request.FileName, message, span, severity);
}
// error reporting
public void ReportError(TextSpan span, string message, Severity severity)
{
Sink.AddError(request.FileName, message, span, severity);
}