Searched refs:priority1 (Results 1 – 1 of 1) sorted by relevance
1147 int priority1 = priority[left]; in compareSpans() local1149 if (priority1 == priority2) { in compareSpans()1154 return Integer.compare(priority2, priority1); in compareSpans()