code: public void skipIgnored(int options) {
          if ((options & SKIP_WHITESPACE) != 0) {
              for (;;) {
                  int a = _current();
                  if (!PatternProps.isWhiteSpace(a)) break;
                  _advance(UTF16.getCharCount(a));
              }
          }
      }
docs: Skips ahead past any ignored characters, as indicated by the given
  options.  This is useful in conjunction with the lookahead() method.
  
  Currently, this only has an effect for SKIP_WHITESPACE.
  @param options one or more of the following options, bitwise-OR-ed
  together: PARSE_VARIABLES, PARSE_ESCAPES, SKIP_WHITESPACE.