code: private int nextChar() {
          String filter = mFilter;
          int pos = mPos;
          int c = (pos >= filter.length()) ? -1 : mFilter.charAt(pos);
          mPos = pos + 1;
          return c;
      }
docs: Returns -1 if no more characters.