Discard spaces, then return the next non-space string. Leave pp pointing at the space char or end of string.
| 205 | // Discard spaces, then return the next non-space string. |
| 206 | // Leave pp pointing at the space char or end of string. |
| 207 | string scanNonSpace() |
| 208 | { |
| 209 | skipSpace(); |
| 210 | if (!*pp) return string(""); |
| 211 | const char *bp = pp; |
| 212 | while (*pp && ! isspace(*pp)) { pp++; } |
| 213 | return string(bp,pp-bp); |
| 214 | } |
| 215 | |
| 216 | // pp points at the quote starting the string. Return string without the quotes. |
| 217 | string scanQuotedString() |