* Expect `token1' or `token2'. */
| 405 | * Expect `token1' or `token2'. |
| 406 | */ |
| 407 | static char expectToken2(Parser &parser, char token1, char token2) |
| 408 | { |
| 409 | char got = getToken(parser); |
| 410 | if (got == token1 || got == token2) |
| 411 | return got; |
| 412 | if (parser.isPipe() && got == EOF) |
| 413 | exit(EXIT_FAILURE); |
| 414 | parse_error(parser, "failed to parse JSON message; expected token " |
| 415 | "`%s' or `%s', got token `%s'", getTokenName(token1), |
| 416 | getTokenName(token2), getTokenName(got)); |
| 417 | } |
| 418 | |
| 419 | /* |
| 420 | * Convert a string into a number. |
no test coverage detected