return res
end
+ # Build the importation poset for `self`
+ fun importation_poset(view: ModelView): POSet[MModule] do
+ var mmodules = new HashSet[MModule]
+ mmodules.add self
+ mmodules.add_all collect_ancestors(view)
+ mmodules.add_all collect_parents(view)
+ mmodules.add_all collect_children(view)
+ mmodules.add_all collect_descendants(view)
+ return view.mmodules_poset(mmodules)
+ end
+
# Collect mclassdefs introduced in `self` with `visibility >= to min_visibility`.
fun collect_intro_mclassdefs(view: ModelView): Set[MClassDef] do
var res = new HashSet[MClassDef]