code: private void skipWhitespace(boolean skipComments) {
      while (pos < data.length) {
        char c = data[pos];
        if (c == ' ' || c == '\t' || c == '\r' || c == '\n') {
          pos++;
          if (c == '\n') newline();
        } else if (skipComments && c == '/') {
          readComment();
        } else {
          break;
        }
      }
    }
docs: Skips whitespace characters and optionally comments. When this returns,
  either {@code pos == data.length} or a non-whitespace character.