skipWhitespace method

void skipWhitespace()

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:

Implementation

void skipWhitespace() {
  history.add(index);
  while (!eof && isWhitespace) {
    index++;
  }
}