public static void Error(SourcePosition position, string message) { _errors++; _output.WriteLine($"{position.Describe()}: {message}"); if (_errors > 100) { throw new InvalidDataException("Error limit exceeded, aborting"); } }
public static void Warning(SourcePosition position, string message) { _warnings++; _output.WriteLine($"{position.Describe()}: warning: {message}"); }