/** @return a list of all the statistic names */ public List<String> statisticNames() { return Named.getNames(statistics); }
/** @return a list of all the partition names */ public List<String> partitionNames() { return Named.getNames(partitions); }