# Metrics about the various posets of the model of a Nit program
module poset_metrics
-import poset
import metrics_base
-import frontend
redef class ToolContext
var poset_metrics_phase: Phase = new PosetMetricsPhase(self, null)
private class PosetMetricsPhase
super Phase
- redef fun process_mainmodule(mainmodule)
+ redef fun process_mainmodule(mainmodule, given_mmodules)
do
if not toolcontext.opt_poset.value and not toolcontext.opt_all.value then return