public void AddParserMessage(ParserErrorLevel level, SourceLocation location, string message, params object[] args)
{
if (CurrentParseTree == null)
{
return;
}
if (CurrentParseTree.ParserMessages.Count >= MaxErrors)
{
return;
}
if (args != null && args.Length > 0)
{
message = string.Format(message, args);
}
CurrentParseTree.ParserMessages.Add(new ParserMessage(level, location, message, CurrentParserState));
if (Options.IsSet(ParseOptions.TraceParser))
{
ParserTrace.Add(new ParserTraceEntry(CurrentParserState, ParserStack.Top, CurrentParserInput, message, true));
}
}
