public void consumeGreedy(String greedyToken){
  if (greedyToken.length() < sval.length()) {
    pushBack();
    setStartPosition(getStartPosition() + greedyToken.length());
    sval=sval.substring(greedyToken.length());
  }
}

public void consumeGreedy ( String greedyToken ) { if ( greedyToken . length ( ) < sval . length ( ) ) { pushBack ( ) ; setStartPosition ( getStartPosition ( ) + greedyToken . length ( ) ) ; sval = sval . substring ( greedyToken . length ( ) ) ; } }
consumes a substring from the current sval of the streampostokenizer .
