presto-main/src/main/java/io/prestosql/operator/GroupedTopNBuilder.java/GroupedTopNBuilder/getUsedPositionCount
class GroupedTopNBuilder:        public int getUsedPositionCount()
        {
            return usedPositionCount;
        }