Merge: doc: fixed some typos and other misc. corrections
[nit.git] / c_src / nitc__model.sep.0.h
index 364301d..3fa52db 100644 (file)
@@ -1,4 +1,5 @@
 #include "nit.common.h"
+val* nitc__model_base___core__Sys___public_visibility(val* self);
 #define COLOR_nitc__model__Model___mclasses 6
 extern const char FILE_nitc__model[];
 #define COLOR_nitc__model__Model___mproperties 7
@@ -15,10 +16,10 @@ val* core___core__HashMap___core__abstract_collection__MapRead__get_or_null(val*
 #define COLOR_core__kernel__Object___61d_61d 4
 val* NEW_poset__POSet(const struct type* type);
 extern const struct type type_poset__POSet__nitc__MClass;
-#define COLOR_nitc__mmodule__MModule___in_importation 46
+#define COLOR_nitc__mmodule__MModule___in_importation 45
 extern const char FILE_nitc__mmodule[];
 val* poset___poset__POSetElement___greaters(val* self);
-#define COLOR_core__abstract_collection__Collection__iterator 21
+#define COLOR_core__abstract_collection__Collection__iterator 24
 #define COLOR_core__abstract_collection__Iterator__is_ok 12
 #define COLOR_core__abstract_collection__Iterator__item 13
 val* core___core__AbstractArrayRead___core__abstract_collection__Collection__iterator(val* self);
@@ -39,9 +40,9 @@ val* NEW_nitc__model__MPropDefSorter(const struct type* type);
 extern const struct type type_nitc__model__MPropDefSorter;
 #define COLOR_nitc__model__MPropDefSorter__mmodule_61d 17
 #define COLOR_nitc__model__MModule___object_type 9
-val* core__flat___NativeString___to_s_full(char* self, long p0, long p1);
+val* core__flat___CString___to_s_unsafe(char* self, val* p0, val* p1, val* p2, val* p3);
 val* nitc__model___MModule___get_primitive_class(val* self, val* p0);
-#define COLOR_nitc__model__MClass___mclass_type 19
+#define COLOR_nitc__model__MClass___mclass_type 20
 #define COLOR_nitc__model__MModule___pointer_type 11
 #define COLOR_nitc__model__MModule___bool_type 13
 #define COLOR_nitc__model__MModule___int_type 15
@@ -54,7 +55,7 @@ val* nitc__model___MModule___get_primitive_class(val* self, val* p0);
 #define COLOR_nitc__model__MModule___char_type 29
 #define COLOR_nitc__model__MModule___float_type 31
 #define COLOR_nitc__model__MModule___string_type 33
-#define COLOR_nitc__model__MModule___native_string_type 35
+#define COLOR_nitc__model__MModule___c_string_type 35
 val* nitc__model___MModule___array_class(val* self);
 val* NEW_core__Array(const struct type* type);
 extern const struct type type_core__Array__nitc__MType;
@@ -71,27 +72,22 @@ extern const struct type type_core__Array__nitc__MClass;
 #define COLOR_nitc__model__MClass___intro_mmodule 7
 short int poset___poset__POSetElement____60d_61d(val* self, val* p0);
 short int core___core__AbstractArrayRead___core__abstract_collection__Collection__is_empty(val* self);
+#define COLOR_nitc__model_base__Model___no_location 19
+extern const char FILE_nitc__model_base[];
 val* NEW_nitc__MClass(const struct type* type);
 extern const struct type type_nitc__MClass;
 val* nitc__model___core__Sys___enum_kind(val* self);
-val* nitc__model_base___core__Sys___public_visibility(val* self);
-#define COLOR_nitc__model__MClass__intro_mmodule_61d 30
-#define COLOR_nitc__model__MClass__name_61d 31
-#define COLOR_nitc__model__MClass__setup_parameter_names 32
-#define COLOR_nitc__model__MClass__kind_61d 33
-#define COLOR_nitc__model__MClass__visibility_61d 34
+#define COLOR_nitc__model__MClass__intro_mmodule_61d 31
+#define COLOR_nitc__model__MClass__name_61d 32
+#define COLOR_nitc__model__MClass__location_61d 33
+#define COLOR_nitc__model__MClass__setup_parameter_names 34
+#define COLOR_nitc__model__MClass__kind_61d 35
+#define COLOR_nitc__model__MClass__visibility_61d 36
 val* NEW_nitc__MClassDef(const struct type* type);
 extern const struct type type_nitc__MClassDef;
-val* NEW_nitc__Location(const struct type* type);
-extern const struct type type_nitc__Location;
-#define COLOR_nitc__location__Location__file_61d 18
-#define COLOR_nitc__location__Location__line_start_61d 19
-#define COLOR_nitc__location__Location__line_end_61d 20
-#define COLOR_nitc__location__Location__column_start_61d 21
-#define COLOR_nitc__location__Location__column_end_61d 22
-#define COLOR_nitc__model__MClassDef__mmodule_61d 28
-#define COLOR_nitc__model__MClassDef__bound_mtype_61d 29
-#define COLOR_nitc__model__MClassDef__location_61d 30
+#define COLOR_nitc__model__MClassDef__mmodule_61d 30
+#define COLOR_nitc__model__MClassDef__bound_mtype_61d 31
+#define COLOR_nitc__model__MClassDef__location_61d 32
 extern const struct type type_core__Array__nitc__MClassType;
 val* nitc__model___MModule___object_type(val* self);
 void nitc___nitc__MClassDef___set_supertypes(val* self, val* p0);
@@ -100,78 +96,79 @@ val* NEW_core__NativeArray(int length, const struct type* type);
 extern const struct type type_core__NativeArray__core__String;
 #define COLOR_core__abstract_text__Object__to_s 3
 #define COLOR_core__abstract_text__NativeArray__native_to_s 12
-void core__file___Sys___print(val* self, val* p0);
+void core__file___Sys___print_error(val* self, val* p0);
 #define COLOR_core__array__AbstractArrayRead___length 0
 val* nitc___nitc__MClass___nitc__model_base__MEntity__full_name(val* self);
-#define COLOR_core__abstract_text__String___43d 76
+#define COLOR_core__abstract_text__Text___43d 39
 val* core___core__SequenceRead___Collection__first(val* self);
 val* nitc__model___Model___get_mproperties_by_name(val* self, val* p0);
-#define COLOR_nitc__model__MClass___intro 18
+#define COLOR_nitc__model__MClass___intro 19
 #define COLOR_nitc__model__MClassDef___bound_mtype 9
 extern const struct type type_nitc__MMethod;
 short int nitc___nitc__MType___has_mproperty(val* self, val* p0, val* p1);
 val* nitc___nitc__MProperty___nitc__model_base__MEntity__full_name(val* self);
 #define COLOR_nitc__model__MClassDefSorter___mmodule 0
-#define COLOR_core__sorter__Comparator__COMPARED 0
+#define COLOR_core__sorter__Comparator__COMPARED 5
 long poset___poset__POSet___core__sorter__Comparator__compare(val* self, val* p0, val* p1);
 #define COLOR_nitc__model___nitc__model__MClassDefSorter___core__kernel__Object__init 19
 #define COLOR_nitc__model__MPropDefSorter___mmodule 0
 #define COLOR_nitc__model__MPropDef___mclassdef 7
 #define COLOR_nitc__model___nitc__model__MPropDefSorter___core__kernel__Object__init 19
 #define COLOR_nitc__model__MClass___name 8
-#define COLOR_nitc__model__MClass___full_name 9
-#define COLOR_nitc__model__MClass___visibility 16
+#define COLOR_nitc__model__MClass___location 9
+#define COLOR_nitc__model__MClass___full_name 10
+#define COLOR_nitc__model__MClass___visibility 17
 val* nitc___nitc__MModule___namespace_for(val* self, val* p0);
-#define COLOR_nitc__model__MClass___c_name 11
+#define COLOR_nitc__model__MClass___c_name 12
 val* nitc___nitc__MModule___c_namespace_for(val* self, val* p0);
 val* core___core__Text___to_cmangle(val* self);
-#define COLOR_nitc__model__MClass___arity 13
-#define COLOR_nitc__model__MClass___mparameters 14
+#define COLOR_nitc__model__MClass___arity 14
+#define COLOR_nitc__model__MClass___mparameters 15
 val* NEW_core__FlatBuffer(const struct type* type);
 extern const struct type type_core__FlatBuffer;
-#define COLOR_core___core__FlatBuffer___core__kernel__Object__init 102
+#define COLOR_core___core__FlatBuffer___core__kernel__Object__init 122
 void core___core__FlatBuffer___core__abstract_text__Buffer__append(val* self, val* p0);
 extern const struct type type_core__Int;
 extern const char FILE_core__kernel[];
 val* core___core__Array___core__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
 #define COLOR_nitc__model__MParameterType___name 13
-#define COLOR_nitc__model__MClassType__arguments 57
+#define COLOR_nitc__model__MClassType__arguments 61
 long core___core__Int___Discrete__successor(long self, long p0);
 val* core___core__FlatBuffer___core__abstract_text__Object__to_s(val* self);
 extern const struct type type_core__Array__nitc__MParameterType;
 void core___core__Array___core__kernel__Object__init(val* self);
 val* NEW_nitc__MParameterType(const struct type* type);
 extern const struct type type_nitc__MParameterType;
-#define COLOR_nitc__model__MParameterType__mclass_61d 57
-#define COLOR_nitc__model__MParameterType__rank_61d 58
-#define COLOR_nitc__model__MParameterType__name_61d 59
+#define COLOR_nitc__model__MParameterType__mclass_61d 61
+#define COLOR_nitc__model__MParameterType__rank_61d 62
+#define COLOR_nitc__model__MParameterType__name_61d 63
 void core___core__Array___core__abstract_collection__SimpleCollection__add(val* self, val* p0);
 val* NEW_nitc__MGenericType(const struct type* type);
 extern const struct type type_nitc__MGenericType;
-#define COLOR_nitc__model__MClassType__mclass_61d 58
-#define COLOR_nitc__model__MClassType__arguments_61d 59
-#define COLOR_nitc__model__MClass___get_mtype_cache 20
+#define COLOR_nitc__model__MClassType__mclass_61d 62
+#define COLOR_nitc__model__MClassType__arguments_61d 63
+#define COLOR_nitc__model__MClass___get_mtype_cache 21
 void core___core__HashMap___core__abstract_collection__Map___91d_93d_61d(val* self, val* p0, val* p1);
 val* NEW_nitc__MClassType(const struct type* type);
 extern const struct type type_nitc__MClassType;
-#define COLOR_nitc__model__MClass___kind 15
-#define COLOR_nitc___nitc__MClass___core__kernel__Object__init 57
+#define COLOR_nitc__model__MClass___kind 16
+#define COLOR_nitc___nitc__MClass___core__kernel__Object__init 59
 void more_collections___more_collections__MultiHashMap___add_one(val* self, val* p0, val* p1);
-#define COLOR_nitc__model__MClass___mclassdefs 17
+#define COLOR_nitc__model__MClass___mclassdefs 18
 val* poset___poset__POSet____91d_93d(val* self, val* p0);
 val* core__array___Collection___to_a(val* self);
-#define COLOR_nitc__model__MClass___has_new_factory 21
+#define COLOR_nitc__model__MClass___has_new_factory 22
 #define COLOR_nitc__model__MClassDef___mmodule 7
 #define COLOR_nitc__model__MClassDef___location 10
 #define COLOR_nitc__model__MClassDef___to_s 11
-#define COLOR_nitc___nitc__MClassDef___core__kernel__Object__init 48
+#define COLOR_nitc___nitc__MClassDef___core__kernel__Object__init 50
 #define COLOR_nitc__model__MClassDef___full_name 12
 short int nitc___nitc__MClassDef___is_intro(val* self);
 val* nitc___nitc__MModule___mpackage(val* self);
 val* nitc___nitc__MModule___nitc__model_base__MEntity__full_name(val* self);
 val* nitc__model_base___core__Sys___private_visibility(val* self);
 short int core___core__Comparable____62d(val* self, val* p0);
-#define COLOR_nitc__mmodule__MModule___name 44
+#define COLOR_nitc__mmodule__MModule___name 43
 #define COLOR_nitc__model__MClassDef___c_name 14
 val* nitc___nitc__MClass___nitc__model_base__MEntity__c_name(val* self);
 val* nitc___nitc__MModule___nitc__model_base__MEntity__c_name(val* self);
@@ -181,35 +178,38 @@ val* nitc___nitc__MClassType___MType__collect_mclassdefs(val* self, val* p0);
 extern const char FILE_poset[];
 #define COLOR_nitc__model__MClassDef___intro_mproperties 18
 #define COLOR_nitc__model__MClassDef___mpropdefs 19
-#define COLOR_nitc__model__MType__need_anchor 29
-#define COLOR_nitc__model__MType__can_resolve_for 30
-#define COLOR_nitc__model__MType__lookup_fixed 44
+#define COLOR_nitc__model__MClassDef___mpropdefs_by_property 20
+#define COLOR_nitc__model__MType__need_anchor 31
+#define COLOR_nitc__model__MType__can_resolve_for 32
+#define COLOR_nitc__model__MType__lookup_fixed 48
 extern const struct type type_nitc__MNullableType;
 #define COLOR_nitc__model__MProxyType___mtype 9
 extern const struct type type_nitc__MNotNullType;
 extern const struct type type_nitc__MNullType;
 extern const struct type type_nitc__MFormalType;
-#define COLOR_nitc__model__MType__lookup_bound 34
-#define COLOR_nitc__model__MType__as_notnull 35
+#define COLOR_nitc__model__MType__lookup_bound 37
+#define COLOR_nitc__model__MType__as_notnull 38
 extern const struct type type_nitc__MBottomType;
+extern const struct type type_nitc__MErrorType;
 val* core__abstract_text___Object___inspect(val* self);
 val* nitc___nitc__MClassType___MType__anchor_to(val* self, val* p0, val* p1);
 val* nitc___nitc__MClassType___MType__collect_mclasses(val* self, val* p0);
-#define COLOR_core__abstract_collection__Collection__has 23
+#define COLOR_core__abstract_collection__Collection__has 27
 val* nitc___nitc__MType___supertype_to(val* self, val* p0, val* p1, val* p2);
 #define COLOR_nitc__model__MGenericType___arguments 20
 short int nitc___nitc__MType___is_subtype(val* self, val* p0, val* p1, val* p2);
-#define COLOR_nitc__model__MType__resolve_for 27
-#define COLOR_nitc__model__MType__anchor_to 31
-#define COLOR_nitc__model__MType__collect_mtypes 48
+#define COLOR_nitc__model__MType__resolve_for 29
+#define COLOR_nitc__model__MType__anchor_to 33
+#define COLOR_nitc__model__MType__collect_mtypes 52
+#define COLOR_nitc__model__MType__is_ok 39
 #define COLOR_nitc__model__MType___as_nullable_cache 6
 val* NEW_nitc__MNullableType(const struct type* type);
-#define COLOR_nitc__model__MProxyType__mtype_61d 57
-#define COLOR_nitc__model__MType__collect_mclassdefs 25
+#define COLOR_nitc__model__MProxyType__mtype_61d 61
+#define COLOR_nitc__model__MType__collect_mclassdefs 27
 #define COLOR_nitc__model__MProperty___intro_mclassdef 6
 #define COLOR_nitc__model__MClassType___arguments 10
 val* nitc___nitc__MClass___core__abstract_text__Object__to_s(val* self);
-#define COLOR_nitc___nitc__MClassType___MType__anchor_to 69
+#define COLOR_nitc___nitc__MClassType___MType__anchor_to 73
 #define COLOR_nitc__model__MClassType___collect_mclassdefs_cache 13
 short int core___core__HashMap___core__abstract_collection__MapRead__has_key(val* self, val* p0);
 void nitc___nitc__MClassType___collect_things(val* self, val* p0);
@@ -226,27 +226,29 @@ extern const struct type type_core__HashSet__nitc__MClassType;
 void core___core__HashSet___core__abstract_collection__SimpleCollection__add(val* self, val* p0);
 val* core___core__AbstractArray___core__abstract_collection__Sequence__pop(val* self);
 short int core___core__HashSet___core__abstract_collection__Collection__has(val* self, val* p0);
-#define COLOR_nitc___nitc__MClassType___core__kernel__Object__init 68
-#define COLOR_nitc___nitc__MGenericType___core__kernel__Object__init 73
+#define COLOR_nitc___nitc__MClassType___core__kernel__Object__init 72
+#define COLOR_nitc___nitc__MGenericType___core__kernel__Object__init 77
 #define COLOR_nitc__model__MGenericType___need_anchor 26
-val* core__abstract_text___Collection___join(val* self, val* p0);
+val* core__abstract_text___Collection___join(val* self, val* p0, val* p1);
 #define COLOR_nitc__model__MGenericType___to_s 21
 #define COLOR_nitc__model__MGenericType___full_name 22
 extern const struct type type_core__Array__core__String;
-#define COLOR_nitc__model_base__MEntity__full_name 17
+#define COLOR_nitc__model_base__MEntity__full_name 19
 #define COLOR_nitc__model__MGenericType___c_name 24
 #define COLOR_nitc__model_base__MEntity__c_name 12
 val* core___core__String___Object__to_s(val* self);
 short int nitc___nitc__MGenericType___MType__can_resolve_for(val* self, val* p0, val* p1, val* p2);
-#define COLOR_nitc__model__MType__length 36
+#define COLOR_nitc___nitc__MGenericType___MType__is_ok 78
+#define COLOR_nitc__model__MType__length 40
 #define COLOR_nitc__model__MFormalType___as_notnull 9
 val* NEW_nitc__MNotNullType(const struct type* type);
 #define COLOR_nitc__model__MVirtualType___mproperty 11
+#define COLOR_nitc__model__MProperty___location 8
+val* NEW_nitc__MErrorType(const struct type* type);
+val* nitc___nitc__MVirtualType___nitc__model_base__MEntity__model(val* self);
+#define COLOR_nitc__model__MErrorType__model_61d 60
 val* nitc___nitc__MVirtualType___lookup_single_definition(val* self, val* p0, val* p1);
 #define COLOR_nitc__model__MVirtualTypeDef___bound 15
-val* NEW_nitc__MBottomType(const struct type* type);
-val* nitc___nitc__MVirtualType___nitc__model_base__MEntity__model(val* self);
-#define COLOR_nitc__model__MBottomType__model_61d 56
 val* nitc___nitc__MProperty___lookup_definitions(val* self, val* p0, val* p1);
 val* NEW_core__ArraySet(const struct type* type);
 extern const struct type type_core__ArraySet__nitc__MType;
@@ -254,89 +256,100 @@ void core___core__ArraySet___core__kernel__Object__init(val* self);
 void core___core__ArraySet___core__abstract_collection__SimpleCollection__add(val* self, val* p0);
 #define COLOR_nitc__model__MVirtualTypeDef___is_fixed 16
 long core___core__ArraySet___core__abstract_collection__Collection__length(val* self);
-#define COLOR_nitc__model__MType__undecorate 47
+#define COLOR_nitc__model__MType__undecorate 51
 short int nitc___nitc__MVirtualType___MType__can_resolve_for(val* self, val* p0, val* p1, val* p2);
+short int nitc___nitc__MVirtualTypeProp___is_selftype(val* self);
 val* nitc___nitc__MVirtualType___MType__lookup_bound(val* self, val* p0, val* p1);
 val* nitc___nitc__MProperty___core__abstract_text__Object__to_s(val* self);
 val* nitc___nitc__MProperty___nitc__model_base__MEntity__c_name(val* self);
-#define COLOR_nitc___nitc__MVirtualType___core__kernel__Object__init 59
+#define COLOR_nitc___nitc__MVirtualType___core__kernel__Object__init 63
 #define COLOR_nitc__model__MParameterType___mclass 11
 #define COLOR_nitc__model__MParameterType___rank 12
 #define COLOR_nitc__model__MParameterType___full_name 14
 #define COLOR_nitc__model__MParameterType___c_name 16
 val* nitc___nitc__MClassType___MType__collect_mtypes(val* self, val* p0);
+val* nitc___nitc__MParameterType___nitc__model_base__MEntity__model(val* self);
 val* nitc___nitc__MParameterType___MType__resolve_for(val* self, val* p0, val* p1, val* p2, short int p3);
 short int nitc___nitc__MParameterType___MType__can_resolve_for(val* self, val* p0, val* p1, val* p2);
 val* nitc___nitc__MParameterType___MType__lookup_bound(val* self, val* p0, val* p1);
-#define COLOR_nitc___nitc__MParameterType___core__kernel__Object__init 61
+#define COLOR_nitc___nitc__MParameterType___core__kernel__Object__init 65
+#define COLOR_nitc__model_base__MEntity__location 15
 #define COLOR_nitc__model_base__MEntity__model 13
-#define COLOR_nitc__model__MType__as_nullable 32
+#define COLOR_nitc__model__MType__as_nullable 35
+#define COLOR_nitc__model__MType__is_legal_in 34
 short int nitc___nitc__MProxyType___MType__need_anchor(val* self);
-#define COLOR_nitc__model__MType__collect_mclasses 45
-#define COLOR_nitc___nitc__MProxyType___core__kernel__Object__init 58
-#define COLOR_nitc___nitc__MNullableType___core__kernel__Object__init 60
+#define COLOR_nitc__model__MType__collect_mclasses 49
+#define COLOR_nitc___nitc__MProxyType___core__kernel__Object__init 62
+#define COLOR_nitc___nitc__MNullableType___core__kernel__Object__init 64
 #define COLOR_nitc__model__MNullableType___to_s 10
 #define COLOR_nitc__model__MNullableType___full_name 11
 #define COLOR_nitc__model__MNullableType___c_name 13
-#define COLOR_nitc___nitc__MNullableType___MType__resolve_for 61
-#define COLOR_nitc___nitc__MNullableType___MType__lookup_fixed 62
+#define COLOR_nitc___nitc__MNullableType___MType__resolve_for 65
+#define COLOR_nitc___nitc__MNullableType___MType__lookup_fixed 66
 #define COLOR_nitc__model__MNotNullType___full_name 10
 #define COLOR_nitc__model__MNotNullType___c_name 12
-#define COLOR_nitc___nitc__MNotNullType___MType__resolve_for 59
-#define COLOR_nitc___nitc__MNotNullType___MType__lookup_fixed 60
+#define COLOR_nitc___nitc__MNotNullType___MType__resolve_for 63
+#define COLOR_nitc___nitc__MNotNullType___MType__lookup_fixed 64
 #define COLOR_nitc__model__MNullType___model 9
 #define COLOR_nitc__model__MNullType___as_notnull 10
-#define COLOR_nitc___nitc__MNullType___core__kernel__Object__init 57
+val* NEW_nitc__MBottomType(const struct type* type);
+#define COLOR_nitc__model__MBottomType__model_61d 60
+#define COLOR_nitc___nitc__MNullType___core__kernel__Object__init 61
 #define COLOR_nitc__model__MBottomType___model 9
-#define COLOR_nitc___nitc__MBottomType___core__kernel__Object__init 57
+#define COLOR_nitc___nitc__MBottomType___core__kernel__Object__init 61
+#define COLOR_nitc__model__MErrorType___model 9
+#define COLOR_nitc___nitc__MErrorType___core__kernel__Object__init 61
 #define COLOR_nitc__model__MSignature___mparameters 9
 #define COLOR_nitc__model__MParameter___name 6
 #define COLOR_nitc__model__MSignature___return_mtype 10
 #define COLOR_nitc__model__MParameter___mtype 7
-#define COLOR_nitc___nitc__MSignature___core__kernel__Object__init 65
+#define COLOR_nitc___nitc__MSignature___core__kernel__Object__init 69
 #define COLOR_nitc__model__MParameter___is_vararg 8
 #define COLOR_nitc__model__MSignature___vararg_rank 11
 extern const struct type type_core__Array__nitc__MParameter;
 val* nitc___nitc__MParameter___resolve_for(val* self, val* p0, val* p1, val* p2, short int p3);
 val* NEW_nitc__MSignature(const struct type* type);
 extern const struct type type_nitc__MSignature;
-#define COLOR_nitc__model__MSignature__mparameters_61d 60
-#define COLOR_nitc__model__MSignature__return_mtype_61d 61
+#define COLOR_nitc__model__MSignature__mparameters_61d 64
+#define COLOR_nitc__model__MSignature__return_mtype_61d 65
 val* NEW_nitc__MParameter(const struct type* type);
 extern const struct type type_nitc__MParameter;
-#define COLOR_nitc__model__MParameter__name_61d 26
-#define COLOR_nitc__model__MParameter__mtype_61d 27
-#define COLOR_nitc__model__MParameter__is_vararg_61d 28
-#define COLOR_nitc___nitc__MParameter___core__kernel__Object__init 31
+#define COLOR_nitc__model__MParameter__name_61d 28
+#define COLOR_nitc__model__MParameter__mtype_61d 29
+#define COLOR_nitc__model__MParameter__is_vararg_61d 30
+#define COLOR_nitc___nitc__MParameter___core__kernel__Object__init 33
 #define COLOR_nitc__model__MProperty___name 7
-#define COLOR_nitc__model__MProperty___full_name 8
-#define COLOR_nitc__model__MProperty___visibility 12
-#define COLOR_nitc__model__MProperty___c_name 10
-#define COLOR_nitc__model__MProperty___is_autoinit 13
-#define COLOR_nitc___nitc__MProperty___core__kernel__Object__init 42
-#define COLOR_nitc__model__MProperty___mpropdefs 14
-#define COLOR_nitc__model__MProperty___intro 15
+#define COLOR_nitc__model__MProperty___full_name 9
+#define COLOR_nitc__model__MProperty___visibility 13
+#define COLOR_nitc__model__MProperty___c_name 11
+#define COLOR_nitc__model__MProperty___is_autoinit 14
+#define COLOR_nitc___nitc__MProperty___core__kernel__Object__init 44
+#define COLOR_nitc__model__MProperty___mpropdefs 15
+#define COLOR_nitc__model__MProperty___intro 16
 #define COLOR_nitc__model__MProperty__MPROPDEF 2
 val* nitc___nitc__MPropDef___nitc__model_base__MEntity__model(val* self);
-#define COLOR_nitc__model__MProperty___lookup_definitions_cache 16
+#define COLOR_nitc__model__MProperty___lookup_definitions_cache 17
 val* more_collections___more_collections__HashMap2____91d_93d(val* self, val* p0, val* p1);
 #define COLOR_core__Array__nitc__model__MProperty__MPROPDEF 0
+#define COLOR_core__abstract_collection__Collection__length 22
 void more_collections___more_collections__HashMap2____91d_93d_61d(val* self, val* p0, val* p1, val* p2);
 val* nitc___nitc__MProperty___select_most_specific(val* self, val* p0, val* p1);
 short int poset___poset__POSetElement____60d(val* self, val* p0);
 val* nitc___nitc__MProperty___lookup_all_definitions(val* self, val* p0, val* p1);
-#define COLOR_nitc__model__MProperty___lookup_all_definitions_cache 17
+#define COLOR_nitc__model__MProperty___lookup_all_definitions_cache 18
 void nitc__model___MModule___linearize_mpropdefs(val* self, val* p0);
 val* core___core__AbstractArrayRead___reversed(val* self);
-#define COLOR_nitc__model__MMethod___is_toplevel 18
-#define COLOR_nitc__model__MMethod___is_init 19
-#define COLOR_nitc__model__MMethod___is_root_init 20
-#define COLOR_nitc__model__MMethod___is_new 21
-#define COLOR_nitc__model__MVirtualTypeProp___mvirtualtype 18
+#define COLOR_nitc__model__MMethod___is_toplevel 19
+#define COLOR_nitc__model__MMethod___is_init 20
+#define COLOR_nitc__model__MMethod___is_root_init 21
+#define COLOR_nitc__model__MMethod___is_new 22
+#define COLOR_nitc__model__MVirtualTypeProp___mvirtualtype 19
+#define COLOR_nitc__model__MVirtualTypeProp__lazy_32d_is_selftype 21
+#define COLOR_nitc__model__MVirtualTypeProp___is_selftype 20
 #define COLOR_nitc__model__MPropDef___mproperty 8
 #define COLOR_nitc__model__MPropDef__MPROPERTY 1
 #define COLOR_nitc__model__MPropDef___location 9
-#define COLOR_nitc___nitc__MPropDef___core__kernel__Object__init 36
+#define COLOR_nitc___nitc__MPropDef___core__kernel__Object__init 37
 #define COLOR_nitc__model__MPropDef___to_s 14
 #define COLOR_nitc__model__MPropDef___full_name 10
 val* nitc___nitc__MClassDef___nitc__model_base__MEntity__full_name(val* self);