model: promote `c_name` from abstract-compiler to model

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

diff --git a/src/model/model.nit b/src/model/model.nit
index 6309385..8eabb75 100644 (file)
--- a/src/model/model.nit
+++ b/src/model/model.nit
@@ -363,6 +363,8 @@ class MClass
        # Example: `"owner::module::MyClass"`
        redef var full_name is lazy do return "{self.intro_mmodule.full_name}::{name}"
 
+       redef var c_name is lazy do return "{intro_mmodule.c_name}__{name.to_cmangle}"
+
        # The number of generic formal parameters
        # 0 if the class is not generic
        var arity: Int is noinit
@@ -542,6 +544,14 @@ class MClassDef
                end
        end
 
+       redef var c_name is lazy do
+               if is_intro then
+                       return mclass.c_name
+               else
+                       return "{mmodule.c_name}__{mclass.c_name.to_cmangle}"
+               end
+       end
+
        redef fun model do return mmodule.model
 
        # All declared super-types
@@ -1051,6 +1061,8 @@ class MClassType
 
        redef fun full_name do return mclass.full_name
 
+       redef fun c_name do return mclass.c_name
+
        redef fun need_anchor do return false
 
        redef fun anchor_to(mmodule: MModule, anchor: MClassType): MClassType
@@ -1173,6 +1185,16 @@ class MGenericType
                return "{mclass.full_name}[{args.join(", ")}]}"
        end
 
+       redef var c_name is lazy do
+               var res = mclass.c_name
+               # Note: because the arity is known, a prefix notation is enough
+               for t in arguments do
+                       res += "__"
+                       res += t.c_name
+               end
+               return res.to_s
+       end
+
        redef var need_anchor: Bool is noinit
 
        redef fun resolve_for(mtype, anchor, mmodule, cleanup_virtual)
@@ -1315,6 +1337,8 @@ class MVirtualType
        redef fun to_s do return self.mproperty.to_s
 
        redef fun full_name do return self.mproperty.full_name
+
+       redef fun c_name do return self.mproperty.c_name
 end
 
 # The type associated to a formal parameter generic type of a class
@@ -1361,6 +1385,8 @@ class MParameterType
 
        redef var full_name is lazy do return "{mclass.full_name}::{name}"
 
+       redef var c_name is lazy do return mclass.c_name + "__" + "#{name}".to_cmangle
+
        redef fun lookup_bound(mmodule: MModule, resolved_receiver: MType): MType
        do
                assert not resolved_receiver.need_anchor
@@ -1482,6 +1508,8 @@ class MNullableType
 
        redef var full_name is lazy do return "nullable {mtype.full_name}"
 
+       redef var c_name is lazy do return "nullable__{mtype.c_name}"
+
        redef fun need_anchor do return mtype.need_anchor
        redef fun as_nullable do return self
        redef fun as_notnullable do return mtype
@@ -1535,6 +1563,7 @@ class MNullType
        redef var model: Model
        redef fun to_s do return "null"
        redef fun full_name do return "null"
+       redef fun c_name do return "null"
        redef fun as_nullable do return self
        redef fun need_anchor do return false
        redef fun resolve_for(mtype, anchor, mmodule, cleanup_virtual) do return self
@@ -1709,6 +1738,10 @@ abstract class MProperty
                return "{intro_mclassdef.mmodule.full_name}::{intro_mclassdef.mclass.name}::{name}"
        end
 
+       redef var c_name is lazy do
+               return "{intro_mclassdef.mmodule.c_name}__{intro_mclassdef.mclass.c_name}__{name.to_cmangle}"
+       end
+
        # The visibility of the property
        var visibility: MVisibility
 
@@ -2010,6 +2043,18 @@ abstract class MPropDef
                return res.to_s
        end
 
+       redef var c_name is lazy do
+               var res = new FlatBuffer
+               res.append mclassdef.c_name
+               res.append "__"
+               if is_intro then
+                       res.append name.to_cmangle
+               else
+                       res.append mproperty.c_name.to_cmangle
+               end
+               return res.to_s
+       end
+
        redef fun model do return mclassdef.model
 
        # Internal name combining the module, the class and the property