Searched refs:tokensN (Results 1 – 1 of 1) sorted by relevance
222 int tokensN = tokens.size(); in sync() local224 if (tokenI < tokensN && inputPosition > tokens.get(tokenI).getTok().getPosition()) { in sync()238 int tokensN = tokens.size(); in drain() local239 while (tokenI < tokensN && inputPosition > tokens.get(tokenI).getTok().getPosition()) { in drain()