metrics: allow Metric sorting

[nit.git] / src / metrics / metrics_base.nit

diff --git a/src/metrics/metrics_base.nit b/src/metrics/metrics_base.nit
index c99ec62..7881e75 100644 (file)
--- 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
@@ -370,6 +374,8 @@ class MetricSet
        fun to_csv: CsvDocument do
                var csv = new CsvDocument
 
+               csv.format = new CsvFormat('"', ';', "\n")
+
                # set csv headers
                csv.header.add("entry")
                for metric in metrics do csv.header.add(metric.name)