| 995 | } |
| 996 | |
| 997 | bool Reader::recoverFromError(TokenType skipUntilToken) { |
| 998 | size_t const errorCount = errors_.size(); |
| 999 | Token skip; |
| 1000 | for (;;) { |
| 1001 | if (!readToken(skip)) |
| 1002 | errors_.resize(errorCount); // discard errors caused by recovery |
| 1003 | if (skip.type_ == skipUntilToken || skip.type_ == tokenEndOfStream) |
| 1004 | break; |
| 1005 | } |
| 1006 | errors_.resize(errorCount); |
| 1007 | return false; |
| 1008 | } |
| 1009 | |
| 1010 | bool Reader::addErrorAndRecover(const JSONCPP_STRING& message, |
| 1011 | Token& token, |