/guava/android/guava/src/com/google/common/collect/TopKSelector.java
buffer[((bufferSize)++)] = elem; if((comparator.compare(elem, com.google.common.collect.TopKSelector.uncheckedCastNullableTToT(threshold))) > 0) {  threshold = elem;};
} else if ( bufferSize < k ) { buffer[bufferSize++] = elem; if ( comparator.compare ( elem, uncheckedCastNullableTToT ( threshold ) ) > 0 ) { threshold = elem; }
if (k == 0) { return; } else if (bufferSize == 0) { buffer[0] = elem; threshold = elem; bufferSize = 1; <extra_id_0> } } else if (comparator.compare(elem, uncheckedCastNullableTToT(threshold)) < 0) { buffer[bufferSize++] = elem; if (bufferSize == 2 * k) { trim(); }