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