code: public int skipWhitespace() {
          int length = 0;
          while (CharType.isWhitespace(charAt(offset + length))) {
              length++;
          }
          return offset + length;
      }
docs: skip whitespace.
  
  @return offset after whitespace skipped