-
- metrics.collect(mmodules, mainmodule)
- for name, metric in metrics.metrics do
- if metric isa IntMetric then
- print toolcontext.format_h4( "\t{name}: {metric.desc}")
- print toolcontext.format_p("\t avg: {metric.avg}")
- var max = metric.max
- print toolcontext.format_p("\t max: {max.first} ({max.second})")
- var min = metric.min
- print toolcontext.format_p("\t min: {min.first} ({min.second})")
- end
- end
- end
- end
-end
-
-# A MetricSet for metrics about MModules
-class MModuleMetricSet
- super MetricSet
- redef type METRIC: MModuleMetric
-
- # Collect all the metrics on the set of MModules
- fun collect(mmodules: Set[MModule], mainmodule: MModule) do
- clear
- for metric in metrics.values do
- for mmodule in mmodules do
- metric.collect(mmodule, mainmodule)
- end
+ metrics.clear
+ metrics.collect(mmodules)
+ metrics.to_console(1, not toolcontext.opt_nocolors.value)
+ if csv then metrics.to_csv.save("{out}/summary.csv")