void UnhandledException(Exception ex)
{
int iPos = GetTextPosition(InputPosition);
SourcePos pos = _sourceFile.IndexToLine(iPos);
_messages.Write(Severity.Critical, pos, "Bug: unhandled exception in parser - " + ex.ExceptionMessageAndType());
}
protected override void Error(int li, string message)
{
int iPos = GetTextPosition(InputPosition + li);
SourcePos pos = _sourceFile.IndexToLine(iPos);
_messages.Write(_Error, pos, message);
}
protected override void Error(int li, string message)
{
int iPos = GetTextPosition(InputPosition + li);
ErrorSink.Write(Severity.Error, _sourceFile.IndexToLine(iPos), message);
}
