Searched refs:bestPrefixOrderIndex (Results 1 – 1 of 1) sorted by relevance
870 int bestPrefixOrderIndex = Integer.MIN_VALUE; in lookForHighestTokenWithFilter() local880 if (r != null && filter.test(r) && prefixOrderIndex > bestPrefixOrderIndex) { in lookForHighestTokenWithFilter()881 bestPrefixOrderIndex = prefixOrderIndex; in lookForHighestTokenWithFilter()