1 #include "nit__model.sep.0.h"
2 /* method model#MParameterType#resolve_for for (self: MParameterType, MType, nullable MClassType, MModule, Bool): MType */
3 val
* nit___nit__MParameterType___MType__resolve_for(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
) {
4 val
* var
/* : MType */;
5 val
* var_mtype
/* var mtype: MType */;
6 val
* var_anchor
/* var anchor: nullable MClassType */;
7 val
* var_mmodule
/* var mmodule: MModule */;
8 short int var_cleanup_virtual
/* var cleanup_virtual: Bool */;
9 short int var1
/* : Bool */;
10 short int var2
/* : Bool */;
11 short int var3
/* : Bool */;
14 short int var_
/* var : Bool */;
15 val
* var4
/* : MClass */;
16 val
* var6
/* : MClass */;
17 val
* var7
/* : MClass */;
18 val
* var9
/* : MClass */;
19 short int var10
/* : Bool */;
20 val
* var_other
/* var other: nullable Object */;
21 short int var12
/* : Bool */;
22 short int var14
/* : Bool */;
23 val
* var15
/* : Array[MType] */;
24 val
* var17
/* : Array[MType] */;
25 long var18
/* : Int */;
26 long var20
/* : Int */;
27 val
* var21
/* : nullable Object */;
28 val
* var_res
/* var res: MType */;
29 short int var22
/* : Bool */;
30 val
* var23
/* : null */;
31 short int var24
/* : Bool */;
32 short int var25
/* : Bool */;
33 val
* var_other27
/* var other: nullable Object */;
34 short int var28
/* : Bool */;
35 short int var29
/* : Bool */;
36 short int var_30
/* var : Bool */;
37 short int var31
/* : Bool */;
38 val
* var32
/* : MType */;
39 val
* var_r2
/* var r2: MType */;
40 short int var33
/* : Bool */;
41 short int var34
/* : Bool */;
44 short int var_37
/* var : Bool */;
45 val
* var38
/* : MClass */;
46 val
* var40
/* : MClass */;
47 val
* var41
/* : MClassKind */;
48 val
* var43
/* : MClassKind */;
49 val
* var44
/* : MClassKind */;
50 short int var45
/* : Bool */;
51 short int var47
/* : Bool */;
52 short int var49
/* : Bool */;
53 short int var50
/* : Bool */;
54 val
* var51
/* : null */;
55 short int var52
/* : Bool */;
56 short int var53
/* : Bool */;
57 short int var55
/* : Bool */;
58 short int var56
/* : Bool */;
59 val
* var57
/* : MClass */;
60 val
* var59
/* : MClass */;
61 val
* var60
/* : MClassType */;
62 val
* var62
/* : MClassType */;
63 short int var63
/* : Bool */;
64 val
* var64
/* : MType */;
65 val
* var_resolved_receiver
/* var resolved_receiver: nullable Object */;
66 short int var65
/* : Bool */;
69 val
* var68
/* : MType */;
70 val
* var70
/* : MType */;
71 short int var71
/* : Bool */;
74 val
* var74
/* : MClass */;
75 val
* var76
/* : MClass */;
76 val
* var77
/* : MClass */;
77 val
* var79
/* : MClass */;
78 short int var80
/* : Bool */;
79 short int var82
/* : Bool */;
80 short int var84
/* : Bool */;
81 val
* var85
/* : Array[MType] */;
82 long var86
/* : Int */;
83 long var88
/* : Int */;
84 val
* var89
/* : nullable Object */;
85 short int var90
/* : Bool */;
88 val
* var93
/* : MType */;
89 val
* var95
/* : MType */;
90 short int var96
/* : Bool */;
93 val
* var99
/* : MClass */;
94 val
* var101
/* : MClass */;
95 val
* var102
/* : MClass */;
96 val
* var104
/* : MClass */;
97 short int var105
/* : Bool */;
98 short int var107
/* : Bool */;
99 short int var109
/* : Bool */;
100 val
* var110
/* : Array[MType] */;
101 long var111
/* : Int */;
102 long var113
/* : Int */;
103 val
* var114
/* : nullable Object */;
104 val
* var_res115
/* var res: MType */;
105 short int var116
/* : Bool */;
106 val
* var117
/* : null */;
107 short int var118
/* : Bool */;
108 short int var119
/* : Bool */;
109 short int var121
/* : Bool */;
110 short int var122
/* : Bool */;
111 val
* var123
/* : null */;
112 short int var124
/* : Bool */;
113 val
* var125
/* : MType */;
114 val
* var126
/* : MType */;
115 val
* var_verbatim_bound
/* var verbatim_bound: MType */;
116 val
* var127
/* : MType */;
117 val
* var_res128
/* var res: MType */;
121 var_cleanup_virtual
= p3
;
123 var1
= nit___nit__MParameterType___MType__can_resolve_for(self
, var_mtype
, var_anchor
, var_mmodule
);
125 if (unlikely(!var1
)) {
126 PRINT_ERROR("Runtime error: %s", "Assert failed");
127 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1438);
130 /* <var_mtype:MType> isa MGenericType */
131 cltype
= type_nit__MGenericType
.color
;
132 idtype
= type_nit__MGenericType
.id
;
133 if(cltype
>= var_mtype
->type
->table_size
) {
136 var3
= var_mtype
->type
->type_table
[cltype
] == idtype
;
141 { /* Inline model#MClassType#mclass (var_mtype) on <var_mtype:MType(MGenericType)> */
142 var6
= var_mtype
->attrs
[COLOR_nit__model__MClassType___mclass
].val
; /* _mclass on <var_mtype:MType(MGenericType)> */
143 if (unlikely(var6
== NULL
)) {
144 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
145 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1058);
153 { /* Inline model#MParameterType#mclass (self) on <self:MParameterType> */
154 var9
= self
->attrs
[COLOR_nit__model__MParameterType___mclass
].val
; /* _mclass on <self:MParameterType> */
155 if (unlikely(var9
== NULL
)) {
156 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
157 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1382);
165 { /* Inline kernel#Object#== (var4,var7) on <var4:MClass> */
168 { /* Inline kernel#Object#is_same_instance (var4,var_other) on <var4:MClass> */
169 var14
= var4
== var_other
;
186 { /* Inline model#MGenericType#arguments (var_mtype) on <var_mtype:MType(MGenericType)> */
187 var17
= var_mtype
->attrs
[COLOR_nit__model__MGenericType___arguments
].val
; /* _arguments on <var_mtype:MType(MGenericType)> */
188 if (unlikely(var17
== NULL
)) {
189 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _arguments");
190 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1164);
198 { /* Inline model#MParameterType#rank (self) on <self:MParameterType> */
199 var20
= self
->attrs
[COLOR_nit__model__MParameterType___rank
].l
; /* _rank on <self:MParameterType> */
205 var21
= standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var15
, var18
);
209 if (var_anchor
== NULL
) {
210 var24
= 0; /* is null */
212 var24
= 1; /* arg is null and recv is not */
215 { /* Inline kernel#Object#!= (var_anchor,var23) on <var_anchor:nullable MClassType> */
218 var28
= ((short int (*)(val
* self
, val
* p0
))(var_anchor
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_anchor
, var_other27
) /* == on <var_anchor:nullable MClassType(MClassType)>*/;
230 var31
= ((short int (*)(val
* self
))(var_res
->class->vft
[COLOR_nit__model__MType__need_anchor
]))(var_res
) /* need_anchor on <var_res:MType>*/;
238 var32
= ((val
* (*)(val
* self
, val
* p0
, val
* p1
))(var_res
->class->vft
[COLOR_nit__model__MType__anchor_to
]))(var_res
, var_mmodule
, var_anchor
) /* anchor_to on <var_res:MType>*/;
241 /* <var_r2:MType> isa MClassType */
242 cltype35
= type_nit__MClassType
.color
;
243 idtype36
= type_nit__MClassType
.id
;
244 if(cltype35
>= var_r2
->type
->table_size
) {
247 var34
= var_r2
->type
->type_table
[cltype35
] == idtype36
;
252 { /* Inline model#MClassType#mclass (var_r2) on <var_r2:MType(MClassType)> */
253 var40
= var_r2
->attrs
[COLOR_nit__model__MClassType___mclass
].val
; /* _mclass on <var_r2:MType(MClassType)> */
254 if (unlikely(var40
== NULL
)) {
255 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
256 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1058);
264 { /* Inline model#MClass#kind (var38) on <var38:MClass> */
265 var43
= var38
->attrs
[COLOR_nit__model__MClass___kind
].val
; /* _kind on <var38:MClass> */
266 if (unlikely(var43
== NULL
)) {
267 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _kind");
268 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 399);
276 var44
= nit__model___standard__Object___enum_kind(self
);
279 { /* Inline kernel#Object#== (var41,var44) on <var41:MClassKind> */
282 { /* Inline kernel#Object#is_same_instance (var41,var_other) on <var41:MClassKind> */
283 var49
= var41
== var_other
;
310 var50
= ((short int (*)(val
* self
))(var_mtype
->class->vft
[COLOR_nit__model__MType__need_anchor
]))(var_mtype
) /* need_anchor on <var_mtype:MType>*/;
314 if (var_anchor
== NULL
) {
315 var52
= 0; /* is null */
317 var52
= 1; /* arg is null and recv is not */
320 { /* Inline kernel#Object#!= (var_anchor,var51) on <var_anchor:nullable MClassType> */
323 var55
= ((short int (*)(val
* self
, val
* p0
))(var_anchor
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_anchor
, var_other27
) /* == on <var_anchor:nullable MClassType(MClassType)>*/;
332 if (unlikely(!var52
)) {
333 PRINT_ERROR("Runtime error: %s", "Assert failed");
334 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1457);
338 { /* Inline model#MClassType#mclass (var_anchor) on <var_anchor:nullable MClassType(MClassType)> */
339 var59
= var_anchor
->attrs
[COLOR_nit__model__MClassType___mclass
].val
; /* _mclass on <var_anchor:nullable MClassType(MClassType)> */
340 if (unlikely(var59
== NULL
)) {
341 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
342 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1058);
350 { /* Inline model#MClass#mclass_type (var57) on <var57:MClass> */
351 var62
= var57
->attrs
[COLOR_nit__model__MClass___mclass_type
].val
; /* _mclass_type on <var57:MClass> */
352 if (unlikely(var62
== NULL
)) {
353 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass_type");
354 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 438);
363 var64
= ((val
* (*)(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
))(var_mtype
->class->vft
[COLOR_nit__model__MType__resolve_for
]))(var_mtype
, var60
, var_anchor
, var_mmodule
, var63
) /* resolve_for on <var_mtype:MType>*/;
365 var_resolved_receiver
= var64
;
367 var_resolved_receiver
= var_mtype
;
369 /* <var_resolved_receiver:nullable Object(MType)> isa MNullableType */
370 cltype66
= type_nit__MNullableType
.color
;
371 idtype67
= type_nit__MNullableType
.id
;
372 if(cltype66
>= var_resolved_receiver
->type
->table_size
) {
375 var65
= var_resolved_receiver
->type
->type_table
[cltype66
] == idtype67
;
379 { /* Inline model#MNullableType#mtype (var_resolved_receiver) on <var_resolved_receiver:nullable Object(MNullableType)> */
380 var70
= var_resolved_receiver
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <var_resolved_receiver:nullable Object(MNullableType)> */
381 if (unlikely(var70
== NULL
)) {
382 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
383 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
390 var_resolved_receiver
= var68
;
393 /* <var_resolved_receiver:nullable Object(MType)> isa MParameterType */
394 cltype72
= type_nit__MParameterType
.color
;
395 idtype73
= type_nit__MParameterType
.id
;
396 if(cltype72
>= var_resolved_receiver
->type
->table_size
) {
399 var71
= var_resolved_receiver
->type
->type_table
[cltype72
] == idtype73
;
403 { /* Inline model#MParameterType#mclass (var_resolved_receiver) on <var_resolved_receiver:nullable Object(MParameterType)> */
404 var76
= var_resolved_receiver
->attrs
[COLOR_nit__model__MParameterType___mclass
].val
; /* _mclass on <var_resolved_receiver:nullable Object(MParameterType)> */
405 if (unlikely(var76
== NULL
)) {
406 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
407 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1382);
414 if (var_anchor
== NULL
) {
415 PRINT_ERROR("Runtime error: %s", "Receiver is null");
416 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1464);
419 { /* Inline model#MClassType#mclass (var_anchor) on <var_anchor:nullable MClassType> */
420 if (unlikely(var_anchor
== NULL
)) {
421 PRINT_ERROR("Runtime error: %s", "Receiver is null");
422 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1058);
425 var79
= var_anchor
->attrs
[COLOR_nit__model__MClassType___mclass
].val
; /* _mclass on <var_anchor:nullable MClassType> */
426 if (unlikely(var79
== NULL
)) {
427 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
428 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1058);
436 { /* Inline kernel#Object#== (var74,var77) on <var74:MClass> */
439 { /* Inline kernel#Object#is_same_instance (var74,var_other) on <var74:MClass> */
440 var84
= var74
== var_other
;
451 if (unlikely(!var80
)) {
452 PRINT_ERROR("Runtime error: %s", "Assert failed");
453 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1464);
456 if (var_anchor
== NULL
) {
457 PRINT_ERROR("Runtime error: %s", "Receiver is null");
458 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1465);
461 var85
= ((val
* (*)(val
* self
))(var_anchor
->class->vft
[COLOR_nit__model__MClassType__arguments
]))(var_anchor
) /* arguments on <var_anchor:nullable MClassType>*/;
464 { /* Inline model#MParameterType#rank (var_resolved_receiver) on <var_resolved_receiver:nullable Object(MParameterType)> */
465 var88
= var_resolved_receiver
->attrs
[COLOR_nit__model__MParameterType___rank
].l
; /* _rank on <var_resolved_receiver:nullable Object(MParameterType)> */
471 var89
= standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var85
, var86
);
473 var_resolved_receiver
= var89
;
474 /* <var_resolved_receiver:nullable Object(MType)> isa MNullableType */
475 cltype91
= type_nit__MNullableType
.color
;
476 idtype92
= type_nit__MNullableType
.id
;
477 if(cltype91
>= var_resolved_receiver
->type
->table_size
) {
480 var90
= var_resolved_receiver
->type
->type_table
[cltype91
] == idtype92
;
484 { /* Inline model#MNullableType#mtype (var_resolved_receiver) on <var_resolved_receiver:nullable Object(MNullableType)> */
485 var95
= var_resolved_receiver
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <var_resolved_receiver:nullable Object(MNullableType)> */
486 if (unlikely(var95
== NULL
)) {
487 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
488 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
495 var_resolved_receiver
= var93
;
500 /* <var_resolved_receiver:nullable Object(MType)> isa MClassType */
501 cltype97
= type_nit__MClassType
.color
;
502 idtype98
= type_nit__MClassType
.id
;
503 if(cltype97
>= var_resolved_receiver
->type
->table_size
) {
506 var96
= var_resolved_receiver
->type
->type_table
[cltype97
] == idtype98
;
508 if (unlikely(!var96
)) {
509 PRINT_ERROR("Runtime error: %s", "Assert failed");
510 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1468);
514 { /* Inline model#MClassType#mclass (var_resolved_receiver) on <var_resolved_receiver:nullable Object(MClassType)> */
515 var101
= var_resolved_receiver
->attrs
[COLOR_nit__model__MClassType___mclass
].val
; /* _mclass on <var_resolved_receiver:nullable Object(MClassType)> */
516 if (unlikely(var101
== NULL
)) {
517 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
518 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1058);
522 RET_LABEL100
:(void)0;
526 { /* Inline model#MParameterType#mclass (self) on <self:MParameterType> */
527 var104
= self
->attrs
[COLOR_nit__model__MParameterType___mclass
].val
; /* _mclass on <self:MParameterType> */
528 if (unlikely(var104
== NULL
)) {
529 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
530 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1382);
534 RET_LABEL103
:(void)0;
538 { /* Inline kernel#Object#== (var99,var102) on <var99:MClass> */
541 { /* Inline kernel#Object#is_same_instance (var99,var_other) on <var99:MClass> */
542 var109
= var99
== var_other
;
545 RET_LABEL108
:(void)0;
550 RET_LABEL106
:(void)0;
555 var110
= ((val
* (*)(val
* self
))(var_resolved_receiver
->class->vft
[COLOR_nit__model__MClassType__arguments
]))(var_resolved_receiver
) /* arguments on <var_resolved_receiver:nullable Object(MClassType)>*/;
558 { /* Inline model#MParameterType#rank (self) on <self:MParameterType> */
559 var113
= self
->attrs
[COLOR_nit__model__MParameterType___rank
].l
; /* _rank on <self:MParameterType> */
561 RET_LABEL112
:(void)0;
565 var114
= standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var110
, var111
);
573 var116
= ((short int (*)(val
* self
))(var_resolved_receiver
->class->vft
[COLOR_nit__model__MType__need_anchor
]))(var_resolved_receiver
) /* need_anchor on <var_resolved_receiver:nullable Object(MClassType)>*/;
577 if (var_anchor
== NULL
) {
578 var118
= 0; /* is null */
580 var118
= 1; /* arg is null and recv is not */
583 { /* Inline kernel#Object#!= (var_anchor,var117) on <var_anchor:nullable MClassType> */
584 var_other27
= var117
;
586 var121
= ((short int (*)(val
* self
, val
* p0
))(var_anchor
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_anchor
, var_other27
) /* == on <var_anchor:nullable MClassType(MClassType)>*/;
591 RET_LABEL120
:(void)0;
595 if (unlikely(!var118
)) {
596 PRINT_ERROR("Runtime error: %s", "Assert failed");
597 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1479);
603 var125
= ((val
* (*)(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
))(var_resolved_receiver
->class->vft
[COLOR_nit__model__MType__resolve_for
]))(var_resolved_receiver
, var_anchor
, var123
, var_mmodule
, var124
) /* resolve_for on <var_resolved_receiver:nullable Object(MClassType)>*/;
605 var_resolved_receiver
= var125
;
609 var126
= nit___nit__MParameterType___MType__lookup_bound(self
, var_mmodule
, var_resolved_receiver
);
611 var_verbatim_bound
= var126
;
613 var127
= ((val
* (*)(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
))(var_verbatim_bound
->class->vft
[COLOR_nit__model__MType__resolve_for
]))(var_verbatim_bound
, var_mtype
, var_anchor
, var_mmodule
, var_cleanup_virtual
) /* resolve_for on <var_verbatim_bound:MType>*/;
621 /* method model#MParameterType#can_resolve_for for (self: MParameterType, MType, nullable MClassType, MModule): Bool */
622 short int nit___nit__MParameterType___MType__can_resolve_for(val
* self
, val
* p0
, val
* p1
, val
* p2
) {
623 short int var
/* : Bool */;
624 val
* var_mtype
/* var mtype: MType */;
625 val
* var_anchor
/* var anchor: nullable MClassType */;
626 val
* var_mmodule
/* var mmodule: MModule */;
627 short int var1
/* : Bool */;
628 val
* var2
/* : null */;
629 short int var3
/* : Bool */;
630 short int var4
/* : Bool */;
631 val
* var_other
/* var other: nullable Object */;
632 short int var6
/* : Bool */;
633 short int var7
/* : Bool */;
634 val
* var8
/* : MType */;
635 val
* var9
/* : Set[MClassDef] */;
636 val
* var10
/* : MClass */;
637 val
* var12
/* : MClass */;
638 val
* var13
/* : MClassDef */;
639 val
* var15
/* : MClassDef */;
640 short int var16
/* : Bool */;
645 var1
= ((short int (*)(val
* self
))(var_mtype
->class->vft
[COLOR_nit__model__MType__need_anchor
]))(var_mtype
) /* need_anchor on <var_mtype:MType>*/;
649 if (var_anchor
== NULL
) {
650 var3
= 0; /* is null */
652 var3
= 1; /* arg is null and recv is not */
655 { /* Inline kernel#Object#!= (var_anchor,var2) on <var_anchor:nullable MClassType> */
658 var6
= ((short int (*)(val
* self
, val
* p0
))(var_anchor
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_anchor
, var_other
) /* == on <var_anchor:nullable MClassType(MClassType)>*/;
667 if (unlikely(!var3
)) {
668 PRINT_ERROR("Runtime error: %s", "Assert failed");
669 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1495);
673 var8
= ((val
* (*)(val
* self
, val
* p0
, val
* p1
))(var_mtype
->class->vft
[COLOR_nit__model__MType__anchor_to
]))(var_mtype
, var_mmodule
, var_anchor
) /* anchor_to on <var_mtype:MType>*/;
679 var9
= ((val
* (*)(val
* self
, val
* p0
))(var_mtype
->class->vft
[COLOR_nit__model__MType__collect_mclassdefs
]))(var_mtype
, var_mmodule
) /* collect_mclassdefs on <var_mtype:MType>*/;
682 { /* Inline model#MParameterType#mclass (self) on <self:MParameterType> */
683 var12
= self
->attrs
[COLOR_nit__model__MParameterType___mclass
].val
; /* _mclass on <self:MParameterType> */
684 if (unlikely(var12
== NULL
)) {
685 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
686 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1382);
694 { /* Inline model#MClass#intro (var10) on <var10:MClass> */
695 var15
= var10
->attrs
[COLOR_nit__model__MClass___intro
].val
; /* _intro on <var10:MClass> */
696 if (unlikely(var15
== NULL
)) {
697 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro");
698 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 423);
706 var16
= ((short int (*)(val
* self
, val
* p0
))(var9
->class->vft
[COLOR_standard__abstract_collection__Collection__has
]))(var9
, var13
) /* has on <var9:Set[MClassDef]>*/;
713 /* method model#MParameterType#init for (self: MParameterType) */
714 void nit___nit__MParameterType___standard__kernel__Object__init(val
* self
) {
716 ((void (*)(val
* self
))(self
->class->vft
[COLOR_nit___nit__MParameterType___standard__kernel__Object__init
]))(self
) /* init on <self:MParameterType>*/;
720 /* method model#MNullableType#mtype for (self: MNullableType): MType */
721 val
* nit___nit__MNullableType___mtype(val
* self
) {
722 val
* var
/* : MType */;
723 val
* var1
/* : MType */;
724 var1
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
725 if (unlikely(var1
== NULL
)) {
726 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
727 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
734 /* method model#MNullableType#mtype= for (self: MNullableType, MType) */
735 void nit___nit__MNullableType___mtype_61d(val
* self
, val
* p0
) {
736 self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
= p0
; /* _mtype on <self:MNullableType> */
739 /* method model#MNullableType#model for (self: MNullableType): Model */
740 val
* nit___nit__MNullableType___nit__model_base__MEntity__model(val
* self
) {
741 val
* var
/* : Model */;
742 val
* var1
/* : MType */;
743 val
* var3
/* : MType */;
744 val
* var4
/* : Model */;
746 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
747 var3
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
748 if (unlikely(var3
== NULL
)) {
749 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
750 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
758 var4
= ((val
* (*)(val
* self
))(var1
->class->vft
[COLOR_nit__model_base__MEntity__model
]))(var1
) /* model on <var1:MType>*/;
765 /* method model#MNullableType#init for (self: MNullableType) */
766 void nit___nit__MNullableType___standard__kernel__Object__init(val
* self
) {
768 val
* var
/* : String */;
769 char* var1
/* : NativeString */;
770 long var2
/* : Int */;
771 val
* var3
/* : FlatString */;
772 val
* var4
/* : MType */;
773 val
* var6
/* : MType */;
774 val
* var7
/* : Array[Object] */;
775 long var8
/* : Int */;
776 val
* var9
/* : NativeArray[Object] */;
777 val
* var10
/* : String */;
779 ((void (*)(val
* self
))(self
->class->vft
[COLOR_nit___nit__MNullableType___standard__kernel__Object__init
]))(self
) /* init on <self:MNullableType>*/;
786 var3
= standard___standard__NativeString___to_s_with_length(var1
, var2
);
791 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
792 var6
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
793 if (unlikely(var6
== NULL
)) {
794 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
795 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
802 var7
= NEW_standard__Array(&type_standard__Array__standard__Object
);
803 { /* var7 = array_instance Array[Object] */
805 var9
= NEW_standard__NativeArray(var8
, &type_standard__NativeArray__standard__Object
);
806 ((struct instance_standard__NativeArray
*)var9
)->values
[0] = (val
*) var
;
807 ((struct instance_standard__NativeArray
*)var9
)->values
[1] = (val
*) var4
;
809 ((void (*)(val
* self
, val
* p0
, long p1
))(var7
->class->vft
[COLOR_standard__array__Array__with_native
]))(var7
, var9
, var8
) /* with_native on <var7:Array[Object]>*/;
813 var10
= ((val
* (*)(val
* self
))(var7
->class->vft
[COLOR_standard__string__Object__to_s
]))(var7
) /* to_s on <var7:Array[Object]>*/;
816 { /* Inline model#MNullableType#to_s= (self,var10) on <self:MNullableType> */
817 self
->attrs
[COLOR_nit__model__MNullableType___to_s
].val
= var10
; /* _to_s on <self:MNullableType> */
823 /* method model#MNullableType#to_s for (self: MNullableType): String */
824 val
* nit___nit__MNullableType___standard__string__Object__to_s(val
* self
) {
825 val
* var
/* : String */;
826 val
* var1
/* : String */;
827 var1
= self
->attrs
[COLOR_nit__model__MNullableType___to_s
].val
; /* _to_s on <self:MNullableType> */
828 if (unlikely(var1
== NULL
)) {
829 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _to_s");
830 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1516);
837 /* method model#MNullableType#to_s= for (self: MNullableType, String) */
838 void nit___nit__MNullableType___to_s_61d(val
* self
, val
* p0
) {
839 self
->attrs
[COLOR_nit__model__MNullableType___to_s
].val
= p0
; /* _to_s on <self:MNullableType> */
842 /* method model#MNullableType#full_name for (self: MNullableType): String */
843 val
* nit___nit__MNullableType___nit__model_base__MEntity__full_name(val
* self
) {
844 val
* var
/* : String */;
845 short int var1
/* : Bool */;
846 val
* var2
/* : String */;
847 val
* var3
/* : String */;
849 val
* var5
/* : String */;
850 char* var6
/* : NativeString */;
851 long var7
/* : Int */;
852 val
* var8
/* : FlatString */;
853 val
* var9
/* : MType */;
854 val
* var11
/* : MType */;
855 val
* var12
/* : String */;
856 val
* var13
/* : Array[Object] */;
857 long var14
/* : Int */;
858 val
* var15
/* : NativeArray[Object] */;
859 val
* var16
/* : String */;
860 var1
= self
->attrs
[COLOR_nit__model__MNullableType___full_name
].val
!= NULL
; /* _full_name on <self:MNullableType> */
862 var2
= self
->attrs
[COLOR_nit__model__MNullableType___full_name
].val
; /* _full_name on <self:MNullableType> */
863 if (unlikely(var2
== NULL
)) {
864 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _full_name");
865 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1518);
875 var8
= standard___standard__NativeString___to_s_with_length(var6
, var7
);
880 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
881 var11
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
882 if (unlikely(var11
== NULL
)) {
883 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
884 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
892 var12
= ((val
* (*)(val
* self
))(var9
->class->vft
[COLOR_nit__model_base__MEntity__full_name
]))(var9
) /* full_name on <var9:MType>*/;
894 var13
= NEW_standard__Array(&type_standard__Array__standard__Object
);
895 { /* var13 = array_instance Array[Object] */
897 var15
= NEW_standard__NativeArray(var14
, &type_standard__NativeArray__standard__Object
);
898 ((struct instance_standard__NativeArray
*)var15
)->values
[0] = (val
*) var5
;
899 ((struct instance_standard__NativeArray
*)var15
)->values
[1] = (val
*) var12
;
901 ((void (*)(val
* self
, val
* p0
, long p1
))(var13
->class->vft
[COLOR_standard__array__Array__with_native
]))(var13
, var15
, var14
) /* with_native on <var13:Array[Object]>*/;
905 var16
= ((val
* (*)(val
* self
))(var13
->class->vft
[COLOR_standard__string__Object__to_s
]))(var13
) /* to_s on <var13:Array[Object]>*/;
911 self
->attrs
[COLOR_nit__model__MNullableType___full_name
].val
= var3
; /* _full_name on <self:MNullableType> */
918 /* method model#MNullableType#c_name for (self: MNullableType): String */
919 val
* nit___nit__MNullableType___nit__model_base__MEntity__c_name(val
* self
) {
920 val
* var
/* : String */;
921 short int var1
/* : Bool */;
922 val
* var2
/* : String */;
923 val
* var3
/* : String */;
925 val
* var5
/* : String */;
926 char* var6
/* : NativeString */;
927 long var7
/* : Int */;
928 val
* var8
/* : FlatString */;
929 val
* var9
/* : MType */;
930 val
* var11
/* : MType */;
931 val
* var12
/* : String */;
932 val
* var13
/* : Array[Object] */;
933 long var14
/* : Int */;
934 val
* var15
/* : NativeArray[Object] */;
935 val
* var16
/* : String */;
936 var1
= self
->attrs
[COLOR_nit__model__MNullableType___c_name
].val
!= NULL
; /* _c_name on <self:MNullableType> */
938 var2
= self
->attrs
[COLOR_nit__model__MNullableType___c_name
].val
; /* _c_name on <self:MNullableType> */
939 if (unlikely(var2
== NULL
)) {
940 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _c_name");
941 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1520);
951 var8
= standard___standard__NativeString___to_s_with_length(var6
, var7
);
956 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
957 var11
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
958 if (unlikely(var11
== NULL
)) {
959 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
960 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
968 var12
= ((val
* (*)(val
* self
))(var9
->class->vft
[COLOR_nit__model_base__MEntity__c_name
]))(var9
) /* c_name on <var9:MType>*/;
970 var13
= NEW_standard__Array(&type_standard__Array__standard__Object
);
971 { /* var13 = array_instance Array[Object] */
973 var15
= NEW_standard__NativeArray(var14
, &type_standard__NativeArray__standard__Object
);
974 ((struct instance_standard__NativeArray
*)var15
)->values
[0] = (val
*) var5
;
975 ((struct instance_standard__NativeArray
*)var15
)->values
[1] = (val
*) var12
;
977 ((void (*)(val
* self
, val
* p0
, long p1
))(var13
->class->vft
[COLOR_standard__array__Array__with_native
]))(var13
, var15
, var14
) /* with_native on <var13:Array[Object]>*/;
981 var16
= ((val
* (*)(val
* self
))(var13
->class->vft
[COLOR_standard__string__Object__to_s
]))(var13
) /* to_s on <var13:Array[Object]>*/;
987 self
->attrs
[COLOR_nit__model__MNullableType___c_name
].val
= var3
; /* _c_name on <self:MNullableType> */
994 /* method model#MNullableType#need_anchor for (self: MNullableType): Bool */
995 short int nit___nit__MNullableType___MType__need_anchor(val
* self
) {
996 short int var
/* : Bool */;
997 val
* var1
/* : MType */;
998 val
* var3
/* : MType */;
999 short int var4
/* : Bool */;
1001 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
1002 var3
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
1003 if (unlikely(var3
== NULL
)) {
1004 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1005 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
1013 var4
= ((short int (*)(val
* self
))(var1
->class->vft
[COLOR_nit__model__MType__need_anchor
]))(var1
) /* need_anchor on <var1:MType>*/;
1020 /* method model#MNullableType#as_nullable for (self: MNullableType): MType */
1021 val
* nit___nit__MNullableType___MType__as_nullable(val
* self
) {
1022 val
* var
/* : MType */;
1028 /* method model#MNullableType#as_notnullable for (self: MNullableType): MType */
1029 val
* nit___nit__MNullableType___MType__as_notnullable(val
* self
) {
1030 val
* var
/* : MType */;
1031 val
* var1
/* : MType */;
1032 val
* var3
/* : MType */;
1034 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
1035 var3
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
1036 if (unlikely(var3
== NULL
)) {
1037 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1038 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
1050 /* method model#MNullableType#resolve_for for (self: MNullableType, MType, nullable MClassType, MModule, Bool): MType */
1051 val
* nit___nit__MNullableType___MType__resolve_for(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
) {
1052 val
* var
/* : MType */;
1053 val
* var_mtype
/* var mtype: MType */;
1054 val
* var_anchor
/* var anchor: nullable MClassType */;
1055 val
* var_mmodule
/* var mmodule: MModule */;
1056 short int var_cleanup_virtual
/* var cleanup_virtual: Bool */;
1057 val
* var1
/* : MType */;
1058 val
* var3
/* : MType */;
1059 val
* var4
/* : MType */;
1060 val
* var_res
/* var res: MType */;
1061 val
* var5
/* : MType */;
1065 var_cleanup_virtual
= p3
;
1067 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
1068 var3
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
1069 if (unlikely(var3
== NULL
)) {
1070 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1071 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
1079 var4
= ((val
* (*)(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
))(var1
->class->vft
[COLOR_nit__model__MType__resolve_for
]))(var1
, var_mtype
, var_anchor
, var_mmodule
, var_cleanup_virtual
) /* resolve_for on <var1:MType>*/;
1083 var5
= ((val
* (*)(val
* self
))(var_res
->class->vft
[COLOR_nit__model__MType__as_nullable
]))(var_res
) /* as_nullable on <var_res:MType>*/;
1090 /* method model#MNullableType#can_resolve_for for (self: MNullableType, MType, nullable MClassType, MModule): Bool */
1091 short int nit___nit__MNullableType___MType__can_resolve_for(val
* self
, val
* p0
, val
* p1
, val
* p2
) {
1092 short int var
/* : Bool */;
1093 val
* var_mtype
/* var mtype: MType */;
1094 val
* var_anchor
/* var anchor: nullable MClassType */;
1095 val
* var_mmodule
/* var mmodule: MModule */;
1096 val
* var1
/* : MType */;
1097 val
* var3
/* : MType */;
1098 short int var4
/* : Bool */;
1103 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
1104 var3
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
1105 if (unlikely(var3
== NULL
)) {
1106 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1107 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
1115 var4
= ((short int (*)(val
* self
, val
* p0
, val
* p1
, val
* p2
))(var1
->class->vft
[COLOR_nit__model__MType__can_resolve_for
]))(var1
, var_mtype
, var_anchor
, var_mmodule
) /* can_resolve_for on <var1:MType>*/;
1122 /* method model#MNullableType#lookup_fixed for (self: MNullableType, MModule, MType): MType */
1123 val
* nit___nit__MNullableType___MType__lookup_fixed(val
* self
, val
* p0
, val
* p1
) {
1124 val
* var
/* : MType */;
1125 val
* var_mmodule
/* var mmodule: MModule */;
1126 val
* var_resolved_receiver
/* var resolved_receiver: MType */;
1127 val
* var1
/* : MType */;
1128 val
* var3
/* : MType */;
1129 val
* var4
/* : MType */;
1130 val
* var_t
/* var t: MType */;
1131 val
* var5
/* : MType */;
1132 val
* var7
/* : MType */;
1133 short int var8
/* : Bool */;
1134 val
* var_other
/* var other: nullable Object */;
1135 short int var10
/* : Bool */;
1136 short int var12
/* : Bool */;
1137 val
* var13
/* : MType */;
1139 var_resolved_receiver
= p1
;
1141 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
1142 var3
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
1143 if (unlikely(var3
== NULL
)) {
1144 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1145 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
1153 var4
= ((val
* (*)(val
* self
, val
* p0
, val
* p1
))(var1
->class->vft
[COLOR_nit__model__MType__lookup_fixed
]))(var1
, var_mmodule
, var_resolved_receiver
) /* lookup_fixed on <var1:MType>*/;
1157 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
1158 var7
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
1159 if (unlikely(var7
== NULL
)) {
1160 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1161 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
1169 { /* Inline kernel#Object#== (var_t,var5) on <var_t:MType> */
1172 { /* Inline kernel#Object#is_same_instance (var_t,var_other) on <var_t:MType> */
1173 var12
= var_t
== var_other
;
1176 RET_LABEL11
:(void)0;
1190 var13
= ((val
* (*)(val
* self
))(var_t
->class->vft
[COLOR_nit__model__MType__as_nullable
]))(var_t
) /* as_nullable on <var_t:MType>*/;
1197 /* method model#MNullableType#length for (self: MNullableType): Int */
1198 long nit___nit__MNullableType___MType__length(val
* self
) {
1199 long var
/* : Int */;
1200 val
* var1
/* : MType */;
1201 val
* var3
/* : MType */;
1202 long var4
/* : Int */;
1204 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
1205 var3
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
1206 if (unlikely(var3
== NULL
)) {
1207 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1208 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
1216 var4
= ((long (*)(val
* self
))(var1
->class->vft
[COLOR_nit__model__MType__length
]))(var1
) /* length on <var1:MType>*/;
1223 /* method model#MNullableType#collect_mclassdefs for (self: MNullableType, MModule): Set[MClassDef] */
1224 val
* nit___nit__MNullableType___MType__collect_mclassdefs(val
* self
, val
* p0
) {
1225 val
* var
/* : Set[MClassDef] */;
1226 val
* var_mmodule
/* var mmodule: MModule */;
1227 short int var1
/* : Bool */;
1228 short int var2
/* : Bool */;
1229 val
* var3
/* : MType */;
1230 val
* var5
/* : MType */;
1231 val
* var6
/* : Set[MClassDef] */;
1234 var1
= nit___nit__MNullableType___MType__need_anchor(self
);
1237 if (unlikely(!var2
)) {
1238 PRINT_ERROR("Runtime error: %s", "Assert failed");
1239 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1550);
1243 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
1244 var5
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
1245 if (unlikely(var5
== NULL
)) {
1246 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1247 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
1255 var6
= ((val
* (*)(val
* self
, val
* p0
))(var3
->class->vft
[COLOR_nit__model__MType__collect_mclassdefs
]))(var3
, var_mmodule
) /* collect_mclassdefs on <var3:MType>*/;
1262 /* method model#MNullableType#collect_mclasses for (self: MNullableType, MModule): Set[MClass] */
1263 val
* nit___nit__MNullableType___MType__collect_mclasses(val
* self
, val
* p0
) {
1264 val
* var
/* : Set[MClass] */;
1265 val
* var_mmodule
/* var mmodule: MModule */;
1266 short int var1
/* : Bool */;
1267 short int var2
/* : Bool */;
1268 val
* var3
/* : MType */;
1269 val
* var5
/* : MType */;
1270 val
* var6
/* : Set[MClass] */;
1273 var1
= nit___nit__MNullableType___MType__need_anchor(self
);
1276 if (unlikely(!var2
)) {
1277 PRINT_ERROR("Runtime error: %s", "Assert failed");
1278 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1556);
1282 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
1283 var5
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
1284 if (unlikely(var5
== NULL
)) {
1285 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1286 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
1294 var6
= ((val
* (*)(val
* self
, val
* p0
))(var3
->class->vft
[COLOR_nit__model__MType__collect_mclasses
]))(var3
, var_mmodule
) /* collect_mclasses on <var3:MType>*/;
1301 /* method model#MNullableType#collect_mtypes for (self: MNullableType, MModule): Set[MClassType] */
1302 val
* nit___nit__MNullableType___MType__collect_mtypes(val
* self
, val
* p0
) {
1303 val
* var
/* : Set[MClassType] */;
1304 val
* var_mmodule
/* var mmodule: MModule */;
1305 short int var1
/* : Bool */;
1306 short int var2
/* : Bool */;
1307 val
* var3
/* : MType */;
1308 val
* var5
/* : MType */;
1309 val
* var6
/* : Set[MClassType] */;
1312 var1
= nit___nit__MNullableType___MType__need_anchor(self
);
1315 if (unlikely(!var2
)) {
1316 PRINT_ERROR("Runtime error: %s", "Assert failed");
1317 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1562);
1321 { /* Inline model#MNullableType#mtype (self) on <self:MNullableType> */
1322 var5
= self
->attrs
[COLOR_nit__model__MNullableType___mtype
].val
; /* _mtype on <self:MNullableType> */
1323 if (unlikely(var5
== NULL
)) {
1324 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1325 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1506);
1333 var6
= ((val
* (*)(val
* self
, val
* p0
))(var3
->class->vft
[COLOR_nit__model__MType__collect_mtypes
]))(var3
, var_mmodule
) /* collect_mtypes on <var3:MType>*/;
1340 /* method model#MNullType#model for (self: MNullType): Model */
1341 val
* nit___nit__MNullType___nit__model_base__MEntity__model(val
* self
) {
1342 val
* var
/* : Model */;
1343 val
* var1
/* : Model */;
1344 var1
= self
->attrs
[COLOR_nit__model__MNullType___model
].val
; /* _model on <self:MNullType> */
1345 if (unlikely(var1
== NULL
)) {
1346 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _model");
1347 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1572);
1354 /* method model#MNullType#model= for (self: MNullType, Model) */
1355 void nit___nit__MNullType___model_61d(val
* self
, val
* p0
) {
1356 self
->attrs
[COLOR_nit__model__MNullType___model
].val
= p0
; /* _model on <self:MNullType> */
1359 /* method model#MNullType#to_s for (self: MNullType): String */
1360 val
* nit___nit__MNullType___standard__string__Object__to_s(val
* self
) {
1361 val
* var
/* : String */;
1362 static val
* varonce
;
1363 val
* var1
/* : String */;
1364 char* var2
/* : NativeString */;
1365 long var3
/* : Int */;
1366 val
* var4
/* : FlatString */;
1372 var4
= standard___standard__NativeString___to_s_with_length(var2
, var3
);
1381 /* method model#MNullType#full_name for (self: MNullType): String */
1382 val
* nit___nit__MNullType___nit__model_base__MEntity__full_name(val
* self
) {
1383 val
* var
/* : String */;
1384 static val
* varonce
;
1385 val
* var1
/* : String */;
1386 char* var2
/* : NativeString */;
1387 long var3
/* : Int */;
1388 val
* var4
/* : FlatString */;
1394 var4
= standard___standard__NativeString___to_s_with_length(var2
, var3
);
1403 /* method model#MNullType#c_name for (self: MNullType): String */
1404 val
* nit___nit__MNullType___nit__model_base__MEntity__c_name(val
* self
) {
1405 val
* var
/* : String */;
1406 static val
* varonce
;
1407 val
* var1
/* : String */;
1408 char* var2
/* : NativeString */;
1409 long var3
/* : Int */;
1410 val
* var4
/* : FlatString */;
1416 var4
= standard___standard__NativeString___to_s_with_length(var2
, var3
);
1425 /* method model#MNullType#as_nullable for (self: MNullType): MType */
1426 val
* nit___nit__MNullType___MType__as_nullable(val
* self
) {
1427 val
* var
/* : MType */;
1433 /* method model#MNullType#need_anchor for (self: MNullType): Bool */
1434 short int nit___nit__MNullType___MType__need_anchor(val
* self
) {
1435 short int var
/* : Bool */;
1436 short int var1
/* : Bool */;
1443 /* method model#MNullType#resolve_for for (self: MNullType, MType, nullable MClassType, MModule, Bool): MType */
1444 val
* nit___nit__MNullType___MType__resolve_for(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
) {
1445 val
* var
/* : MType */;
1446 val
* var_mtype
/* var mtype: MType */;
1447 val
* var_anchor
/* var anchor: nullable MClassType */;
1448 val
* var_mmodule
/* var mmodule: MModule */;
1449 short int var_cleanup_virtual
/* var cleanup_virtual: Bool */;
1453 var_cleanup_virtual
= p3
;
1459 /* method model#MNullType#can_resolve_for for (self: MNullType, MType, nullable MClassType, MModule): Bool */
1460 short int nit___nit__MNullType___MType__can_resolve_for(val
* self
, val
* p0
, val
* p1
, val
* p2
) {
1461 short int var
/* : Bool */;
1462 val
* var_mtype
/* var mtype: MType */;
1463 val
* var_anchor
/* var anchor: nullable MClassType */;
1464 val
* var_mmodule
/* var mmodule: MModule */;
1465 short int var1
/* : Bool */;
1475 /* method model#MNullType#collect_mclassdefs for (self: MNullType, MModule): Set[MClassDef] */
1476 val
* nit___nit__MNullType___MType__collect_mclassdefs(val
* self
, val
* p0
) {
1477 val
* var
/* : Set[MClassDef] */;
1478 val
* var_mmodule
/* var mmodule: MModule */;
1479 val
* var1
/* : HashSet[MClassDef] */;
1481 var1
= NEW_standard__HashSet(&type_standard__HashSet__nit__MClassDef
);
1483 standard___standard__HashSet___standard__kernel__Object__init(var1
); /* Direct call hash_collection#HashSet#init on <var1:HashSet[MClassDef]>*/
1490 /* method model#MNullType#collect_mclasses for (self: MNullType, MModule): Set[MClass] */
1491 val
* nit___nit__MNullType___MType__collect_mclasses(val
* self
, val
* p0
) {
1492 val
* var
/* : Set[MClass] */;
1493 val
* var_mmodule
/* var mmodule: MModule */;
1494 val
* var1
/* : HashSet[MClass] */;
1496 var1
= NEW_standard__HashSet(&type_standard__HashSet__nit__MClass
);
1498 standard___standard__HashSet___standard__kernel__Object__init(var1
); /* Direct call hash_collection#HashSet#init on <var1:HashSet[MClass]>*/
1505 /* method model#MNullType#collect_mtypes for (self: MNullType, MModule): Set[MClassType] */
1506 val
* nit___nit__MNullType___MType__collect_mtypes(val
* self
, val
* p0
) {
1507 val
* var
/* : Set[MClassType] */;
1508 val
* var_mmodule
/* var mmodule: MModule */;
1509 val
* var1
/* : HashSet[MClassType] */;
1511 var1
= NEW_standard__HashSet(&type_standard__HashSet__nit__MClassType
);
1513 standard___standard__HashSet___standard__kernel__Object__init(var1
); /* Direct call hash_collection#HashSet#init on <var1:HashSet[MClassType]>*/
1520 /* method model#MNullType#init for (self: MNullType) */
1521 void nit___nit__MNullType___standard__kernel__Object__init(val
* self
) {
1523 ((void (*)(val
* self
))(self
->class->vft
[COLOR_nit___nit__MNullType___standard__kernel__Object__init
]))(self
) /* init on <self:MNullType>*/;
1527 /* method model#MSignature#mparameters for (self: MSignature): Array[MParameter] */
1528 val
* nit___nit__MSignature___mparameters(val
* self
) {
1529 val
* var
/* : Array[MParameter] */;
1530 val
* var1
/* : Array[MParameter] */;
1531 var1
= self
->attrs
[COLOR_nit__model__MSignature___mparameters
].val
; /* _mparameters on <self:MSignature> */
1532 if (unlikely(var1
== NULL
)) {
1533 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
1534 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1592);
1541 /* method model#MSignature#mparameters= for (self: MSignature, Array[MParameter]) */
1542 void nit___nit__MSignature___mparameters_61d(val
* self
, val
* p0
) {
1543 self
->attrs
[COLOR_nit__model__MSignature___mparameters
].val
= p0
; /* _mparameters on <self:MSignature> */
1546 /* method model#MSignature#return_mtype for (self: MSignature): nullable MType */
1547 val
* nit___nit__MSignature___return_mtype(val
* self
) {
1548 val
* var
/* : nullable MType */;
1549 val
* var1
/* : nullable MType */;
1550 var1
= self
->attrs
[COLOR_nit__model__MSignature___return_mtype
].val
; /* _return_mtype on <self:MSignature> */
1555 /* method model#MSignature#return_mtype= for (self: MSignature, nullable MType) */
1556 void nit___nit__MSignature___return_mtype_61d(val
* self
, val
* p0
) {
1557 self
->attrs
[COLOR_nit__model__MSignature___return_mtype
].val
= p0
; /* _return_mtype on <self:MSignature> */
1560 /* method model#MSignature#length for (self: MSignature): Int */
1561 long nit___nit__MSignature___MType__length(val
* self
) {
1562 long var
/* : Int */;
1563 long var1
/* : Int */;
1564 long var_res
/* var res: Int */;
1565 val
* var2
/* : nullable MType */;
1566 val
* var4
/* : nullable MType */;
1567 val
* var_t
/* var t: nullable MType */;
1568 val
* var5
/* : null */;
1569 short int var6
/* : Bool */;
1570 short int var7
/* : Bool */;
1571 val
* var_other
/* var other: nullable Object */;
1572 short int var9
/* : Bool */;
1573 short int var10
/* : Bool */;
1574 long var11
/* : Int */;
1575 long var12
/* : Int */;
1576 short int var14
/* : Bool */;
1579 const char* var_class_name
;
1580 long var15
/* : Int */;
1581 val
* var16
/* : Array[MParameter] */;
1582 val
* var18
/* : Array[MParameter] */;
1583 val
* var_
/* var : Array[MParameter] */;
1584 val
* var19
/* : ArrayIterator[nullable Object] */;
1585 val
* var_20
/* var : ArrayIterator[MParameter] */;
1586 short int var21
/* : Bool */;
1587 val
* var22
/* : nullable Object */;
1588 val
* var_p
/* var p: MParameter */;
1589 val
* var23
/* : MType */;
1590 val
* var25
/* : MType */;
1591 long var26
/* : Int */;
1592 long var27
/* : Int */;
1593 short int var29
/* : Bool */;
1596 const char* var_class_name32
;
1597 long var33
/* : Int */;
1601 { /* Inline model#MSignature#return_mtype (self) on <self:MSignature> */
1602 var4
= self
->attrs
[COLOR_nit__model__MSignature___return_mtype
].val
; /* _return_mtype on <self:MSignature> */
1609 if (var_t
== NULL
) {
1610 var6
= 0; /* is null */
1612 var6
= 1; /* arg is null and recv is not */
1615 { /* Inline kernel#Object#!= (var_t,var5) on <var_t:nullable MType> */
1618 var9
= ((short int (*)(val
* self
, val
* p0
))(var_t
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_t
, var_other
) /* == on <var_t:nullable MType(MType)>*/;
1629 var11
= ((long (*)(val
* self
))(var_t
->class->vft
[COLOR_nit__model__MType__length
]))(var_t
) /* length on <var_t:nullable MType(MType)>*/;
1632 { /* Inline kernel#Int#+ (var_res,var11) on <var_res:Int> */
1633 /* Covariant cast for argument 0 (i) <var11:Int> isa OTHER */
1634 /* <var11:Int> isa OTHER */
1635 var14
= 1; /* easy <var11:Int> isa OTHER*/
1636 if (unlikely(!var14
)) {
1637 var_class_name
= type_standard__Int
.name
;
1638 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1639 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 413);
1642 var15
= var_res
+ var11
;
1645 RET_LABEL13
:(void)0;
1652 { /* Inline model#MSignature#mparameters (self) on <self:MSignature> */
1653 var18
= self
->attrs
[COLOR_nit__model__MSignature___mparameters
].val
; /* _mparameters on <self:MSignature> */
1654 if (unlikely(var18
== NULL
)) {
1655 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
1656 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1592);
1660 RET_LABEL17
:(void)0;
1665 var19
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_
);
1670 var21
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_20
);
1674 var22
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_20
);
1678 { /* Inline model#MParameter#mtype (var_p) on <var_p:MParameter> */
1679 var25
= var_p
->attrs
[COLOR_nit__model__MParameter___mtype
].val
; /* _mtype on <var_p:MParameter> */
1680 if (unlikely(var25
== NULL
)) {
1681 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
1682 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1690);
1686 RET_LABEL24
:(void)0;
1690 var26
= ((long (*)(val
* self
))(var23
->class->vft
[COLOR_nit__model__MType__length
]))(var23
) /* length on <var23:MType>*/;
1693 { /* Inline kernel#Int#+ (var_res,var26) on <var_res:Int> */
1694 /* Covariant cast for argument 0 (i) <var26:Int> isa OTHER */
1695 /* <var26:Int> isa OTHER */
1696 var29
= 1; /* easy <var26:Int> isa OTHER*/
1697 if (unlikely(!var29
)) {
1698 var_class_name32
= type_standard__Int
.name
;
1699 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name32
);
1700 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 413);
1703 var33
= var_res
+ var26
;
1706 RET_LABEL28
:(void)0;
1711 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_20
); /* Direct call array#ArrayIterator#next on <var_20:ArrayIterator[MParameter]>*/
1717 BREAK_label
: (void)0;
1719 { /* Inline abstract_collection#Iterator#finish (var_20) on <var_20:ArrayIterator[MParameter]> */
1720 RET_LABEL34
:(void)0;
1728 /* method model#MSignature#init for (self: MSignature) */
1729 void nit___nit__MSignature___standard__kernel__Object__init(val
* self
) {
1730 long var
/* : Int */;
1731 long var1
/* : Int */;
1732 long var3
/* : Int */;
1733 long var_vararg_rank
/* var vararg_rank: Int */;
1734 long var4
/* : Int */;
1735 long var_i
/* var i: Int */;
1736 val
* var5
/* : Array[MParameter] */;
1737 val
* var7
/* : Array[MParameter] */;
1738 long var8
/* : Int */;
1739 long var10
/* : Int */;
1740 long var_
/* var : Int */;
1741 short int var11
/* : Bool */;
1742 short int var13
/* : Bool */;
1745 const char* var_class_name
;
1746 short int var14
/* : Bool */;
1747 val
* var15
/* : Array[MParameter] */;
1748 val
* var17
/* : Array[MParameter] */;
1749 val
* var18
/* : nullable Object */;
1750 val
* var_parameter
/* var parameter: MParameter */;
1751 short int var19
/* : Bool */;
1752 short int var21
/* : Bool */;
1753 long var22
/* : Int */;
1754 long var23
/* : Int */;
1755 long var25
/* : Int */;
1756 short int var26
/* : Bool */;
1757 short int var28
/* : Bool */;
1758 long var29
/* : Int */;
1759 long var30
/* : Int */;
1761 ((void (*)(val
* self
))(self
->class->vft
[COLOR_nit___nit__MSignature___standard__kernel__Object__init
]))(self
) /* init on <self:MSignature>*/;
1765 { /* Inline kernel#Int#unary - (var) on <var:Int> */
1772 var_vararg_rank
= var1
;
1776 { /* Inline model#MSignature#mparameters (self) on <self:MSignature> */
1777 var7
= self
->attrs
[COLOR_nit__model__MSignature___mparameters
].val
; /* _mparameters on <self:MSignature> */
1778 if (unlikely(var7
== NULL
)) {
1779 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
1780 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1592);
1788 { /* Inline array#AbstractArrayRead#length (var5) on <var5:Array[MParameter]> */
1789 var10
= var5
->attrs
[COLOR_standard__array__AbstractArrayRead___length
].l
; /* _length on <var5:Array[MParameter]> */
1797 { /* Inline kernel#Int#< (var_i,var_) on <var_i:Int> */
1798 /* Covariant cast for argument 0 (i) <var_:Int> isa OTHER */
1799 /* <var_:Int> isa OTHER */
1800 var13
= 1; /* easy <var_:Int> isa OTHER*/
1801 if (unlikely(!var13
)) {
1802 var_class_name
= type_standard__Int
.name
;
1803 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1804 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 410);
1807 var14
= var_i
< var_
;
1810 RET_LABEL12
:(void)0;
1815 { /* Inline model#MSignature#mparameters (self) on <self:MSignature> */
1816 var17
= self
->attrs
[COLOR_nit__model__MSignature___mparameters
].val
; /* _mparameters on <self:MSignature> */
1817 if (unlikely(var17
== NULL
)) {
1818 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
1819 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1592);
1823 RET_LABEL16
:(void)0;
1827 var18
= standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var15
, var_i
);
1829 var_parameter
= var18
;
1831 { /* Inline model#MParameter#is_vararg (var_parameter) on <var_parameter:MParameter> */
1832 var21
= var_parameter
->attrs
[COLOR_nit__model__MParameter___is_vararg
].s
; /* _is_vararg on <var_parameter:MParameter> */
1834 RET_LABEL20
:(void)0;
1840 { /* Inline kernel#Int#unary - (var22) on <var22:Int> */
1844 RET_LABEL24
:(void)0;
1848 { /* Inline kernel#Int#== (var_vararg_rank,var23) on <var_vararg_rank:Int> */
1849 var28
= var_vararg_rank
== var23
;
1852 RET_LABEL27
:(void)0;
1855 if (unlikely(!var26
)) {
1856 PRINT_ERROR("Runtime error: %s", "Assert failed");
1857 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1628);
1860 var_vararg_rank
= var_i
;
1865 var30
= standard___standard__Int___Discrete__successor(var_i
, var29
);
1872 BREAK_label
: (void)0;
1874 { /* Inline model#MSignature#vararg_rank= (self,var_vararg_rank) on <self:MSignature> */
1875 self
->attrs
[COLOR_nit__model__MSignature___vararg_rank
].l
= var_vararg_rank
; /* _vararg_rank on <self:MSignature> */
1876 RET_LABEL31
:(void)0;
1881 /* method model#MSignature#vararg_rank for (self: MSignature): Int */
1882 long nit___nit__MSignature___vararg_rank(val
* self
) {
1883 long var
/* : Int */;
1884 long var1
/* : Int */;
1885 var1
= self
->attrs
[COLOR_nit__model__MSignature___vararg_rank
].l
; /* _vararg_rank on <self:MSignature> */
1890 /* method model#MSignature#vararg_rank= for (self: MSignature, Int) */
1891 void nit___nit__MSignature___vararg_rank_61d(val
* self
, long p0
) {
1892 self
->attrs
[COLOR_nit__model__MSignature___vararg_rank
].l
= p0
; /* _vararg_rank on <self:MSignature> */
1895 /* method model#MSignature#arity for (self: MSignature): Int */
1896 long nit___nit__MSignature___arity(val
* self
) {
1897 long var
/* : Int */;
1898 val
* var1
/* : Array[MParameter] */;
1899 val
* var3
/* : Array[MParameter] */;
1900 long var4
/* : Int */;
1901 long var6
/* : Int */;
1903 { /* Inline model#MSignature#mparameters (self) on <self:MSignature> */
1904 var3
= self
->attrs
[COLOR_nit__model__MSignature___mparameters
].val
; /* _mparameters on <self:MSignature> */
1905 if (unlikely(var3
== NULL
)) {
1906 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
1907 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1592);
1915 { /* Inline array#AbstractArrayRead#length (var1) on <var1:Array[MParameter]> */
1916 var6
= var1
->attrs
[COLOR_standard__array__AbstractArrayRead___length
].l
; /* _length on <var1:Array[MParameter]> */
1926 /* method model#MSignature#to_s for (self: MSignature): String */
1927 val
* nit___nit__MSignature___standard__string__Object__to_s(val
* self
) {
1928 val
* var
/* : String */;
1929 val
* var1
/* : FlatBuffer */;
1930 val
* var_b
/* var b: FlatBuffer */;
1931 val
* var3
/* : Array[MParameter] */;
1932 val
* var5
/* : Array[MParameter] */;
1933 short int var6
/* : Bool */;
1934 short int var7
/* : Bool */;
1935 static val
* varonce
;
1936 val
* var8
/* : String */;
1937 char* var9
/* : NativeString */;
1938 long var10
/* : Int */;
1939 val
* var11
/* : FlatString */;
1940 long var12
/* : Int */;
1941 long var_i
/* var i: Int */;
1942 val
* var13
/* : Array[MParameter] */;
1943 val
* var15
/* : Array[MParameter] */;
1944 long var16
/* : Int */;
1945 long var18
/* : Int */;
1946 long var_
/* var : Int */;
1947 short int var19
/* : Bool */;
1948 short int var21
/* : Bool */;
1951 const char* var_class_name
;
1952 short int var22
/* : Bool */;
1953 val
* var23
/* : Array[MParameter] */;
1954 val
* var25
/* : Array[MParameter] */;
1955 val
* var26
/* : nullable Object */;
1956 val
* var_mparameter
/* var mparameter: MParameter */;
1957 long var27
/* : Int */;
1958 short int var28
/* : Bool */;
1959 short int var30
/* : Bool */;
1962 const char* var_class_name33
;
1963 short int var34
/* : Bool */;
1964 static val
* varonce35
;
1965 val
* var36
/* : String */;
1966 char* var37
/* : NativeString */;
1967 long var38
/* : Int */;
1968 val
* var39
/* : FlatString */;
1969 val
* var40
/* : String */;
1970 val
* var42
/* : String */;
1971 static val
* varonce43
;
1972 val
* var44
/* : String */;
1973 char* var45
/* : NativeString */;
1974 long var46
/* : Int */;
1975 val
* var47
/* : FlatString */;
1976 val
* var48
/* : MType */;
1977 val
* var50
/* : MType */;
1978 val
* var51
/* : String */;
1979 short int var52
/* : Bool */;
1980 short int var54
/* : Bool */;
1981 static val
* varonce55
;
1982 val
* var56
/* : String */;
1983 char* var57
/* : NativeString */;
1984 long var58
/* : Int */;
1985 val
* var59
/* : FlatString */;
1986 long var60
/* : Int */;
1987 long var61
/* : Int */;
1988 static val
* varonce62
;
1989 val
* var63
/* : String */;
1990 char* var64
/* : NativeString */;
1991 long var65
/* : Int */;
1992 val
* var66
/* : FlatString */;
1993 val
* var67
/* : nullable MType */;
1994 val
* var69
/* : nullable MType */;
1995 val
* var_ret
/* var ret: nullable MType */;
1996 val
* var70
/* : null */;
1997 short int var71
/* : Bool */;
1998 short int var72
/* : Bool */;
1999 val
* var_other
/* var other: nullable Object */;
2000 short int var74
/* : Bool */;
2001 short int var75
/* : Bool */;
2002 static val
* varonce76
;
2003 val
* var77
/* : String */;
2004 char* var78
/* : NativeString */;
2005 long var79
/* : Int */;
2006 val
* var80
/* : FlatString */;
2007 val
* var81
/* : String */;
2008 val
* var82
/* : String */;
2009 var1
= NEW_standard__FlatBuffer(&type_standard__FlatBuffer
);
2011 { /* Inline string#FlatBuffer#init (var1) on <var1:FlatBuffer> */
2013 ((void (*)(val
* self
))(var1
->class->vft
[COLOR_standard___standard__FlatBuffer___standard__kernel__Object__init
]))(var1
) /* init on <var1:FlatBuffer>*/;
2020 { /* Inline model#MSignature#mparameters (self) on <self:MSignature> */
2021 var5
= self
->attrs
[COLOR_nit__model__MSignature___mparameters
].val
; /* _mparameters on <self:MSignature> */
2022 if (unlikely(var5
== NULL
)) {
2023 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
2024 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1592);
2032 var6
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(var3
);
2041 var11
= standard___standard__NativeString___to_s_with_length(var9
, var10
);
2046 standard___standard__FlatBuffer___Buffer__append(var_b
, var8
); /* Direct call string#FlatBuffer#append on <var_b:FlatBuffer>*/
2051 { /* Inline model#MSignature#mparameters (self) on <self:MSignature> */
2052 var15
= self
->attrs
[COLOR_nit__model__MSignature___mparameters
].val
; /* _mparameters on <self:MSignature> */
2053 if (unlikely(var15
== NULL
)) {
2054 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
2055 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1592);
2059 RET_LABEL14
:(void)0;
2063 { /* Inline array#AbstractArrayRead#length (var13) on <var13:Array[MParameter]> */
2064 var18
= var13
->attrs
[COLOR_standard__array__AbstractArrayRead___length
].l
; /* _length on <var13:Array[MParameter]> */
2066 RET_LABEL17
:(void)0;
2072 { /* Inline kernel#Int#< (var_i,var_) on <var_i:Int> */
2073 /* Covariant cast for argument 0 (i) <var_:Int> isa OTHER */
2074 /* <var_:Int> isa OTHER */
2075 var21
= 1; /* easy <var_:Int> isa OTHER*/
2076 if (unlikely(!var21
)) {
2077 var_class_name
= type_standard__Int
.name
;
2078 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
2079 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 410);
2082 var22
= var_i
< var_
;
2085 RET_LABEL20
:(void)0;
2090 { /* Inline model#MSignature#mparameters (self) on <self:MSignature> */
2091 var25
= self
->attrs
[COLOR_nit__model__MSignature___mparameters
].val
; /* _mparameters on <self:MSignature> */
2092 if (unlikely(var25
== NULL
)) {
2093 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
2094 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1592);
2098 RET_LABEL24
:(void)0;
2102 var26
= standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(var23
, var_i
);
2104 var_mparameter
= var26
;
2107 { /* Inline kernel#Int#> (var_i,var27) on <var_i:Int> */
2108 /* Covariant cast for argument 0 (i) <var27:Int> isa OTHER */
2109 /* <var27:Int> isa OTHER */
2110 var30
= 1; /* easy <var27:Int> isa OTHER*/
2111 if (unlikely(!var30
)) {
2112 var_class_name33
= type_standard__Int
.name
;
2113 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name33
);
2114 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 412);
2117 var34
= var_i
> var27
;
2120 RET_LABEL29
:(void)0;
2129 var39
= standard___standard__NativeString___to_s_with_length(var37
, var38
);
2134 standard___standard__FlatBuffer___Buffer__append(var_b
, var36
); /* Direct call string#FlatBuffer#append on <var_b:FlatBuffer>*/
2139 { /* Inline model#MParameter#name (var_mparameter) on <var_mparameter:MParameter> */
2140 var42
= var_mparameter
->attrs
[COLOR_nit__model__MParameter___name
].val
; /* _name on <var_mparameter:MParameter> */
2141 if (unlikely(var42
== NULL
)) {
2142 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
2143 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1687);
2147 RET_LABEL41
:(void)0;
2151 standard___standard__FlatBuffer___Buffer__append(var_b
, var40
); /* Direct call string#FlatBuffer#append on <var_b:FlatBuffer>*/
2158 var47
= standard___standard__NativeString___to_s_with_length(var45
, var46
);
2163 standard___standard__FlatBuffer___Buffer__append(var_b
, var44
); /* Direct call string#FlatBuffer#append on <var_b:FlatBuffer>*/
2166 { /* Inline model#MParameter#mtype (var_mparameter) on <var_mparameter:MParameter> */
2167 var50
= var_mparameter
->attrs
[COLOR_nit__model__MParameter___mtype
].val
; /* _mtype on <var_mparameter:MParameter> */
2168 if (unlikely(var50
== NULL
)) {
2169 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
2170 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1690);
2174 RET_LABEL49
:(void)0;
2178 var51
= ((val
* (*)(val
* self
))(var48
->class->vft
[COLOR_standard__string__Object__to_s
]))(var48
) /* to_s on <var48:MType>*/;
2181 standard___standard__FlatBuffer___Buffer__append(var_b
, var51
); /* Direct call string#FlatBuffer#append on <var_b:FlatBuffer>*/
2184 { /* Inline model#MParameter#is_vararg (var_mparameter) on <var_mparameter:MParameter> */
2185 var54
= var_mparameter
->attrs
[COLOR_nit__model__MParameter___is_vararg
].s
; /* _is_vararg on <var_mparameter:MParameter> */
2187 RET_LABEL53
:(void)0;
2196 var59
= standard___standard__NativeString___to_s_with_length(var57
, var58
);
2201 standard___standard__FlatBuffer___Buffer__append(var_b
, var56
); /* Direct call string#FlatBuffer#append on <var_b:FlatBuffer>*/
2207 var61
= standard___standard__Int___Discrete__successor(var_i
, var60
);
2214 BREAK_label
: (void)0;
2220 var66
= standard___standard__NativeString___to_s_with_length(var64
, var65
);
2225 standard___standard__FlatBuffer___Buffer__append(var_b
, var63
); /* Direct call string#FlatBuffer#append on <var_b:FlatBuffer>*/
2230 { /* Inline model#MSignature#return_mtype (self) on <self:MSignature> */
2231 var69
= self
->attrs
[COLOR_nit__model__MSignature___return_mtype
].val
; /* _return_mtype on <self:MSignature> */
2233 RET_LABEL68
:(void)0;
2238 if (var_ret
== NULL
) {
2239 var71
= 0; /* is null */
2241 var71
= 1; /* arg is null and recv is not */
2244 { /* Inline kernel#Object#!= (var_ret,var70) on <var_ret:nullable MType> */
2247 var74
= ((short int (*)(val
* self
, val
* p0
))(var_ret
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_ret
, var_other
) /* == on <var_ret:nullable MType(MType)>*/;
2252 RET_LABEL73
:(void)0;
2262 var80
= standard___standard__NativeString___to_s_with_length(var78
, var79
);
2267 standard___standard__FlatBuffer___Buffer__append(var_b
, var77
); /* Direct call string#FlatBuffer#append on <var_b:FlatBuffer>*/
2270 var81
= ((val
* (*)(val
* self
))(var_ret
->class->vft
[COLOR_standard__string__Object__to_s
]))(var_ret
) /* to_s on <var_ret:nullable MType(MType)>*/;
2273 standard___standard__FlatBuffer___Buffer__append(var_b
, var81
); /* Direct call string#FlatBuffer#append on <var_b:FlatBuffer>*/
2278 var82
= standard___standard__FlatBuffer___Object__to_s(var_b
);
2285 /* method model#MSignature#resolve_for for (self: MSignature, MType, nullable MClassType, MModule, Bool): MSignature */
2286 val
* nit___nit__MSignature___MType__resolve_for(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
) {
2287 val
* var
/* : MSignature */;
2288 val
* var_mtype
/* var mtype: MType */;
2289 val
* var_anchor
/* var anchor: nullable MClassType */;
2290 val
* var_mmodule
/* var mmodule: MModule */;
2291 short int var_cleanup_virtual
/* var cleanup_virtual: Bool */;
2292 val
* var1
/* : Array[MParameter] */;
2293 val
* var_params
/* var params: Array[MParameter] */;
2294 val
* var2
/* : Array[MParameter] */;
2295 val
* var4
/* : Array[MParameter] */;
2296 val
* var_
/* var : Array[MParameter] */;
2297 val
* var5
/* : ArrayIterator[nullable Object] */;
2298 val
* var_6
/* var : ArrayIterator[MParameter] */;
2299 short int var7
/* : Bool */;
2300 val
* var8
/* : nullable Object */;
2301 val
* var_p
/* var p: MParameter */;
2302 val
* var9
/* : MParameter */;
2303 val
* var11
/* : nullable MType */;
2304 val
* var13
/* : nullable MType */;
2305 val
* var_ret
/* var ret: nullable MType */;
2306 val
* var14
/* : null */;
2307 short int var15
/* : Bool */;
2308 short int var16
/* : Bool */;
2309 val
* var_other
/* var other: nullable Object */;
2310 short int var18
/* : Bool */;
2311 short int var19
/* : Bool */;
2312 val
* var20
/* : MType */;
2313 val
* var21
/* : MSignature */;
2314 val
* var_res
/* var res: MSignature */;
2318 var_cleanup_virtual
= p3
;
2319 var1
= NEW_standard__Array(&type_standard__Array__nit__MParameter
);
2321 standard___standard__Array___standard__kernel__Object__init(var1
); /* Direct call array#Array#init on <var1:Array[MParameter]>*/
2325 { /* Inline model#MSignature#mparameters (self) on <self:MSignature> */
2326 var4
= self
->attrs
[COLOR_nit__model__MSignature___mparameters
].val
; /* _mparameters on <self:MSignature> */
2327 if (unlikely(var4
== NULL
)) {
2328 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
2329 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1592);
2338 var5
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_
);
2343 var7
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_6
);
2347 var8
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_6
);
2351 var9
= nit___nit__MParameter___resolve_for(var_p
, var_mtype
, var_anchor
, var_mmodule
, var_cleanup_virtual
);
2354 standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var_params
, var9
); /* Direct call array#Array#add on <var_params:Array[MParameter]>*/
2357 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_6
); /* Direct call array#ArrayIterator#next on <var_6:ArrayIterator[MParameter]>*/
2363 BREAK_label
: (void)0;
2365 { /* Inline abstract_collection#Iterator#finish (var_6) on <var_6:ArrayIterator[MParameter]> */
2366 RET_LABEL10
:(void)0;
2370 { /* Inline model#MSignature#return_mtype (self) on <self:MSignature> */
2371 var13
= self
->attrs
[COLOR_nit__model__MSignature___return_mtype
].val
; /* _return_mtype on <self:MSignature> */
2373 RET_LABEL12
:(void)0;
2378 if (var_ret
== NULL
) {
2379 var15
= 0; /* is null */
2381 var15
= 1; /* arg is null and recv is not */
2384 { /* Inline kernel#Object#!= (var_ret,var14) on <var_ret:nullable MType> */
2387 var18
= ((short int (*)(val
* self
, val
* p0
))(var_ret
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_ret
, var_other
) /* == on <var_ret:nullable MType(MType)>*/;
2392 RET_LABEL17
:(void)0;
2398 var20
= ((val
* (*)(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
))(var_ret
->class->vft
[COLOR_nit__model__MType__resolve_for
]))(var_ret
, var_mtype
, var_anchor
, var_mmodule
, var_cleanup_virtual
) /* resolve_for on <var_ret:nullable MType(MType)>*/;
2403 var21
= NEW_nit__MSignature(&type_nit__MSignature
);
2405 ((void (*)(val
* self
, val
* p0
))(var21
->class->vft
[COLOR_nit__model__MSignature__mparameters_61d
]))(var21
, var_params
) /* mparameters= on <var21:MSignature>*/;
2408 ((void (*)(val
* self
, val
* p0
))(var21
->class->vft
[COLOR_nit__model__MSignature__return_mtype_61d
]))(var21
, var_ret
) /* return_mtype= on <var21:MSignature>*/;
2411 ((void (*)(val
* self
))(var21
->class->vft
[COLOR_standard__kernel__Object__init
]))(var21
) /* init on <var21:MSignature>*/;
2419 /* method model#MParameter#name for (self: MParameter): String */
2420 val
* nit___nit__MParameter___nit__model_base__MEntity__name(val
* self
) {
2421 val
* var
/* : String */;
2422 val
* var1
/* : String */;
2423 var1
= self
->attrs
[COLOR_nit__model__MParameter___name
].val
; /* _name on <self:MParameter> */
2424 if (unlikely(var1
== NULL
)) {
2425 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
2426 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1687);
2433 /* method model#MParameter#name= for (self: MParameter, String) */
2434 void nit___nit__MParameter___name_61d(val
* self
, val
* p0
) {
2435 self
->attrs
[COLOR_nit__model__MParameter___name
].val
= p0
; /* _name on <self:MParameter> */
2438 /* method model#MParameter#mtype for (self: MParameter): MType */
2439 val
* nit___nit__MParameter___mtype(val
* self
) {
2440 val
* var
/* : MType */;
2441 val
* var1
/* : MType */;
2442 var1
= self
->attrs
[COLOR_nit__model__MParameter___mtype
].val
; /* _mtype on <self:MParameter> */
2443 if (unlikely(var1
== NULL
)) {
2444 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
2445 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1690);
2452 /* method model#MParameter#mtype= for (self: MParameter, MType) */
2453 void nit___nit__MParameter___mtype_61d(val
* self
, val
* p0
) {
2454 self
->attrs
[COLOR_nit__model__MParameter___mtype
].val
= p0
; /* _mtype on <self:MParameter> */
2457 /* method model#MParameter#is_vararg for (self: MParameter): Bool */
2458 short int nit___nit__MParameter___is_vararg(val
* self
) {
2459 short int var
/* : Bool */;
2460 short int var1
/* : Bool */;
2461 var1
= self
->attrs
[COLOR_nit__model__MParameter___is_vararg
].s
; /* _is_vararg on <self:MParameter> */
2466 /* method model#MParameter#is_vararg= for (self: MParameter, Bool) */
2467 void nit___nit__MParameter___is_vararg_61d(val
* self
, short int p0
) {
2468 self
->attrs
[COLOR_nit__model__MParameter___is_vararg
].s
= p0
; /* _is_vararg on <self:MParameter> */
2471 /* method model#MParameter#to_s for (self: MParameter): String */
2472 val
* nit___nit__MParameter___standard__string__Object__to_s(val
* self
) {
2473 val
* var
/* : String */;
2474 short int var1
/* : Bool */;
2475 short int var3
/* : Bool */;
2476 val
* var4
/* : String */;
2477 val
* var6
/* : String */;
2478 static val
* varonce
;
2479 val
* var7
/* : String */;
2480 char* var8
/* : NativeString */;
2481 long var9
/* : Int */;
2482 val
* var10
/* : FlatString */;
2483 val
* var11
/* : MType */;
2484 val
* var13
/* : MType */;
2485 static val
* varonce14
;
2486 val
* var15
/* : String */;
2487 char* var16
/* : NativeString */;
2488 long var17
/* : Int */;
2489 val
* var18
/* : FlatString */;
2490 val
* var19
/* : Array[Object] */;
2491 long var20
/* : Int */;
2492 val
* var21
/* : NativeArray[Object] */;
2493 val
* var22
/* : String */;
2494 val
* var23
/* : String */;
2495 val
* var25
/* : String */;
2496 static val
* varonce26
;
2497 val
* var27
/* : String */;
2498 char* var28
/* : NativeString */;
2499 long var29
/* : Int */;
2500 val
* var30
/* : FlatString */;
2501 val
* var31
/* : MType */;
2502 val
* var33
/* : MType */;
2503 val
* var34
/* : Array[Object] */;
2504 long var35
/* : Int */;
2505 val
* var36
/* : NativeArray[Object] */;
2506 val
* var37
/* : String */;
2508 { /* Inline model#MParameter#is_vararg (self) on <self:MParameter> */
2509 var3
= self
->attrs
[COLOR_nit__model__MParameter___is_vararg
].s
; /* _is_vararg on <self:MParameter> */
2516 { /* Inline model#MParameter#name (self) on <self:MParameter> */
2517 var6
= self
->attrs
[COLOR_nit__model__MParameter___name
].val
; /* _name on <self:MParameter> */
2518 if (unlikely(var6
== NULL
)) {
2519 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
2520 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1687);
2532 var10
= standard___standard__NativeString___to_s_with_length(var8
, var9
);
2537 { /* Inline model#MParameter#mtype (self) on <self:MParameter> */
2538 var13
= self
->attrs
[COLOR_nit__model__MParameter___mtype
].val
; /* _mtype on <self:MParameter> */
2539 if (unlikely(var13
== NULL
)) {
2540 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
2541 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1690);
2545 RET_LABEL12
:(void)0;
2553 var18
= standard___standard__NativeString___to_s_with_length(var16
, var17
);
2557 var19
= NEW_standard__Array(&type_standard__Array__standard__Object
);
2558 { /* var19 = array_instance Array[Object] */
2560 var21
= NEW_standard__NativeArray(var20
, &type_standard__NativeArray__standard__Object
);
2561 ((struct instance_standard__NativeArray
*)var21
)->values
[0] = (val
*) var4
;
2562 ((struct instance_standard__NativeArray
*)var21
)->values
[1] = (val
*) var7
;
2563 ((struct instance_standard__NativeArray
*)var21
)->values
[2] = (val
*) var11
;
2564 ((struct instance_standard__NativeArray
*)var21
)->values
[3] = (val
*) var15
;
2566 ((void (*)(val
* self
, val
* p0
, long p1
))(var19
->class->vft
[COLOR_standard__array__Array__with_native
]))(var19
, var21
, var20
) /* with_native on <var19:Array[Object]>*/;
2570 var22
= ((val
* (*)(val
* self
))(var19
->class->vft
[COLOR_standard__string__Object__to_s
]))(var19
) /* to_s on <var19:Array[Object]>*/;
2576 { /* Inline model#MParameter#name (self) on <self:MParameter> */
2577 var25
= self
->attrs
[COLOR_nit__model__MParameter___name
].val
; /* _name on <self:MParameter> */
2578 if (unlikely(var25
== NULL
)) {
2579 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
2580 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1687);
2584 RET_LABEL24
:(void)0;
2592 var30
= standard___standard__NativeString___to_s_with_length(var28
, var29
);
2597 { /* Inline model#MParameter#mtype (self) on <self:MParameter> */
2598 var33
= self
->attrs
[COLOR_nit__model__MParameter___mtype
].val
; /* _mtype on <self:MParameter> */
2599 if (unlikely(var33
== NULL
)) {
2600 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
2601 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1690);
2605 RET_LABEL32
:(void)0;
2608 var34
= NEW_standard__Array(&type_standard__Array__standard__Object
);
2609 { /* var34 = array_instance Array[Object] */
2611 var36
= NEW_standard__NativeArray(var35
, &type_standard__NativeArray__standard__Object
);
2612 ((struct instance_standard__NativeArray
*)var36
)->values
[0] = (val
*) var23
;
2613 ((struct instance_standard__NativeArray
*)var36
)->values
[1] = (val
*) var27
;
2614 ((struct instance_standard__NativeArray
*)var36
)->values
[2] = (val
*) var31
;
2616 ((void (*)(val
* self
, val
* p0
, long p1
))(var34
->class->vft
[COLOR_standard__array__Array__with_native
]))(var34
, var36
, var35
) /* with_native on <var34:Array[Object]>*/;
2620 var37
= ((val
* (*)(val
* self
))(var34
->class->vft
[COLOR_standard__string__Object__to_s
]))(var34
) /* to_s on <var34:Array[Object]>*/;
2628 /* method model#MParameter#resolve_for for (self: MParameter, MType, nullable MClassType, MModule, Bool): MParameter */
2629 val
* nit___nit__MParameter___resolve_for(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
) {
2630 val
* var
/* : MParameter */;
2631 val
* var_mtype
/* var mtype: MType */;
2632 val
* var_anchor
/* var anchor: nullable MClassType */;
2633 val
* var_mmodule
/* var mmodule: MModule */;
2634 short int var_cleanup_virtual
/* var cleanup_virtual: Bool */;
2635 val
* var1
/* : MType */;
2636 val
* var3
/* : MType */;
2637 short int var4
/* : Bool */;
2638 short int var5
/* : Bool */;
2639 val
* var6
/* : MType */;
2640 val
* var8
/* : MType */;
2641 val
* var9
/* : MType */;
2642 val
* var_newtype
/* var newtype: MType */;
2643 val
* var10
/* : MParameter */;
2644 val
* var11
/* : String */;
2645 val
* var13
/* : String */;
2646 short int var14
/* : Bool */;
2647 short int var16
/* : Bool */;
2648 val
* var_res
/* var res: MParameter */;
2652 var_cleanup_virtual
= p3
;
2654 { /* Inline model#MParameter#mtype (self) on <self:MParameter> */
2655 var3
= self
->attrs
[COLOR_nit__model__MParameter___mtype
].val
; /* _mtype on <self:MParameter> */
2656 if (unlikely(var3
== NULL
)) {
2657 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
2658 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1690);
2666 var4
= ((short int (*)(val
* self
))(var1
->class->vft
[COLOR_nit__model__MType__need_anchor
]))(var1
) /* need_anchor on <var1:MType>*/;
2675 { /* Inline model#MParameter#mtype (self) on <self:MParameter> */
2676 var8
= self
->attrs
[COLOR_nit__model__MParameter___mtype
].val
; /* _mtype on <self:MParameter> */
2677 if (unlikely(var8
== NULL
)) {
2678 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
2679 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1690);
2687 var9
= ((val
* (*)(val
* self
, val
* p0
, val
* p1
, val
* p2
, short int p3
))(var6
->class->vft
[COLOR_nit__model__MType__resolve_for
]))(var6
, var_mtype
, var_anchor
, var_mmodule
, var_cleanup_virtual
) /* resolve_for on <var6:MType>*/;
2690 var10
= NEW_nit__MParameter(&type_nit__MParameter
);
2692 { /* Inline model#MParameter#name (self) on <self:MParameter> */
2693 var13
= self
->attrs
[COLOR_nit__model__MParameter___name
].val
; /* _name on <self:MParameter> */
2694 if (unlikely(var13
== NULL
)) {
2695 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
2696 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1687);
2700 RET_LABEL12
:(void)0;
2704 { /* Inline model#MParameter#is_vararg (self) on <self:MParameter> */
2705 var16
= self
->attrs
[COLOR_nit__model__MParameter___is_vararg
].s
; /* _is_vararg on <self:MParameter> */
2707 RET_LABEL15
:(void)0;
2711 ((void (*)(val
* self
, val
* p0
))(var10
->class->vft
[COLOR_nit__model__MParameter__name_61d
]))(var10
, var11
) /* name= on <var10:MParameter>*/;
2714 ((void (*)(val
* self
, val
* p0
))(var10
->class->vft
[COLOR_nit__model__MParameter__mtype_61d
]))(var10
, var_newtype
) /* mtype= on <var10:MParameter>*/;
2717 ((void (*)(val
* self
, short int p0
))(var10
->class->vft
[COLOR_nit__model__MParameter__is_vararg_61d
]))(var10
, var14
) /* is_vararg= on <var10:MParameter>*/;
2720 ((void (*)(val
* self
))(var10
->class->vft
[COLOR_standard__kernel__Object__init
]))(var10
) /* init on <var10:MParameter>*/;
2728 /* method model#MParameter#model for (self: MParameter): Model */
2729 val
* nit___nit__MParameter___nit__model_base__MEntity__model(val
* self
) {
2730 val
* var
/* : Model */;
2731 val
* var1
/* : MType */;
2732 val
* var3
/* : MType */;
2733 val
* var4
/* : Model */;
2735 { /* Inline model#MParameter#mtype (self) on <self:MParameter> */
2736 var3
= self
->attrs
[COLOR_nit__model__MParameter___mtype
].val
; /* _mtype on <self:MParameter> */
2737 if (unlikely(var3
== NULL
)) {
2738 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
2739 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1690);
2747 var4
= ((val
* (*)(val
* self
))(var1
->class->vft
[COLOR_nit__model_base__MEntity__model
]))(var1
) /* model on <var1:MType>*/;
2754 /* method model#MParameter#init for (self: MParameter) */
2755 void nit___nit__MParameter___standard__kernel__Object__init(val
* self
) {
2757 ((void (*)(val
* self
))(self
->class->vft
[COLOR_nit___nit__MParameter___standard__kernel__Object__init
]))(self
) /* init on <self:MParameter>*/;
2761 /* method model#MProperty#intro_mclassdef for (self: MProperty): MClassDef */
2762 val
* nit___nit__MProperty___intro_mclassdef(val
* self
) {
2763 val
* var
/* : MClassDef */;
2764 val
* var1
/* : MClassDef */;
2765 var1
= self
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <self:MProperty> */
2766 if (unlikely(var1
== NULL
)) {
2767 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
2768 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
2775 /* method model#MProperty#intro_mclassdef= for (self: MProperty, MClassDef) */
2776 void nit___nit__MProperty___intro_mclassdef_61d(val
* self
, val
* p0
) {
2777 self
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
= p0
; /* _intro_mclassdef on <self:MProperty> */
2780 /* method model#MProperty#name for (self: MProperty): String */
2781 val
* nit___nit__MProperty___nit__model_base__MEntity__name(val
* self
) {
2782 val
* var
/* : String */;
2783 val
* var1
/* : String */;
2784 var1
= self
->attrs
[COLOR_nit__model__MProperty___name
].val
; /* _name on <self:MProperty> */
2785 if (unlikely(var1
== NULL
)) {
2786 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
2787 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1741);
2794 /* method model#MProperty#name= for (self: MProperty, String) */
2795 void nit___nit__MProperty___name_61d(val
* self
, val
* p0
) {
2796 self
->attrs
[COLOR_nit__model__MProperty___name
].val
= p0
; /* _name on <self:MProperty> */
2799 /* method model#MProperty#full_name for (self: MProperty): String */
2800 val
* nit___nit__MProperty___nit__model_base__MEntity__full_name(val
* self
) {
2801 val
* var
/* : String */;
2802 short int var1
/* : Bool */;
2803 val
* var2
/* : String */;
2804 val
* var3
/* : String */;
2805 val
* var5
/* : MClassDef */;
2806 val
* var7
/* : MClassDef */;
2807 val
* var8
/* : MModule */;
2808 val
* var10
/* : MModule */;
2809 val
* var11
/* : MVisibility */;
2810 val
* var13
/* : MVisibility */;
2811 val
* var14
/* : String */;
2812 static val
* varonce
;
2813 val
* var15
/* : String */;
2814 char* var16
/* : NativeString */;
2815 long var17
/* : Int */;
2816 val
* var18
/* : FlatString */;
2817 val
* var19
/* : MClassDef */;
2818 val
* var21
/* : MClassDef */;
2819 val
* var22
/* : MClass */;
2820 val
* var24
/* : MClass */;
2821 val
* var25
/* : String */;
2822 val
* var27
/* : String */;
2823 static val
* varonce28
;
2824 val
* var29
/* : String */;
2825 char* var30
/* : NativeString */;
2826 long var31
/* : Int */;
2827 val
* var32
/* : FlatString */;
2828 val
* var33
/* : String */;
2829 val
* var35
/* : String */;
2830 val
* var36
/* : Array[Object] */;
2831 long var37
/* : Int */;
2832 val
* var38
/* : NativeArray[Object] */;
2833 val
* var39
/* : String */;
2834 var1
= self
->attrs
[COLOR_nit__model__MProperty___full_name
].val
!= NULL
; /* _full_name on <self:MProperty> */
2836 var2
= self
->attrs
[COLOR_nit__model__MProperty___full_name
].val
; /* _full_name on <self:MProperty> */
2837 if (unlikely(var2
== NULL
)) {
2838 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _full_name");
2839 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1744);
2845 { /* Inline model#MProperty#intro_mclassdef (self) on <self:MProperty> */
2846 var7
= self
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <self:MProperty> */
2847 if (unlikely(var7
== NULL
)) {
2848 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
2849 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
2857 { /* Inline model#MClassDef#mmodule (var5) on <var5:MClassDef> */
2858 var10
= var5
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var5:MClassDef> */
2859 if (unlikely(var10
== NULL
)) {
2860 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
2861 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
2869 { /* Inline model#MProperty#visibility (self) on <self:MProperty> */
2870 var13
= self
->attrs
[COLOR_nit__model__MProperty___visibility
].val
; /* _visibility on <self:MProperty> */
2871 if (unlikely(var13
== NULL
)) {
2872 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _visibility");
2873 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1757);
2877 RET_LABEL12
:(void)0;
2881 var14
= nit___nit__MModule___namespace_for(var8
, var11
);
2888 var18
= standard___standard__NativeString___to_s_with_length(var16
, var17
);
2893 { /* Inline model#MProperty#intro_mclassdef (self) on <self:MProperty> */
2894 var21
= self
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <self:MProperty> */
2895 if (unlikely(var21
== NULL
)) {
2896 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
2897 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
2901 RET_LABEL20
:(void)0;
2905 { /* Inline model#MClassDef#mclass (var19) on <var19:MClassDef> */
2906 var24
= var19
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var19:MClassDef> */
2907 if (unlikely(var24
== NULL
)) {
2908 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
2909 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
2913 RET_LABEL23
:(void)0;
2917 { /* Inline model#MClass#name (var22) on <var22:MClass> */
2918 var27
= var22
->attrs
[COLOR_nit__model__MClass___name
].val
; /* _name on <var22:MClass> */
2919 if (unlikely(var27
== NULL
)) {
2920 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
2921 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 348);
2925 RET_LABEL26
:(void)0;
2933 var32
= standard___standard__NativeString___to_s_with_length(var30
, var31
);
2938 { /* Inline model#MProperty#name (self) on <self:MProperty> */
2939 var35
= self
->attrs
[COLOR_nit__model__MProperty___name
].val
; /* _name on <self:MProperty> */
2940 if (unlikely(var35
== NULL
)) {
2941 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
2942 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1741);
2946 RET_LABEL34
:(void)0;
2949 var36
= NEW_standard__Array(&type_standard__Array__standard__Object
);
2950 { /* var36 = array_instance Array[Object] */
2952 var38
= NEW_standard__NativeArray(var37
, &type_standard__NativeArray__standard__Object
);
2953 ((struct instance_standard__NativeArray
*)var38
)->values
[0] = (val
*) var14
;
2954 ((struct instance_standard__NativeArray
*)var38
)->values
[1] = (val
*) var15
;
2955 ((struct instance_standard__NativeArray
*)var38
)->values
[2] = (val
*) var25
;
2956 ((struct instance_standard__NativeArray
*)var38
)->values
[3] = (val
*) var29
;
2957 ((struct instance_standard__NativeArray
*)var38
)->values
[4] = (val
*) var33
;
2959 ((void (*)(val
* self
, val
* p0
, long p1
))(var36
->class->vft
[COLOR_standard__array__Array__with_native
]))(var36
, var38
, var37
) /* with_native on <var36:Array[Object]>*/;
2963 var39
= ((val
* (*)(val
* self
))(var36
->class->vft
[COLOR_standard__string__Object__to_s
]))(var36
) /* to_s on <var36:Array[Object]>*/;
2969 self
->attrs
[COLOR_nit__model__MProperty___full_name
].val
= var3
; /* _full_name on <self:MProperty> */
2976 /* method model#MProperty#c_name for (self: MProperty): String */
2977 val
* nit___nit__MProperty___nit__model_base__MEntity__c_name(val
* self
) {
2978 val
* var
/* : String */;
2979 short int var1
/* : Bool */;
2980 val
* var2
/* : String */;
2981 val
* var3
/* : String */;
2982 val
* var5
/* : MClassDef */;
2983 val
* var7
/* : MClassDef */;
2984 val
* var8
/* : MModule */;
2985 val
* var10
/* : MModule */;
2986 val
* var11
/* : String */;
2987 static val
* varonce
;
2988 val
* var12
/* : String */;
2989 char* var13
/* : NativeString */;
2990 long var14
/* : Int */;
2991 val
* var15
/* : FlatString */;
2992 val
* var16
/* : MClassDef */;
2993 val
* var18
/* : MClassDef */;
2994 val
* var19
/* : MClass */;
2995 val
* var21
/* : MClass */;
2996 val
* var22
/* : String */;
2997 val
* var24
/* : String */;
2998 val
* var25
/* : String */;
2999 static val
* varonce26
;
3000 val
* var27
/* : String */;
3001 char* var28
/* : NativeString */;
3002 long var29
/* : Int */;
3003 val
* var30
/* : FlatString */;
3004 val
* var31
/* : String */;
3005 val
* var33
/* : String */;
3006 val
* var34
/* : String */;
3007 val
* var35
/* : Array[Object] */;
3008 long var36
/* : Int */;
3009 val
* var37
/* : NativeArray[Object] */;
3010 val
* var38
/* : String */;
3011 var1
= self
->attrs
[COLOR_nit__model__MProperty___c_name
].val
!= NULL
; /* _c_name on <self:MProperty> */
3013 var2
= self
->attrs
[COLOR_nit__model__MProperty___c_name
].val
; /* _c_name on <self:MProperty> */
3014 if (unlikely(var2
== NULL
)) {
3015 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _c_name");
3016 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1752);
3022 { /* Inline model#MProperty#intro_mclassdef (self) on <self:MProperty> */
3023 var7
= self
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <self:MProperty> */
3024 if (unlikely(var7
== NULL
)) {
3025 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
3026 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
3034 { /* Inline model#MClassDef#mmodule (var5) on <var5:MClassDef> */
3035 var10
= var5
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var5:MClassDef> */
3036 if (unlikely(var10
== NULL
)) {
3037 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
3038 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
3046 var11
= nit___nit__MModule___nit__model_base__MEntity__c_name(var8
);
3053 var15
= standard___standard__NativeString___to_s_with_length(var13
, var14
);
3058 { /* Inline model#MProperty#intro_mclassdef (self) on <self:MProperty> */
3059 var18
= self
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <self:MProperty> */
3060 if (unlikely(var18
== NULL
)) {
3061 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
3062 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
3066 RET_LABEL17
:(void)0;
3070 { /* Inline model#MClassDef#mclass (var16) on <var16:MClassDef> */
3071 var21
= var16
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var16:MClassDef> */
3072 if (unlikely(var21
== NULL
)) {
3073 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
3074 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
3078 RET_LABEL20
:(void)0;
3082 { /* Inline model#MClass#name (var19) on <var19:MClass> */
3083 var24
= var19
->attrs
[COLOR_nit__model__MClass___name
].val
; /* _name on <var19:MClass> */
3084 if (unlikely(var24
== NULL
)) {
3085 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
3086 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 348);
3090 RET_LABEL23
:(void)0;
3094 var25
= standard___standard__Text___to_cmangle(var22
);
3101 var30
= standard___standard__NativeString___to_s_with_length(var28
, var29
);
3106 { /* Inline model#MProperty#name (self) on <self:MProperty> */
3107 var33
= self
->attrs
[COLOR_nit__model__MProperty___name
].val
; /* _name on <self:MProperty> */
3108 if (unlikely(var33
== NULL
)) {
3109 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
3110 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1741);
3114 RET_LABEL32
:(void)0;
3118 var34
= standard___standard__Text___to_cmangle(var31
);
3120 var35
= NEW_standard__Array(&type_standard__Array__standard__Object
);
3121 { /* var35 = array_instance Array[Object] */
3123 var37
= NEW_standard__NativeArray(var36
, &type_standard__NativeArray__standard__Object
);
3124 ((struct instance_standard__NativeArray
*)var37
)->values
[0] = (val
*) var11
;
3125 ((struct instance_standard__NativeArray
*)var37
)->values
[1] = (val
*) var12
;
3126 ((struct instance_standard__NativeArray
*)var37
)->values
[2] = (val
*) var25
;
3127 ((struct instance_standard__NativeArray
*)var37
)->values
[3] = (val
*) var27
;
3128 ((struct instance_standard__NativeArray
*)var37
)->values
[4] = (val
*) var34
;
3130 ((void (*)(val
* self
, val
* p0
, long p1
))(var35
->class->vft
[COLOR_standard__array__Array__with_native
]))(var35
, var37
, var36
) /* with_native on <var35:Array[Object]>*/;
3134 var38
= ((val
* (*)(val
* self
))(var35
->class->vft
[COLOR_standard__string__Object__to_s
]))(var35
) /* to_s on <var35:Array[Object]>*/;
3140 self
->attrs
[COLOR_nit__model__MProperty___c_name
].val
= var3
; /* _c_name on <self:MProperty> */
3147 /* method model#MProperty#visibility for (self: MProperty): MVisibility */
3148 val
* nit___nit__MProperty___visibility(val
* self
) {
3149 val
* var
/* : MVisibility */;
3150 val
* var1
/* : MVisibility */;
3151 var1
= self
->attrs
[COLOR_nit__model__MProperty___visibility
].val
; /* _visibility on <self:MProperty> */
3152 if (unlikely(var1
== NULL
)) {
3153 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _visibility");
3154 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1757);
3161 /* method model#MProperty#visibility= for (self: MProperty, MVisibility) */
3162 void nit___nit__MProperty___visibility_61d(val
* self
, val
* p0
) {
3163 self
->attrs
[COLOR_nit__model__MProperty___visibility
].val
= p0
; /* _visibility on <self:MProperty> */
3166 /* method model#MProperty#init for (self: MProperty) */
3167 void nit___nit__MProperty___standard__kernel__Object__init(val
* self
) {
3168 val
* var
/* : MClassDef */;
3169 val
* var2
/* : MClassDef */;
3170 val
* var3
/* : Array[MProperty] */;
3171 val
* var5
/* : Array[MProperty] */;
3172 val
* var6
/* : MClassDef */;
3173 val
* var8
/* : MClassDef */;
3174 val
* var9
/* : MModule */;
3175 val
* var11
/* : MModule */;
3176 val
* var12
/* : Model */;
3177 val
* var14
/* : Model */;
3178 val
* var_model
/* var model: Model */;
3179 val
* var15
/* : MultiHashMap[String, MProperty] */;
3180 val
* var17
/* : MultiHashMap[String, MProperty] */;
3181 val
* var18
/* : String */;
3182 val
* var20
/* : String */;
3183 val
* var21
/* : Array[MProperty] */;
3184 val
* var23
/* : Array[MProperty] */;
3186 ((void (*)(val
* self
))(self
->class->vft
[COLOR_nit___nit__MProperty___standard__kernel__Object__init
]))(self
) /* init on <self:MProperty>*/;
3189 { /* Inline model#MProperty#intro_mclassdef (self) on <self:MProperty> */
3190 var2
= self
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <self:MProperty> */
3191 if (unlikely(var2
== NULL
)) {
3192 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
3193 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
3201 { /* Inline model#MClassDef#intro_mproperties (var) on <var:MClassDef> */
3202 var5
= var
->attrs
[COLOR_nit__model__MClassDef___intro_mproperties
].val
; /* _intro_mproperties on <var:MClassDef> */
3203 if (unlikely(var5
== NULL
)) {
3204 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mproperties");
3205 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 620);
3213 standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var3
, self
); /* Direct call array#Array#add on <var3:Array[MProperty]>*/
3216 { /* Inline model#MProperty#intro_mclassdef (self) on <self:MProperty> */
3217 var8
= self
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <self:MProperty> */
3218 if (unlikely(var8
== NULL
)) {
3219 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
3220 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
3228 { /* Inline model#MClassDef#mmodule (var6) on <var6:MClassDef> */
3229 var11
= var6
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var6:MClassDef> */
3230 if (unlikely(var11
== NULL
)) {
3231 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
3232 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
3236 RET_LABEL10
:(void)0;
3240 { /* Inline mmodule#MModule#model (var9) on <var9:MModule> */
3241 var14
= var9
->attrs
[COLOR_nit__mmodule__MModule___model
].val
; /* _model on <var9:MModule> */
3242 if (unlikely(var14
== NULL
)) {
3243 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _model");
3244 PRINT_ERROR(" (%s:%d)\n", FILE_nit__mmodule
, 73);
3248 RET_LABEL13
:(void)0;
3253 { /* Inline model#Model#mproperties_by_name (var_model) on <var_model:Model> */
3254 var17
= var_model
->attrs
[COLOR_nit__model__Model___mproperties_by_name
].val
; /* _mproperties_by_name on <var_model:Model> */
3255 if (unlikely(var17
== NULL
)) {
3256 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperties_by_name");
3257 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 80);
3261 RET_LABEL16
:(void)0;
3265 { /* Inline model#MProperty#name (self) on <self:MProperty> */
3266 var20
= self
->attrs
[COLOR_nit__model__MProperty___name
].val
; /* _name on <self:MProperty> */
3267 if (unlikely(var20
== NULL
)) {
3268 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
3269 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1741);
3273 RET_LABEL19
:(void)0;
3277 more_collections___more_collections__MultiHashMap___add_one(var15
, var18
, self
); /* Direct call more_collections#MultiHashMap#add_one on <var15:MultiHashMap[String, MProperty]>*/
3280 { /* Inline model#Model#mproperties (var_model) on <var_model:Model> */
3281 var23
= var_model
->attrs
[COLOR_nit__model__Model___mproperties
].val
; /* _mproperties on <var_model:Model> */
3282 if (unlikely(var23
== NULL
)) {
3283 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperties");
3284 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 37);
3288 RET_LABEL22
:(void)0;
3292 standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var21
, self
); /* Direct call array#Array#add on <var21:Array[MProperty]>*/
3296 /* method model#MProperty#mpropdefs for (self: MProperty): Array[MPropDef] */
3297 val
* nit___nit__MProperty___mpropdefs(val
* self
) {
3298 val
* var
/* : Array[MPropDef] */;
3299 val
* var1
/* : Array[MPropDef] */;
3300 var1
= self
->attrs
[COLOR_nit__model__MProperty___mpropdefs
].val
; /* _mpropdefs on <self:MProperty> */
3301 if (unlikely(var1
== NULL
)) {
3302 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mpropdefs");
3303 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1768);
3310 /* method model#MProperty#intro for (self: MProperty): MPropDef */
3311 val
* nit___nit__MProperty___intro(val
* self
) {
3312 val
* var
/* : MPropDef */;
3313 val
* var1
/* : MPropDef */;
3314 var1
= self
->attrs
[COLOR_nit__model__MProperty___intro
].val
; /* _intro on <self:MProperty> */
3315 if (unlikely(var1
== NULL
)) {
3316 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro");
3317 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1773);
3324 /* method model#MProperty#intro= for (self: MProperty, MPropDef) */
3325 void nit___nit__MProperty___intro_61d(val
* self
, val
* p0
) {
3326 short int var
/* : Bool */;
3329 const struct type
* type_struct
;
3330 const char* var_class_name
;
3331 /* Covariant cast for argument 0 (intro) <p0:MPropDef> isa MPROPDEF */
3332 /* <p0:MPropDef> isa MPROPDEF */
3333 type_struct
= self
->type
->resolution_table
->types
[COLOR_nit__model__MProperty__MPROPDEF
];
3334 cltype
= type_struct
->color
;
3335 idtype
= type_struct
->id
;
3336 if(cltype
>= p0
->type
->table_size
) {
3339 var
= p0
->type
->type_table
[cltype
] == idtype
;
3341 if (unlikely(!var
)) {
3342 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
3343 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "MPROPDEF", var_class_name
);
3344 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1773);
3347 self
->attrs
[COLOR_nit__model__MProperty___intro
].val
= p0
; /* _intro on <self:MProperty> */
3350 /* method model#MProperty#model for (self: MProperty): Model */
3351 val
* nit___nit__MProperty___nit__model_base__MEntity__model(val
* self
) {
3352 val
* var
/* : Model */;
3353 val
* var1
/* : MPropDef */;
3354 val
* var3
/* : MPropDef */;
3355 val
* var4
/* : Model */;
3357 { /* Inline model#MProperty#intro (self) on <self:MProperty> */
3358 var3
= self
->attrs
[COLOR_nit__model__MProperty___intro
].val
; /* _intro on <self:MProperty> */
3359 if (unlikely(var3
== NULL
)) {
3360 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro");
3361 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1773);
3369 var4
= nit___nit__MPropDef___nit__model_base__MEntity__model(var1
);
3376 /* method model#MProperty#to_s for (self: MProperty): String */
3377 val
* nit___nit__MProperty___standard__string__Object__to_s(val
* self
) {
3378 val
* var
/* : String */;
3379 val
* var1
/* : String */;
3380 val
* var3
/* : String */;
3382 { /* Inline model#MProperty#name (self) on <self:MProperty> */
3383 var3
= self
->attrs
[COLOR_nit__model__MProperty___name
].val
; /* _name on <self:MProperty> */
3384 if (unlikely(var3
== NULL
)) {
3385 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
3386 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1741);
3398 /* method model#MProperty#lookup_definitions for (self: MProperty, MModule, MType): Array[MPropDef] */
3399 val
* nit___nit__MProperty___lookup_definitions(val
* self
, val
* p0
, val
* p1
) {
3400 val
* var
/* : Array[MPropDef] */;
3401 val
* var_mmodule
/* var mmodule: MModule */;
3402 val
* var_mtype
/* var mtype: MType */;
3403 short int var1
/* : Bool */;
3404 short int var2
/* : Bool */;
3405 val
* var3
/* : MType */;
3406 val
* var4
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
3407 val
* var6
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
3408 val
* var7
/* : nullable Object */;
3409 val
* var_cache
/* var cache: nullable Array[MPropDef] */;
3410 val
* var8
/* : null */;
3411 short int var9
/* : Bool */;
3412 short int var10
/* : Bool */;
3413 val
* var_other
/* var other: nullable Object */;
3414 short int var12
/* : Bool */;
3415 short int var13
/* : Bool */;
3416 val
* var14
/* : Array[MPropDef] */;
3417 val
* var_candidates
/* var candidates: Array[MPropDef] */;
3418 val
* var15
/* : Array[MPropDef] */;
3419 val
* var17
/* : Array[MPropDef] */;
3420 val
* var_
/* var : Array[MPropDef] */;
3421 val
* var18
/* : ArrayIterator[nullable Object] */;
3422 val
* var_19
/* var : ArrayIterator[MPropDef] */;
3423 short int var20
/* : Bool */;
3424 val
* var21
/* : nullable Object */;
3425 val
* var_mpropdef
/* var mpropdef: MPropDef */;
3426 val
* var22
/* : POSetElement[MModule] */;
3427 val
* var24
/* : POSetElement[MModule] */;
3428 val
* var25
/* : MClassDef */;
3429 val
* var27
/* : MClassDef */;
3430 val
* var28
/* : MModule */;
3431 val
* var30
/* : MModule */;
3432 short int var31
/* : Bool */;
3433 short int var32
/* : Bool */;
3434 val
* var33
/* : null */;
3435 val
* var34
/* : MClassDef */;
3436 val
* var36
/* : MClassDef */;
3437 val
* var37
/* : MClassType */;
3438 val
* var39
/* : MClassType */;
3439 short int var40
/* : Bool */;
3440 short int var41
/* : Bool */;
3441 long var44
/* : Int */;
3442 long var46
/* : Int */;
3443 long var47
/* : Int */;
3444 short int var48
/* : Bool */;
3445 short int var50
/* : Bool */;
3448 const char* var_class_name
;
3449 short int var51
/* : Bool */;
3450 val
* var52
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
3451 val
* var54
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
3452 val
* var55
/* : Array[MPropDef] */;
3456 var1
= ((short int (*)(val
* self
))(var_mtype
->class->vft
[COLOR_nit__model__MType__need_anchor
]))(var_mtype
) /* need_anchor on <var_mtype:MType>*/;
3459 if (unlikely(!var2
)) {
3460 PRINT_ERROR("Runtime error: %s", "Assert failed");
3461 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1795);
3465 var3
= ((val
* (*)(val
* self
))(var_mtype
->class->vft
[COLOR_nit__model__MType__as_notnullable
]))(var_mtype
) /* as_notnullable on <var_mtype:MType>*/;
3469 { /* Inline model#MProperty#lookup_definitions_cache (self) on <self:MProperty> */
3470 var6
= self
->attrs
[COLOR_nit__model__MProperty___lookup_definitions_cache
].val
; /* _lookup_definitions_cache on <self:MProperty> */
3471 if (unlikely(var6
== NULL
)) {
3472 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _lookup_definitions_cache");
3473 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1822);
3481 var7
= more_collections___more_collections__HashMap2____91d_93d(var4
, var_mmodule
, var_mtype
);
3485 if (var_cache
== NULL
) {
3486 var9
= 0; /* is null */
3488 var9
= 1; /* arg is null and recv is not */
3491 { /* Inline kernel#Object#!= (var_cache,var8) on <var_cache:nullable Array[MPropDef]> */
3494 var12
= ((short int (*)(val
* self
, val
* p0
))(var_cache
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_cache
, var_other
) /* == on <var_cache:nullable Array[MPropDef](Array[MPropDef])>*/;
3499 RET_LABEL11
:(void)0;
3508 var14
= NEW_standard__Array(self
->type
->resolution_table
->types
[COLOR_standard__Array__nit__model__MProperty__MPROPDEF
]);
3510 standard___standard__Array___standard__kernel__Object__init(var14
); /* Direct call array#Array#init on <var14:Array[MPropDef]>*/
3512 var_candidates
= var14
;
3514 { /* Inline model#MProperty#mpropdefs (self) on <self:MProperty> */
3515 var17
= self
->attrs
[COLOR_nit__model__MProperty___mpropdefs
].val
; /* _mpropdefs on <self:MProperty> */
3516 if (unlikely(var17
== NULL
)) {
3517 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mpropdefs");
3518 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1768);
3522 RET_LABEL16
:(void)0;
3527 var18
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_
);
3532 var20
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_19
);
3536 var21
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_19
);
3538 var_mpropdef
= var21
;
3540 { /* Inline mmodule#MModule#in_importation (var_mmodule) on <var_mmodule:MModule> */
3541 var24
= var_mmodule
->attrs
[COLOR_nit__mmodule__MModule___in_importation
].val
; /* _in_importation on <var_mmodule:MModule> */
3542 if (unlikely(var24
== NULL
)) {
3543 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _in_importation");
3544 PRINT_ERROR(" (%s:%d)\n", FILE_nit__mmodule
, 96);
3548 RET_LABEL23
:(void)0;
3552 { /* Inline model#MPropDef#mclassdef (var_mpropdef) on <var_mpropdef:MPropDef> */
3553 var27
= var_mpropdef
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <var_mpropdef:MPropDef> */
3554 if (unlikely(var27
== NULL
)) {
3555 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
3556 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
3560 RET_LABEL26
:(void)0;
3564 { /* Inline model#MClassDef#mmodule (var25) on <var25:MClassDef> */
3565 var30
= var25
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var25:MClassDef> */
3566 if (unlikely(var30
== NULL
)) {
3567 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
3568 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
3572 RET_LABEL29
:(void)0;
3576 var31
= poset___poset__POSetElement____60d_61d(var22
, var28
);
3585 { /* Inline model#MPropDef#mclassdef (var_mpropdef) on <var_mpropdef:MPropDef> */
3586 var36
= var_mpropdef
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <var_mpropdef:MPropDef> */
3587 if (unlikely(var36
== NULL
)) {
3588 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
3589 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
3593 RET_LABEL35
:(void)0;
3597 { /* Inline model#MClassDef#bound_mtype (var34) on <var34:MClassDef> */
3598 var39
= var34
->attrs
[COLOR_nit__model__MClassDef___bound_mtype
].val
; /* _bound_mtype on <var34:MClassDef> */
3599 if (unlikely(var39
== NULL
)) {
3600 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
3601 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 495);
3605 RET_LABEL38
:(void)0;
3609 var40
= nit___nit__MType___is_subtype(var_mtype
, var_mmodule
, var33
, var37
);
3617 standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var_candidates
, var_mpropdef
); /* Direct call array#Array#add on <var_candidates:Array[MPropDef]>*/
3619 BREAK_label
: (void)0;
3621 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_19
); /* Direct call array#ArrayIterator#next on <var_19:ArrayIterator[MPropDef]>*/
3627 BREAK_label42
: (void)0;
3629 { /* Inline abstract_collection#Iterator#finish (var_19) on <var_19:ArrayIterator[MPropDef]> */
3630 RET_LABEL43
:(void)0;
3634 { /* Inline array#AbstractArrayRead#length (var_candidates) on <var_candidates:Array[MPropDef]> */
3635 var46
= var_candidates
->attrs
[COLOR_standard__array__AbstractArrayRead___length
].l
; /* _length on <var_candidates:Array[MPropDef]> */
3637 RET_LABEL45
:(void)0;
3642 { /* Inline kernel#Int#<= (var44,var47) on <var44:Int> */
3643 /* Covariant cast for argument 0 (i) <var47:Int> isa OTHER */
3644 /* <var47:Int> isa OTHER */
3645 var50
= 1; /* easy <var47:Int> isa OTHER*/
3646 if (unlikely(!var50
)) {
3647 var_class_name
= type_standard__Int
.name
;
3648 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
3649 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 409);
3652 var51
= var44
<= var47
;
3655 RET_LABEL49
:(void)0;
3660 { /* Inline model#MProperty#lookup_definitions_cache (self) on <self:MProperty> */
3661 var54
= self
->attrs
[COLOR_nit__model__MProperty___lookup_definitions_cache
].val
; /* _lookup_definitions_cache on <self:MProperty> */
3662 if (unlikely(var54
== NULL
)) {
3663 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _lookup_definitions_cache");
3664 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1822);
3668 RET_LABEL53
:(void)0;
3672 more_collections___more_collections__HashMap2____91d_93d_61d(var52
, var_mmodule
, var_mtype
, var_candidates
); /* Direct call more_collections#HashMap2#[]= on <var52:HashMap2[MModule, MType, Array[MPropDef]]>*/
3674 var
= var_candidates
;
3679 var55
= nit___nit__MProperty___select_most_specific(self
, var_mmodule
, var_candidates
);
3686 /* method model#MProperty#lookup_definitions_cache for (self: MProperty): HashMap2[MModule, MType, Array[MPropDef]] */
3687 val
* nit___nit__MProperty___lookup_definitions_cache(val
* self
) {
3688 val
* var
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
3689 val
* var1
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
3690 var1
= self
->attrs
[COLOR_nit__model__MProperty___lookup_definitions_cache
].val
; /* _lookup_definitions_cache on <self:MProperty> */
3691 if (unlikely(var1
== NULL
)) {
3692 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _lookup_definitions_cache");
3693 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1822);
3700 /* method model#MProperty#lookup_super_definitions for (self: MProperty, MModule, MType): Array[MPropDef] */
3701 val
* nit___nit__MProperty___lookup_super_definitions(val
* self
, val
* p0
, val
* p1
) {
3702 val
* var
/* : Array[MPropDef] */;
3703 val
* var_mmodule
/* var mmodule: MModule */;
3704 val
* var_mtype
/* var mtype: MType */;
3705 short int var1
/* : Bool */;
3706 short int var2
/* : Bool */;
3707 val
* var3
/* : MType */;
3708 val
* var4
/* : Array[MPropDef] */;
3709 val
* var_candidates
/* var candidates: Array[MPropDef] */;
3710 val
* var5
/* : Array[MPropDef] */;
3711 val
* var7
/* : Array[MPropDef] */;
3712 val
* var_
/* var : Array[MPropDef] */;
3713 val
* var8
/* : ArrayIterator[nullable Object] */;
3714 val
* var_9
/* var : ArrayIterator[MPropDef] */;
3715 short int var10
/* : Bool */;
3716 val
* var11
/* : nullable Object */;
3717 val
* var_mpropdef
/* var mpropdef: MPropDef */;
3718 val
* var12
/* : POSetElement[MModule] */;
3719 val
* var14
/* : POSetElement[MModule] */;
3720 val
* var15
/* : MClassDef */;
3721 val
* var17
/* : MClassDef */;
3722 val
* var18
/* : MModule */;
3723 val
* var20
/* : MModule */;
3724 short int var21
/* : Bool */;
3725 short int var22
/* : Bool */;
3726 val
* var23
/* : null */;
3727 val
* var24
/* : MClassDef */;
3728 val
* var26
/* : MClassDef */;
3729 val
* var27
/* : MClassType */;
3730 val
* var29
/* : MClassType */;
3731 short int var30
/* : Bool */;
3732 short int var31
/* : Bool */;
3733 short int var32
/* : Bool */;
3734 val
* var33
/* : MClassDef */;
3735 val
* var35
/* : MClassDef */;
3736 val
* var36
/* : MClassType */;
3737 val
* var38
/* : MClassType */;
3738 short int var39
/* : Bool */;
3739 val
* var_other
/* var other: nullable Object */;
3740 short int var41
/* : Bool */;
3741 short int var43
/* : Bool */;
3742 short int var_44
/* var : Bool */;
3743 val
* var45
/* : MClassDef */;
3744 val
* var47
/* : MClassDef */;
3745 val
* var48
/* : MModule */;
3746 val
* var50
/* : MModule */;
3747 short int var51
/* : Bool */;
3748 short int var53
/* : Bool */;
3749 short int var55
/* : Bool */;
3750 long var58
/* : Int */;
3751 long var60
/* : Int */;
3752 long var61
/* : Int */;
3753 short int var62
/* : Bool */;
3754 short int var64
/* : Bool */;
3757 const char* var_class_name
;
3758 short int var65
/* : Bool */;
3759 val
* var66
/* : Array[MPropDef] */;
3763 var1
= ((short int (*)(val
* self
))(var_mtype
->class->vft
[COLOR_nit__model__MType__need_anchor
]))(var_mtype
) /* need_anchor on <var_mtype:MType>*/;
3766 if (unlikely(!var2
)) {
3767 PRINT_ERROR("Runtime error: %s", "Assert failed");
3768 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1835);
3772 var3
= ((val
* (*)(val
* self
))(var_mtype
->class->vft
[COLOR_nit__model__MType__as_notnullable
]))(var_mtype
) /* as_notnullable on <var_mtype:MType>*/;
3775 var4
= NEW_standard__Array(self
->type
->resolution_table
->types
[COLOR_standard__Array__nit__model__MProperty__MPROPDEF
]);
3777 standard___standard__Array___standard__kernel__Object__init(var4
); /* Direct call array#Array#init on <var4:Array[MPropDef]>*/
3779 var_candidates
= var4
;
3781 { /* Inline model#MProperty#mpropdefs (self) on <self:MProperty> */
3782 var7
= self
->attrs
[COLOR_nit__model__MProperty___mpropdefs
].val
; /* _mpropdefs on <self:MProperty> */
3783 if (unlikely(var7
== NULL
)) {
3784 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mpropdefs");
3785 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1768);
3794 var8
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_
);
3799 var10
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_9
);
3803 var11
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_9
);
3805 var_mpropdef
= var11
;
3807 { /* Inline mmodule#MModule#in_importation (var_mmodule) on <var_mmodule:MModule> */
3808 var14
= var_mmodule
->attrs
[COLOR_nit__mmodule__MModule___in_importation
].val
; /* _in_importation on <var_mmodule:MModule> */
3809 if (unlikely(var14
== NULL
)) {
3810 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _in_importation");
3811 PRINT_ERROR(" (%s:%d)\n", FILE_nit__mmodule
, 96);
3815 RET_LABEL13
:(void)0;
3819 { /* Inline model#MPropDef#mclassdef (var_mpropdef) on <var_mpropdef:MPropDef> */
3820 var17
= var_mpropdef
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <var_mpropdef:MPropDef> */
3821 if (unlikely(var17
== NULL
)) {
3822 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
3823 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
3827 RET_LABEL16
:(void)0;
3831 { /* Inline model#MClassDef#mmodule (var15) on <var15:MClassDef> */
3832 var20
= var15
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var15:MClassDef> */
3833 if (unlikely(var20
== NULL
)) {
3834 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
3835 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
3839 RET_LABEL19
:(void)0;
3843 var21
= poset___poset__POSetElement____60d_61d(var12
, var18
);
3852 { /* Inline model#MPropDef#mclassdef (var_mpropdef) on <var_mpropdef:MPropDef> */
3853 var26
= var_mpropdef
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <var_mpropdef:MPropDef> */
3854 if (unlikely(var26
== NULL
)) {
3855 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
3856 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
3860 RET_LABEL25
:(void)0;
3864 { /* Inline model#MClassDef#bound_mtype (var24) on <var24:MClassDef> */
3865 var29
= var24
->attrs
[COLOR_nit__model__MClassDef___bound_mtype
].val
; /* _bound_mtype on <var24:MClassDef> */
3866 if (unlikely(var29
== NULL
)) {
3867 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
3868 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 495);
3872 RET_LABEL28
:(void)0;
3876 var30
= nit___nit__MType___is_subtype(var_mtype
, var_mmodule
, var23
, var27
);
3884 { /* Inline model#MPropDef#mclassdef (var_mpropdef) on <var_mpropdef:MPropDef> */
3885 var35
= var_mpropdef
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <var_mpropdef:MPropDef> */
3886 if (unlikely(var35
== NULL
)) {
3887 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
3888 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
3892 RET_LABEL34
:(void)0;
3896 { /* Inline model#MClassDef#bound_mtype (var33) on <var33:MClassDef> */
3897 var38
= var33
->attrs
[COLOR_nit__model__MClassDef___bound_mtype
].val
; /* _bound_mtype on <var33:MClassDef> */
3898 if (unlikely(var38
== NULL
)) {
3899 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
3900 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 495);
3904 RET_LABEL37
:(void)0;
3908 { /* Inline kernel#Object#== (var_mtype,var36) on <var_mtype:MType> */
3911 { /* Inline kernel#Object#is_same_instance (var_mtype,var_other) on <var_mtype:MType> */
3912 var43
= var_mtype
== var_other
;
3915 RET_LABEL42
:(void)0;
3920 RET_LABEL40
:(void)0;
3926 { /* Inline model#MPropDef#mclassdef (var_mpropdef) on <var_mpropdef:MPropDef> */
3927 var47
= var_mpropdef
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <var_mpropdef:MPropDef> */
3928 if (unlikely(var47
== NULL
)) {
3929 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
3930 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
3934 RET_LABEL46
:(void)0;
3938 { /* Inline model#MClassDef#mmodule (var45) on <var45:MClassDef> */
3939 var50
= var45
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var45:MClassDef> */
3940 if (unlikely(var50
== NULL
)) {
3941 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
3942 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
3946 RET_LABEL49
:(void)0;
3950 { /* Inline kernel#Object#== (var_mmodule,var48) on <var_mmodule:MModule> */
3953 { /* Inline kernel#Object#is_same_instance (var_mmodule,var_other) on <var_mmodule:MModule> */
3954 var55
= var_mmodule
== var_other
;
3957 RET_LABEL54
:(void)0;
3962 RET_LABEL52
:(void)0;
3974 standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var_candidates
, var_mpropdef
); /* Direct call array#Array#add on <var_candidates:Array[MPropDef]>*/
3976 BREAK_label
: (void)0;
3978 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_9
); /* Direct call array#ArrayIterator#next on <var_9:ArrayIterator[MPropDef]>*/
3984 BREAK_label56
: (void)0;
3986 { /* Inline abstract_collection#Iterator#finish (var_9) on <var_9:ArrayIterator[MPropDef]> */
3987 RET_LABEL57
:(void)0;
3991 { /* Inline array#AbstractArrayRead#length (var_candidates) on <var_candidates:Array[MPropDef]> */
3992 var60
= var_candidates
->attrs
[COLOR_standard__array__AbstractArrayRead___length
].l
; /* _length on <var_candidates:Array[MPropDef]> */
3994 RET_LABEL59
:(void)0;
3999 { /* Inline kernel#Int#<= (var58,var61) on <var58:Int> */
4000 /* Covariant cast for argument 0 (i) <var61:Int> isa OTHER */
4001 /* <var61:Int> isa OTHER */
4002 var64
= 1; /* easy <var61:Int> isa OTHER*/
4003 if (unlikely(!var64
)) {
4004 var_class_name
= type_standard__Int
.name
;
4005 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
4006 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 409);
4009 var65
= var58
<= var61
;
4012 RET_LABEL63
:(void)0;
4016 var
= var_candidates
;
4021 var66
= nit___nit__MProperty___select_most_specific(self
, var_mmodule
, var_candidates
);
4028 /* method model#MProperty#select_most_specific for (self: MProperty, MModule, Array[MPropDef]): Array[MPropDef] */
4029 val
* nit___nit__MProperty___select_most_specific(val
* self
, val
* p0
, val
* p1
) {
4030 val
* var
/* : Array[MPropDef] */;
4031 short int var1
/* : Bool */;
4034 const struct type
* type_struct
;
4035 const char* var_class_name
;
4036 val
* var_mmodule
/* var mmodule: MModule */;
4037 val
* var_candidates
/* var candidates: Array[MPropDef] */;
4038 val
* var2
/* : Array[MPropDef] */;
4039 val
* var_res
/* var res: Array[MPropDef] */;
4040 val
* var_
/* var : Array[MPropDef] */;
4041 val
* var3
/* : ArrayIterator[nullable Object] */;
4042 val
* var_4
/* var : ArrayIterator[MPropDef] */;
4043 short int var5
/* : Bool */;
4044 val
* var6
/* : nullable Object */;
4045 val
* var_pd1
/* var pd1: MPropDef */;
4046 val
* var7
/* : MClassDef */;
4047 val
* var9
/* : MClassDef */;
4048 val
* var_cd1
/* var cd1: MClassDef */;
4049 val
* var10
/* : MClass */;
4050 val
* var12
/* : MClass */;
4051 val
* var_c1
/* var c1: MClass */;
4052 short int var13
/* : Bool */;
4053 short int var_keep
/* var keep: Bool */;
4054 val
* var_14
/* var : Array[MPropDef] */;
4055 val
* var15
/* : ArrayIterator[nullable Object] */;
4056 val
* var_16
/* var : ArrayIterator[MPropDef] */;
4057 short int var17
/* : Bool */;
4058 val
* var18
/* : nullable Object */;
4059 val
* var_pd2
/* var pd2: MPropDef */;
4060 short int var19
/* : Bool */;
4061 val
* var_other
/* var other: nullable Object */;
4062 short int var21
/* : Bool */;
4063 short int var23
/* : Bool */;
4064 val
* var24
/* : MClassDef */;
4065 val
* var26
/* : MClassDef */;
4066 val
* var_cd2
/* var cd2: MClassDef */;
4067 val
* var27
/* : MClass */;
4068 val
* var29
/* : MClass */;
4069 val
* var_c2
/* var c2: MClass */;
4070 val
* var30
/* : MClassType */;
4071 val
* var32
/* : MClassType */;
4072 val
* var33
/* : MClassType */;
4073 val
* var35
/* : MClassType */;
4074 short int var36
/* : Bool */;
4075 short int var38
/* : Bool */;
4076 short int var40
/* : Bool */;
4077 val
* var41
/* : MModule */;
4078 val
* var43
/* : MModule */;
4079 val
* var44
/* : POSetElement[MModule] */;
4080 val
* var46
/* : POSetElement[MModule] */;
4081 val
* var47
/* : MModule */;
4082 val
* var49
/* : MModule */;
4083 short int var50
/* : Bool */;
4084 short int var51
/* : Bool */;
4085 short int var53
/* : Bool */;
4086 val
* var54
/* : MClassType */;
4087 val
* var56
/* : MClassType */;
4088 val
* var57
/* : null */;
4089 val
* var58
/* : MClassType */;
4090 val
* var60
/* : MClassType */;
4091 short int var61
/* : Bool */;
4092 short int var_62
/* var : Bool */;
4093 val
* var63
/* : MClassType */;
4094 val
* var65
/* : MClassType */;
4095 val
* var66
/* : MClassType */;
4096 val
* var68
/* : MClassType */;
4097 short int var69
/* : Bool */;
4098 val
* var_other71
/* var other: nullable Object */;
4099 short int var72
/* : Bool */;
4100 short int var73
/* : Bool */;
4101 short int var74
/* : Bool */;
4102 short int var78
/* : Bool */;
4103 static val
* varonce
;
4104 val
* var79
/* : String */;
4105 char* var80
/* : NativeString */;
4106 long var81
/* : Int */;
4107 val
* var82
/* : FlatString */;
4108 static val
* varonce83
;
4109 val
* var84
/* : String */;
4110 char* var85
/* : NativeString */;
4111 long var86
/* : Int */;
4112 val
* var87
/* : FlatString */;
4113 val
* var88
/* : String */;
4114 val
* var89
/* : Array[Object] */;
4115 long var90
/* : Int */;
4116 val
* var91
/* : NativeArray[Object] */;
4117 val
* var92
/* : String */;
4118 /* Covariant cast for argument 1 (candidates) <p1:Array[MPropDef]> isa Array[MPROPDEF] */
4119 /* <p1:Array[MPropDef]> isa Array[MPROPDEF] */
4120 type_struct
= self
->type
->resolution_table
->types
[COLOR_standard__Array__nit__model__MProperty__MPROPDEF
];
4121 cltype
= type_struct
->color
;
4122 idtype
= type_struct
->id
;
4123 if(cltype
>= p1
->type
->table_size
) {
4126 var1
= p1
->type
->type_table
[cltype
] == idtype
;
4128 if (unlikely(!var1
)) {
4129 var_class_name
= p1
== NULL ?
"null" : p1
->type
->name
;
4130 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Array[MPROPDEF]", var_class_name
);
4131 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1857);
4135 var_candidates
= p1
;
4136 var2
= NEW_standard__Array(self
->type
->resolution_table
->types
[COLOR_standard__Array__nit__model__MProperty__MPROPDEF
]);
4138 standard___standard__Array___standard__kernel__Object__init(var2
); /* Direct call array#Array#init on <var2:Array[MPropDef]>*/
4141 var_
= var_candidates
;
4143 var3
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_
);
4148 var5
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_4
);
4152 var6
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_4
);
4156 { /* Inline model#MPropDef#mclassdef (var_pd1) on <var_pd1:MPropDef> */
4157 var9
= var_pd1
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <var_pd1:MPropDef> */
4158 if (unlikely(var9
== NULL
)) {
4159 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
4160 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
4169 { /* Inline model#MClassDef#mclass (var_cd1) on <var_cd1:MClassDef> */
4170 var12
= var_cd1
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var_cd1:MClassDef> */
4171 if (unlikely(var12
== NULL
)) {
4172 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
4173 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
4177 RET_LABEL11
:(void)0;
4183 var_14
= var_candidates
;
4185 var15
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_14
);
4190 var17
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_16
);
4194 var18
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_16
);
4198 { /* Inline kernel#Object#== (var_pd2,var_pd1) on <var_pd2:MPropDef> */
4199 var_other
= var_pd1
;
4201 { /* Inline kernel#Object#is_same_instance (var_pd2,var_other) on <var_pd2:MPropDef> */
4202 var23
= var_pd2
== var_other
;
4205 RET_LABEL22
:(void)0;
4210 RET_LABEL20
:(void)0;
4218 { /* Inline model#MPropDef#mclassdef (var_pd2) on <var_pd2:MPropDef> */
4219 var26
= var_pd2
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <var_pd2:MPropDef> */
4220 if (unlikely(var26
== NULL
)) {
4221 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
4222 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
4226 RET_LABEL25
:(void)0;
4231 { /* Inline model#MClassDef#mclass (var_cd2) on <var_cd2:MClassDef> */
4232 var29
= var_cd2
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var_cd2:MClassDef> */
4233 if (unlikely(var29
== NULL
)) {
4234 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
4235 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
4239 RET_LABEL28
:(void)0;
4244 { /* Inline model#MClass#mclass_type (var_c2) on <var_c2:MClass> */
4245 var32
= var_c2
->attrs
[COLOR_nit__model__MClass___mclass_type
].val
; /* _mclass_type on <var_c2:MClass> */
4246 if (unlikely(var32
== NULL
)) {
4247 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass_type");
4248 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 438);
4252 RET_LABEL31
:(void)0;
4256 { /* Inline model#MClass#mclass_type (var_c1) on <var_c1:MClass> */
4257 var35
= var_c1
->attrs
[COLOR_nit__model__MClass___mclass_type
].val
; /* _mclass_type on <var_c1:MClass> */
4258 if (unlikely(var35
== NULL
)) {
4259 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass_type");
4260 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 438);
4264 RET_LABEL34
:(void)0;
4268 { /* Inline kernel#Object#== (var30,var33) on <var30:MClassType> */
4271 { /* Inline kernel#Object#is_same_instance (var30,var_other) on <var30:MClassType> */
4272 var40
= var30
== var_other
;
4275 RET_LABEL39
:(void)0;
4280 RET_LABEL37
:(void)0;
4285 { /* Inline model#MClassDef#mmodule (var_cd2) on <var_cd2:MClassDef> */
4286 var43
= var_cd2
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var_cd2:MClassDef> */
4287 if (unlikely(var43
== NULL
)) {
4288 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
4289 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
4293 RET_LABEL42
:(void)0;
4297 { /* Inline mmodule#MModule#in_importation (var41) on <var41:MModule> */
4298 var46
= var41
->attrs
[COLOR_nit__mmodule__MModule___in_importation
].val
; /* _in_importation on <var41:MModule> */
4299 if (unlikely(var46
== NULL
)) {
4300 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _in_importation");
4301 PRINT_ERROR(" (%s:%d)\n", FILE_nit__mmodule
, 96);
4305 RET_LABEL45
:(void)0;
4309 { /* Inline model#MClassDef#mmodule (var_cd1) on <var_cd1:MClassDef> */
4310 var49
= var_cd1
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var_cd1:MClassDef> */
4311 if (unlikely(var49
== NULL
)) {
4312 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
4313 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
4317 RET_LABEL48
:(void)0;
4321 var50
= poset___poset__POSetElement____60d(var44
, var47
);
4331 { /* Inline model#MClassDef#bound_mtype (var_cd2) on <var_cd2:MClassDef> */
4332 var56
= var_cd2
->attrs
[COLOR_nit__model__MClassDef___bound_mtype
].val
; /* _bound_mtype on <var_cd2:MClassDef> */
4333 if (unlikely(var56
== NULL
)) {
4334 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
4335 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 495);
4339 RET_LABEL55
:(void)0;
4344 { /* Inline model#MClassDef#bound_mtype (var_cd1) on <var_cd1:MClassDef> */
4345 var60
= var_cd1
->attrs
[COLOR_nit__model__MClassDef___bound_mtype
].val
; /* _bound_mtype on <var_cd1:MClassDef> */
4346 if (unlikely(var60
== NULL
)) {
4347 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
4348 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 495);
4352 RET_LABEL59
:(void)0;
4356 var61
= nit___nit__MType___is_subtype(var54
, var_mmodule
, var57
, var58
);
4361 { /* Inline model#MClassDef#bound_mtype (var_cd2) on <var_cd2:MClassDef> */
4362 var65
= var_cd2
->attrs
[COLOR_nit__model__MClassDef___bound_mtype
].val
; /* _bound_mtype on <var_cd2:MClassDef> */
4363 if (unlikely(var65
== NULL
)) {
4364 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
4365 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 495);
4369 RET_LABEL64
:(void)0;
4373 { /* Inline model#MClassDef#bound_mtype (var_cd1) on <var_cd1:MClassDef> */
4374 var68
= var_cd1
->attrs
[COLOR_nit__model__MClassDef___bound_mtype
].val
; /* _bound_mtype on <var_cd1:MClassDef> */
4375 if (unlikely(var68
== NULL
)) {
4376 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
4377 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 495);
4381 RET_LABEL67
:(void)0;
4385 { /* Inline kernel#Object#!= (var63,var66) on <var63:MClassType> */
4386 var_other71
= var66
;
4388 var72
= ((short int (*)(val
* self
, val
* p0
))(var63
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var63
, var_other71
) /* == on <var63:MClassType>*/;
4393 RET_LABEL70
:(void)0;
4407 BREAK_label
: (void)0;
4409 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_16
); /* Direct call array#ArrayIterator#next on <var_16:ArrayIterator[MPropDef]>*/
4415 BREAK_label52
: (void)0;
4417 { /* Inline abstract_collection#Iterator#finish (var_16) on <var_16:ArrayIterator[MPropDef]> */
4418 RET_LABEL75
:(void)0;
4423 standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var_res
, var_pd1
); /* Direct call array#Array#add on <var_res:Array[MPropDef]>*/
4428 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_4
); /* Direct call array#ArrayIterator#next on <var_4:ArrayIterator[MPropDef]>*/
4434 BREAK_label76
: (void)0;
4436 { /* Inline abstract_collection#Iterator#finish (var_4) on <var_4:ArrayIterator[MPropDef]> */
4437 RET_LABEL77
:(void)0;
4441 var78
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(var_res
);
4447 var80
= "All lost! ";
4449 var82
= standard___standard__NativeString___to_s_with_length(var80
, var81
);
4458 var87
= standard___standard__NativeString___to_s_with_length(var85
, var86
);
4463 var88
= standard__string___Collection___join(var_candidates
, var84
);
4465 var89
= NEW_standard__Array(&type_standard__Array__standard__Object
);
4466 { /* var89 = array_instance Array[Object] */
4468 var91
= NEW_standard__NativeArray(var90
, &type_standard__NativeArray__standard__Object
);
4469 ((struct instance_standard__NativeArray
*)var91
)->values
[0] = (val
*) var79
;
4470 ((struct instance_standard__NativeArray
*)var91
)->values
[1] = (val
*) var88
;
4472 ((void (*)(val
* self
, val
* p0
, long p1
))(var89
->class->vft
[COLOR_standard__array__Array__with_native
]))(var89
, var91
, var90
) /* with_native on <var89:Array[Object]>*/;
4476 var92
= ((val
* (*)(val
* self
))(var89
->class->vft
[COLOR_standard__string__Object__to_s
]))(var89
) /* to_s on <var89:Array[Object]>*/;
4479 standard__file___Object___print(self
, var92
); /* Direct call file#Object#print on <self:MProperty>*/
4488 /* method model#MProperty#lookup_first_definition for (self: MProperty, MModule, MType): MPropDef */
4489 val
* nit___nit__MProperty___lookup_first_definition(val
* self
, val
* p0
, val
* p1
) {
4490 val
* var
/* : MPropDef */;
4491 val
* var_mmodule
/* var mmodule: MModule */;
4492 val
* var_mtype
/* var mtype: MType */;
4493 val
* var1
/* : Array[MPropDef] */;
4494 val
* var2
/* : nullable Object */;
4498 var1
= nit___nit__MProperty___lookup_all_definitions(self
, var_mmodule
, var_mtype
);
4501 var2
= standard___standard__SequenceRead___Collection__first(var1
);
4508 /* method model#MProperty#lookup_all_definitions for (self: MProperty, MModule, MType): Array[MPropDef] */
4509 val
* nit___nit__MProperty___lookup_all_definitions(val
* self
, val
* p0
, val
* p1
) {
4510 val
* var
/* : Array[MPropDef] */;
4511 val
* var_mmodule
/* var mmodule: MModule */;
4512 val
* var_mtype
/* var mtype: MType */;
4513 val
* var1
/* : MType */;
4514 val
* var2
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
4515 val
* var4
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
4516 val
* var5
/* : nullable Object */;
4517 val
* var_cache
/* var cache: nullable Array[MPropDef] */;
4518 val
* var6
/* : null */;
4519 short int var7
/* : Bool */;
4520 short int var8
/* : Bool */;
4521 val
* var_other
/* var other: nullable Object */;
4522 short int var10
/* : Bool */;
4523 short int var11
/* : Bool */;
4524 short int var12
/* : Bool */;
4525 short int var13
/* : Bool */;
4526 short int var14
/* : Bool */;
4527 val
* var15
/* : Array[MPropDef] */;
4528 val
* var_candidates
/* var candidates: Array[MPropDef] */;
4529 val
* var16
/* : Array[MPropDef] */;
4530 val
* var18
/* : Array[MPropDef] */;
4531 val
* var_
/* var : Array[MPropDef] */;
4532 val
* var19
/* : ArrayIterator[nullable Object] */;
4533 val
* var_20
/* var : ArrayIterator[MPropDef] */;
4534 short int var21
/* : Bool */;
4535 val
* var22
/* : nullable Object */;
4536 val
* var_mpropdef
/* var mpropdef: MPropDef */;
4537 val
* var23
/* : POSetElement[MModule] */;
4538 val
* var25
/* : POSetElement[MModule] */;
4539 val
* var26
/* : MClassDef */;
4540 val
* var28
/* : MClassDef */;
4541 val
* var29
/* : MModule */;
4542 val
* var31
/* : MModule */;
4543 short int var32
/* : Bool */;
4544 short int var33
/* : Bool */;
4545 val
* var34
/* : null */;
4546 val
* var35
/* : MClassDef */;
4547 val
* var37
/* : MClassDef */;
4548 val
* var38
/* : MClassType */;
4549 val
* var40
/* : MClassType */;
4550 short int var41
/* : Bool */;
4551 short int var42
/* : Bool */;
4552 long var45
/* : Int */;
4553 long var47
/* : Int */;
4554 long var48
/* : Int */;
4555 short int var49
/* : Bool */;
4556 short int var51
/* : Bool */;
4559 const char* var_class_name
;
4560 short int var52
/* : Bool */;
4561 val
* var53
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
4562 val
* var55
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
4563 val
* var56
/* : Array[nullable Object] */;
4564 val
* var57
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
4565 val
* var59
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
4569 var1
= ((val
* (*)(val
* self
))(var_mtype
->class->vft
[COLOR_nit__model__MType__as_notnullable
]))(var_mtype
) /* as_notnullable on <var_mtype:MType>*/;
4573 { /* Inline model#MProperty#lookup_all_definitions_cache (self) on <self:MProperty> */
4574 var4
= self
->attrs
[COLOR_nit__model__MProperty___lookup_all_definitions_cache
].val
; /* _lookup_all_definitions_cache on <self:MProperty> */
4575 if (unlikely(var4
== NULL
)) {
4576 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _lookup_all_definitions_cache");
4577 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1945);
4585 var5
= more_collections___more_collections__HashMap2____91d_93d(var2
, var_mmodule
, var_mtype
);
4589 if (var_cache
== NULL
) {
4590 var7
= 0; /* is null */
4592 var7
= 1; /* arg is null and recv is not */
4595 { /* Inline kernel#Object#!= (var_cache,var6) on <var_cache:nullable Array[MPropDef]> */
4598 var10
= ((short int (*)(val
* self
, val
* p0
))(var_cache
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_cache
, var_other
) /* == on <var_cache:nullable Array[MPropDef](Array[MPropDef])>*/;
4613 var12
= ((short int (*)(val
* self
))(var_mtype
->class->vft
[COLOR_nit__model__MType__need_anchor
]))(var_mtype
) /* need_anchor on <var_mtype:MType>*/;
4616 if (unlikely(!var13
)) {
4617 PRINT_ERROR("Runtime error: %s", "Assert failed");
4618 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1919);
4622 var14
= nit___nit__MType___has_mproperty(var_mtype
, var_mmodule
, self
);
4624 if (unlikely(!var14
)) {
4625 PRINT_ERROR("Runtime error: %s", "Assert failed");
4626 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1920);
4629 var15
= NEW_standard__Array(self
->type
->resolution_table
->types
[COLOR_standard__Array__nit__model__MProperty__MPROPDEF
]);
4631 standard___standard__Array___standard__kernel__Object__init(var15
); /* Direct call array#Array#init on <var15:Array[MPropDef]>*/
4633 var_candidates
= var15
;
4635 { /* Inline model#MProperty#mpropdefs (self) on <self:MProperty> */
4636 var18
= self
->attrs
[COLOR_nit__model__MProperty___mpropdefs
].val
; /* _mpropdefs on <self:MProperty> */
4637 if (unlikely(var18
== NULL
)) {
4638 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mpropdefs");
4639 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1768);
4643 RET_LABEL17
:(void)0;
4648 var19
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_
);
4653 var21
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_20
);
4657 var22
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_20
);
4659 var_mpropdef
= var22
;
4661 { /* Inline mmodule#MModule#in_importation (var_mmodule) on <var_mmodule:MModule> */
4662 var25
= var_mmodule
->attrs
[COLOR_nit__mmodule__MModule___in_importation
].val
; /* _in_importation on <var_mmodule:MModule> */
4663 if (unlikely(var25
== NULL
)) {
4664 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _in_importation");
4665 PRINT_ERROR(" (%s:%d)\n", FILE_nit__mmodule
, 96);
4669 RET_LABEL24
:(void)0;
4673 { /* Inline model#MPropDef#mclassdef (var_mpropdef) on <var_mpropdef:MPropDef> */
4674 var28
= var_mpropdef
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <var_mpropdef:MPropDef> */
4675 if (unlikely(var28
== NULL
)) {
4676 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
4677 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
4681 RET_LABEL27
:(void)0;
4685 { /* Inline model#MClassDef#mmodule (var26) on <var26:MClassDef> */
4686 var31
= var26
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var26:MClassDef> */
4687 if (unlikely(var31
== NULL
)) {
4688 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
4689 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
4693 RET_LABEL30
:(void)0;
4697 var32
= poset___poset__POSetElement____60d_61d(var23
, var29
);
4706 { /* Inline model#MPropDef#mclassdef (var_mpropdef) on <var_mpropdef:MPropDef> */
4707 var37
= var_mpropdef
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <var_mpropdef:MPropDef> */
4708 if (unlikely(var37
== NULL
)) {
4709 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
4710 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
4714 RET_LABEL36
:(void)0;
4718 { /* Inline model#MClassDef#bound_mtype (var35) on <var35:MClassDef> */
4719 var40
= var35
->attrs
[COLOR_nit__model__MClassDef___bound_mtype
].val
; /* _bound_mtype on <var35:MClassDef> */
4720 if (unlikely(var40
== NULL
)) {
4721 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _bound_mtype");
4722 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 495);
4726 RET_LABEL39
:(void)0;
4730 var41
= nit___nit__MType___is_subtype(var_mtype
, var_mmodule
, var34
, var38
);
4738 standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var_candidates
, var_mpropdef
); /* Direct call array#Array#add on <var_candidates:Array[MPropDef]>*/
4740 BREAK_label
: (void)0;
4742 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_20
); /* Direct call array#ArrayIterator#next on <var_20:ArrayIterator[MPropDef]>*/
4748 BREAK_label43
: (void)0;
4750 { /* Inline abstract_collection#Iterator#finish (var_20) on <var_20:ArrayIterator[MPropDef]> */
4751 RET_LABEL44
:(void)0;
4755 { /* Inline array#AbstractArrayRead#length (var_candidates) on <var_candidates:Array[MPropDef]> */
4756 var47
= var_candidates
->attrs
[COLOR_standard__array__AbstractArrayRead___length
].l
; /* _length on <var_candidates:Array[MPropDef]> */
4758 RET_LABEL46
:(void)0;
4763 { /* Inline kernel#Int#<= (var45,var48) on <var45:Int> */
4764 /* Covariant cast for argument 0 (i) <var48:Int> isa OTHER */
4765 /* <var48:Int> isa OTHER */
4766 var51
= 1; /* easy <var48:Int> isa OTHER*/
4767 if (unlikely(!var51
)) {
4768 var_class_name
= type_standard__Int
.name
;
4769 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
4770 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 409);
4773 var52
= var45
<= var48
;
4776 RET_LABEL50
:(void)0;
4781 { /* Inline model#MProperty#lookup_all_definitions_cache (self) on <self:MProperty> */
4782 var55
= self
->attrs
[COLOR_nit__model__MProperty___lookup_all_definitions_cache
].val
; /* _lookup_all_definitions_cache on <self:MProperty> */
4783 if (unlikely(var55
== NULL
)) {
4784 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _lookup_all_definitions_cache");
4785 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1945);
4789 RET_LABEL54
:(void)0;
4793 more_collections___more_collections__HashMap2____91d_93d_61d(var53
, var_mmodule
, var_mtype
, var_candidates
); /* Direct call more_collections#HashMap2#[]= on <var53:HashMap2[MModule, MType, Array[MPropDef]]>*/
4795 var
= var_candidates
;
4800 nit__model___MModule___linearize_mpropdefs(var_mmodule
, var_candidates
); /* Direct call model#MModule#linearize_mpropdefs on <var_mmodule:MModule>*/
4803 var56
= standard___standard__AbstractArrayRead___reversed(var_candidates
);
4805 var_candidates
= var56
;
4807 { /* Inline model#MProperty#lookup_all_definitions_cache (self) on <self:MProperty> */
4808 var59
= self
->attrs
[COLOR_nit__model__MProperty___lookup_all_definitions_cache
].val
; /* _lookup_all_definitions_cache on <self:MProperty> */
4809 if (unlikely(var59
== NULL
)) {
4810 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _lookup_all_definitions_cache");
4811 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1945);
4815 RET_LABEL58
:(void)0;
4819 more_collections___more_collections__HashMap2____91d_93d_61d(var57
, var_mmodule
, var_mtype
, var_candidates
); /* Direct call more_collections#HashMap2#[]= on <var57:HashMap2[MModule, MType, Array[MPropDef]]>*/
4821 var
= var_candidates
;
4826 /* method model#MProperty#lookup_all_definitions_cache for (self: MProperty): HashMap2[MModule, MType, Array[MPropDef]] */
4827 val
* nit___nit__MProperty___lookup_all_definitions_cache(val
* self
) {
4828 val
* var
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
4829 val
* var1
/* : HashMap2[MModule, MType, Array[MPropDef]] */;
4830 var1
= self
->attrs
[COLOR_nit__model__MProperty___lookup_all_definitions_cache
].val
; /* _lookup_all_definitions_cache on <self:MProperty> */
4831 if (unlikely(var1
== NULL
)) {
4832 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _lookup_all_definitions_cache");
4833 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1945);
4840 /* method model#MMethod#is_toplevel for (self: MMethod): Bool */
4841 short int nit___nit__MMethod___is_toplevel(val
* self
) {
4842 short int var
/* : Bool */;
4843 short int var1
/* : Bool */;
4844 var1
= self
->attrs
[COLOR_nit__model__MMethod___is_toplevel
].s
; /* _is_toplevel on <self:MMethod> */
4849 /* method model#MMethod#is_toplevel= for (self: MMethod, Bool) */
4850 void nit___nit__MMethod___is_toplevel_61d(val
* self
, short int p0
) {
4851 self
->attrs
[COLOR_nit__model__MMethod___is_toplevel
].s
= p0
; /* _is_toplevel on <self:MMethod> */
4854 /* method model#MMethod#is_init for (self: MMethod): Bool */
4855 short int nit___nit__MMethod___is_init(val
* self
) {
4856 short int var
/* : Bool */;
4857 short int var1
/* : Bool */;
4858 var1
= self
->attrs
[COLOR_nit__model__MMethod___is_init
].s
; /* _is_init on <self:MMethod> */
4863 /* method model#MMethod#is_init= for (self: MMethod, Bool) */
4864 void nit___nit__MMethod___is_init_61d(val
* self
, short int p0
) {
4865 self
->attrs
[COLOR_nit__model__MMethod___is_init
].s
= p0
; /* _is_init on <self:MMethod> */
4868 /* method model#MMethod#is_root_init for (self: MMethod): Bool */
4869 short int nit___nit__MMethod___is_root_init(val
* self
) {
4870 short int var
/* : Bool */;
4871 short int var1
/* : Bool */;
4872 var1
= self
->attrs
[COLOR_nit__model__MMethod___is_root_init
].s
; /* _is_root_init on <self:MMethod> */
4877 /* method model#MMethod#is_root_init= for (self: MMethod, Bool) */
4878 void nit___nit__MMethod___is_root_init_61d(val
* self
, short int p0
) {
4879 self
->attrs
[COLOR_nit__model__MMethod___is_root_init
].s
= p0
; /* _is_root_init on <self:MMethod> */
4882 /* method model#MMethod#is_new for (self: MMethod): Bool */
4883 short int nit___nit__MMethod___is_new(val
* self
) {
4884 short int var
/* : Bool */;
4885 short int var1
/* : Bool */;
4886 var1
= self
->attrs
[COLOR_nit__model__MMethod___is_new
].s
; /* _is_new on <self:MMethod> */
4891 /* method model#MMethod#is_new= for (self: MMethod, Bool) */
4892 void nit___nit__MMethod___is_new_61d(val
* self
, short int p0
) {
4893 self
->attrs
[COLOR_nit__model__MMethod___is_new
].s
= p0
; /* _is_new on <self:MMethod> */
4896 /* method model#MMethod#is_init_for for (self: MMethod, MClass): Bool */
4897 short int nit___nit__MMethod___is_init_for(val
* self
, val
* p0
) {
4898 short int var
/* : Bool */;
4899 val
* var_mclass
/* var mclass: MClass */;
4900 short int var1
/* : Bool */;
4901 short int var3
/* : Bool */;
4904 { /* Inline model#MMethod#is_init (self) on <self:MMethod> */
4905 var3
= self
->attrs
[COLOR_nit__model__MMethod___is_init
].s
; /* _is_init on <self:MMethod> */
4915 /* method model#MVirtualTypeProp#mvirtualtype for (self: MVirtualTypeProp): MVirtualType */
4916 val
* nit___nit__MVirtualTypeProp___mvirtualtype(val
* self
) {
4917 val
* var
/* : MVirtualType */;
4918 val
* var1
/* : MVirtualType */;
4919 var1
= self
->attrs
[COLOR_nit__model__MVirtualTypeProp___mvirtualtype
].val
; /* _mvirtualtype on <self:MVirtualTypeProp> */
4920 if (unlikely(var1
== NULL
)) {
4921 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mvirtualtype");
4922 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1992);
4929 /* method model#MPropDef#mclassdef for (self: MPropDef): MClassDef */
4930 val
* nit___nit__MPropDef___mclassdef(val
* self
) {
4931 val
* var
/* : MClassDef */;
4932 val
* var1
/* : MClassDef */;
4933 var1
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
4934 if (unlikely(var1
== NULL
)) {
4935 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
4936 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
4943 /* method model#MPropDef#mclassdef= for (self: MPropDef, MClassDef) */
4944 void nit___nit__MPropDef___mclassdef_61d(val
* self
, val
* p0
) {
4945 self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
= p0
; /* _mclassdef on <self:MPropDef> */
4948 /* method model#MPropDef#mproperty for (self: MPropDef): MProperty */
4949 val
* nit___nit__MPropDef___mproperty(val
* self
) {
4950 val
* var
/* : MProperty */;
4951 val
* var1
/* : MProperty */;
4952 var1
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
4953 if (unlikely(var1
== NULL
)) {
4954 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
4955 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
4962 /* method model#MPropDef#mproperty= for (self: MPropDef, MProperty) */
4963 void nit___nit__MPropDef___mproperty_61d(val
* self
, val
* p0
) {
4964 short int var
/* : Bool */;
4967 const struct type
* type_struct
;
4968 const char* var_class_name
;
4969 /* Covariant cast for argument 0 (mproperty) <p0:MProperty> isa MPROPERTY */
4970 /* <p0:MProperty> isa MPROPERTY */
4971 type_struct
= self
->type
->resolution_table
->types
[COLOR_nit__model__MPropDef__MPROPERTY
];
4972 cltype
= type_struct
->color
;
4973 idtype
= type_struct
->id
;
4974 if(cltype
>= p0
->type
->table_size
) {
4977 var
= p0
->type
->type_table
[cltype
] == idtype
;
4979 if (unlikely(!var
)) {
4980 var_class_name
= p0
== NULL ?
"null" : p0
->type
->name
;
4981 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "MPROPERTY", var_class_name
);
4982 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
4985 self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
= p0
; /* _mproperty on <self:MPropDef> */
4988 /* method model#MPropDef#location for (self: MPropDef): Location */
4989 val
* nit___nit__MPropDef___location(val
* self
) {
4990 val
* var
/* : Location */;
4991 val
* var1
/* : Location */;
4992 var1
= self
->attrs
[COLOR_nit__model__MPropDef___location
].val
; /* _location on <self:MPropDef> */
4993 if (unlikely(var1
== NULL
)) {
4994 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _location");
4995 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2016);
5002 /* method model#MPropDef#location= for (self: MPropDef, Location) */
5003 void nit___nit__MPropDef___location_61d(val
* self
, val
* p0
) {
5004 self
->attrs
[COLOR_nit__model__MPropDef___location
].val
= p0
; /* _location on <self:MPropDef> */
5007 /* method model#MPropDef#init for (self: MPropDef) */
5008 void nit___nit__MPropDef___standard__kernel__Object__init(val
* self
) {
5009 val
* var
/* : MClassDef */;
5010 val
* var2
/* : MClassDef */;
5011 val
* var3
/* : Array[MPropDef] */;
5012 val
* var5
/* : Array[MPropDef] */;
5013 val
* var6
/* : MProperty */;
5014 val
* var8
/* : MProperty */;
5015 val
* var9
/* : Array[MPropDef] */;
5016 val
* var11
/* : Array[MPropDef] */;
5017 val
* var12
/* : MProperty */;
5018 val
* var14
/* : MProperty */;
5019 val
* var15
/* : MClassDef */;
5020 val
* var17
/* : MClassDef */;
5021 val
* var18
/* : MClassDef */;
5022 val
* var20
/* : MClassDef */;
5023 short int var21
/* : Bool */;
5024 val
* var_other
/* var other: nullable Object */;
5025 short int var23
/* : Bool */;
5026 short int var25
/* : Bool */;
5027 val
* var26
/* : MProperty */;
5028 val
* var28
/* : MProperty */;
5029 short int var29
/* : Bool */;
5030 short int var30
/* : Bool */;
5031 val
* var31
/* : MProperty */;
5032 val
* var33
/* : MProperty */;
5033 short int var35
/* : Bool */;
5036 const struct type
* type_struct
;
5037 const char* var_class_name
;
5038 val
* var36
/* : MClassDef */;
5039 val
* var38
/* : MClassDef */;
5040 static val
* varonce
;
5041 val
* var39
/* : String */;
5042 char* var40
/* : NativeString */;
5043 long var41
/* : Int */;
5044 val
* var42
/* : FlatString */;
5045 val
* var43
/* : MProperty */;
5046 val
* var45
/* : MProperty */;
5047 val
* var46
/* : Array[Object] */;
5048 long var47
/* : Int */;
5049 val
* var48
/* : NativeArray[Object] */;
5050 val
* var49
/* : String */;
5052 ((void (*)(val
* self
))(self
->class->vft
[COLOR_nit___nit__MPropDef___standard__kernel__Object__init
]))(self
) /* init on <self:MPropDef>*/;
5055 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
5056 var2
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
5057 if (unlikely(var2
== NULL
)) {
5058 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
5059 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
5067 { /* Inline model#MClassDef#mpropdefs (var) on <var:MClassDef> */
5068 var5
= var
->attrs
[COLOR_nit__model__MClassDef___mpropdefs
].val
; /* _mpropdefs on <var:MClassDef> */
5069 if (unlikely(var5
== NULL
)) {
5070 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mpropdefs");
5071 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 623);
5079 standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var3
, self
); /* Direct call array#Array#add on <var3:Array[MPropDef]>*/
5082 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5083 var8
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5084 if (unlikely(var8
== NULL
)) {
5085 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5086 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5094 { /* Inline model#MProperty#mpropdefs (var6) on <var6:MProperty> */
5095 var11
= var6
->attrs
[COLOR_nit__model__MProperty___mpropdefs
].val
; /* _mpropdefs on <var6:MProperty> */
5096 if (unlikely(var11
== NULL
)) {
5097 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mpropdefs");
5098 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1768);
5102 RET_LABEL10
:(void)0;
5106 standard___standard__Array___standard__abstract_collection__SimpleCollection__add(var9
, self
); /* Direct call array#Array#add on <var9:Array[MPropDef]>*/
5109 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5110 var14
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5111 if (unlikely(var14
== NULL
)) {
5112 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5113 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5117 RET_LABEL13
:(void)0;
5121 { /* Inline model#MProperty#intro_mclassdef (var12) on <var12:MProperty> */
5122 var17
= var12
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var12:MProperty> */
5123 if (unlikely(var17
== NULL
)) {
5124 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
5125 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
5129 RET_LABEL16
:(void)0;
5133 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
5134 var20
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
5135 if (unlikely(var20
== NULL
)) {
5136 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
5137 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
5141 RET_LABEL19
:(void)0;
5145 { /* Inline kernel#Object#== (var15,var18) on <var15:MClassDef> */
5148 { /* Inline kernel#Object#is_same_instance (var15,var_other) on <var15:MClassDef> */
5149 var25
= var15
== var_other
;
5152 RET_LABEL24
:(void)0;
5157 RET_LABEL22
:(void)0;
5162 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5163 var28
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5164 if (unlikely(var28
== NULL
)) {
5165 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5166 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5170 RET_LABEL27
:(void)0;
5173 var29
= var26
->attrs
[COLOR_nit__model__MProperty___intro
].val
!= NULL
; /* _intro on <var26:MProperty> */
5175 if (unlikely(!var30
)) {
5176 PRINT_ERROR("Runtime error: %s", "Assert failed");
5177 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2024);
5181 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5182 var33
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5183 if (unlikely(var33
== NULL
)) {
5184 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5185 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5189 RET_LABEL32
:(void)0;
5193 { /* Inline model#MProperty#intro= (var31,self) on <var31:MProperty> */
5194 /* Covariant cast for argument 0 (intro) <self:MPropDef> isa MPROPDEF */
5195 /* <self:MPropDef> isa MPROPDEF */
5196 type_struct
= var31
->type
->resolution_table
->types
[COLOR_nit__model__MProperty__MPROPDEF
];
5197 cltype
= type_struct
->color
;
5198 idtype
= type_struct
->id
;
5199 if(cltype
>= self
->type
->table_size
) {
5202 var35
= self
->type
->type_table
[cltype
] == idtype
;
5204 if (unlikely(!var35
)) {
5205 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
5206 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "MPROPDEF", var_class_name
);
5207 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1773);
5210 var31
->attrs
[COLOR_nit__model__MProperty___intro
].val
= self
; /* _intro on <var31:MProperty> */
5211 RET_LABEL34
:(void)0;
5217 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
5218 var38
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
5219 if (unlikely(var38
== NULL
)) {
5220 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
5221 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
5225 RET_LABEL37
:(void)0;
5233 var42
= standard___standard__NativeString___to_s_with_length(var40
, var41
);
5238 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5239 var45
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5240 if (unlikely(var45
== NULL
)) {
5241 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5242 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5246 RET_LABEL44
:(void)0;
5249 var46
= NEW_standard__Array(&type_standard__Array__standard__Object
);
5250 { /* var46 = array_instance Array[Object] */
5252 var48
= NEW_standard__NativeArray(var47
, &type_standard__NativeArray__standard__Object
);
5253 ((struct instance_standard__NativeArray
*)var48
)->values
[0] = (val
*) var36
;
5254 ((struct instance_standard__NativeArray
*)var48
)->values
[1] = (val
*) var39
;
5255 ((struct instance_standard__NativeArray
*)var48
)->values
[2] = (val
*) var43
;
5257 ((void (*)(val
* self
, val
* p0
, long p1
))(var46
->class->vft
[COLOR_standard__array__Array__with_native
]))(var46
, var48
, var47
) /* with_native on <var46:Array[Object]>*/;
5261 var49
= ((val
* (*)(val
* self
))(var46
->class->vft
[COLOR_standard__string__Object__to_s
]))(var46
) /* to_s on <var46:Array[Object]>*/;
5264 { /* Inline model#MPropDef#to_s= (self,var49) on <self:MPropDef> */
5265 self
->attrs
[COLOR_nit__model__MPropDef___to_s
].val
= var49
; /* _to_s on <self:MPropDef> */
5266 RET_LABEL50
:(void)0;
5271 /* method model#MPropDef#name for (self: MPropDef): String */
5272 val
* nit___nit__MPropDef___nit__model_base__MEntity__name(val
* self
) {
5273 val
* var
/* : String */;
5274 val
* var1
/* : MProperty */;
5275 val
* var3
/* : MProperty */;
5276 val
* var4
/* : String */;
5277 val
* var6
/* : String */;
5279 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5280 var3
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5281 if (unlikely(var3
== NULL
)) {
5282 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5283 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5291 { /* Inline model#MProperty#name (var1) on <var1:MProperty> */
5292 var6
= var1
->attrs
[COLOR_nit__model__MProperty___name
].val
; /* _name on <var1:MProperty> */
5293 if (unlikely(var6
== NULL
)) {
5294 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
5295 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1741);
5307 /* method model#MPropDef#full_name for (self: MPropDef): String */
5308 val
* nit___nit__MPropDef___nit__model_base__MEntity__full_name(val
* self
) {
5309 val
* var
/* : String */;
5310 short int var1
/* : Bool */;
5311 val
* var2
/* : String */;
5312 val
* var3
/* : String */;
5313 val
* var5
/* : FlatBuffer */;
5314 val
* var_res
/* var res: FlatBuffer */;
5315 val
* var7
/* : MClassDef */;
5316 val
* var9
/* : MClassDef */;
5317 val
* var10
/* : String */;
5318 static val
* varonce
;
5319 val
* var11
/* : String */;
5320 char* var12
/* : NativeString */;
5321 long var13
/* : Int */;
5322 val
* var14
/* : FlatString */;
5323 val
* var15
/* : MClassDef */;
5324 val
* var17
/* : MClassDef */;
5325 val
* var18
/* : MClass */;
5326 val
* var20
/* : MClass */;
5327 val
* var21
/* : MProperty */;
5328 val
* var23
/* : MProperty */;
5329 val
* var24
/* : MClassDef */;
5330 val
* var26
/* : MClassDef */;
5331 val
* var27
/* : MClass */;
5332 val
* var29
/* : MClass */;
5333 short int var30
/* : Bool */;
5334 val
* var_other
/* var other: nullable Object */;
5335 short int var32
/* : Bool */;
5336 short int var34
/* : Bool */;
5337 val
* var35
/* : String */;
5338 val
* var36
/* : MClassDef */;
5339 val
* var38
/* : MClassDef */;
5340 val
* var39
/* : MModule */;
5341 val
* var41
/* : MModule */;
5342 val
* var42
/* : nullable MProject */;
5343 val
* var43
/* : MProperty */;
5344 val
* var45
/* : MProperty */;
5345 val
* var46
/* : MClassDef */;
5346 val
* var48
/* : MClassDef */;
5347 val
* var49
/* : MModule */;
5348 val
* var51
/* : MModule */;
5349 val
* var52
/* : nullable MProject */;
5350 short int var53
/* : Bool */;
5351 short int var54
/* : Bool */;
5352 val
* var_other56
/* var other: nullable Object */;
5353 short int var57
/* : Bool */;
5354 short int var58
/* : Bool */;
5355 val
* var59
/* : MProperty */;
5356 val
* var61
/* : MProperty */;
5357 val
* var62
/* : MClassDef */;
5358 val
* var64
/* : MClassDef */;
5359 val
* var65
/* : MModule */;
5360 val
* var67
/* : MModule */;
5361 val
* var68
/* : String */;
5362 static val
* varonce69
;
5363 val
* var70
/* : String */;
5364 char* var71
/* : NativeString */;
5365 long var72
/* : Int */;
5366 val
* var73
/* : FlatString */;
5367 val
* var74
/* : MProperty */;
5368 val
* var76
/* : MProperty */;
5369 val
* var77
/* : MVisibility */;
5370 val
* var79
/* : MVisibility */;
5371 val
* var80
/* : MVisibility */;
5372 short int var81
/* : Bool */;
5373 val
* var82
/* : MClassDef */;
5374 val
* var84
/* : MClassDef */;
5375 val
* var85
/* : MModule */;
5376 val
* var87
/* : MModule */;
5377 val
* var88
/* : MClassDef */;
5378 val
* var90
/* : MClassDef */;
5379 val
* var91
/* : MClass */;
5380 val
* var93
/* : MClass */;
5381 val
* var94
/* : MVisibility */;
5382 val
* var96
/* : MVisibility */;
5383 val
* var97
/* : String */;
5384 val
* var98
/* : MProperty */;
5385 val
* var100
/* : MProperty */;
5386 val
* var101
/* : MClassDef */;
5387 val
* var103
/* : MClassDef */;
5388 val
* var104
/* : MModule */;
5389 val
* var106
/* : MModule */;
5390 val
* var107
/* : nullable MProject */;
5391 short int var108
/* : Bool */;
5392 short int var110
/* : Bool */;
5393 short int var111
/* : Bool */;
5394 static val
* varonce112
;
5395 val
* var113
/* : String */;
5396 char* var114
/* : NativeString */;
5397 long var115
/* : Int */;
5398 val
* var116
/* : FlatString */;
5399 val
* var117
/* : MProperty */;
5400 val
* var119
/* : MProperty */;
5401 val
* var120
/* : MClassDef */;
5402 val
* var122
/* : MClassDef */;
5403 val
* var123
/* : MModule */;
5404 val
* var125
/* : MModule */;
5405 val
* var126
/* : String */;
5406 val
* var128
/* : String */;
5407 static val
* varonce129
;
5408 val
* var130
/* : String */;
5409 char* var131
/* : NativeString */;
5410 long var132
/* : Int */;
5411 val
* var133
/* : FlatString */;
5412 val
* var134
/* : MClassDef */;
5413 val
* var136
/* : MClassDef */;
5414 val
* var137
/* : MClass */;
5415 val
* var139
/* : MClass */;
5416 val
* var140
/* : MProperty */;
5417 val
* var142
/* : MProperty */;
5418 val
* var143
/* : MClassDef */;
5419 val
* var145
/* : MClassDef */;
5420 val
* var146
/* : MClass */;
5421 val
* var148
/* : MClass */;
5422 short int var149
/* : Bool */;
5423 short int var151
/* : Bool */;
5424 short int var152
/* : Bool */;
5425 val
* var153
/* : MProperty */;
5426 val
* var155
/* : MProperty */;
5427 val
* var156
/* : MClassDef */;
5428 val
* var158
/* : MClassDef */;
5429 val
* var159
/* : String */;
5430 static val
* varonce160
;
5431 val
* var161
/* : String */;
5432 char* var162
/* : NativeString */;
5433 long var163
/* : Int */;
5434 val
* var164
/* : FlatString */;
5435 val
* var165
/* : MProperty */;
5436 val
* var167
/* : MProperty */;
5437 val
* var168
/* : String */;
5438 val
* var170
/* : String */;
5439 val
* var171
/* : String */;
5440 var1
= self
->attrs
[COLOR_nit__model__MPropDef___full_name
].val
!= NULL
; /* _full_name on <self:MPropDef> */
5442 var2
= self
->attrs
[COLOR_nit__model__MPropDef___full_name
].val
; /* _full_name on <self:MPropDef> */
5443 if (unlikely(var2
== NULL
)) {
5444 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _full_name");
5445 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2033);
5450 var5
= NEW_standard__FlatBuffer(&type_standard__FlatBuffer
);
5452 { /* Inline string#FlatBuffer#init (var5) on <var5:FlatBuffer> */
5454 ((void (*)(val
* self
))(var5
->class->vft
[COLOR_standard___standard__FlatBuffer___standard__kernel__Object__init
]))(var5
) /* init on <var5:FlatBuffer>*/;
5461 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
5462 var9
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
5463 if (unlikely(var9
== NULL
)) {
5464 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
5465 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
5473 var10
= nit___nit__MClassDef___nit__model_base__MEntity__full_name(var7
);
5476 standard___standard__FlatBuffer___Buffer__append(var_res
, var10
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
5483 var14
= standard___standard__NativeString___to_s_with_length(var12
, var13
);
5488 standard___standard__FlatBuffer___Buffer__append(var_res
, var11
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
5491 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
5492 var17
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
5493 if (unlikely(var17
== NULL
)) {
5494 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
5495 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
5499 RET_LABEL16
:(void)0;
5503 { /* Inline model#MClassDef#mclass (var15) on <var15:MClassDef> */
5504 var20
= var15
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var15:MClassDef> */
5505 if (unlikely(var20
== NULL
)) {
5506 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
5507 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
5511 RET_LABEL19
:(void)0;
5515 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5516 var23
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5517 if (unlikely(var23
== NULL
)) {
5518 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5519 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5523 RET_LABEL22
:(void)0;
5527 { /* Inline model#MProperty#intro_mclassdef (var21) on <var21:MProperty> */
5528 var26
= var21
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var21:MProperty> */
5529 if (unlikely(var26
== NULL
)) {
5530 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
5531 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
5535 RET_LABEL25
:(void)0;
5539 { /* Inline model#MClassDef#mclass (var24) on <var24:MClassDef> */
5540 var29
= var24
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var24:MClassDef> */
5541 if (unlikely(var29
== NULL
)) {
5542 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
5543 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
5547 RET_LABEL28
:(void)0;
5551 { /* Inline kernel#Object#== (var18,var27) on <var18:MClass> */
5554 { /* Inline kernel#Object#is_same_instance (var18,var_other) on <var18:MClass> */
5555 var34
= var18
== var_other
;
5558 RET_LABEL33
:(void)0;
5563 RET_LABEL31
:(void)0;
5568 var35
= nit___nit__MPropDef___nit__model_base__MEntity__name(self
);
5571 standard___standard__FlatBuffer___Buffer__append(var_res
, var35
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
5575 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
5576 var38
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
5577 if (unlikely(var38
== NULL
)) {
5578 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
5579 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
5583 RET_LABEL37
:(void)0;
5587 { /* Inline model#MClassDef#mmodule (var36) on <var36:MClassDef> */
5588 var41
= var36
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var36:MClassDef> */
5589 if (unlikely(var41
== NULL
)) {
5590 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
5591 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
5595 RET_LABEL40
:(void)0;
5599 var42
= nit___nit__MModule___mproject(var39
);
5602 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5603 var45
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5604 if (unlikely(var45
== NULL
)) {
5605 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5606 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5610 RET_LABEL44
:(void)0;
5614 { /* Inline model#MProperty#intro_mclassdef (var43) on <var43:MProperty> */
5615 var48
= var43
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var43:MProperty> */
5616 if (unlikely(var48
== NULL
)) {
5617 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
5618 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
5622 RET_LABEL47
:(void)0;
5626 { /* Inline model#MClassDef#mmodule (var46) on <var46:MClassDef> */
5627 var51
= var46
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var46:MClassDef> */
5628 if (unlikely(var51
== NULL
)) {
5629 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
5630 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
5634 RET_LABEL50
:(void)0;
5638 var52
= nit___nit__MModule___mproject(var49
);
5640 if (var42
== NULL
) {
5641 var53
= (var52
!= NULL
);
5643 { /* Inline kernel#Object#!= (var42,var52) on <var42:nullable MProject> */
5644 var_other56
= var52
;
5646 var57
= ((short int (*)(val
* self
, val
* p0
))(var42
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var42
, var_other56
) /* == on <var42:nullable MProject(MProject)>*/;
5651 RET_LABEL55
:(void)0;
5657 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5658 var61
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5659 if (unlikely(var61
== NULL
)) {
5660 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5661 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5665 RET_LABEL60
:(void)0;
5669 { /* Inline model#MProperty#intro_mclassdef (var59) on <var59:MProperty> */
5670 var64
= var59
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var59:MProperty> */
5671 if (unlikely(var64
== NULL
)) {
5672 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
5673 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
5677 RET_LABEL63
:(void)0;
5681 { /* Inline model#MClassDef#mmodule (var62) on <var62:MClassDef> */
5682 var67
= var62
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var62:MClassDef> */
5683 if (unlikely(var67
== NULL
)) {
5684 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
5685 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
5689 RET_LABEL66
:(void)0;
5693 var68
= nit___nit__MModule___nit__model_base__MEntity__full_name(var65
);
5696 standard___standard__FlatBuffer___Buffer__append(var_res
, var68
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
5703 var73
= standard___standard__NativeString___to_s_with_length(var71
, var72
);
5708 standard___standard__FlatBuffer___Buffer__append(var_res
, var70
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
5712 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5713 var76
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5714 if (unlikely(var76
== NULL
)) {
5715 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5716 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5720 RET_LABEL75
:(void)0;
5724 { /* Inline model#MProperty#visibility (var74) on <var74:MProperty> */
5725 var79
= var74
->attrs
[COLOR_nit__model__MProperty___visibility
].val
; /* _visibility on <var74:MProperty> */
5726 if (unlikely(var79
== NULL
)) {
5727 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _visibility");
5728 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1757);
5732 RET_LABEL78
:(void)0;
5736 var80
= nit__model_base___standard__Object___private_visibility(self
);
5739 var81
= standard___standard__Comparable____60d_61d(var77
, var80
);
5743 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
5744 var84
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
5745 if (unlikely(var84
== NULL
)) {
5746 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
5747 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
5751 RET_LABEL83
:(void)0;
5755 { /* Inline model#MClassDef#mmodule (var82) on <var82:MClassDef> */
5756 var87
= var82
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var82:MClassDef> */
5757 if (unlikely(var87
== NULL
)) {
5758 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
5759 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
5763 RET_LABEL86
:(void)0;
5767 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
5768 var90
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
5769 if (unlikely(var90
== NULL
)) {
5770 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
5771 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
5775 RET_LABEL89
:(void)0;
5779 { /* Inline model#MClassDef#mclass (var88) on <var88:MClassDef> */
5780 var93
= var88
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var88:MClassDef> */
5781 if (unlikely(var93
== NULL
)) {
5782 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
5783 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
5787 RET_LABEL92
:(void)0;
5791 { /* Inline model#MClass#visibility (var91) on <var91:MClass> */
5792 var96
= var91
->attrs
[COLOR_nit__model__MClass___visibility
].val
; /* _visibility on <var91:MClass> */
5793 if (unlikely(var96
== NULL
)) {
5794 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _visibility");
5795 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 403);
5799 RET_LABEL95
:(void)0;
5803 var97
= nit___nit__MModule___namespace_for(var85
, var94
);
5806 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5807 var100
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5808 if (unlikely(var100
== NULL
)) {
5809 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5810 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5814 RET_LABEL99
:(void)0;
5818 { /* Inline model#MProperty#intro_mclassdef (var98) on <var98:MProperty> */
5819 var103
= var98
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var98:MProperty> */
5820 if (unlikely(var103
== NULL
)) {
5821 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
5822 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
5826 RET_LABEL102
:(void)0;
5830 { /* Inline model#MClassDef#mmodule (var101) on <var101:MClassDef> */
5831 var106
= var101
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var101:MClassDef> */
5832 if (unlikely(var106
== NULL
)) {
5833 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
5834 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
5838 RET_LABEL105
:(void)0;
5842 var107
= nit___nit__MModule___mproject(var104
);
5845 { /* Inline kernel#Object#!= (var97,var107) on <var97:String> */
5846 var_other56
= var107
;
5848 var110
= ((short int (*)(val
* self
, val
* p0
))(var97
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var97
, var_other56
) /* == on <var97:String>*/;
5853 RET_LABEL109
:(void)0;
5858 var113
= varonce112
;
5862 var116
= standard___standard__NativeString___to_s_with_length(var114
, var115
);
5864 varonce112
= var113
;
5867 standard___standard__FlatBuffer___Buffer__append(var_res
, var113
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
5870 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5871 var119
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5872 if (unlikely(var119
== NULL
)) {
5873 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5874 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5878 RET_LABEL118
:(void)0;
5882 { /* Inline model#MProperty#intro_mclassdef (var117) on <var117:MProperty> */
5883 var122
= var117
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var117:MProperty> */
5884 if (unlikely(var122
== NULL
)) {
5885 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
5886 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
5890 RET_LABEL121
:(void)0;
5894 { /* Inline model#MClassDef#mmodule (var120) on <var120:MClassDef> */
5895 var125
= var120
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var120:MClassDef> */
5896 if (unlikely(var125
== NULL
)) {
5897 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
5898 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
5902 RET_LABEL124
:(void)0;
5906 { /* Inline mmodule#MModule#name (var123) on <var123:MModule> */
5907 var128
= var123
->attrs
[COLOR_nit__mmodule__MModule___name
].val
; /* _name on <var123:MModule> */
5908 if (unlikely(var128
== NULL
)) {
5909 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
5910 PRINT_ERROR(" (%s:%d)\n", FILE_nit__mmodule
, 87);
5914 RET_LABEL127
:(void)0;
5918 standard___standard__FlatBuffer___Buffer__append(var_res
, var126
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
5921 var130
= varonce129
;
5925 var133
= standard___standard__NativeString___to_s_with_length(var131
, var132
);
5927 varonce129
= var130
;
5930 standard___standard__FlatBuffer___Buffer__append(var_res
, var130
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
5938 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
5939 var136
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
5940 if (unlikely(var136
== NULL
)) {
5941 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
5942 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
5946 RET_LABEL135
:(void)0;
5950 { /* Inline model#MClassDef#mclass (var134) on <var134:MClassDef> */
5951 var139
= var134
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var134:MClassDef> */
5952 if (unlikely(var139
== NULL
)) {
5953 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
5954 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
5958 RET_LABEL138
:(void)0;
5962 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
5963 var142
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
5964 if (unlikely(var142
== NULL
)) {
5965 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
5966 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
5970 RET_LABEL141
:(void)0;
5974 { /* Inline model#MProperty#intro_mclassdef (var140) on <var140:MProperty> */
5975 var145
= var140
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var140:MProperty> */
5976 if (unlikely(var145
== NULL
)) {
5977 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
5978 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
5982 RET_LABEL144
:(void)0;
5986 { /* Inline model#MClassDef#mclass (var143) on <var143:MClassDef> */
5987 var148
= var143
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var143:MClassDef> */
5988 if (unlikely(var148
== NULL
)) {
5989 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
5990 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
5994 RET_LABEL147
:(void)0;
5998 { /* Inline kernel#Object#!= (var137,var146) on <var137:MClass> */
5999 var_other56
= var146
;
6001 var151
= ((short int (*)(val
* self
, val
* p0
))(var137
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var137
, var_other56
) /* == on <var137:MClass>*/;
6006 RET_LABEL150
:(void)0;
6011 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
6012 var155
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
6013 if (unlikely(var155
== NULL
)) {
6014 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
6015 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
6019 RET_LABEL154
:(void)0;
6023 { /* Inline model#MProperty#intro_mclassdef (var153) on <var153:MProperty> */
6024 var158
= var153
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var153:MProperty> */
6025 if (unlikely(var158
== NULL
)) {
6026 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
6027 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
6031 RET_LABEL157
:(void)0;
6035 var159
= nit___nit__MClassDef___nit__model_base__MEntity__name(var156
);
6038 standard___standard__FlatBuffer___Buffer__append(var_res
, var159
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6041 var161
= varonce160
;
6045 var164
= standard___standard__NativeString___to_s_with_length(var162
, var163
);
6047 varonce160
= var161
;
6050 standard___standard__FlatBuffer___Buffer__append(var_res
, var161
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6055 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
6056 var167
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
6057 if (unlikely(var167
== NULL
)) {
6058 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
6059 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
6063 RET_LABEL166
:(void)0;
6067 { /* Inline model#MProperty#name (var165) on <var165:MProperty> */
6068 var170
= var165
->attrs
[COLOR_nit__model__MProperty___name
].val
; /* _name on <var165:MProperty> */
6069 if (unlikely(var170
== NULL
)) {
6070 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
6071 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1741);
6075 RET_LABEL169
:(void)0;
6079 standard___standard__FlatBuffer___Buffer__append(var_res
, var168
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6083 var171
= standard___standard__FlatBuffer___Object__to_s(var_res
);
6089 self
->attrs
[COLOR_nit__model__MPropDef___full_name
].val
= var3
; /* _full_name on <self:MPropDef> */
6096 /* method model#MPropDef#c_name for (self: MPropDef): String */
6097 val
* nit___nit__MPropDef___nit__model_base__MEntity__c_name(val
* self
) {
6098 val
* var
/* : String */;
6099 short int var1
/* : Bool */;
6100 val
* var2
/* : String */;
6101 val
* var3
/* : String */;
6102 val
* var5
/* : FlatBuffer */;
6103 val
* var_res
/* var res: FlatBuffer */;
6104 val
* var7
/* : MClassDef */;
6105 val
* var9
/* : MClassDef */;
6106 val
* var10
/* : String */;
6107 static val
* varonce
;
6108 val
* var11
/* : String */;
6109 char* var12
/* : NativeString */;
6110 long var13
/* : Int */;
6111 val
* var14
/* : FlatString */;
6112 val
* var15
/* : MClassDef */;
6113 val
* var17
/* : MClassDef */;
6114 val
* var18
/* : MClass */;
6115 val
* var20
/* : MClass */;
6116 val
* var21
/* : MProperty */;
6117 val
* var23
/* : MProperty */;
6118 val
* var24
/* : MClassDef */;
6119 val
* var26
/* : MClassDef */;
6120 val
* var27
/* : MClass */;
6121 val
* var29
/* : MClass */;
6122 short int var30
/* : Bool */;
6123 val
* var_other
/* var other: nullable Object */;
6124 short int var32
/* : Bool */;
6125 short int var34
/* : Bool */;
6126 val
* var35
/* : String */;
6127 val
* var36
/* : String */;
6128 val
* var37
/* : MClassDef */;
6129 val
* var39
/* : MClassDef */;
6130 val
* var40
/* : MModule */;
6131 val
* var42
/* : MModule */;
6132 val
* var43
/* : MProperty */;
6133 val
* var45
/* : MProperty */;
6134 val
* var46
/* : MClassDef */;
6135 val
* var48
/* : MClassDef */;
6136 val
* var49
/* : MModule */;
6137 val
* var51
/* : MModule */;
6138 short int var52
/* : Bool */;
6139 val
* var_other54
/* var other: nullable Object */;
6140 short int var55
/* : Bool */;
6141 short int var56
/* : Bool */;
6142 val
* var57
/* : MProperty */;
6143 val
* var59
/* : MProperty */;
6144 val
* var60
/* : MClassDef */;
6145 val
* var62
/* : MClassDef */;
6146 val
* var63
/* : MModule */;
6147 val
* var65
/* : MModule */;
6148 val
* var66
/* : String */;
6149 static val
* varonce67
;
6150 val
* var68
/* : String */;
6151 char* var69
/* : NativeString */;
6152 long var70
/* : Int */;
6153 val
* var71
/* : FlatString */;
6154 val
* var72
/* : MClassDef */;
6155 val
* var74
/* : MClassDef */;
6156 val
* var75
/* : MClass */;
6157 val
* var77
/* : MClass */;
6158 val
* var78
/* : MProperty */;
6159 val
* var80
/* : MProperty */;
6160 val
* var81
/* : MClassDef */;
6161 val
* var83
/* : MClassDef */;
6162 val
* var84
/* : MClass */;
6163 val
* var86
/* : MClass */;
6164 short int var87
/* : Bool */;
6165 short int var89
/* : Bool */;
6166 short int var90
/* : Bool */;
6167 val
* var91
/* : MProperty */;
6168 val
* var93
/* : MProperty */;
6169 val
* var94
/* : MClassDef */;
6170 val
* var96
/* : MClassDef */;
6171 val
* var97
/* : String */;
6172 val
* var98
/* : String */;
6173 static val
* varonce99
;
6174 val
* var100
/* : String */;
6175 char* var101
/* : NativeString */;
6176 long var102
/* : Int */;
6177 val
* var103
/* : FlatString */;
6178 val
* var104
/* : MProperty */;
6179 val
* var106
/* : MProperty */;
6180 val
* var107
/* : String */;
6181 val
* var109
/* : String */;
6182 val
* var110
/* : String */;
6183 val
* var111
/* : String */;
6184 var1
= self
->attrs
[COLOR_nit__model__MPropDef___c_name
].val
!= NULL
; /* _c_name on <self:MPropDef> */
6186 var2
= self
->attrs
[COLOR_nit__model__MPropDef___c_name
].val
; /* _c_name on <self:MPropDef> */
6187 if (unlikely(var2
== NULL
)) {
6188 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _c_name");
6189 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2082);
6194 var5
= NEW_standard__FlatBuffer(&type_standard__FlatBuffer
);
6196 { /* Inline string#FlatBuffer#init (var5) on <var5:FlatBuffer> */
6198 ((void (*)(val
* self
))(var5
->class->vft
[COLOR_standard___standard__FlatBuffer___standard__kernel__Object__init
]))(var5
) /* init on <var5:FlatBuffer>*/;
6205 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
6206 var9
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
6207 if (unlikely(var9
== NULL
)) {
6208 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
6209 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
6217 var10
= nit___nit__MClassDef___nit__model_base__MEntity__c_name(var7
);
6220 standard___standard__FlatBuffer___Buffer__append(var_res
, var10
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6227 var14
= standard___standard__NativeString___to_s_with_length(var12
, var13
);
6232 standard___standard__FlatBuffer___Buffer__append(var_res
, var11
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6235 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
6236 var17
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
6237 if (unlikely(var17
== NULL
)) {
6238 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
6239 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
6243 RET_LABEL16
:(void)0;
6247 { /* Inline model#MClassDef#mclass (var15) on <var15:MClassDef> */
6248 var20
= var15
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var15:MClassDef> */
6249 if (unlikely(var20
== NULL
)) {
6250 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
6251 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
6255 RET_LABEL19
:(void)0;
6259 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
6260 var23
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
6261 if (unlikely(var23
== NULL
)) {
6262 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
6263 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
6267 RET_LABEL22
:(void)0;
6271 { /* Inline model#MProperty#intro_mclassdef (var21) on <var21:MProperty> */
6272 var26
= var21
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var21:MProperty> */
6273 if (unlikely(var26
== NULL
)) {
6274 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
6275 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
6279 RET_LABEL25
:(void)0;
6283 { /* Inline model#MClassDef#mclass (var24) on <var24:MClassDef> */
6284 var29
= var24
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var24:MClassDef> */
6285 if (unlikely(var29
== NULL
)) {
6286 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
6287 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
6291 RET_LABEL28
:(void)0;
6295 { /* Inline kernel#Object#== (var18,var27) on <var18:MClass> */
6298 { /* Inline kernel#Object#is_same_instance (var18,var_other) on <var18:MClass> */
6299 var34
= var18
== var_other
;
6302 RET_LABEL33
:(void)0;
6307 RET_LABEL31
:(void)0;
6312 var35
= nit___nit__MPropDef___nit__model_base__MEntity__name(self
);
6315 var36
= standard___standard__Text___to_cmangle(var35
);
6318 standard___standard__FlatBuffer___Buffer__append(var_res
, var36
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6322 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
6323 var39
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
6324 if (unlikely(var39
== NULL
)) {
6325 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
6326 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
6330 RET_LABEL38
:(void)0;
6334 { /* Inline model#MClassDef#mmodule (var37) on <var37:MClassDef> */
6335 var42
= var37
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var37:MClassDef> */
6336 if (unlikely(var42
== NULL
)) {
6337 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
6338 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
6342 RET_LABEL41
:(void)0;
6346 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
6347 var45
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
6348 if (unlikely(var45
== NULL
)) {
6349 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
6350 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
6354 RET_LABEL44
:(void)0;
6358 { /* Inline model#MProperty#intro_mclassdef (var43) on <var43:MProperty> */
6359 var48
= var43
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var43:MProperty> */
6360 if (unlikely(var48
== NULL
)) {
6361 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
6362 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
6366 RET_LABEL47
:(void)0;
6370 { /* Inline model#MClassDef#mmodule (var46) on <var46:MClassDef> */
6371 var51
= var46
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var46:MClassDef> */
6372 if (unlikely(var51
== NULL
)) {
6373 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
6374 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
6378 RET_LABEL50
:(void)0;
6382 { /* Inline kernel#Object#!= (var40,var49) on <var40:MModule> */
6383 var_other54
= var49
;
6385 var55
= ((short int (*)(val
* self
, val
* p0
))(var40
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var40
, var_other54
) /* == on <var40:MModule>*/;
6390 RET_LABEL53
:(void)0;
6395 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
6396 var59
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
6397 if (unlikely(var59
== NULL
)) {
6398 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
6399 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
6403 RET_LABEL58
:(void)0;
6407 { /* Inline model#MProperty#intro_mclassdef (var57) on <var57:MProperty> */
6408 var62
= var57
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var57:MProperty> */
6409 if (unlikely(var62
== NULL
)) {
6410 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
6411 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
6415 RET_LABEL61
:(void)0;
6419 { /* Inline model#MClassDef#mmodule (var60) on <var60:MClassDef> */
6420 var65
= var60
->attrs
[COLOR_nit__model__MClassDef___mmodule
].val
; /* _mmodule on <var60:MClassDef> */
6421 if (unlikely(var65
== NULL
)) {
6422 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mmodule");
6423 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 489);
6427 RET_LABEL64
:(void)0;
6431 var66
= nit___nit__MModule___nit__model_base__MEntity__c_name(var63
);
6434 standard___standard__FlatBuffer___Buffer__append(var_res
, var66
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6441 var71
= standard___standard__NativeString___to_s_with_length(var69
, var70
);
6446 standard___standard__FlatBuffer___Buffer__append(var_res
, var68
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6451 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
6452 var74
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
6453 if (unlikely(var74
== NULL
)) {
6454 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
6455 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
6459 RET_LABEL73
:(void)0;
6463 { /* Inline model#MClassDef#mclass (var72) on <var72:MClassDef> */
6464 var77
= var72
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var72:MClassDef> */
6465 if (unlikely(var77
== NULL
)) {
6466 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
6467 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
6471 RET_LABEL76
:(void)0;
6475 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
6476 var80
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
6477 if (unlikely(var80
== NULL
)) {
6478 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
6479 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
6483 RET_LABEL79
:(void)0;
6487 { /* Inline model#MProperty#intro_mclassdef (var78) on <var78:MProperty> */
6488 var83
= var78
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var78:MProperty> */
6489 if (unlikely(var83
== NULL
)) {
6490 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
6491 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
6495 RET_LABEL82
:(void)0;
6499 { /* Inline model#MClassDef#mclass (var81) on <var81:MClassDef> */
6500 var86
= var81
->attrs
[COLOR_nit__model__MClassDef___mclass
].val
; /* _mclass on <var81:MClassDef> */
6501 if (unlikely(var86
== NULL
)) {
6502 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
6503 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 492);
6507 RET_LABEL85
:(void)0;
6511 { /* Inline kernel#Object#!= (var75,var84) on <var75:MClass> */
6512 var_other54
= var84
;
6514 var89
= ((short int (*)(val
* self
, val
* p0
))(var75
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var75
, var_other54
) /* == on <var75:MClass>*/;
6519 RET_LABEL88
:(void)0;
6524 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
6525 var93
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
6526 if (unlikely(var93
== NULL
)) {
6527 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
6528 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
6532 RET_LABEL92
:(void)0;
6536 { /* Inline model#MProperty#intro_mclassdef (var91) on <var91:MProperty> */
6537 var96
= var91
->attrs
[COLOR_nit__model__MProperty___intro_mclassdef
].val
; /* _intro_mclassdef on <var91:MProperty> */
6538 if (unlikely(var96
== NULL
)) {
6539 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro_mclassdef");
6540 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1736);
6544 RET_LABEL95
:(void)0;
6548 var97
= nit___nit__MClassDef___nit__model_base__MEntity__name(var94
);
6551 var98
= standard___standard__Text___to_cmangle(var97
);
6554 standard___standard__FlatBuffer___Buffer__append(var_res
, var98
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6561 var103
= standard___standard__NativeString___to_s_with_length(var101
, var102
);
6566 standard___standard__FlatBuffer___Buffer__append(var_res
, var100
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6571 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
6572 var106
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
6573 if (unlikely(var106
== NULL
)) {
6574 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
6575 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
6579 RET_LABEL105
:(void)0;
6583 { /* Inline model#MProperty#name (var104) on <var104:MProperty> */
6584 var109
= var104
->attrs
[COLOR_nit__model__MProperty___name
].val
; /* _name on <var104:MProperty> */
6585 if (unlikely(var109
== NULL
)) {
6586 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
6587 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1741);
6591 RET_LABEL108
:(void)0;
6595 var110
= standard___standard__Text___to_cmangle(var107
);
6598 standard___standard__FlatBuffer___Buffer__append(var_res
, var110
); /* Direct call string#FlatBuffer#append on <var_res:FlatBuffer>*/
6602 var111
= standard___standard__FlatBuffer___Object__to_s(var_res
);
6608 self
->attrs
[COLOR_nit__model__MPropDef___c_name
].val
= var3
; /* _c_name on <self:MPropDef> */
6615 /* method model#MPropDef#model for (self: MPropDef): Model */
6616 val
* nit___nit__MPropDef___nit__model_base__MEntity__model(val
* self
) {
6617 val
* var
/* : Model */;
6618 val
* var1
/* : MClassDef */;
6619 val
* var3
/* : MClassDef */;
6620 val
* var4
/* : Model */;
6622 { /* Inline model#MPropDef#mclassdef (self) on <self:MPropDef> */
6623 var3
= self
->attrs
[COLOR_nit__model__MPropDef___mclassdef
].val
; /* _mclassdef on <self:MPropDef> */
6624 if (unlikely(var3
== NULL
)) {
6625 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclassdef");
6626 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2010);
6634 var4
= nit___nit__MClassDef___nit__model_base__MEntity__model(var1
);
6641 /* method model#MPropDef#to_s for (self: MPropDef): String */
6642 val
* nit___nit__MPropDef___standard__string__Object__to_s(val
* self
) {
6643 val
* var
/* : String */;
6644 val
* var1
/* : String */;
6645 var1
= self
->attrs
[COLOR_nit__model__MPropDef___to_s
].val
; /* _to_s on <self:MPropDef> */
6646 if (unlikely(var1
== NULL
)) {
6647 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _to_s");
6648 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2104);
6655 /* method model#MPropDef#to_s= for (self: MPropDef, String) */
6656 void nit___nit__MPropDef___to_s_61d(val
* self
, val
* p0
) {
6657 self
->attrs
[COLOR_nit__model__MPropDef___to_s
].val
= p0
; /* _to_s on <self:MPropDef> */
6660 /* method model#MPropDef#is_intro for (self: MPropDef): Bool */
6661 short int nit___nit__MPropDef___is_intro(val
* self
) {
6662 short int var
/* : Bool */;
6663 val
* var1
/* : MProperty */;
6664 val
* var3
/* : MProperty */;
6665 val
* var4
/* : MPropDef */;
6666 val
* var6
/* : MPropDef */;
6667 short int var7
/* : Bool */;
6668 val
* var_other
/* var other: nullable Object */;
6669 short int var9
/* : Bool */;
6670 short int var11
/* : Bool */;
6672 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
6673 var3
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
6674 if (unlikely(var3
== NULL
)) {
6675 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
6676 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
6684 { /* Inline model#MProperty#intro (var1) on <var1:MProperty> */
6685 var6
= var1
->attrs
[COLOR_nit__model__MProperty___intro
].val
; /* _intro on <var1:MProperty> */
6686 if (unlikely(var6
== NULL
)) {
6687 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _intro");
6688 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 1773);
6696 { /* Inline kernel#Object#== (var4,self) on <var4:MPropDef> */
6699 { /* Inline kernel#Object#is_same_instance (var4,var_other) on <var4:MPropDef> */
6700 var11
= var4
== var_other
;
6703 RET_LABEL10
:(void)0;
6716 /* method model#MPropDef#lookup_next_definition for (self: MPropDef, MModule, MType): MPropDef */
6717 val
* nit___nit__MPropDef___lookup_next_definition(val
* self
, val
* p0
, val
* p1
) {
6718 val
* var
/* : MPropDef */;
6719 val
* var_mmodule
/* var mmodule: MModule */;
6720 val
* var_mtype
/* var mtype: MType */;
6721 short int var1
/* : Bool */;
6722 short int var2
/* : Bool */;
6723 val
* var3
/* : MProperty */;
6724 val
* var5
/* : MProperty */;
6725 val
* var6
/* : Array[MPropDef] */;
6726 val
* var_mpropdefs
/* var mpropdefs: Array[MPropDef] */;
6727 val
* var7
/* : ArrayIterator[nullable Object] */;
6728 val
* var_i
/* var i: ArrayIterator[MPropDef] */;
6729 short int var8
/* : Bool */;
6730 short int var9
/* : Bool */;
6731 short int var_
/* var : Bool */;
6732 val
* var10
/* : nullable Object */;
6733 short int var11
/* : Bool */;
6734 val
* var_other
/* var other: nullable Object */;
6735 short int var13
/* : Bool */;
6736 short int var14
/* : Bool */;
6737 short int var15
/* : Bool */;
6738 short int var16
/* : Bool */;
6739 val
* var17
/* : nullable Object */;
6740 short int var18
/* : Bool */;
6743 const struct type
* type_struct
;
6744 const char* var_class_name
;
6748 var1
= ((short int (*)(val
* self
))(var_mtype
->class->vft
[COLOR_nit__model__MType__need_anchor
]))(var_mtype
) /* need_anchor on <var_mtype:MType>*/;
6751 if (unlikely(!var2
)) {
6752 PRINT_ERROR("Runtime error: %s", "Assert failed");
6753 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2118);
6757 { /* Inline model#MPropDef#mproperty (self) on <self:MPropDef> */
6758 var5
= self
->attrs
[COLOR_nit__model__MPropDef___mproperty
].val
; /* _mproperty on <self:MPropDef> */
6759 if (unlikely(var5
== NULL
)) {
6760 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
6761 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2013);
6769 var6
= nit___nit__MProperty___lookup_all_definitions(var3
, var_mmodule
, var_mtype
);
6771 var_mpropdefs
= var6
;
6773 var7
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_mpropdefs
);
6778 var9
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_i
);
6783 var10
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_i
);
6786 { /* Inline kernel#Object#!= (var10,self) on <var10:nullable Object(MPropDef)> */
6789 var13
= ((short int (*)(val
* self
, val
* p0
))(var10
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var10
, var_other
) /* == on <var10:nullable Object(MPropDef)>*/;
6794 RET_LABEL12
:(void)0;
6803 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_i
); /* Direct call array#ArrayIterator#next on <var_i:ArrayIterator[MPropDef]>*/
6809 BREAK_label
: (void)0;
6811 var15
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_i
);
6813 if (unlikely(!var15
)) {
6814 PRINT_ERROR("Runtime error: %s", "Assert \'has_property\' failed");
6815 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2123);
6819 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_i
); /* Direct call array#ArrayIterator#next on <var_i:ArrayIterator[MPropDef]>*/
6822 var16
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_i
);
6824 if (unlikely(!var16
)) {
6825 PRINT_ERROR("Runtime error: %s", "Assert \'has_next_property\' failed");
6826 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2125);
6830 var17
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_i
);
6832 /* <var17:nullable Object(MPropDef)> isa MPROPDEF */
6833 type_struct
= self
->type
->resolution_table
->types
[COLOR_nit__model__MPropDef__MPROPDEF
];
6834 cltype
= type_struct
->color
;
6835 idtype
= type_struct
->id
;
6836 if(cltype
>= var17
->type
->table_size
) {
6839 var18
= var17
->type
->type_table
[cltype
] == idtype
;
6841 if (unlikely(!var18
)) {
6842 var_class_name
= var17
== NULL ?
"null" : var17
->type
->name
;
6843 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "MPROPDEF", var_class_name
);
6844 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2126);
6852 /* method model#MMethodDef#msignature for (self: MMethodDef): nullable MSignature */
6853 val
* nit___nit__MMethodDef___msignature(val
* self
) {
6854 val
* var
/* : nullable MSignature */;
6855 val
* var1
/* : nullable MSignature */;
6856 var1
= self
->attrs
[COLOR_nit__model__MMethodDef___msignature
].val
; /* _msignature on <self:MMethodDef> */
6861 /* method model#MMethodDef#msignature= for (self: MMethodDef, nullable MSignature) */
6862 void nit___nit__MMethodDef___msignature_61d(val
* self
, val
* p0
) {
6863 self
->attrs
[COLOR_nit__model__MMethodDef___msignature
].val
= p0
; /* _msignature on <self:MMethodDef> */
6866 /* method model#MMethodDef#new_msignature for (self: MMethodDef): nullable MSignature */
6867 val
* nit___nit__MMethodDef___new_msignature(val
* self
) {
6868 val
* var
/* : nullable MSignature */;
6869 val
* var1
/* : nullable MSignature */;
6870 var1
= self
->attrs
[COLOR_nit__model__MMethodDef___new_msignature
].val
; /* _new_msignature on <self:MMethodDef> */
6875 /* method model#MMethodDef#new_msignature= for (self: MMethodDef, nullable MSignature) */
6876 void nit___nit__MMethodDef___new_msignature_61d(val
* self
, val
* p0
) {
6877 self
->attrs
[COLOR_nit__model__MMethodDef___new_msignature
].val
= p0
; /* _new_msignature on <self:MMethodDef> */
6880 /* method model#MMethodDef#initializers for (self: MMethodDef): Array[MProperty] */
6881 val
* nit___nit__MMethodDef___initializers(val
* self
) {
6882 val
* var
/* : Array[MProperty] */;
6883 val
* var1
/* : Array[MProperty] */;
6884 var1
= self
->attrs
[COLOR_nit__model__MMethodDef___initializers
].val
; /* _initializers on <self:MMethodDef> */
6885 if (unlikely(var1
== NULL
)) {
6886 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _initializers");
6887 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2146);
6894 /* method model#MMethodDef#is_abstract for (self: MMethodDef): Bool */
6895 short int nit___nit__MMethodDef___is_abstract(val
* self
) {
6896 short int var
/* : Bool */;
6897 short int var1
/* : Bool */;
6898 var1
= self
->attrs
[COLOR_nit__model__MMethodDef___is_abstract
].s
; /* _is_abstract on <self:MMethodDef> */
6903 /* method model#MMethodDef#is_abstract= for (self: MMethodDef, Bool) */
6904 void nit___nit__MMethodDef___is_abstract_61d(val
* self
, short int p0
) {
6905 self
->attrs
[COLOR_nit__model__MMethodDef___is_abstract
].s
= p0
; /* _is_abstract on <self:MMethodDef> */
6908 /* method model#MMethodDef#is_intern for (self: MMethodDef): Bool */
6909 short int nit___nit__MMethodDef___is_intern(val
* self
) {
6910 short int var
/* : Bool */;
6911 short int var1
/* : Bool */;
6912 var1
= self
->attrs
[COLOR_nit__model__MMethodDef___is_intern
].s
; /* _is_intern on <self:MMethodDef> */
6917 /* method model#MMethodDef#is_intern= for (self: MMethodDef, Bool) */
6918 void nit___nit__MMethodDef___is_intern_61d(val
* self
, short int p0
) {
6919 self
->attrs
[COLOR_nit__model__MMethodDef___is_intern
].s
= p0
; /* _is_intern on <self:MMethodDef> */
6922 /* method model#MMethodDef#is_extern for (self: MMethodDef): Bool */
6923 short int nit___nit__MMethodDef___is_extern(val
* self
) {
6924 short int var
/* : Bool */;
6925 short int var1
/* : Bool */;
6926 var1
= self
->attrs
[COLOR_nit__model__MMethodDef___is_extern
].s
; /* _is_extern on <self:MMethodDef> */
6931 /* method model#MMethodDef#is_extern= for (self: MMethodDef, Bool) */
6932 void nit___nit__MMethodDef___is_extern_61d(val
* self
, short int p0
) {
6933 self
->attrs
[COLOR_nit__model__MMethodDef___is_extern
].s
= p0
; /* _is_extern on <self:MMethodDef> */
6936 /* method model#MMethodDef#constant_value for (self: MMethodDef): nullable Object */
6937 val
* nit___nit__MMethodDef___constant_value(val
* self
) {
6938 val
* var
/* : nullable Object */;
6939 val
* var1
/* : nullable Object */;
6940 var1
= self
->attrs
[COLOR_nit__model__MMethodDef___constant_value
].val
; /* _constant_value on <self:MMethodDef> */
6945 /* method model#MMethodDef#constant_value= for (self: MMethodDef, nullable Object) */
6946 void nit___nit__MMethodDef___constant_value_61d(val
* self
, val
* p0
) {
6947 self
->attrs
[COLOR_nit__model__MMethodDef___constant_value
].val
= p0
; /* _constant_value on <self:MMethodDef> */
6950 /* method model#MAttributeDef#static_mtype for (self: MAttributeDef): nullable MType */
6951 val
* nit___nit__MAttributeDef___static_mtype(val
* self
) {
6952 val
* var
/* : nullable MType */;
6953 val
* var1
/* : nullable MType */;
6954 var1
= self
->attrs
[COLOR_nit__model__MAttributeDef___static_mtype
].val
; /* _static_mtype on <self:MAttributeDef> */
6959 /* method model#MAttributeDef#static_mtype= for (self: MAttributeDef, nullable MType) */
6960 void nit___nit__MAttributeDef___static_mtype_61d(val
* self
, val
* p0
) {
6961 self
->attrs
[COLOR_nit__model__MAttributeDef___static_mtype
].val
= p0
; /* _static_mtype on <self:MAttributeDef> */
6964 /* method model#MVirtualTypeDef#bound for (self: MVirtualTypeDef): nullable MType */
6965 val
* nit___nit__MVirtualTypeDef___bound(val
* self
) {
6966 val
* var
/* : nullable MType */;
6967 val
* var1
/* : nullable MType */;
6968 var1
= self
->attrs
[COLOR_nit__model__MVirtualTypeDef___bound
].val
; /* _bound on <self:MVirtualTypeDef> */
6973 /* method model#MVirtualTypeDef#bound= for (self: MVirtualTypeDef, nullable MType) */
6974 void nit___nit__MVirtualTypeDef___bound_61d(val
* self
, val
* p0
) {
6975 self
->attrs
[COLOR_nit__model__MVirtualTypeDef___bound
].val
= p0
; /* _bound on <self:MVirtualTypeDef> */
6978 /* method model#MVirtualTypeDef#is_fixed for (self: MVirtualTypeDef): Bool */
6979 short int nit___nit__MVirtualTypeDef___is_fixed(val
* self
) {
6980 short int var
/* : Bool */;
6981 short int var1
/* : Bool */;
6982 var1
= self
->attrs
[COLOR_nit__model__MVirtualTypeDef___is_fixed
].s
; /* _is_fixed on <self:MVirtualTypeDef> */
6987 /* method model#MVirtualTypeDef#is_fixed= for (self: MVirtualTypeDef, Bool) */
6988 void nit___nit__MVirtualTypeDef___is_fixed_61d(val
* self
, short int p0
) {
6989 self
->attrs
[COLOR_nit__model__MVirtualTypeDef___is_fixed
].s
= p0
; /* _is_fixed on <self:MVirtualTypeDef> */
6992 /* method model#MClassKind#to_s for (self: MClassKind): String */
6993 val
* nit___nit__MClassKind___standard__string__Object__to_s(val
* self
) {
6994 val
* var
/* : String */;
6995 val
* var1
/* : String */;
6996 var1
= self
->attrs
[COLOR_nit__model__MClassKind___to_s
].val
; /* _to_s on <self:MClassKind> */
6997 if (unlikely(var1
== NULL
)) {
6998 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _to_s");
6999 PRINT_ERROR(" (%s:%d)\n", FILE_nit__model
, 2209);
7006 /* method model#MClassKind#to_s= for (self: MClassKind, String) */
7007 void nit___nit__MClassKind___to_s_61d(val
* self
, val
* p0
) {
7008 self
->attrs
[COLOR_nit__model__MClassKind___to_s
].val
= p0
; /* _to_s on <self:MClassKind> */
7011 /* method model#MClassKind#need_init for (self: MClassKind): Bool */
7012 short int nit___nit__MClassKind___need_init(val
* self
) {
7013 short int var
/* : Bool */;
7014 short int var1
/* : Bool */;
7015 var1
= self
->attrs
[COLOR_nit__model__MClassKind___need_init
].s
; /* _need_init on <self:MClassKind> */
7020 /* method model#MClassKind#need_init= for (self: MClassKind, Bool) */
7021 void nit___nit__MClassKind___need_init_61d(val
* self
, short int p0
) {
7022 self
->attrs
[COLOR_nit__model__MClassKind___need_init
].s
= p0
; /* _need_init on <self:MClassKind> */
7025 /* method model#MClassKind#can_specialize for (self: MClassKind, MClassKind): Bool */
7026 short int nit___nit__MClassKind___can_specialize(val
* self
, val
* p0
) {
7027 short int var
/* : Bool */;
7028 val
* var_other
/* var other: MClassKind */;
7029 val
* var1
/* : MClassKind */;
7030 short int var2
/* : Bool */;
7031 val
* var_other4
/* var other: nullable Object */;
7032 short int var5
/* : Bool */;
7033 short int var7
/* : Bool */;
7034 short int var8
/* : Bool */;
7035 short int var9
/* : Bool */;
7036 val
* var10
/* : MClassKind */;
7037 short int var11
/* : Bool */;
7038 short int var13
/* : Bool */;
7039 short int var15
/* : Bool */;
7040 short int var_
/* var : Bool */;
7041 val
* var16
/* : MClassKind */;
7042 short int var17
/* : Bool */;
7043 short int var19
/* : Bool */;
7044 short int var21
/* : Bool */;
7045 short int var22
/* : Bool */;
7046 val
* var23
/* : MClassKind */;
7047 short int var24
/* : Bool */;
7048 short int var26
/* : Bool */;
7049 short int var28
/* : Bool */;
7050 short int var29
/* : Bool */;
7051 short int var31
/* : Bool */;
7052 short int var33
/* : Bool */;
7053 short int var34
/* : Bool */;
7054 val
* var35
/* : MClassKind */;
7055 short int var36
/* : Bool */;
7056 short int var38
/* : Bool */;
7057 short int var40
/* : Bool */;
7058 short int var_41
/* var : Bool */;
7059 val
* var42
/* : MClassKind */;
7060 short int var43
/* : Bool */;
7061 short int var45
/* : Bool */;
7062 short int var47
/* : Bool */;
7063 short int var48
/* : Bool */;
7064 short int var49
/* : Bool */;
7067 var1
= nit__model___standard__Object___interface_kind(self
);
7070 { /* Inline kernel#Object#== (var_other,var1) on <var_other:MClassKind> */
7073 { /* Inline kernel#Object#is_same_instance (var_other,var_other4) on <var_other:MClassKind> */
7074 var7
= var_other
== var_other4
;
7092 var10
= nit__model___standard__Object___interface_kind(self
);
7095 { /* Inline kernel#Object#== (self,var10) on <self:MClassKind> */
7098 { /* Inline kernel#Object#is_same_instance (self,var_other4) on <self:MClassKind> */
7099 var15
= self
== var_other4
;
7102 RET_LABEL14
:(void)0;
7107 RET_LABEL12
:(void)0;
7115 var16
= nit__model___standard__Object___enum_kind(self
);
7118 { /* Inline kernel#Object#== (self,var16) on <self:MClassKind> */
7121 { /* Inline kernel#Object#is_same_instance (self,var_other4) on <self:MClassKind> */
7122 var21
= self
== var_other4
;
7125 RET_LABEL20
:(void)0;
7130 RET_LABEL18
:(void)0;
7141 var23
= nit__model___standard__Object___extern_kind(self
);
7144 { /* Inline kernel#Object#== (self,var23) on <self:MClassKind> */
7147 { /* Inline kernel#Object#is_same_instance (self,var_other4) on <self:MClassKind> */
7148 var28
= self
== var_other4
;
7151 RET_LABEL27
:(void)0;
7156 RET_LABEL25
:(void)0;
7161 { /* Inline kernel#Object#== (self,var_other) on <self:MClassKind> */
7162 var_other4
= var_other
;
7164 { /* Inline kernel#Object#is_same_instance (self,var_other4) on <self:MClassKind> */
7165 var33
= self
== var_other4
;
7168 RET_LABEL32
:(void)0;
7173 RET_LABEL30
:(void)0;
7180 var35
= nit__model___standard__Object___enum_kind(self
);
7183 { /* Inline kernel#Object#== (var_other,var35) on <var_other:MClassKind> */
7186 { /* Inline kernel#Object#is_same_instance (var_other,var_other4) on <var_other:MClassKind> */
7187 var40
= var_other
== var_other4
;
7190 RET_LABEL39
:(void)0;
7195 RET_LABEL37
:(void)0;
7203 var42
= nit__model___standard__Object___extern_kind(self
);
7206 { /* Inline kernel#Object#== (var_other,var42) on <var_other:MClassKind> */
7209 { /* Inline kernel#Object#is_same_instance (var_other,var_other4) on <var_other:MClassKind> */
7210 var47
= var_other
== var_other4
;
7213 RET_LABEL46
:(void)0;
7218 RET_LABEL44
:(void)0;
7237 /* method model#MClassKind#init for (self: MClassKind) */
7238 void nit___nit__MClassKind___standard__kernel__Object__init(val
* self
) {
7240 ((void (*)(val
* self
))(self
->class->vft
[COLOR_nit___nit__MClassKind___standard__kernel__Object__init
]))(self
) /* init on <self:MClassKind>*/;
7244 /* method model#Object#abstract_kind for (self: Object): MClassKind */
7245 val
* nit__model___standard__Object___abstract_kind(val
* self
) {
7246 val
* var
/* : MClassKind */;
7247 static val
* varonce
;
7248 static int varonce_guard
;
7249 val
* var1
/* : MClassKind */;
7250 val
* var2
/* : MClassKind */;
7251 static val
* varonce3
;
7252 val
* var4
/* : String */;
7253 char* var5
/* : NativeString */;
7254 long var6
/* : Int */;
7255 val
* var7
/* : FlatString */;
7256 short int var8
/* : Bool */;
7257 if (varonce_guard
) {
7260 var2
= NEW_nit__MClassKind(&type_nit__MClassKind
);
7264 var5
= "abstract class";
7266 var7
= standard___standard__NativeString___to_s_with_length(var5
, var6
);
7272 ((void (*)(val
* self
, val
* p0
))(var2
->class->vft
[COLOR_nit__model__MClassKind__to_s_61d
]))(var2
, var4
) /* to_s= on <var2:MClassKind>*/;
7275 ((void (*)(val
* self
, short int p0
))(var2
->class->vft
[COLOR_nit__model__MClassKind__need_init_61d
]))(var2
, var8
) /* need_init= on <var2:MClassKind>*/;
7278 ((void (*)(val
* self
))(var2
->class->vft
[COLOR_standard__kernel__Object__init
]))(var2
) /* init on <var2:MClassKind>*/;
7289 /* method model#Object#concrete_kind for (self: Object): MClassKind */
7290 val
* nit__model___standard__Object___concrete_kind(val
* self
) {
7291 val
* var
/* : MClassKind */;
7292 static val
* varonce
;
7293 static int varonce_guard
;
7294 val
* var1
/* : MClassKind */;
7295 val
* var2
/* : MClassKind */;
7296 static val
* varonce3
;
7297 val
* var4
/* : String */;
7298 char* var5
/* : NativeString */;
7299 long var6
/* : Int */;
7300 val
* var7
/* : FlatString */;
7301 short int var8
/* : Bool */;
7302 if (varonce_guard
) {
7305 var2
= NEW_nit__MClassKind(&type_nit__MClassKind
);
7311 var7
= standard___standard__NativeString___to_s_with_length(var5
, var6
);
7317 ((void (*)(val
* self
, val
* p0
))(var2
->class->vft
[COLOR_nit__model__MClassKind__to_s_61d
]))(var2
, var4
) /* to_s= on <var2:MClassKind>*/;
7320 ((void (*)(val
* self
, short int p0
))(var2
->class->vft
[COLOR_nit__model__MClassKind__need_init_61d
]))(var2
, var8
) /* need_init= on <var2:MClassKind>*/;
7323 ((void (*)(val
* self
))(var2
->class->vft
[COLOR_standard__kernel__Object__init
]))(var2
) /* init on <var2:MClassKind>*/;
7334 /* method model#Object#interface_kind for (self: Object): MClassKind */
7335 val
* nit__model___standard__Object___interface_kind(val
* self
) {
7336 val
* var
/* : MClassKind */;
7337 static val
* varonce
;
7338 static int varonce_guard
;
7339 val
* var1
/* : MClassKind */;
7340 val
* var2
/* : MClassKind */;
7341 static val
* varonce3
;
7342 val
* var4
/* : String */;
7343 char* var5
/* : NativeString */;
7344 long var6
/* : Int */;
7345 val
* var7
/* : FlatString */;
7346 short int var8
/* : Bool */;
7347 if (varonce_guard
) {
7350 var2
= NEW_nit__MClassKind(&type_nit__MClassKind
);
7356 var7
= standard___standard__NativeString___to_s_with_length(var5
, var6
);
7362 ((void (*)(val
* self
, val
* p0
))(var2
->class->vft
[COLOR_nit__model__MClassKind__to_s_61d
]))(var2
, var4
) /* to_s= on <var2:MClassKind>*/;
7365 ((void (*)(val
* self
, short int p0
))(var2
->class->vft
[COLOR_nit__model__MClassKind__need_init_61d
]))(var2
, var8
) /* need_init= on <var2:MClassKind>*/;
7368 ((void (*)(val
* self
))(var2
->class->vft
[COLOR_standard__kernel__Object__init
]))(var2
) /* init on <var2:MClassKind>*/;
7379 /* method model#Object#enum_kind for (self: Object): MClassKind */
7380 val
* nit__model___standard__Object___enum_kind(val
* self
) {
7381 val
* var
/* : MClassKind */;
7382 static val
* varonce
;
7383 static int varonce_guard
;
7384 val
* var1
/* : MClassKind */;
7385 val
* var2
/* : MClassKind */;
7386 static val
* varonce3
;
7387 val
* var4
/* : String */;
7388 char* var5
/* : NativeString */;
7389 long var6
/* : Int */;
7390 val
* var7
/* : FlatString */;
7391 short int var8
/* : Bool */;
7392 if (varonce_guard
) {
7395 var2
= NEW_nit__MClassKind(&type_nit__MClassKind
);
7401 var7
= standard___standard__NativeString___to_s_with_length(var5
, var6
);
7407 ((void (*)(val
* self
, val
* p0
))(var2
->class->vft
[COLOR_nit__model__MClassKind__to_s_61d
]))(var2
, var4
) /* to_s= on <var2:MClassKind>*/;
7410 ((void (*)(val
* self
, short int p0
))(var2
->class->vft
[COLOR_nit__model__MClassKind__need_init_61d
]))(var2
, var8
) /* need_init= on <var2:MClassKind>*/;
7413 ((void (*)(val
* self
))(var2
->class->vft
[COLOR_standard__kernel__Object__init
]))(var2
) /* init on <var2:MClassKind>*/;
7424 /* method model#Object#extern_kind for (self: Object): MClassKind */
7425 val
* nit__model___standard__Object___extern_kind(val
* self
) {
7426 val
* var
/* : MClassKind */;
7427 static val
* varonce
;
7428 static int varonce_guard
;
7429 val
* var1
/* : MClassKind */;
7430 val
* var2
/* : MClassKind */;
7431 static val
* varonce3
;
7432 val
* var4
/* : String */;
7433 char* var5
/* : NativeString */;
7434 long var6
/* : Int */;
7435 val
* var7
/* : FlatString */;
7436 short int var8
/* : Bool */;
7437 if (varonce_guard
) {
7440 var2
= NEW_nit__MClassKind(&type_nit__MClassKind
);
7444 var5
= "extern class";
7446 var7
= standard___standard__NativeString___to_s_with_length(var5
, var6
);
7452 ((void (*)(val
* self
, val
* p0
))(var2
->class->vft
[COLOR_nit__model__MClassKind__to_s_61d
]))(var2
, var4
) /* to_s= on <var2:MClassKind>*/;
7455 ((void (*)(val
* self
, short int p0
))(var2
->class->vft
[COLOR_nit__model__MClassKind__need_init_61d
]))(var2
, var8
) /* need_init= on <var2:MClassKind>*/;
7458 ((void (*)(val
* self
))(var2
->class->vft
[COLOR_standard__kernel__Object__init
]))(var2
) /* init on <var2:MClassKind>*/;