Searched refs:bestPrefixOrderIndex (Results 1 – 1 of 1) sorted by relevance
312 int bestPrefixOrderIndex = Integer.MIN_VALUE; in lookForHighestTokenWithFilter() local321 if (filter.test(wtoken) && prefixOrderIndex > bestPrefixOrderIndex) { in lookForHighestTokenWithFilter()322 bestPrefixOrderIndex = prefixOrderIndex; in lookForHighestTokenWithFilter()