metrics/rta: save the list of live things in files

Simply use `live_types_to_csv` and `live_methods_to_tree` to produce
two files in the correct output directory.

This helps the debugging of engines when RTA is buggy or misused.

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/src/metrics/rta_metrics.nit b/src/metrics/rta_metrics.nit
index 7feb836..d274207 100644 (file)
--- a/src/metrics/rta_metrics.nit
+++ b/src/metrics/rta_metrics.nit
@@ -79,6 +79,15 @@ private class RTAMetricsPhase
                gmetrics.collect(mtypes)
                gmetrics.to_console(1, not toolcontext.opt_nocolors.value)
                if csv then gmetrics.to_csv.save("{out}/complexity.csv")
+
+               # dump type and method infos
+               if csv then
+                       analysis.live_types_to_csv.save("{out}/rta_types.csv")
+
+                       var s = new OFStream.open("{out}/rta_methods.dat")
+                       analysis.live_methods_to_tree.pretty(s)
+                       s.close
+               end
        end
 end