135136137138139140141142143144145
} final char ch = peek(); if (characterTokens.contains(ch)) { tokens.add(new CharacterToken(position++, ch)); continue; } final Matcher numberMatcher = numberPattern.matcher(expression.substring(position)); if (numberMatcher.lookingAt()) {