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