skipWhitespace method
Skip to the next non-whitespace character in buffer.
In this case, whitespace refers to a non-escaped space character (ASCII 32).
You might also be interested in:
- skipString, for skipping a specific string.
Implementation
void skipWhitespace() {
history.add(index);
while (!eof && isWhitespace) {
index++;
}
}