public void Tolerate(ParserException error) { if (Tolerant) { RecordError(error); } else { throw error; } }
public void RecordError(ParserException error) { Errors.Add(error); }