model/model_contract: Move contract model representation

[nit.git] / src / model / model.nit

diff --git a/src/model/model.nit b/src/model/model.nit
index c60a8fa..e22ae84 100644 (file)
--- a/src/model/model.nit
+++ b/src/model/model.nit
@@ -778,12 +778,44 @@ class MClassDef
        # All property introductions and redefinitions in `self` (not inheritance).
        var mpropdefs = new Array[MPropDef]
 
-       # The special autoinit constructor
-       var auto_init: nullable MMethodDef = null is writable
+       # The special default_init constructor
+       var default_init: nullable MMethodDef = null is writable
 
        # All property introductions and redefinitions (not inheritance) in `self` by its associated property.
        var mpropdefs_by_property = new HashMap[MProperty, MPropDef]
 
+       # Return the direct parent mtype of `self`
+       # Exemple
+       # ~~~nitish
+       # module 1
+       #
+       #       class A
+       #       class B
+       #               super A
+       #
+       # module 2
+       #
+       #       redef class A
+       #       class C
+       #               super B
+       #
+       # mclassdef_C.get_direct_supermtype == [B]
+       # ~~~~
+       fun get_direct_supermtype: Collection[MClassType]
+       do
+               # Get the potentiel direct parents
+               var parents = in_hierarchy.direct_greaters
+               # Stock the potentiel direct parents
+               var res = supertypes
+               for parent in parents do
+                       # remove all super parents of the potentiel direct parents
+                       res.remove_all(parent.supertypes)
+                       # if the length of the potentiel direct parent equal 1 break
+                       if res.length == 1 then break
+               end
+               return res
+       end
+
        redef fun mdoc_or_fallback do return mdoc or else mclass.mdoc_or_fallback
 end
 
@@ -2636,6 +2668,10 @@ class MMethodDef
        # using this information prevents to call `init` twice.
        var is_calling_init = false is writable
 
+       # Does the method is a old_style_init?
+       #
+       var is_old_style_init = false is writable
+
        # Is the method definition abstract?
        var is_abstract: Bool = false is writable