public override void Add(SourceUnit source, string /*!*/ message, SourceSpan span, int errorCode, Severity severity)
{
base.CountError(severity);
if (!_suppressOutput)
{
Driver.WriteError("{0}({1}:{2}): {3}: RB{4}: {5}", source.Path, span.Start.Line, span.Start.Column,
severity, errorCode, message);
}
ErrorLogRecord info = new ErrorLogRecord();
info.Message = message;
info.Span = span;
info.Code = errorCode;
info.Severity = severity;
Errors.Add(info);
}
