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