fun consumeGreedy(greedyToken: String) { 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 .