From 4ad6e97da70fa9754385dd26046a7b1b0dd66811 Mon Sep 17 00:00:00 2001 From: Alexandre Terrasa Date: Tue, 21 Apr 2015 16:26:29 -0400 Subject: [PATCH] metrics: allow Metric sorting Signed-off-by: Alexandre Terrasa --- src/metrics/metrics_base.nit | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/metrics/metrics_base.nit b/src/metrics/metrics_base.nit index c51e656..7881e75 100644 --- a/src/metrics/metrics_base.nit +++ b/src/metrics/metrics_base.nit @@ -211,6 +211,11 @@ interface Metric # The set of element above the threshold fun above_threshold: Set[ELM] is abstract + + # Sort the metric keys by values + fun sort: Array[ELM] do + return values.keys_sorted_by_values(default_reverse_comparator) + end end # A Metric that collects integer data @@ -338,7 +343,6 @@ class FloatMetric print "{"\t" * indent} sum: {sum}" end end - end # A MetricSet is a metric holder -- 1.7.9.5