model: add MClass::in_hierarchy

More usable than MModule::flatten_mclass_hierarchy.

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

diff --git a/src/model/model.nit b/src/model/model.nit
index 3410d2f..30fa17f 100644 (file)
--- a/src/model/model.nit
+++ b/src/model/model.nit
@@ -301,6 +301,15 @@ class MClass
                return mclassdefs.first
        end
 
+       # Return the class `self' in the class hierarchy of the module `mmodule'.
+       #
+       # SEE: MModule::flatten_mclass_hierarchy
+       # REQUIRE: mmodule.has_mclass(self)
+       fun in_hierarchy(mmodule: MModule): POSetElement[MClass]
+       do
+               return mmodule.flatten_mclass_hierarchy[self]
+       end
+
        # The principal static type of the class.
        #
        # For non-generic class, mclass_type is the only MClassType based