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