import frontend
redef class ToolContext
- var ast_metrics_phase = new AstMetricsPhase(self, null)
+ var ast_metrics_phase: Phase = new AstMetricsPhase(self, null)
end
private class AstMetricsPhase
import frontend
redef class ToolContext
- var inheritance_metrics_phase = new InheritanceMetricsPhase(self, null)
+ var inheritance_metrics_phase: Phase = new InheritanceMetricsPhase(self, null)
end
# Extract metrics about inheritance from model.
import frontend
redef class ToolContext
- var mclasses_metrics_phase = new MClassesMetricsPhase(self, null)
+ var mclasses_metrics_phase: Phase = new MClassesMetricsPhase(self, null)
end
# Extract metrics about mclasses from model.
import frontend
redef class ToolContext
- var mendel_metrics_phase = new MendelMetricsPhase(self, null)
+ var mendel_metrics_phase: Phase = new MendelMetricsPhase(self, null)
end
private class MendelMetricsPhase
import frontend
redef class ToolContext
- var mmodules_metrics_phase = new MModulesMetricsPhase(self, null)
+ var mmodules_metrics_phase: Phase = new MModulesMetricsPhase(self, null)
end
# Extract metrics about modules from the model.
import frontend
redef class ToolContext
- var model_hyperdoc_phase = new ModelHyperdocPhase(self, null)
+ var model_hyperdoc_phase: Phase = new ModelHyperdocPhase(self, null)
end
private class ModelHyperdocPhase
import frontend
redef class ToolContext
- var nullables_metrics_phase = new NullablesMetricsPhase(self, null)
+ var nullables_metrics_phase: Phase = new NullablesMetricsPhase(self, null)
end
private class NullablesMetricsPhase
import frontend
redef class ToolContext
- var refinement_metrics_phase = new RefinementMetricsPhase(self, null)
+ var refinement_metrics_phase: Phase = new RefinementMetricsPhase(self, null)
end
private class RefinementMetricsPhase
import frontend
redef class ToolContext
- var rta_metrics_phase = new RTAMetricsPhase(self, null)
+ var rta_metrics_phase: Phase = new RTAMetricsPhase(self, null)
end
private class RTAMetricsPhase
import frontend
redef class ToolContext
- var self_metrics_phase = new SelfMetricsPhase(self, null)
+ var self_metrics_phase: Phase = new SelfMetricsPhase(self, null)
end
private class SelfMetricsPhase
import frontend
redef class ToolContext
- var static_types_metrics_phase = new StaticTypesMetricsPhase(self, null)
+ var static_types_metrics_phase: Phase = new StaticTypesMetricsPhase(self, null)
end
private class StaticTypesMetricsPhase
import frontend
redef class ToolContext
- var tables_metrics_phase = new TablesMetricsPhase(self, null)
+ var tables_metrics_phase: Phase = new TablesMetricsPhase(self, null)
end
private class TablesMetricsPhase