1 /* This C file is generated by NIT to compile module metamodel___static_type. */
2 #include "metamodel___static_type._sep.h"
3 val_t
metamodel___static_type___MMLocalClass___get_type(val_t p0
){
4 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
8 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
9 fra
.me
.file
= LOCATE_metamodel___static_type
;
11 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalClass___get_type
;
14 fra
.me
.nitni_local_ref_head
= NULL
;
15 fra
.me
.REG
[0] = NIT_NULL
;
16 fra
.me
.REG
[1] = NIT_NULL
;
17 fra
.me
.REG
[2] = NIT_NULL
;
19 /* metamodel/static_type.nit:27 */
20 fra
.me
.REG
[1] = fra
.me
.REG
[0];
21 /* metamodel/static_type.nit:30 */
22 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMLocalClass____base_type_cache(fra
.me
.REG
[1]);
23 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
24 if (UNTAG_Bool(REGB0
)) {
26 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
27 if (UNTAG_Bool(REGB1
)) {
28 REGB1
= TAG_Bool(false);
31 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], NIT_NULL
);
35 if (UNTAG_Bool(REGB0
)) {
36 fra
.me
.REG
[2] = NEW_MMTypeSimpleClass_metamodel___static_type___MMTypeSimpleClass___init(fra
.me
.REG
[1]);
37 ATTR_metamodel___static_type___MMLocalClass____base_type_cache(fra
.me
.REG
[1]) = fra
.me
.REG
[2];
39 /* metamodel/static_type.nit:31 */
40 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMLocalClass____base_type_cache(fra
.me
.REG
[1]);
41 REGB0
= TAG_Bool(fra
.me
.REG
[1]!=NIT_NULL
);
42 if (UNTAG_Bool(REGB0
)) {
44 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 31);
48 stack_frame_head
= fra
.me
.prev
;
51 void metamodel___static_type___MMLocalClass___add_ancestor(val_t p0
, val_t p1
){
52 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
56 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
57 fra
.me
.file
= LOCATE_metamodel___static_type
;
59 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalClass___add_ancestor
;
62 fra
.me
.nitni_local_ref_head
= NULL
;
63 fra
.me
.REG
[0] = NIT_NULL
;
64 fra
.me
.REG
[1] = NIT_NULL
;
65 fra
.me
.REG
[2] = NIT_NULL
;
66 fra
.me
.REG
[3] = NIT_NULL
;
69 /* metamodel/static_type.nit:37 */
70 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
71 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMAncestor___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
72 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
73 if (UNTAG_Bool(REGB0
)) {
74 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 37);
76 REGB0
= CALL_standard___collection___abstract_collection___MapRead___has_key(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
77 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
78 if (UNTAG_Bool(REGB0
)) {
80 nit_abort("Assert failed", NULL
, LOCATE_metamodel___static_type
, 37);
82 /* metamodel/static_type.nit:38 */
83 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMAncestor___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
84 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[0]));
85 if (UNTAG_Bool(REGB0
)) {
87 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[0]);
90 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
91 if (UNTAG_Bool(REGB0
)) {
93 nit_abort("Assert failed", NULL
, LOCATE_metamodel___static_type
, 38);
95 /* metamodel/static_type.nit:39 */
96 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
97 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMAncestor___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
98 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
99 if (UNTAG_Bool(REGB0
)) {
100 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 39);
102 CALL_standard___collection___abstract_collection___Map_____braeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3], fra
.me
.REG
[1]);
103 stack_frame_head
= fra
.me
.prev
;
106 val_t
metamodel___static_type___MMLocalClass___ancestors(val_t p0
){
107 struct {struct stack_frame_t me
;} fra
;
109 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
110 fra
.me
.file
= LOCATE_metamodel___static_type
;
112 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalClass___ancestors
;
113 fra
.me
.has_broke
= 0;
115 fra
.me
.nitni_local_ref_head
= NULL
;
116 fra
.me
.REG
[0] = NIT_NULL
;
118 /* metamodel/static_type.nit:42 */
119 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
120 stack_frame_head
= fra
.me
.prev
;
121 return fra
.me
.REG
[0];
123 val_t
metamodel___static_type___MMLocalClass___ancestor(val_t p0
, val_t p1
){
124 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
127 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
128 fra
.me
.file
= LOCATE_metamodel___static_type
;
130 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalClass___ancestor
;
131 fra
.me
.has_broke
= 0;
133 fra
.me
.nitni_local_ref_head
= NULL
;
134 fra
.me
.REG
[0] = NIT_NULL
;
135 fra
.me
.REG
[1] = NIT_NULL
;
138 /* metamodel/static_type.nit:48 */
139 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
140 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
141 if (UNTAG_Bool(REGB0
)) {
142 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 48);
144 fra
.me
.REG
[1] = CALL_standard___collection___abstract_collection___MapRead_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
145 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
146 if (UNTAG_Bool(REGB0
)) {
147 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 48);
149 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMAncestor___stype(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
152 stack_frame_head
= fra
.me
.prev
;
153 return fra
.me
.REG
[1];
155 val_t
metamodel___static_type___MMLocalProperty___signature(val_t p0
){
156 struct {struct stack_frame_t me
;} fra
;
158 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
159 fra
.me
.file
= LOCATE_metamodel___static_type
;
161 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalProperty___signature
;
162 fra
.me
.has_broke
= 0;
164 fra
.me
.nitni_local_ref_head
= NULL
;
165 fra
.me
.REG
[0] = NIT_NULL
;
167 /* metamodel/static_type.nit:53 */
168 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalProperty____signature(fra
.me
.REG
[0]);
169 stack_frame_head
= fra
.me
.prev
;
170 return fra
.me
.REG
[0];
172 void metamodel___static_type___MMLocalProperty___signature__eq(val_t p0
, val_t p1
){
173 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
175 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
176 fra
.me
.file
= LOCATE_metamodel___static_type
;
178 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalProperty___signature__eq
;
179 fra
.me
.has_broke
= 0;
181 fra
.me
.nitni_local_ref_head
= NULL
;
182 fra
.me
.REG
[0] = NIT_NULL
;
183 fra
.me
.REG
[1] = NIT_NULL
;
186 /* metamodel/static_type.nit:53 */
187 ATTR_metamodel___static_type___MMLocalProperty____signature(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
188 stack_frame_head
= fra
.me
.prev
;
191 val_t
metamodel___static_type___MMLocalProperty___signature_for(val_t p0
, val_t p1
){
192 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
196 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
197 fra
.me
.file
= LOCATE_metamodel___static_type
;
199 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalProperty___signature_for
;
200 fra
.me
.has_broke
= 0;
202 fra
.me
.nitni_local_ref_head
= NULL
;
203 fra
.me
.REG
[0] = NIT_NULL
;
204 fra
.me
.REG
[1] = NIT_NULL
;
205 fra
.me
.REG
[2] = NIT_NULL
;
206 fra
.me
.REG
[3] = NIT_NULL
;
209 /* metamodel/static_type.nit:58 */
210 fra
.me
.REG
[2] = fra
.me
.REG
[0];
211 /* metamodel/static_type.nit:60 */
212 fra
.me
.REG
[3] = CALL_metamodel___abstractmetamodel___MMLocalProperty___local_class(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
213 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMLocalClass___get_type(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
214 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[3]));
215 if (UNTAG_Bool(REGB0
)) {
217 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[3]);
220 if (UNTAG_Bool(REGB0
)) {
221 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMLocalProperty___signature(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
222 REGB0
= TAG_Bool(fra
.me
.REG
[3]!=NIT_NULL
);
223 if (UNTAG_Bool(REGB0
)) {
225 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 60);
229 /* metamodel/static_type.nit:62 */
230 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2])!=NIT_NULL
);
231 if (UNTAG_Bool(REGB0
)) {
233 nit_abort("Uninitialized attribute %s", "_signatures_cache", LOCATE_metamodel___static_type
, 62);
235 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2]);
236 REGB0
= CALL_standard___collection___abstract_collection___MapRead___has_key(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
237 if (UNTAG_Bool(REGB0
)) {
238 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2])!=NIT_NULL
);
239 if (UNTAG_Bool(REGB0
)) {
241 nit_abort("Uninitialized attribute %s", "_signatures_cache", LOCATE_metamodel___static_type
, 62);
243 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2]);
244 fra
.me
.REG
[0] = CALL_standard___collection___abstract_collection___MapRead_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
245 fra
.me
.REG
[3] = fra
.me
.REG
[0];
248 /* metamodel/static_type.nit:64 */
249 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMLocalProperty___signature(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
250 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
251 if (UNTAG_Bool(REGB0
)) {
252 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 64);
254 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMSignature___adaptation_to(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
255 /* metamodel/static_type.nit:65 */
256 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2])!=NIT_NULL
);
257 if (UNTAG_Bool(REGB0
)) {
259 nit_abort("Uninitialized attribute %s", "_signatures_cache", LOCATE_metamodel___static_type
, 65);
261 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2]);
262 CALL_standard___collection___abstract_collection___Map_____braeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1], fra
.me
.REG
[0]);
263 /* metamodel/static_type.nit:66 */
264 fra
.me
.REG
[3] = fra
.me
.REG
[0];
267 stack_frame_head
= fra
.me
.prev
;
268 return fra
.me
.REG
[3];
270 val_t
metamodel___static_type___MMParam___mmtype(val_t p0
){
271 struct {struct stack_frame_t me
;} fra
;
274 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
275 fra
.me
.file
= LOCATE_metamodel___static_type
;
277 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___mmtype
;
278 fra
.me
.has_broke
= 0;
280 fra
.me
.nitni_local_ref_head
= NULL
;
281 fra
.me
.REG
[0] = NIT_NULL
;
283 /* metamodel/static_type.nit:71 */
284 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMParam_____atmmtype(fra
.me
.REG
[0])!=NIT_NULL
);
285 if (UNTAG_Bool(REGB0
)) {
287 nit_abort("Uninitialized attribute %s", "@mmtype", LOCATE_metamodel___static_type
, 71);
289 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMParam_____atmmtype(fra
.me
.REG
[0]);
290 stack_frame_head
= fra
.me
.prev
;
291 return fra
.me
.REG
[0];
293 void metamodel___static_type___MMParam___mmtype__eq(val_t p0
, val_t p1
){
294 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
296 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
297 fra
.me
.file
= LOCATE_metamodel___static_type
;
299 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___mmtype__eq
;
300 fra
.me
.has_broke
= 0;
302 fra
.me
.nitni_local_ref_head
= NULL
;
303 fra
.me
.REG
[0] = NIT_NULL
;
304 fra
.me
.REG
[1] = NIT_NULL
;
307 /* metamodel/static_type.nit:71 */
308 ATTR_metamodel___static_type___MMParam_____atmmtype(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
309 stack_frame_head
= fra
.me
.prev
;
312 val_t
metamodel___static_type___MMParam___name(val_t p0
){
313 struct {struct stack_frame_t me
;} fra
;
316 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
317 fra
.me
.file
= LOCATE_metamodel___static_type
;
319 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___name
;
320 fra
.me
.has_broke
= 0;
322 fra
.me
.nitni_local_ref_head
= NULL
;
323 fra
.me
.REG
[0] = NIT_NULL
;
325 /* metamodel/static_type.nit:72 */
326 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMParam_____atname(fra
.me
.REG
[0])!=NIT_NULL
);
327 if (UNTAG_Bool(REGB0
)) {
329 nit_abort("Uninitialized attribute %s", "@name", LOCATE_metamodel___static_type
, 72);
331 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMParam_____atname(fra
.me
.REG
[0]);
332 stack_frame_head
= fra
.me
.prev
;
333 return fra
.me
.REG
[0];
335 void metamodel___static_type___MMParam___name__eq(val_t p0
, val_t p1
){
336 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
338 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
339 fra
.me
.file
= LOCATE_metamodel___static_type
;
341 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___name__eq
;
342 fra
.me
.has_broke
= 0;
344 fra
.me
.nitni_local_ref_head
= NULL
;
345 fra
.me
.REG
[0] = NIT_NULL
;
346 fra
.me
.REG
[1] = NIT_NULL
;
349 /* metamodel/static_type.nit:72 */
350 ATTR_metamodel___static_type___MMParam_____atname(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
351 stack_frame_head
= fra
.me
.prev
;
354 void metamodel___static_type___MMParam___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
){
355 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMParam
].i
;
356 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
358 if (init_table
[itpos0
]) return;
359 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
360 fra
.me
.file
= LOCATE_metamodel___static_type
;
362 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___init
;
363 fra
.me
.has_broke
= 0;
365 fra
.me
.nitni_local_ref_head
= NULL
;
366 fra
.me
.REG
[0] = NIT_NULL
;
367 fra
.me
.REG
[1] = NIT_NULL
;
368 fra
.me
.REG
[2] = NIT_NULL
;
372 /* metamodel/static_type.nit:76 */
373 CALL_metamodel___static_type___MMParam___mmtype__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
374 /* metamodel/static_type.nit:77 */
375 CALL_metamodel___static_type___MMParam___name__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
376 stack_frame_head
= fra
.me
.prev
;
377 init_table
[itpos0
] = 1;
380 val_t
metamodel___static_type___MMParam___to_s(val_t p0
){
381 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
384 static val_t once_value_1
; /* Once value */
385 static val_t once_value_2
; /* Once value */
386 static val_t once_value_3
; /* Once value */
387 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
388 fra
.me
.file
= LOCATE_metamodel___static_type
;
390 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___to_s
;
391 fra
.me
.has_broke
= 0;
393 fra
.me
.nitni_local_ref_head
= NULL
;
394 fra
.me
.REG
[0] = NIT_NULL
;
395 fra
.me
.REG
[1] = NIT_NULL
;
396 fra
.me
.REG
[2] = NIT_NULL
;
398 /* metamodel/static_type.nit:80 */
400 fra
.me
.REG
[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
402 fra
.me
.REG
[2] = BOX_NativeString("");
404 fra
.me
.REG
[2] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[2], REGB0
);
405 once_value_1
= fra
.me
.REG
[2];
406 register_static_object(&once_value_1
);
407 } else fra
.me
.REG
[2] = once_value_1
;
408 fra
.me
.REG
[2] = fra
.me
.REG
[2];
409 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
410 fra
.me
.REG
[2] = CALL_metamodel___static_type___MMParam___name(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
411 fra
.me
.REG
[2] = CALL_standard___string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
412 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
414 fra
.me
.REG
[2] = BOX_NativeString(": ");
416 fra
.me
.REG
[2] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[2], REGB0
);
417 once_value_2
= fra
.me
.REG
[2];
418 register_static_object(&once_value_2
);
419 } else fra
.me
.REG
[2] = once_value_2
;
420 fra
.me
.REG
[2] = fra
.me
.REG
[2];
421 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
422 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
423 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
424 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
426 fra
.me
.REG
[0] = BOX_NativeString("");
428 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB0
);
429 once_value_3
= fra
.me
.REG
[0];
430 register_static_object(&once_value_3
);
431 } else fra
.me
.REG
[0] = once_value_3
;
432 fra
.me
.REG
[0] = fra
.me
.REG
[0];
433 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
434 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
437 stack_frame_head
= fra
.me
.prev
;
438 return fra
.me
.REG
[1];
440 val_t
metamodel___static_type___MMSignature___recv(val_t p0
){
441 struct {struct stack_frame_t me
;} fra
;
444 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
445 fra
.me
.file
= LOCATE_metamodel___static_type
;
447 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___recv
;
448 fra
.me
.has_broke
= 0;
450 fra
.me
.nitni_local_ref_head
= NULL
;
451 fra
.me
.REG
[0] = NIT_NULL
;
453 /* metamodel/static_type.nit:85 */
454 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[0])!=NIT_NULL
);
455 if (UNTAG_Bool(REGB0
)) {
457 nit_abort("Uninitialized attribute %s", "_recv", LOCATE_metamodel___static_type
, 85);
459 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[0]);
460 stack_frame_head
= fra
.me
.prev
;
461 return fra
.me
.REG
[0];
463 val_t
metamodel___static_type___MMSignature___params(val_t p0
){
464 struct {struct stack_frame_t me
;} fra
;
467 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
468 fra
.me
.file
= LOCATE_metamodel___static_type
;
470 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___params
;
471 fra
.me
.has_broke
= 0;
473 fra
.me
.nitni_local_ref_head
= NULL
;
474 fra
.me
.REG
[0] = NIT_NULL
;
476 /* metamodel/static_type.nit:88 */
477 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
478 if (UNTAG_Bool(REGB0
)) {
480 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 88);
482 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
483 stack_frame_head
= fra
.me
.prev
;
484 return fra
.me
.REG
[0];
486 val_t
metamodel___static_type___MMSignature___return_type(val_t p0
){
487 struct {struct stack_frame_t me
;} fra
;
489 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
490 fra
.me
.file
= LOCATE_metamodel___static_type
;
492 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___return_type
;
493 fra
.me
.has_broke
= 0;
495 fra
.me
.nitni_local_ref_head
= NULL
;
496 fra
.me
.REG
[0] = NIT_NULL
;
498 /* metamodel/static_type.nit:91 */
499 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[0]);
500 stack_frame_head
= fra
.me
.prev
;
501 return fra
.me
.REG
[0];
503 val_t
metamodel___static_type___MMSignature___closures(val_t p0
){
504 struct {struct stack_frame_t me
;} fra
;
507 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
508 fra
.me
.file
= LOCATE_metamodel___static_type
;
510 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___closures
;
511 fra
.me
.has_broke
= 0;
513 fra
.me
.nitni_local_ref_head
= NULL
;
514 fra
.me
.REG
[0] = NIT_NULL
;
516 /* metamodel/static_type.nit:94 */
517 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0])!=NIT_NULL
);
518 if (UNTAG_Bool(REGB0
)) {
520 nit_abort("Uninitialized attribute %s", "_closures", LOCATE_metamodel___static_type
, 94);
522 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0]);
523 stack_frame_head
= fra
.me
.prev
;
524 return fra
.me
.REG
[0];
526 val_t
metamodel___static_type___MMSignature___closure_named(val_t p0
, val_t p1
){
527 struct {struct stack_frame_t me
; val_t MORE_REG
[4];} fra
;
532 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
533 fra
.me
.file
= LOCATE_metamodel___static_type
;
535 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___closure_named
;
536 fra
.me
.has_broke
= 0;
538 fra
.me
.nitni_local_ref_head
= NULL
;
539 fra
.me
.REG
[0] = NIT_NULL
;
540 fra
.me
.REG
[1] = NIT_NULL
;
541 fra
.me
.REG
[2] = NIT_NULL
;
542 fra
.me
.REG
[3] = NIT_NULL
;
543 fra
.me
.REG
[4] = NIT_NULL
;
546 /* metamodel/static_type.nit:100 */
547 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0])!=NIT_NULL
);
548 if (UNTAG_Bool(REGB0
)) {
550 nit_abort("Uninitialized attribute %s", "_closures", LOCATE_metamodel___static_type
, 100);
552 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0]);
553 /* ../lib/standard/collection/array.nit:269 */
555 /* ../lib/standard/collection/array.nit:270 */
556 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
557 if (UNTAG_Bool(REGB1
)) {
559 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 270);
561 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
562 /* ../lib/standard/collection/array.nit:271 */
563 fra
.me
.REG
[2] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[0]);
564 /* ../lib/standard/collection/array.nit:272 */
566 /* ../lib/standard/collection/array.nit:24 */
567 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
568 if (UNTAG_Bool(REGB1
)) {
570 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
572 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
573 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
574 if (UNTAG_Bool(REGB2
)) {
576 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
578 /* ../lib/standard/kernel.nit:232 */
579 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
580 /* ../lib/standard/collection/array.nit:272 */
581 if (UNTAG_Bool(REGB1
)) {
582 /* ../lib/standard/collection/array.nit:273 */
583 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
584 if (UNTAG_Bool(REGB1
)) {
585 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 273);
587 /* ../lib/standard/collection/array.nit:718 */
588 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[2])->val
[UNTAG_Int(REGB0
)];
589 /* metamodel/static_type.nit:101 */
590 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMClosure___name(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
591 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[4],fra
.me
.REG
[1]));
592 if (UNTAG_Bool(REGB1
)) {
594 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[1]);
597 if (UNTAG_Bool(REGB1
)) {
600 /* ../lib/standard/collection/array.nit:274 */
602 /* ../lib/standard/kernel.nit:235 */
603 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
604 /* ../lib/standard/collection/array.nit:274 */
607 /* ../lib/standard/collection/array.nit:272 */
612 /* metamodel/static_type.nit:103 */
613 fra
.me
.REG
[3] = NIT_NULL
;
616 stack_frame_head
= fra
.me
.prev
;
617 return fra
.me
.REG
[3];
619 val_t
metamodel___static_type___MMSignature___arity(val_t p0
){
620 struct {struct stack_frame_t me
;} fra
;
623 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
624 fra
.me
.file
= LOCATE_metamodel___static_type
;
626 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___arity
;
627 fra
.me
.has_broke
= 0;
629 fra
.me
.nitni_local_ref_head
= NULL
;
630 fra
.me
.REG
[0] = NIT_NULL
;
632 /* metamodel/static_type.nit:109 */
633 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
634 if (UNTAG_Bool(REGB0
)) {
636 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 109);
638 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
639 /* ../lib/standard/collection/array.nit:24 */
640 REGB0
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
641 if (UNTAG_Bool(REGB0
)) {
643 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
645 REGB0
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
646 /* metamodel/static_type.nit:109 */
649 stack_frame_head
= fra
.me
.prev
;
652 val_t
metamodel___static_type___MMSignature_____l(val_t p0
, val_t p1
){
653 struct {struct stack_frame_t me
; val_t MORE_REG
[4];} fra
;
662 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
663 fra
.me
.file
= LOCATE_metamodel___static_type
;
665 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature_____l
;
666 fra
.me
.has_broke
= 0;
668 fra
.me
.nitni_local_ref_head
= NULL
;
669 fra
.me
.REG
[0] = NIT_NULL
;
670 fra
.me
.REG
[1] = NIT_NULL
;
671 fra
.me
.REG
[2] = NIT_NULL
;
672 fra
.me
.REG
[3] = NIT_NULL
;
673 fra
.me
.REG
[4] = NIT_NULL
;
676 /* metamodel/static_type.nit:112 */
677 fra
.me
.REG
[2] = fra
.me
.REG
[0];
678 /* metamodel/static_type.nit:115 */
679 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[2],fra
.me
.REG
[1]));
680 if (UNTAG_Bool(REGB0
)) {
682 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
685 if (UNTAG_Bool(REGB0
)) {
686 /* metamodel/static_type.nit:116 */
687 REGB0
= TAG_Bool(true);
690 /* metamodel/static_type.nit:118 */
691 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[2])!=NIT_NULL
);
692 if (UNTAG_Bool(REGB1
)) {
694 nit_abort("Uninitialized attribute %s", "_recv", LOCATE_metamodel___static_type
, 118);
696 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[2]);
697 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
698 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___recv(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
699 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
700 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[4]));
701 if (UNTAG_Bool(REGB1
)) {
703 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
706 if (UNTAG_Bool(REGB1
)) {
708 nit_abort("Assert failed", NULL
, LOCATE_metamodel___static_type
, 118);
710 /* metamodel/static_type.nit:119 */
711 fra
.me
.REG
[4] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[2]);
712 /* metamodel/static_type.nit:120 */
713 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMSignature___return_type(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
714 /* metamodel/static_type.nit:121 */
715 REGB1
= CALL_metamodel___static_type___MMSignature___arity(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
716 REGB2
= CALL_metamodel___static_type___MMSignature___arity(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
717 REGB3
= TAG_Bool(IS_EQUAL_OO(REGB1
,REGB2
));
718 if (UNTAG_Bool(REGB3
)) {
720 /* ../lib/standard/kernel.nit:227 */
721 REGB2
= TAG_Bool((REGB1
)==(REGB2
));
722 /* metamodel/static_type.nit:121 */
725 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
726 if (UNTAG_Bool(REGB3
)) {
727 REGB3
= TAG_Bool(true);
729 REGB2
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
730 if (UNTAG_Bool(REGB2
)) {
732 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
733 if (UNTAG_Bool(REGB1
)) {
734 REGB1
= TAG_Bool(false);
737 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], NIT_NULL
);
741 REGB1
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
742 if (UNTAG_Bool(REGB1
)) {
744 REGB4
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
745 if (UNTAG_Bool(REGB4
)) {
746 REGB4
= TAG_Bool(false);
749 REGB4
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], NIT_NULL
);
753 REGB4
= TAG_Bool(IS_EQUAL_OO(REGB2
,REGB1
));
754 if (UNTAG_Bool(REGB4
)) {
756 /* ../lib/standard/kernel.nit:195 */
757 REGB1
= TAG_Bool((REGB2
)==(REGB1
));
758 /* metamodel/static_type.nit:121 */
761 REGB4
= TAG_Bool(!UNTAG_Bool(REGB4
));
764 if (UNTAG_Bool(REGB3
)) {
765 REGB3
= TAG_Bool(false);
769 /* metamodel/static_type.nit:122 */
770 REGB3
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
771 if (UNTAG_Bool(REGB3
)) {
773 REGB4
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
774 if (UNTAG_Bool(REGB4
)) {
775 REGB4
= TAG_Bool(false);
778 REGB4
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], NIT_NULL
);
782 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
783 if (UNTAG_Bool(REGB3
)) {
784 REGB3
= TAG_Bool(fra
.me
.REG
[3]!=NIT_NULL
);
785 if (UNTAG_Bool(REGB3
)) {
787 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 122);
789 REGB3
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
790 if (UNTAG_Bool(REGB3
)) {
791 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 122);
793 REGB3
= CALL_metamodel___static_type___MMType_____l(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[3]);
794 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
796 REGB4
= TAG_Bool(false);
799 if (UNTAG_Bool(REGB3
)) {
800 /* metamodel/static_type.nit:123 */
801 REGB3
= TAG_Bool(false);
805 /* metamodel/static_type.nit:126 */
807 REGB4
= CALL_metamodel___static_type___MMSignature___arity(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
808 /* ../lib/standard/kernel.nit:352 */
810 REGB1
= TAG_Bool(VAL_ISA(REGB4
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB3
), VTID_standard___kernel___Comparable___OTHER(REGB3
))) /*cast OTHER*/;
811 if (UNTAG_Bool(REGB1
)) {
813 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
815 /* ../lib/standard/kernel.nit:232 */
816 REGB1
= TAG_Bool(UNTAG_Int(REGB3
)<UNTAG_Int(REGB4
));
817 /* ../lib/standard/kernel.nit:352 */
818 if (UNTAG_Bool(REGB1
)) {
819 /* metamodel/static_type.nit:126 */
821 /* metamodel/static_type.nit:127 */
822 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMSignature_____bra(fra
.me
.REG
[1])(fra
.me
.REG
[1], REGB1
);
823 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature_____bra(fra
.me
.REG
[2])(fra
.me
.REG
[2], REGB1
);
824 REGB1
= CALL_metamodel___static_type___MMType_____l(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
825 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
826 if (UNTAG_Bool(REGB1
)) {
827 /* metamodel/static_type.nit:128 */
828 REGB1
= TAG_Bool(false);
832 /* ../lib/standard/kernel.nit:354 */
834 /* ../lib/standard/kernel.nit:235 */
835 REGB1
= TAG_Int(UNTAG_Int(REGB3
)+UNTAG_Int(REGB1
));
836 /* ../lib/standard/kernel.nit:354 */
839 /* ../lib/standard/kernel.nit:352 */
844 /* metamodel/static_type.nit:132 */
845 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
846 /* ../lib/standard/collection/array.nit:24 */
847 REGB3
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4])!=NIT_NULL
);
848 if (UNTAG_Bool(REGB3
)) {
850 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
852 REGB3
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4]);
853 /* metamodel/static_type.nit:132 */
854 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
855 /* ../lib/standard/collection/array.nit:24 */
856 REGB4
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4])!=NIT_NULL
);
857 if (UNTAG_Bool(REGB4
)) {
859 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
861 REGB4
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4]);
862 /* metamodel/static_type.nit:132 */
863 REGB1
= TAG_Bool(IS_EQUAL_OO(REGB3
,REGB4
));
864 if (UNTAG_Bool(REGB1
)) {
866 /* ../lib/standard/kernel.nit:227 */
867 REGB4
= TAG_Bool((REGB3
)==(REGB4
));
868 /* metamodel/static_type.nit:132 */
871 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
872 if (UNTAG_Bool(REGB1
)) {
873 REGB1
= TAG_Bool(false);
877 /* metamodel/static_type.nit:133 */
879 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
880 /* ../lib/standard/collection/array.nit:24 */
881 REGB4
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4])!=NIT_NULL
);
882 if (UNTAG_Bool(REGB4
)) {
884 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
886 REGB4
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4]);
887 /* ../lib/standard/kernel.nit:352 */
889 REGB3
= TAG_Bool(VAL_ISA(REGB4
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
890 if (UNTAG_Bool(REGB3
)) {
892 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
894 /* ../lib/standard/kernel.nit:232 */
895 REGB3
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB4
));
896 /* ../lib/standard/kernel.nit:352 */
897 if (UNTAG_Bool(REGB3
)) {
898 /* metamodel/static_type.nit:133 */
900 /* metamodel/static_type.nit:134 */
901 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
902 /* ../lib/standard/collection/array.nit:278 */
904 /* ../lib/standard/collection/array.nit:280 */
906 REGB6
= TAG_Bool(VAL_ISA(REGB5
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
907 if (UNTAG_Bool(REGB6
)) {
909 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
911 /* ../lib/standard/kernel.nit:233 */
912 REGB5
= TAG_Bool(UNTAG_Int(REGB2
)>=UNTAG_Int(REGB5
));
913 /* ../lib/standard/collection/array.nit:280 */
914 if (UNTAG_Bool(REGB5
)) {
915 REGB5
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4])!=NIT_NULL
);
916 if (UNTAG_Bool(REGB5
)) {
918 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 280);
920 REGB5
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4]);
921 REGB6
= TAG_Bool(VAL_ISA(REGB5
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
922 if (UNTAG_Bool(REGB6
)) {
924 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
926 /* ../lib/standard/kernel.nit:232 */
927 REGB5
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB5
));
929 /* ../lib/standard/collection/array.nit:280 */
930 REGB6
= TAG_Bool(false);
933 if (UNTAG_Bool(REGB5
)) {
935 nit_abort("Assert '%s' failed", "index", LOCATE_standard___collection___array
, 280);
937 /* ../lib/standard/collection/array.nit:281 */
938 fra
.me
.REG
[4] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[4]);
939 REGB5
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
940 if (UNTAG_Bool(REGB5
)) {
941 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 281);
943 /* ../lib/standard/collection/array.nit:718 */
944 fra
.me
.REG
[4] = ((Nit_NativeArray
)fra
.me
.REG
[4])->val
[UNTAG_Int(REGB2
)];
945 /* ../lib/standard/collection/array.nit:281 */
948 /* metamodel/static_type.nit:134 */
949 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
950 /* ../lib/standard/collection/array.nit:280 */
952 REGB5
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB3
), VTID_standard___kernel___Comparable___OTHER(REGB3
))) /*cast OTHER*/;
953 if (UNTAG_Bool(REGB5
)) {
955 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
957 /* ../lib/standard/kernel.nit:233 */
958 REGB2
= TAG_Bool(UNTAG_Int(REGB3
)>=UNTAG_Int(REGB2
));
959 /* ../lib/standard/collection/array.nit:280 */
960 if (UNTAG_Bool(REGB2
)) {
961 REGB2
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
962 if (UNTAG_Bool(REGB2
)) {
964 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 280);
966 REGB2
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3]);
967 REGB5
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB3
), VTID_standard___kernel___Comparable___OTHER(REGB3
))) /*cast OTHER*/;
968 if (UNTAG_Bool(REGB5
)) {
970 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
972 /* ../lib/standard/kernel.nit:232 */
973 REGB2
= TAG_Bool(UNTAG_Int(REGB3
)<UNTAG_Int(REGB2
));
975 /* ../lib/standard/collection/array.nit:280 */
976 REGB5
= TAG_Bool(false);
979 if (UNTAG_Bool(REGB2
)) {
981 nit_abort("Assert '%s' failed", "index", LOCATE_standard___collection___array
, 280);
983 /* ../lib/standard/collection/array.nit:281 */
984 fra
.me
.REG
[3] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[3]);
985 REGB2
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
986 if (UNTAG_Bool(REGB2
)) {
987 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 281);
989 /* ../lib/standard/collection/array.nit:718 */
990 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[3])->val
[UNTAG_Int(REGB3
)];
991 /* ../lib/standard/collection/array.nit:281 */
994 /* metamodel/static_type.nit:134 */
995 REGB3
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
996 if (UNTAG_Bool(REGB3
)) {
997 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 134);
999 REGB3
= CALL_metamodel___static_type___MMClosure_____l(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[3]);
1000 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
1001 if (UNTAG_Bool(REGB3
)) {
1002 REGB3
= TAG_Bool(false);
1006 /* ../lib/standard/kernel.nit:354 */
1008 /* ../lib/standard/kernel.nit:235 */
1009 REGB3
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB3
));
1010 /* ../lib/standard/kernel.nit:354 */
1013 /* ../lib/standard/kernel.nit:352 */
1018 /* metamodel/static_type.nit:136 */
1019 REGB1
= TAG_Bool(true);
1023 stack_frame_head
= fra
.me
.prev
;
1026 val_t
metamodel___static_type___MMSignature_____bra(val_t p0
, val_t p1
){
1027 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1032 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1033 fra
.me
.file
= LOCATE_metamodel___static_type
;
1035 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature_____bra
;
1036 fra
.me
.has_broke
= 0;
1037 fra
.me
.REG_size
= 2;
1038 fra
.me
.nitni_local_ref_head
= NULL
;
1039 fra
.me
.REG
[0] = NIT_NULL
;
1040 fra
.me
.REG
[1] = NIT_NULL
;
1043 /* metamodel/static_type.nit:142 */
1044 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1045 if (UNTAG_Bool(REGB1
)) {
1047 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 142);
1049 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1050 /* ../lib/standard/collection/array.nit:24 */
1051 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[1])!=NIT_NULL
);
1052 if (UNTAG_Bool(REGB1
)) {
1054 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1056 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[1]);
1057 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1058 if (UNTAG_Bool(REGB2
)) {
1060 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1062 /* ../lib/standard/kernel.nit:234 */
1063 REGB1
= TAG_Bool(UNTAG_Int(REGB1
)>UNTAG_Int(REGB0
));
1064 /* metamodel/static_type.nit:142 */
1065 if (UNTAG_Bool(REGB1
)) {
1067 nit_abort("Assert failed", NULL
, LOCATE_metamodel___static_type
, 142);
1069 /* metamodel/static_type.nit:143 */
1070 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1071 if (UNTAG_Bool(REGB1
)) {
1073 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 143);
1075 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1076 /* ../lib/standard/collection/array.nit:280 */
1078 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1079 if (UNTAG_Bool(REGB2
)) {
1081 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1083 /* ../lib/standard/kernel.nit:233 */
1084 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1085 /* ../lib/standard/collection/array.nit:280 */
1086 if (UNTAG_Bool(REGB1
)) {
1087 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
1088 if (UNTAG_Bool(REGB1
)) {
1090 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 280);
1092 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
1093 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1094 if (UNTAG_Bool(REGB2
)) {
1096 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1098 /* ../lib/standard/kernel.nit:232 */
1099 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1101 /* ../lib/standard/collection/array.nit:280 */
1102 REGB2
= TAG_Bool(false);
1105 if (UNTAG_Bool(REGB1
)) {
1107 nit_abort("Assert '%s' failed", "index", LOCATE_standard___collection___array
, 280);
1109 /* ../lib/standard/collection/array.nit:281 */
1110 fra
.me
.REG
[0] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[0]);
1111 REGB1
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
1112 if (UNTAG_Bool(REGB1
)) {
1113 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 281);
1115 /* ../lib/standard/collection/array.nit:718 */
1116 fra
.me
.REG
[0] = ((Nit_NativeArray
)fra
.me
.REG
[0])->val
[UNTAG_Int(REGB0
)];
1117 /* ../lib/standard/collection/array.nit:281 */
1120 /* metamodel/static_type.nit:143 */
1121 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
1122 if (UNTAG_Bool(REGB0
)) {
1123 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 143);
1125 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1128 stack_frame_head
= fra
.me
.prev
;
1129 return fra
.me
.REG
[0];
1131 val_t
metamodel___static_type___MMSignature___to_s(val_t p0
){
1132 struct {struct stack_frame_t me
; val_t MORE_REG
[4];} fra
;
1139 static val_t once_value_3
; /* Once value */
1140 static val_t once_value_4
; /* Once value */
1141 static val_t once_value_5
; /* Once value */
1142 static val_t once_value_6
; /* Once value */
1143 static val_t once_value_7
; /* Once value */
1144 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1145 fra
.me
.file
= LOCATE_metamodel___static_type
;
1147 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___to_s
;
1148 fra
.me
.has_broke
= 0;
1149 fra
.me
.REG_size
= 5;
1150 fra
.me
.nitni_local_ref_head
= NULL
;
1151 fra
.me
.REG
[0] = NIT_NULL
;
1152 fra
.me
.REG
[1] = NIT_NULL
;
1153 fra
.me
.REG
[2] = NIT_NULL
;
1154 fra
.me
.REG
[3] = NIT_NULL
;
1155 fra
.me
.REG
[4] = NIT_NULL
;
1157 /* metamodel/static_type.nit:148 */
1158 fra
.me
.REG
[1] = NEW_Buffer_standard___string___Buffer___init();
1159 /* metamodel/static_type.nit:149 */
1160 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1161 if (UNTAG_Bool(REGB0
)) {
1163 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 149);
1165 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1166 /* ../lib/standard/collection/array.nit:24 */
1167 REGB0
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[2])!=NIT_NULL
);
1168 if (UNTAG_Bool(REGB0
)) {
1170 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1172 REGB0
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[2]);
1173 /* metamodel/static_type.nit:149 */
1175 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1176 if (UNTAG_Bool(REGB2
)) {
1178 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1180 /* ../lib/standard/kernel.nit:234 */
1181 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>UNTAG_Int(REGB1
));
1182 /* metamodel/static_type.nit:149 */
1183 if (UNTAG_Bool(REGB1
)) {
1184 /* metamodel/static_type.nit:151 */
1185 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1186 if (UNTAG_Bool(REGB1
)) {
1188 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 151);
1190 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1191 /* ../lib/standard/collection/array.nit:24 */
1192 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[2])!=NIT_NULL
);
1193 if (UNTAG_Bool(REGB1
)) {
1195 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1197 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[2]);
1198 /* metamodel/static_type.nit:151 */
1199 fra
.me
.REG
[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB1
);
1200 /* metamodel/static_type.nit:152 */
1202 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1203 if (UNTAG_Bool(REGB0
)) {
1205 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 152);
1207 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1208 /* ../lib/standard/collection/array.nit:24 */
1209 REGB0
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
1210 if (UNTAG_Bool(REGB0
)) {
1212 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1214 REGB0
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3]);
1215 /* ../lib/standard/kernel.nit:352 */
1217 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1218 if (UNTAG_Bool(REGB2
)) {
1220 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1222 /* ../lib/standard/kernel.nit:232 */
1223 REGB2
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB0
));
1224 /* ../lib/standard/kernel.nit:352 */
1225 if (UNTAG_Bool(REGB2
)) {
1226 /* metamodel/static_type.nit:152 */
1228 /* metamodel/static_type.nit:153 */
1229 REGB3
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1230 if (UNTAG_Bool(REGB3
)) {
1232 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 153);
1234 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1235 /* ../lib/standard/collection/array.nit:280 */
1237 REGB4
= TAG_Bool(VAL_ISA(REGB3
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1238 if (UNTAG_Bool(REGB4
)) {
1240 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1242 /* ../lib/standard/kernel.nit:233 */
1243 REGB3
= TAG_Bool(UNTAG_Int(REGB2
)>=UNTAG_Int(REGB3
));
1244 /* ../lib/standard/collection/array.nit:280 */
1245 if (UNTAG_Bool(REGB3
)) {
1246 REGB3
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
1247 if (UNTAG_Bool(REGB3
)) {
1249 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 280);
1251 REGB3
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3]);
1252 REGB4
= TAG_Bool(VAL_ISA(REGB3
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1253 if (UNTAG_Bool(REGB4
)) {
1255 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1257 /* ../lib/standard/kernel.nit:232 */
1258 REGB3
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB3
));
1260 /* ../lib/standard/collection/array.nit:280 */
1261 REGB4
= TAG_Bool(false);
1264 if (UNTAG_Bool(REGB3
)) {
1266 nit_abort("Assert '%s' failed", "index", LOCATE_standard___collection___array
, 280);
1268 /* ../lib/standard/collection/array.nit:281 */
1269 fra
.me
.REG
[3] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[3]);
1270 REGB3
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1271 if (UNTAG_Bool(REGB3
)) {
1272 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 281);
1274 /* ../lib/standard/collection/array.nit:718 */
1275 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[3])->val
[UNTAG_Int(REGB2
)];
1276 /* ../lib/standard/collection/array.nit:281 */
1279 /* metamodel/static_type.nit:154 */
1280 fra
.me
.REG
[3] = CALL_standard___string___Object___to_s(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1281 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
1282 /* ../lib/standard/kernel.nit:354 */
1284 /* ../lib/standard/kernel.nit:235 */
1285 REGB2
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB2
));
1286 /* ../lib/standard/kernel.nit:354 */
1289 /* ../lib/standard/kernel.nit:352 */
1294 /* metamodel/static_type.nit:156 */
1296 fra
.me
.REG
[3] = NEW_Array_standard___collection___array___Array___with_capacity(REGB1
);
1297 if (!once_value_3
) {
1298 fra
.me
.REG
[4] = BOX_NativeString("(");
1300 fra
.me
.REG
[4] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[4], REGB1
);
1301 once_value_3
= fra
.me
.REG
[4];
1302 register_static_object(&once_value_3
);
1303 } else fra
.me
.REG
[4] = once_value_3
;
1304 fra
.me
.REG
[4] = fra
.me
.REG
[4];
1305 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1306 if (!once_value_4
) {
1307 fra
.me
.REG
[4] = BOX_NativeString(", ");
1309 fra
.me
.REG
[4] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[4], REGB1
);
1310 once_value_4
= fra
.me
.REG
[4];
1311 register_static_object(&once_value_4
);
1312 } else fra
.me
.REG
[4] = once_value_4
;
1313 fra
.me
.REG
[4] = fra
.me
.REG
[4];
1314 fra
.me
.REG
[4] = CALL_standard___string___Collection___join(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[4]);
1315 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1316 if (!once_value_5
) {
1317 fra
.me
.REG
[4] = BOX_NativeString(")");
1319 fra
.me
.REG
[4] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[4], REGB1
);
1320 once_value_5
= fra
.me
.REG
[4];
1321 register_static_object(&once_value_5
);
1322 } else fra
.me
.REG
[4] = once_value_5
;
1323 fra
.me
.REG
[4] = fra
.me
.REG
[4];
1324 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1325 fra
.me
.REG
[3] = CALL_standard___string___Object___to_s(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1326 CALL_standard___collection___abstract_collection___Sequence___append(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[3]);
1328 /* metamodel/static_type.nit:158 */
1329 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[0]);
1330 /* metamodel/static_type.nit:159 */
1331 REGB1
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
1332 if (UNTAG_Bool(REGB1
)) {
1334 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
1335 if (UNTAG_Bool(REGB0
)) {
1336 REGB0
= TAG_Bool(false);
1339 REGB0
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], NIT_NULL
);
1343 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1344 if (UNTAG_Bool(REGB1
)) {
1346 fra
.me
.REG
[3] = NEW_Array_standard___collection___array___Array___with_capacity(REGB1
);
1347 if (!once_value_6
) {
1348 fra
.me
.REG
[4] = BOX_NativeString(": ");
1350 fra
.me
.REG
[4] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[4], REGB1
);
1351 once_value_6
= fra
.me
.REG
[4];
1352 register_static_object(&once_value_6
);
1353 } else fra
.me
.REG
[4] = once_value_6
;
1354 fra
.me
.REG
[4] = fra
.me
.REG
[4];
1355 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1356 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1357 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[0]);
1358 if (!once_value_7
) {
1359 fra
.me
.REG
[0] = BOX_NativeString("");
1361 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB1
);
1362 once_value_7
= fra
.me
.REG
[0];
1363 register_static_object(&once_value_7
);
1364 } else fra
.me
.REG
[0] = once_value_7
;
1365 fra
.me
.REG
[0] = fra
.me
.REG
[0];
1366 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[0]);
1367 fra
.me
.REG
[3] = CALL_standard___string___Object___to_s(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1368 CALL_standard___collection___abstract_collection___Sequence___append(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[3]);
1370 /* metamodel/static_type.nit:160 */
1371 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1374 stack_frame_head
= fra
.me
.prev
;
1375 return fra
.me
.REG
[1];
1377 val_t
metamodel___static_type___MMSignature___adaptation_to(val_t p0
, val_t p1
){
1378 struct {struct stack_frame_t me
; val_t MORE_REG
[9];} fra
;
1383 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1384 fra
.me
.file
= LOCATE_metamodel___static_type
;
1386 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___adaptation_to
;
1387 fra
.me
.has_broke
= 0;
1388 fra
.me
.REG_size
= 10;
1389 fra
.me
.nitni_local_ref_head
= NULL
;
1390 fra
.me
.REG
[0] = NIT_NULL
;
1391 fra
.me
.REG
[1] = NIT_NULL
;
1392 fra
.me
.REG
[2] = NIT_NULL
;
1393 fra
.me
.REG
[3] = NIT_NULL
;
1394 fra
.me
.REG
[4] = NIT_NULL
;
1395 fra
.me
.REG
[5] = NIT_NULL
;
1396 fra
.me
.REG
[6] = NIT_NULL
;
1397 fra
.me
.REG
[7] = NIT_NULL
;
1398 fra
.me
.REG
[8] = NIT_NULL
;
1399 fra
.me
.REG
[9] = NIT_NULL
;
1402 /* metamodel/static_type.nit:166 */
1403 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[0])!=NIT_NULL
);
1404 if (UNTAG_Bool(REGB0
)) {
1406 nit_abort("Uninitialized attribute %s", "_recv", LOCATE_metamodel___static_type
, 166);
1408 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[0]);
1409 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[2],fra
.me
.REG
[1]));
1410 if (UNTAG_Bool(REGB0
)) {
1412 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
1415 if (UNTAG_Bool(REGB0
)) {
1416 /* metamodel/static_type.nit:167 */
1417 fra
.me
.REG
[2] = fra
.me
.REG
[0];
1420 /* metamodel/static_type.nit:169 */
1421 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1422 /* metamodel/static_type.nit:170 */
1423 fra
.me
.REG
[4] = NEW_Array_standard___collection___array___Array___init();
1424 /* metamodel/static_type.nit:171 */
1425 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1426 if (UNTAG_Bool(REGB0
)) {
1428 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 171);
1430 fra
.me
.REG
[5] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1431 /* ../lib/standard/collection/array.nit:269 */
1433 /* ../lib/standard/collection/array.nit:270 */
1434 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[5])!=NIT_NULL
);
1435 if (UNTAG_Bool(REGB1
)) {
1437 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 270);
1439 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[5]);
1440 /* ../lib/standard/collection/array.nit:271 */
1441 fra
.me
.REG
[6] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[5]);
1442 /* ../lib/standard/collection/array.nit:272 */
1444 /* ../lib/standard/collection/array.nit:24 */
1445 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[5])!=NIT_NULL
);
1446 if (UNTAG_Bool(REGB1
)) {
1448 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1450 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[5]);
1451 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1452 if (UNTAG_Bool(REGB2
)) {
1454 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1456 /* ../lib/standard/kernel.nit:232 */
1457 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1458 /* ../lib/standard/collection/array.nit:272 */
1459 if (UNTAG_Bool(REGB1
)) {
1460 /* ../lib/standard/collection/array.nit:273 */
1461 REGB1
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
1462 if (UNTAG_Bool(REGB1
)) {
1463 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 273);
1465 /* ../lib/standard/collection/array.nit:718 */
1466 fra
.me
.REG
[7] = ((Nit_NativeArray
)fra
.me
.REG
[6])->val
[UNTAG_Int(REGB0
)];
1467 /* metamodel/static_type.nit:172 */
1468 fra
.me
.REG
[8] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[7])(fra
.me
.REG
[7]);
1469 fra
.me
.REG
[8] = CALL_metamodel___static_type___MMType___for_module(fra
.me
.REG
[8])(fra
.me
.REG
[8], fra
.me
.REG
[3]);
1470 fra
.me
.REG
[8] = CALL_metamodel___static_type___MMType___adapt_to(fra
.me
.REG
[8])(fra
.me
.REG
[8], fra
.me
.REG
[1]);
1471 /* metamodel/static_type.nit:174 */
1472 fra
.me
.REG
[9] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[7])(fra
.me
.REG
[7]);
1473 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[8],fra
.me
.REG
[9]));
1474 if (UNTAG_Bool(REGB1
)) {
1476 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[8])(fra
.me
.REG
[8], fra
.me
.REG
[9]);
1479 if (UNTAG_Bool(REGB1
)) {
1480 /* metamodel/static_type.nit:175 */
1481 fra
.me
.REG
[9] = fra
.me
.REG
[7];
1483 /* metamodel/static_type.nit:177 */
1484 fra
.me
.REG
[7] = CALL_metamodel___static_type___MMParam___name(fra
.me
.REG
[7])(fra
.me
.REG
[7]);
1485 fra
.me
.REG
[7] = NEW_MMParam_metamodel___static_type___MMParam___init(fra
.me
.REG
[8], fra
.me
.REG
[7]);
1486 fra
.me
.REG
[9] = fra
.me
.REG
[7];
1488 /* metamodel/static_type.nit:180 */
1489 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[9]);
1490 /* ../lib/standard/collection/array.nit:274 */
1492 /* ../lib/standard/kernel.nit:235 */
1493 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1494 /* ../lib/standard/collection/array.nit:274 */
1497 /* ../lib/standard/collection/array.nit:272 */
1502 /* metamodel/static_type.nit:182 */
1503 fra
.me
.REG
[6] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[0]);
1504 /* metamodel/static_type.nit:183 */
1505 REGB0
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
1506 if (UNTAG_Bool(REGB0
)) {
1508 REGB1
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
1509 if (UNTAG_Bool(REGB1
)) {
1510 REGB1
= TAG_Bool(false);
1513 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[6])(fra
.me
.REG
[6], NIT_NULL
);
1517 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1518 if (UNTAG_Bool(REGB0
)) {
1519 /* metamodel/static_type.nit:184 */
1520 REGB0
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
1521 if (UNTAG_Bool(REGB0
)) {
1522 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 184);
1524 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___for_module(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[3]);
1525 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___adapt_to(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
1526 fra
.me
.REG
[6] = fra
.me
.REG
[3];
1528 /* metamodel/static_type.nit:186 */
1529 fra
.me
.REG
[6] = NEW_MMSignature_metamodel___static_type___MMSignature___init(fra
.me
.REG
[4], fra
.me
.REG
[6], fra
.me
.REG
[1]);
1530 /* metamodel/static_type.nit:187 */
1531 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0])!=NIT_NULL
);
1532 if (UNTAG_Bool(REGB0
)) {
1534 nit_abort("Uninitialized attribute %s", "_closures", LOCATE_metamodel___static_type
, 187);
1536 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0]);
1537 /* ../lib/standard/collection/array.nit:269 */
1539 /* ../lib/standard/collection/array.nit:270 */
1540 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
1541 if (UNTAG_Bool(REGB1
)) {
1543 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 270);
1545 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
1546 /* ../lib/standard/collection/array.nit:271 */
1547 fra
.me
.REG
[4] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[0]);
1548 /* ../lib/standard/collection/array.nit:272 */
1550 /* ../lib/standard/collection/array.nit:24 */
1551 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
1552 if (UNTAG_Bool(REGB1
)) {
1554 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1556 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
1557 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1558 if (UNTAG_Bool(REGB2
)) {
1560 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1562 /* ../lib/standard/kernel.nit:232 */
1563 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1564 /* ../lib/standard/collection/array.nit:272 */
1565 if (UNTAG_Bool(REGB1
)) {
1566 /* ../lib/standard/collection/array.nit:273 */
1567 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1568 if (UNTAG_Bool(REGB1
)) {
1569 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 273);
1571 /* ../lib/standard/collection/array.nit:718 */
1572 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[4])->val
[UNTAG_Int(REGB0
)];
1573 /* metamodel/static_type.nit:188 */
1574 fra
.me
.REG
[5] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
1575 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMClosure___adaptation_to(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
1576 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[3]);
1577 /* ../lib/standard/collection/array.nit:274 */
1579 /* ../lib/standard/kernel.nit:235 */
1580 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1581 /* ../lib/standard/collection/array.nit:274 */
1584 /* ../lib/standard/collection/array.nit:272 */
1589 /* metamodel/static_type.nit:190 */
1590 fra
.me
.REG
[2] = fra
.me
.REG
[6];
1593 stack_frame_head
= fra
.me
.prev
;
1594 return fra
.me
.REG
[2];
1596 val_t
metamodel___static_type___MMSignature___not_for_self(val_t p0
){
1597 struct {struct stack_frame_t me
; val_t MORE_REG
[8];} fra
;
1603 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1604 fra
.me
.file
= LOCATE_metamodel___static_type
;
1606 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___not_for_self
;
1607 fra
.me
.has_broke
= 0;
1608 fra
.me
.REG_size
= 9;
1609 fra
.me
.nitni_local_ref_head
= NULL
;
1610 fra
.me
.REG
[0] = NIT_NULL
;
1611 fra
.me
.REG
[1] = NIT_NULL
;
1612 fra
.me
.REG
[2] = NIT_NULL
;
1613 fra
.me
.REG
[3] = NIT_NULL
;
1614 fra
.me
.REG
[4] = NIT_NULL
;
1615 fra
.me
.REG
[5] = NIT_NULL
;
1616 fra
.me
.REG
[6] = NIT_NULL
;
1617 fra
.me
.REG
[7] = NIT_NULL
;
1618 fra
.me
.REG
[8] = NIT_NULL
;
1620 /* metamodel/static_type.nit:195 */
1621 fra
.me
.REG
[1] = fra
.me
.REG
[0];
1622 /* metamodel/static_type.nit:199 */
1623 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMSignature____not_for_self_cache(fra
.me
.REG
[1]);
1624 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
1625 if (UNTAG_Bool(REGB0
)) {
1627 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
1628 if (UNTAG_Bool(REGB1
)) {
1629 REGB1
= TAG_Bool(false);
1632 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], NIT_NULL
);
1636 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1637 if (UNTAG_Bool(REGB0
)) {
1638 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMSignature____not_for_self_cache(fra
.me
.REG
[1]);
1639 REGB0
= TAG_Bool(fra
.me
.REG
[2]!=NIT_NULL
);
1640 if (UNTAG_Bool(REGB0
)) {
1642 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 199);
1646 /* metamodel/static_type.nit:201 */
1647 REGB0
= TAG_Bool(false);
1648 /* metamodel/static_type.nit:202 */
1649 fra
.me
.REG
[0] = NEW_Array_standard___collection___array___Array___init();
1650 /* metamodel/static_type.nit:203 */
1651 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[1])!=NIT_NULL
);
1652 if (UNTAG_Bool(REGB1
)) {
1654 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 203);
1656 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[1]);
1657 /* ../lib/standard/collection/array.nit:269 */
1659 /* ../lib/standard/collection/array.nit:270 */
1660 REGB2
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
1661 if (UNTAG_Bool(REGB2
)) {
1663 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 270);
1665 REGB2
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3]);
1666 /* ../lib/standard/collection/array.nit:271 */
1667 fra
.me
.REG
[4] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[3]);
1668 /* ../lib/standard/collection/array.nit:272 */
1670 /* ../lib/standard/collection/array.nit:24 */
1671 REGB2
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
1672 if (UNTAG_Bool(REGB2
)) {
1674 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1676 REGB2
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3]);
1677 REGB3
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1678 if (UNTAG_Bool(REGB3
)) {
1680 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1682 /* ../lib/standard/kernel.nit:232 */
1683 REGB2
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB2
));
1684 /* ../lib/standard/collection/array.nit:272 */
1685 if (UNTAG_Bool(REGB2
)) {
1686 /* ../lib/standard/collection/array.nit:273 */
1687 REGB2
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1688 if (UNTAG_Bool(REGB2
)) {
1689 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 273);
1691 /* ../lib/standard/collection/array.nit:718 */
1692 fra
.me
.REG
[5] = ((Nit_NativeArray
)fra
.me
.REG
[4])->val
[UNTAG_Int(REGB1
)];
1693 /* metamodel/static_type.nit:204 */
1694 fra
.me
.REG
[6] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1695 fra
.me
.REG
[6] = CALL_metamodel___static_type___MMType___not_for_self(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
1696 /* metamodel/static_type.nit:206 */
1697 fra
.me
.REG
[7] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1698 REGB2
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[7],fra
.me
.REG
[6]));
1699 if (UNTAG_Bool(REGB2
)) {
1701 REGB3
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[7])(fra
.me
.REG
[7], fra
.me
.REG
[6]);
1704 if (UNTAG_Bool(REGB2
)) {
1705 /* metamodel/static_type.nit:207 */
1706 fra
.me
.REG
[7] = fra
.me
.REG
[5];
1708 /* metamodel/static_type.nit:209 */
1709 REGB2
= TAG_Bool(true);
1711 /* metamodel/static_type.nit:210 */
1712 fra
.me
.REG
[5] = CALL_metamodel___static_type___MMParam___name(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1713 fra
.me
.REG
[5] = NEW_MMParam_metamodel___static_type___MMParam___init(fra
.me
.REG
[6], fra
.me
.REG
[5]);
1714 fra
.me
.REG
[7] = fra
.me
.REG
[5];
1716 /* metamodel/static_type.nit:213 */
1717 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[7]);
1718 /* ../lib/standard/collection/array.nit:274 */
1720 /* ../lib/standard/kernel.nit:235 */
1721 REGB2
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB2
));
1722 /* ../lib/standard/collection/array.nit:274 */
1725 /* ../lib/standard/collection/array.nit:272 */
1730 /* metamodel/static_type.nit:216 */
1731 fra
.me
.REG
[4] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[1]);
1732 /* metamodel/static_type.nit:217 */
1733 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1734 if (UNTAG_Bool(REGB1
)) {
1736 REGB2
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1737 if (UNTAG_Bool(REGB2
)) {
1738 REGB2
= TAG_Bool(false);
1741 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], NIT_NULL
);
1745 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1746 if (UNTAG_Bool(REGB1
)) {
1747 /* metamodel/static_type.nit:218 */
1748 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1749 if (UNTAG_Bool(REGB1
)) {
1750 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 218);
1752 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___not_for_self(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1753 fra
.me
.REG
[4] = fra
.me
.REG
[3];
1754 /* metamodel/static_type.nit:219 */
1755 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[1]);
1756 REGB1
= TAG_Bool(IS_EQUAL_NN(fra
.me
.REG
[4],fra
.me
.REG
[3]));
1757 if (UNTAG_Bool(REGB1
)) {
1759 REGB2
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1760 if (UNTAG_Bool(REGB2
)) {
1761 REGB2
= TAG_Bool(false);
1764 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[3]);
1768 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1769 if (UNTAG_Bool(REGB1
)) {
1770 REGB1
= TAG_Bool(true);
1774 /* metamodel/static_type.nit:222 */
1775 fra
.me
.REG
[3] = NEW_Array_standard___collection___array___Array___init();
1776 /* metamodel/static_type.nit:223 */
1777 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[1])!=NIT_NULL
);
1778 if (UNTAG_Bool(REGB1
)) {
1780 nit_abort("Uninitialized attribute %s", "_closures", LOCATE_metamodel___static_type
, 223);
1782 fra
.me
.REG
[7] = ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[1]);
1783 /* ../lib/standard/collection/array.nit:269 */
1785 /* ../lib/standard/collection/array.nit:270 */
1786 REGB2
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[7])!=NIT_NULL
);
1787 if (UNTAG_Bool(REGB2
)) {
1789 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 270);
1791 REGB2
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[7]);
1792 /* ../lib/standard/collection/array.nit:271 */
1793 fra
.me
.REG
[5] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[7]);
1794 /* ../lib/standard/collection/array.nit:272 */
1796 /* ../lib/standard/collection/array.nit:24 */
1797 REGB2
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[7])!=NIT_NULL
);
1798 if (UNTAG_Bool(REGB2
)) {
1800 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1802 REGB2
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[7]);
1803 REGB3
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1804 if (UNTAG_Bool(REGB3
)) {
1806 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1808 /* ../lib/standard/kernel.nit:232 */
1809 REGB2
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB2
));
1810 /* ../lib/standard/collection/array.nit:272 */
1811 if (UNTAG_Bool(REGB2
)) {
1812 /* ../lib/standard/collection/array.nit:273 */
1813 REGB2
= TAG_Bool(fra
.me
.REG
[5]==NIT_NULL
);
1814 if (UNTAG_Bool(REGB2
)) {
1815 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 273);
1817 /* ../lib/standard/collection/array.nit:718 */
1818 fra
.me
.REG
[6] = ((Nit_NativeArray
)fra
.me
.REG
[5])->val
[UNTAG_Int(REGB1
)];
1819 /* metamodel/static_type.nit:224 */
1820 fra
.me
.REG
[8] = CALL_metamodel___static_type___MMClosure___not_for_self(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
1821 /* metamodel/static_type.nit:225 */
1822 REGB2
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[8],fra
.me
.REG
[6]));
1823 if (UNTAG_Bool(REGB2
)) {
1825 REGB3
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[8])(fra
.me
.REG
[8], fra
.me
.REG
[6]);
1828 REGB2
= TAG_Bool(!UNTAG_Bool(REGB2
));
1829 if (UNTAG_Bool(REGB2
)) {
1830 REGB2
= TAG_Bool(true);
1833 /* metamodel/static_type.nit:226 */
1834 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[8]);
1835 /* ../lib/standard/collection/array.nit:274 */
1837 /* ../lib/standard/kernel.nit:235 */
1838 REGB2
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB2
));
1839 /* ../lib/standard/collection/array.nit:274 */
1842 /* ../lib/standard/collection/array.nit:272 */
1847 /* metamodel/static_type.nit:230 */
1848 if (UNTAG_Bool(REGB0
)) {
1849 /* metamodel/static_type.nit:231 */
1850 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[1])!=NIT_NULL
);
1851 if (UNTAG_Bool(REGB0
)) {
1853 nit_abort("Uninitialized attribute %s", "_recv", LOCATE_metamodel___static_type
, 231);
1855 fra
.me
.REG
[5] = ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[1]);
1856 fra
.me
.REG
[5] = NEW_MMSignature_metamodel___static_type___MMSignature___init(fra
.me
.REG
[0], fra
.me
.REG
[4], fra
.me
.REG
[5]);
1857 /* metamodel/static_type.nit:232 */
1858 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1859 CALL_standard___collection___abstract_collection___SimpleCollection___add_all(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[3]);
1861 /* metamodel/static_type.nit:234 */
1862 fra
.me
.REG
[5] = fra
.me
.REG
[1];
1864 /* metamodel/static_type.nit:237 */
1865 ATTR_metamodel___static_type___MMSignature____not_for_self_cache(fra
.me
.REG
[1]) = fra
.me
.REG
[5];
1866 /* metamodel/static_type.nit:238 */
1867 fra
.me
.REG
[2] = fra
.me
.REG
[5];
1870 stack_frame_head
= fra
.me
.prev
;
1871 return fra
.me
.REG
[2];
1873 void metamodel___static_type___MMSignature___init(val_t p0
, val_t p1
, val_t p2
, val_t p3
, int* init_table
){
1874 int itpos1
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMSignature
].i
;
1875 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
1877 if (init_table
[itpos1
]) return;
1878 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1879 fra
.me
.file
= LOCATE_metamodel___static_type
;
1881 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___init
;
1882 fra
.me
.has_broke
= 0;
1883 fra
.me
.REG_size
= 4;
1884 fra
.me
.nitni_local_ref_head
= NULL
;
1885 fra
.me
.REG
[0] = NIT_NULL
;
1886 fra
.me
.REG
[1] = NIT_NULL
;
1887 fra
.me
.REG
[2] = NIT_NULL
;
1888 fra
.me
.REG
[3] = NIT_NULL
;
1893 /* metamodel/static_type.nit:243 */
1894 ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
1895 /* metamodel/static_type.nit:244 */
1896 ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
1897 /* metamodel/static_type.nit:245 */
1898 ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[0]) = fra
.me
.REG
[3];
1899 stack_frame_head
= fra
.me
.prev
;
1900 init_table
[itpos1
] = 1;
1903 val_t
metamodel___static_type___MMExplicitImport___signature(val_t p0
){
1904 struct {struct stack_frame_t me
;} fra
;
1907 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1908 fra
.me
.file
= LOCATE_metamodel___static_type
;
1910 fra
.me
.meth
= LOCATE_metamodel___static_type___MMExplicitImport___signature
;
1911 fra
.me
.has_broke
= 0;
1912 fra
.me
.REG_size
= 1;
1913 fra
.me
.nitni_local_ref_head
= NULL
;
1914 fra
.me
.REG
[0] = NIT_NULL
;
1916 /* metamodel/static_type.nit:251 */
1917 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMExplicitImport_____atsignature(fra
.me
.REG
[0])!=NIT_NULL
);
1918 if (UNTAG_Bool(REGB0
)) {
1920 nit_abort("Uninitialized attribute %s", "@signature", LOCATE_metamodel___static_type
, 251);
1922 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMExplicitImport_____atsignature(fra
.me
.REG
[0]);
1923 stack_frame_head
= fra
.me
.prev
;
1924 return fra
.me
.REG
[0];
1926 void metamodel___static_type___MMExplicitImport___signature__eq(val_t p0
, val_t p1
){
1927 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1929 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1930 fra
.me
.file
= LOCATE_metamodel___static_type
;
1932 fra
.me
.meth
= LOCATE_metamodel___static_type___MMExplicitImport___signature__eq
;
1933 fra
.me
.has_broke
= 0;
1934 fra
.me
.REG_size
= 2;
1935 fra
.me
.nitni_local_ref_head
= NULL
;
1936 fra
.me
.REG
[0] = NIT_NULL
;
1937 fra
.me
.REG
[1] = NIT_NULL
;
1940 /* metamodel/static_type.nit:251 */
1941 ATTR_metamodel___static_type___MMExplicitImport_____atsignature(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
1942 stack_frame_head
= fra
.me
.prev
;
1945 void metamodel___static_type___MMExplicitImport___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
){
1946 int itpos2
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___abstractmetamodel___MMExplicitImport
].i
;
1947 struct {struct stack_frame_t me
; val_t MORE_REG
[5];} fra
;
1950 if (init_table
[itpos2
]) return;
1951 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1952 fra
.me
.file
= LOCATE_metamodel___static_type
;
1954 fra
.me
.meth
= LOCATE_metamodel___static_type___MMExplicitImport___init
;
1955 fra
.me
.has_broke
= 0;
1956 fra
.me
.REG_size
= 6;
1957 fra
.me
.nitni_local_ref_head
= NULL
;
1958 fra
.me
.REG
[0] = NIT_NULL
;
1959 fra
.me
.REG
[1] = NIT_NULL
;
1960 fra
.me
.REG
[2] = NIT_NULL
;
1961 fra
.me
.REG
[3] = NIT_NULL
;
1962 fra
.me
.REG
[4] = NIT_NULL
;
1963 fra
.me
.REG
[5] = NIT_NULL
;
1967 /* metamodel/static_type.nit:253 */
1968 fra
.me
.REG
[3] = fra
.me
.REG
[0];
1969 fra
.me
.REG
[4] = fra
.me
.REG
[1];
1970 fra
.me
.REG
[5] = fra
.me
.REG
[2];
1971 /* metamodel/static_type.nit:255 */
1972 CALL_SUPER_metamodel___static_type___MMExplicitImport___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1], fra
.me
.REG
[2], init_table
);
1973 /* metamodel/static_type.nit:256 */
1974 fra
.me
.REG
[5] = CALL_metamodel___static_type___MMLocalProperty___signature(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1975 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMLocalClass___get_type(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1976 REGB0
= TAG_Bool(fra
.me
.REG
[5]==NIT_NULL
);
1977 if (UNTAG_Bool(REGB0
)) {
1978 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 256);
1980 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___adaptation_to(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[4]);
1981 CALL_metamodel___static_type___MMExplicitImport___signature__eq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1982 stack_frame_head
= fra
.me
.prev
;
1983 init_table
[itpos2
] = 1;
1986 val_t
metamodel___static_type___MMClosure___name(val_t p0
){
1987 struct {struct stack_frame_t me
;} fra
;
1990 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1991 fra
.me
.file
= LOCATE_metamodel___static_type
;
1993 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___name
;
1994 fra
.me
.has_broke
= 0;
1995 fra
.me
.REG_size
= 1;
1996 fra
.me
.nitni_local_ref_head
= NULL
;
1997 fra
.me
.REG
[0] = NIT_NULL
;
1999 /* metamodel/static_type.nit:262 */
2000 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0])!=NIT_NULL
);
2001 if (UNTAG_Bool(REGB0
)) {
2003 nit_abort("Uninitialized attribute %s", "_name", LOCATE_metamodel___static_type
, 262);
2005 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0]);
2006 stack_frame_head
= fra
.me
.prev
;
2007 return fra
.me
.REG
[0];
2009 val_t
metamodel___static_type___MMClosure___signature(val_t p0
){
2010 struct {struct stack_frame_t me
;} fra
;
2013 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2014 fra
.me
.file
= LOCATE_metamodel___static_type
;
2016 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___signature
;
2017 fra
.me
.has_broke
= 0;
2018 fra
.me
.REG_size
= 1;
2019 fra
.me
.nitni_local_ref_head
= NULL
;
2020 fra
.me
.REG
[0] = NIT_NULL
;
2022 /* metamodel/static_type.nit:265 */
2023 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
2024 if (UNTAG_Bool(REGB0
)) {
2026 nit_abort("Uninitialized attribute %s", "_signature", LOCATE_metamodel___static_type
, 265);
2028 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0]);
2029 stack_frame_head
= fra
.me
.prev
;
2030 return fra
.me
.REG
[0];
2032 val_t
metamodel___static_type___MMClosure___is_break(val_t p0
){
2033 struct {struct stack_frame_t me
;} fra
;
2036 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2037 fra
.me
.file
= LOCATE_metamodel___static_type
;
2039 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___is_break
;
2040 fra
.me
.has_broke
= 0;
2041 fra
.me
.REG_size
= 1;
2042 fra
.me
.nitni_local_ref_head
= NULL
;
2043 fra
.me
.REG
[0] = NIT_NULL
;
2045 /* metamodel/static_type.nit:268 */
2046 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0])!=NIT_NULL
);
2047 if (UNTAG_Bool(REGB0
)) {
2049 nit_abort("Uninitialized attribute %s", "_is_break", LOCATE_metamodel___static_type
, 268);
2051 REGB0
= ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0]);
2052 stack_frame_head
= fra
.me
.prev
;
2055 val_t
metamodel___static_type___MMClosure___is_optional(val_t p0
){
2056 struct {struct stack_frame_t me
;} fra
;
2059 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2060 fra
.me
.file
= LOCATE_metamodel___static_type
;
2062 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___is_optional
;
2063 fra
.me
.has_broke
= 0;
2064 fra
.me
.REG_size
= 1;
2065 fra
.me
.nitni_local_ref_head
= NULL
;
2066 fra
.me
.REG
[0] = NIT_NULL
;
2068 /* metamodel/static_type.nit:272 */
2069 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0])!=NIT_NULL
);
2070 if (UNTAG_Bool(REGB0
)) {
2072 nit_abort("Uninitialized attribute %s", "_is_optional", LOCATE_metamodel___static_type
, 272);
2074 REGB0
= ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0]);
2075 stack_frame_head
= fra
.me
.prev
;
2078 val_t
metamodel___static_type___MMClosure___adaptation_to(val_t p0
, val_t p1
){
2079 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
2083 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2084 fra
.me
.file
= LOCATE_metamodel___static_type
;
2086 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___adaptation_to
;
2087 fra
.me
.has_broke
= 0;
2088 fra
.me
.REG_size
= 4;
2089 fra
.me
.nitni_local_ref_head
= NULL
;
2090 fra
.me
.REG
[0] = NIT_NULL
;
2091 fra
.me
.REG
[1] = NIT_NULL
;
2092 fra
.me
.REG
[2] = NIT_NULL
;
2093 fra
.me
.REG
[3] = NIT_NULL
;
2096 /* metamodel/static_type.nit:279 */
2097 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0])!=NIT_NULL
);
2098 if (UNTAG_Bool(REGB0
)) {
2100 nit_abort("Uninitialized attribute %s", "_name", LOCATE_metamodel___static_type
, 279);
2102 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0]);
2103 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
2104 if (UNTAG_Bool(REGB0
)) {
2106 nit_abort("Uninitialized attribute %s", "_signature", LOCATE_metamodel___static_type
, 279);
2108 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0]);
2109 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMSignature___adaptation_to(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
2110 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0])!=NIT_NULL
);
2111 if (UNTAG_Bool(REGB0
)) {
2113 nit_abort("Uninitialized attribute %s", "_is_break", LOCATE_metamodel___static_type
, 279);
2115 REGB0
= ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0]);
2116 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0])!=NIT_NULL
);
2117 if (UNTAG_Bool(REGB1
)) {
2119 nit_abort("Uninitialized attribute %s", "_is_optional", LOCATE_metamodel___static_type
, 279);
2121 REGB1
= ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0]);
2122 fra
.me
.REG
[1] = NEW_MMClosure_metamodel___static_type___MMClosure___init(fra
.me
.REG
[2], fra
.me
.REG
[1], REGB0
, REGB1
);
2125 stack_frame_head
= fra
.me
.prev
;
2126 return fra
.me
.REG
[1];
2128 void metamodel___static_type___MMClosure___init(val_t p0
, val_t p1
, val_t p2
, val_t p3
, val_t p4
, int* init_table
){
2129 int itpos3
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMClosure
].i
;
2130 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2134 if (init_table
[itpos3
]) return;
2135 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2136 fra
.me
.file
= LOCATE_metamodel___static_type
;
2138 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___init
;
2139 fra
.me
.has_broke
= 0;
2140 fra
.me
.REG_size
= 3;
2141 fra
.me
.nitni_local_ref_head
= NULL
;
2142 fra
.me
.REG
[0] = NIT_NULL
;
2143 fra
.me
.REG
[1] = NIT_NULL
;
2144 fra
.me
.REG
[2] = NIT_NULL
;
2150 /* metamodel/static_type.nit:284 */
2151 ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
2152 /* metamodel/static_type.nit:285 */
2153 ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
2154 /* metamodel/static_type.nit:286 */
2155 ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0]) = REGB0
;
2156 /* metamodel/static_type.nit:287 */
2157 ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0]) = REGB1
;
2158 stack_frame_head
= fra
.me
.prev
;
2159 init_table
[itpos3
] = 1;
2162 val_t
metamodel___static_type___MMClosure___not_for_self(val_t p0
){
2163 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2167 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2168 fra
.me
.file
= LOCATE_metamodel___static_type
;
2170 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___not_for_self
;
2171 fra
.me
.has_broke
= 0;
2172 fra
.me
.REG_size
= 3;
2173 fra
.me
.nitni_local_ref_head
= NULL
;
2174 fra
.me
.REG
[0] = NIT_NULL
;
2175 fra
.me
.REG
[1] = NIT_NULL
;
2176 fra
.me
.REG
[2] = NIT_NULL
;
2178 /* metamodel/static_type.nit:292 */
2179 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
2180 if (UNTAG_Bool(REGB0
)) {
2182 nit_abort("Uninitialized attribute %s", "_signature", LOCATE_metamodel___static_type
, 292);
2184 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0]);
2185 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMSignature___not_for_self(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2186 /* metamodel/static_type.nit:293 */
2187 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
2188 if (UNTAG_Bool(REGB0
)) {
2190 nit_abort("Uninitialized attribute %s", "_signature", LOCATE_metamodel___static_type
, 293);
2192 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0]);
2193 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[2]));
2194 if (UNTAG_Bool(REGB0
)) {
2196 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
2199 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2200 if (UNTAG_Bool(REGB0
)) {
2201 /* metamodel/static_type.nit:294 */
2202 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0])!=NIT_NULL
);
2203 if (UNTAG_Bool(REGB0
)) {
2205 nit_abort("Uninitialized attribute %s", "_name", LOCATE_metamodel___static_type
, 294);
2207 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0]);
2208 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0])!=NIT_NULL
);
2209 if (UNTAG_Bool(REGB0
)) {
2211 nit_abort("Uninitialized attribute %s", "_is_break", LOCATE_metamodel___static_type
, 294);
2213 REGB0
= ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0]);
2214 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0])!=NIT_NULL
);
2215 if (UNTAG_Bool(REGB1
)) {
2217 nit_abort("Uninitialized attribute %s", "_is_optional", LOCATE_metamodel___static_type
, 294);
2219 REGB1
= ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0]);
2220 fra
.me
.REG
[1] = NEW_MMClosure_metamodel___static_type___MMClosure___init(fra
.me
.REG
[2], fra
.me
.REG
[1], REGB0
, REGB1
);
2223 /* metamodel/static_type.nit:296 */
2224 fra
.me
.REG
[1] = fra
.me
.REG
[0];
2228 stack_frame_head
= fra
.me
.prev
;
2229 return fra
.me
.REG
[1];
2231 val_t
metamodel___static_type___MMClosure_____l(val_t p0
, val_t p1
){
2232 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2237 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2238 fra
.me
.file
= LOCATE_metamodel___static_type
;
2240 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure_____l
;
2241 fra
.me
.has_broke
= 0;
2242 fra
.me
.REG_size
= 2;
2243 fra
.me
.nitni_local_ref_head
= NULL
;
2244 fra
.me
.REG
[0] = NIT_NULL
;
2245 fra
.me
.REG
[1] = NIT_NULL
;
2248 /* metamodel/static_type.nit:302 */
2249 REGB0
= CALL_metamodel___static_type___MMClosure___is_optional(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2250 if (UNTAG_Bool(REGB0
)) {
2251 REGB0
= CALL_metamodel___static_type___MMClosure___is_optional(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2252 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2254 REGB1
= TAG_Bool(false);
2257 if (UNTAG_Bool(REGB0
)) {
2258 REGB0
= TAG_Bool(false);
2261 /* metamodel/static_type.nit:303 */
2262 REGB1
= CALL_metamodel___static_type___MMClosure___is_break(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2263 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
2264 if (UNTAG_Bool(REGB1
)) {
2265 REGB1
= CALL_metamodel___static_type___MMClosure___is_break(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2267 REGB2
= TAG_Bool(false);
2270 if (UNTAG_Bool(REGB1
)) {
2271 REGB1
= TAG_Bool(false);
2275 /* metamodel/static_type.nit:304 */
2276 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMClosure___signature(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2277 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMClosure___signature(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2278 REGB1
= CALL_metamodel___static_type___MMSignature_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
2282 stack_frame_head
= fra
.me
.prev
;
2285 void metamodel___static_type___MMAncestor___stype__eq(val_t p0
, val_t p1
){
2286 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2288 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2289 fra
.me
.file
= LOCATE_metamodel___static_type
;
2291 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___stype__eq
;
2292 fra
.me
.has_broke
= 0;
2293 fra
.me
.REG_size
= 2;
2294 fra
.me
.nitni_local_ref_head
= NULL
;
2295 fra
.me
.REG
[0] = NIT_NULL
;
2296 fra
.me
.REG
[1] = NIT_NULL
;
2299 /* metamodel/static_type.nit:310 */
2300 ATTR_metamodel___static_type___MMAncestor____stype(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
2301 stack_frame_head
= fra
.me
.prev
;
2304 val_t
metamodel___static_type___MMAncestor___stype(val_t p0
){
2305 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2308 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2309 fra
.me
.file
= LOCATE_metamodel___static_type
;
2311 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___stype
;
2312 fra
.me
.has_broke
= 0;
2313 fra
.me
.REG_size
= 2;
2314 fra
.me
.nitni_local_ref_head
= NULL
;
2315 fra
.me
.REG
[0] = NIT_NULL
;
2316 fra
.me
.REG
[1] = NIT_NULL
;
2318 /* metamodel/static_type.nit:313 */
2319 fra
.me
.REG
[1] = fra
.me
.REG
[0];
2320 /* metamodel/static_type.nit:314 */
2321 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMAncestor____stype(fra
.me
.REG
[1]);
2322 REGB0
= TAG_Bool(fra
.me
.REG
[1]!=NIT_NULL
);
2323 if (UNTAG_Bool(REGB0
)) {
2325 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 314);
2329 stack_frame_head
= fra
.me
.prev
;
2330 return fra
.me
.REG
[1];
2332 void metamodel___static_type___MMAncestor___inheriter__eq(val_t p0
, val_t p1
){
2333 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2335 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2336 fra
.me
.file
= LOCATE_metamodel___static_type
;
2338 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___inheriter__eq
;
2339 fra
.me
.has_broke
= 0;
2340 fra
.me
.REG_size
= 2;
2341 fra
.me
.nitni_local_ref_head
= NULL
;
2342 fra
.me
.REG
[0] = NIT_NULL
;
2343 fra
.me
.REG
[1] = NIT_NULL
;
2346 /* metamodel/static_type.nit:316 */
2347 ATTR_metamodel___static_type___MMAncestor____inheriter(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
2348 stack_frame_head
= fra
.me
.prev
;
2351 val_t
metamodel___static_type___MMAncestor___inheriter(val_t p0
){
2352 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2355 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2356 fra
.me
.file
= LOCATE_metamodel___static_type
;
2358 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___inheriter
;
2359 fra
.me
.has_broke
= 0;
2360 fra
.me
.REG_size
= 2;
2361 fra
.me
.nitni_local_ref_head
= NULL
;
2362 fra
.me
.REG
[0] = NIT_NULL
;
2363 fra
.me
.REG
[1] = NIT_NULL
;
2365 /* metamodel/static_type.nit:319 */
2366 fra
.me
.REG
[1] = fra
.me
.REG
[0];
2367 /* metamodel/static_type.nit:320 */
2368 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMAncestor____inheriter(fra
.me
.REG
[1]);
2369 REGB0
= TAG_Bool(fra
.me
.REG
[1]!=NIT_NULL
);
2370 if (UNTAG_Bool(REGB0
)) {
2372 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 320);
2376 stack_frame_head
= fra
.me
.prev
;
2377 return fra
.me
.REG
[1];
2379 val_t
metamodel___static_type___MMAncestor___is_reffinement(val_t p0
){
2380 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2384 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2385 fra
.me
.file
= LOCATE_metamodel___static_type
;
2387 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___is_reffinement
;
2388 fra
.me
.has_broke
= 0;
2389 fra
.me
.REG_size
= 2;
2390 fra
.me
.nitni_local_ref_head
= NULL
;
2391 fra
.me
.REG
[0] = NIT_NULL
;
2392 fra
.me
.REG
[1] = NIT_NULL
;
2394 /* metamodel/static_type.nit:323 */
2395 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2396 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2397 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2398 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2399 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[0]));
2400 if (UNTAG_Bool(REGB0
)) {
2402 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
2405 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2408 stack_frame_head
= fra
.me
.prev
;
2411 val_t
metamodel___static_type___MMAncestor___is_specialisation(val_t p0
){
2412 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2416 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2417 fra
.me
.file
= LOCATE_metamodel___static_type
;
2419 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___is_specialisation
;
2420 fra
.me
.has_broke
= 0;
2421 fra
.me
.REG_size
= 2;
2422 fra
.me
.nitni_local_ref_head
= NULL
;
2423 fra
.me
.REG
[0] = NIT_NULL
;
2424 fra
.me
.REG
[1] = NIT_NULL
;
2426 /* metamodel/static_type.nit:327 */
2427 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2428 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2429 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2430 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMAncestor___inheriter(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2431 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___local_class(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2432 fra
.me
.REG
[0] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2433 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[0]));
2434 if (UNTAG_Bool(REGB0
)) {
2436 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
2439 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2442 stack_frame_head
= fra
.me
.prev
;
2445 val_t
metamodel___static_type___MMAncestor___local_class(val_t p0
){
2446 struct {struct stack_frame_t me
;} fra
;
2448 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2449 fra
.me
.file
= LOCATE_metamodel___static_type
;
2451 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___local_class
;
2452 fra
.me
.has_broke
= 0;
2453 fra
.me
.REG_size
= 0;
2454 fra
.me
.nitni_local_ref_head
= NULL
;
2455 /* metamodel/static_type.nit:330 */
2456 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 330);
2457 stack_frame_head
= fra
.me
.prev
;
2460 val_t
metamodel___static_type___MMAncestor___to_s(val_t p0
){
2461 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2465 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2466 fra
.me
.file
= LOCATE_metamodel___static_type
;
2468 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___to_s
;
2469 fra
.me
.has_broke
= 0;
2470 fra
.me
.REG_size
= 2;
2471 fra
.me
.nitni_local_ref_head
= NULL
;
2472 fra
.me
.REG
[0] = NIT_NULL
;
2473 fra
.me
.REG
[1] = NIT_NULL
;
2475 /* metamodel/static_type.nit:335 */
2476 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMAncestor____stype(fra
.me
.REG
[0]);
2477 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
2478 if (UNTAG_Bool(REGB0
)) {
2480 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
2481 if (UNTAG_Bool(REGB1
)) {
2482 REGB1
= TAG_Bool(false);
2485 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
2489 if (UNTAG_Bool(REGB0
)) {
2490 /* metamodel/static_type.nit:336 */
2491 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMAncestor___local_class(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2492 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2495 /* metamodel/static_type.nit:338 */
2496 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2497 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2498 fra
.me
.REG
[1] = fra
.me
.REG
[0];
2502 stack_frame_head
= fra
.me
.prev
;
2503 return fra
.me
.REG
[1];
2505 void metamodel___static_type___MMAncestor___init(val_t p0
, int* init_table
){
2506 int itpos4
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMAncestor
].i
;
2507 struct {struct stack_frame_t me
;} fra
;
2509 if (init_table
[itpos4
]) return;
2510 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2511 fra
.me
.file
= LOCATE_metamodel___static_type
;
2513 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___init
;
2514 fra
.me
.has_broke
= 0;
2515 fra
.me
.REG_size
= 0;
2516 fra
.me
.nitni_local_ref_head
= NULL
;
2517 stack_frame_head
= fra
.me
.prev
;
2518 init_table
[itpos4
] = 1;
2521 val_t
metamodel___static_type___MMType___mmmodule(val_t p0
){
2522 struct {struct stack_frame_t me
;} fra
;
2524 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2525 fra
.me
.file
= LOCATE_metamodel___static_type
;
2527 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___mmmodule
;
2528 fra
.me
.has_broke
= 0;
2529 fra
.me
.REG_size
= 0;
2530 fra
.me
.nitni_local_ref_head
= NULL
;
2531 /* metamodel/static_type.nit:346 */
2532 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 346);
2533 stack_frame_head
= fra
.me
.prev
;
2536 val_t
metamodel___static_type___MMType___local_class(val_t p0
){
2537 struct {struct stack_frame_t me
;} fra
;
2539 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2540 fra
.me
.file
= LOCATE_metamodel___static_type
;
2542 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___local_class
;
2543 fra
.me
.has_broke
= 0;
2544 fra
.me
.REG_size
= 0;
2545 fra
.me
.nitni_local_ref_head
= NULL
;
2546 /* metamodel/static_type.nit:349 */
2547 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 349);
2548 stack_frame_head
= fra
.me
.prev
;
2551 val_t
metamodel___static_type___MMType___is_valid(val_t p0
){
2552 struct {struct stack_frame_t me
;} fra
;
2555 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2556 fra
.me
.file
= LOCATE_metamodel___static_type
;
2558 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___is_valid
;
2559 fra
.me
.has_broke
= 0;
2560 fra
.me
.REG_size
= 1;
2561 fra
.me
.nitni_local_ref_head
= NULL
;
2562 fra
.me
.REG
[0] = NIT_NULL
;
2564 /* metamodel/static_type.nit:354 */
2565 REGB0
= TAG_Bool(true);
2568 stack_frame_head
= fra
.me
.prev
;
2571 val_t
metamodel___static_type___MMType_____l(val_t p0
, val_t p1
){
2572 struct {struct stack_frame_t me
;} fra
;
2574 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2575 fra
.me
.file
= LOCATE_metamodel___static_type
;
2577 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType_____l
;
2578 fra
.me
.has_broke
= 0;
2579 fra
.me
.REG_size
= 0;
2580 fra
.me
.nitni_local_ref_head
= NULL
;
2581 /* metamodel/static_type.nit:356 */
2582 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 356);
2583 stack_frame_head
= fra
.me
.prev
;
2586 val_t
metamodel___static_type___MMType___is_supertype(val_t p0
, val_t p1
){
2587 struct {struct stack_frame_t me
;} fra
;
2589 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2590 fra
.me
.file
= LOCATE_metamodel___static_type
;
2592 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___is_supertype
;
2593 fra
.me
.has_broke
= 0;
2594 fra
.me
.REG_size
= 0;
2595 fra
.me
.nitni_local_ref_head
= NULL
;
2596 /* metamodel/static_type.nit:359 */
2597 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 359);
2598 stack_frame_head
= fra
.me
.prev
;
2601 val_t
metamodel___static_type___MMType___for_module(val_t p0
, val_t p1
){
2602 struct {struct stack_frame_t me
;} fra
;
2604 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2605 fra
.me
.file
= LOCATE_metamodel___static_type
;
2607 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___for_module
;
2608 fra
.me
.has_broke
= 0;
2609 fra
.me
.REG_size
= 0;
2610 fra
.me
.nitni_local_ref_head
= NULL
;
2611 /* metamodel/static_type.nit:364 */
2612 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 364);
2613 stack_frame_head
= fra
.me
.prev
;
2616 val_t
metamodel___static_type___MMType___adapt_to(val_t p0
, val_t p1
){
2617 struct {struct stack_frame_t me
;} fra
;
2619 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2620 fra
.me
.file
= LOCATE_metamodel___static_type
;
2622 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___adapt_to
;
2623 fra
.me
.has_broke
= 0;
2624 fra
.me
.REG_size
= 0;
2625 fra
.me
.nitni_local_ref_head
= NULL
;
2626 /* metamodel/static_type.nit:367 */
2627 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 367);
2628 stack_frame_head
= fra
.me
.prev
;
2631 val_t
metamodel___static_type___MMType___upcast_for(val_t p0
, val_t p1
){
2632 struct {struct stack_frame_t me
;} fra
;
2634 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2635 fra
.me
.file
= LOCATE_metamodel___static_type
;
2637 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___upcast_for
;
2638 fra
.me
.has_broke
= 0;
2639 fra
.me
.REG_size
= 0;
2640 fra
.me
.nitni_local_ref_head
= NULL
;
2641 /* metamodel/static_type.nit:371 */
2642 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 371);
2643 stack_frame_head
= fra
.me
.prev
;
2646 val_t
metamodel___static_type___MMType___not_for_self(val_t p0
){
2647 struct {struct stack_frame_t me
;} fra
;
2649 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2650 fra
.me
.file
= LOCATE_metamodel___static_type
;
2652 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___not_for_self
;
2653 fra
.me
.has_broke
= 0;
2654 fra
.me
.REG_size
= 1;
2655 fra
.me
.nitni_local_ref_head
= NULL
;
2656 fra
.me
.REG
[0] = NIT_NULL
;
2658 /* metamodel/static_type.nit:395 */
2661 stack_frame_head
= fra
.me
.prev
;
2662 return fra
.me
.REG
[0];
2664 val_t
metamodel___static_type___MMType___is_nullable(val_t p0
){
2665 struct {struct stack_frame_t me
;} fra
;
2668 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2669 fra
.me
.file
= LOCATE_metamodel___static_type
;
2671 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___is_nullable
;
2672 fra
.me
.has_broke
= 0;
2673 fra
.me
.REG_size
= 1;
2674 fra
.me
.nitni_local_ref_head
= NULL
;
2675 fra
.me
.REG
[0] = NIT_NULL
;
2677 /* metamodel/static_type.nit:401 */
2678 REGB0
= TAG_Bool(false);
2681 stack_frame_head
= fra
.me
.prev
;
2684 val_t
metamodel___static_type___MMType___as_nullable(val_t p0
){
2685 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2689 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2690 fra
.me
.file
= LOCATE_metamodel___static_type
;
2692 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___as_nullable
;
2693 fra
.me
.has_broke
= 0;
2694 fra
.me
.REG_size
= 3;
2695 fra
.me
.nitni_local_ref_head
= NULL
;
2696 fra
.me
.REG
[0] = NIT_NULL
;
2697 fra
.me
.REG
[1] = NIT_NULL
;
2698 fra
.me
.REG
[2] = NIT_NULL
;
2700 /* metamodel/static_type.nit:406 */
2701 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMType____as_nullable_cache(fra
.me
.REG
[0]);
2702 /* metamodel/static_type.nit:407 */
2703 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
2704 if (UNTAG_Bool(REGB0
)) {
2706 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
2707 if (UNTAG_Bool(REGB1
)) {
2708 REGB1
= TAG_Bool(false);
2711 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
2715 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2716 if (UNTAG_Bool(REGB0
)) {
2719 /* metamodel/static_type.nit:408 */
2720 fra
.me
.REG
[2] = NEW_MMNullableType_metamodel___static_type___MMNullableType___init(fra
.me
.REG
[0]);
2721 /* metamodel/static_type.nit:409 */
2722 ATTR_metamodel___static_type___MMType____as_nullable_cache(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
2723 /* metamodel/static_type.nit:410 */
2724 fra
.me
.REG
[1] = fra
.me
.REG
[2];
2727 stack_frame_head
= fra
.me
.prev
;
2728 return fra
.me
.REG
[1];
2730 val_t
metamodel___static_type___MMType___as_notnull(val_t p0
){
2731 struct {struct stack_frame_t me
;} fra
;
2733 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2734 fra
.me
.file
= LOCATE_metamodel___static_type
;
2736 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___as_notnull
;
2737 fra
.me
.has_broke
= 0;
2738 fra
.me
.REG_size
= 1;
2739 fra
.me
.nitni_local_ref_head
= NULL
;
2740 fra
.me
.REG
[0] = NIT_NULL
;
2742 /* metamodel/static_type.nit:415 */
2745 stack_frame_head
= fra
.me
.prev
;
2746 return fra
.me
.REG
[0];
2748 void metamodel___static_type___MMType___init(val_t p0
, int* init_table
){
2749 int itpos5
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMType
].i
;
2750 struct {struct stack_frame_t me
;} fra
;
2752 if (init_table
[itpos5
]) return;
2753 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2754 fra
.me
.file
= LOCATE_metamodel___static_type
;
2756 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___init
;
2757 fra
.me
.has_broke
= 0;
2758 fra
.me
.REG_size
= 0;
2759 fra
.me
.nitni_local_ref_head
= NULL
;
2760 stack_frame_head
= fra
.me
.prev
;
2761 init_table
[itpos5
] = 1;
2764 val_t
metamodel___static_type___MMNullableType___is_valid(val_t p0
){
2765 struct {struct stack_frame_t me
;} fra
;
2768 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2769 fra
.me
.file
= LOCATE_metamodel___static_type
;
2771 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___is_valid
;
2772 fra
.me
.has_broke
= 0;
2773 fra
.me
.REG_size
= 1;
2774 fra
.me
.nitni_local_ref_head
= NULL
;
2775 fra
.me
.REG
[0] = NIT_NULL
;
2777 /* metamodel/static_type.nit:421 */
2778 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2779 if (UNTAG_Bool(REGB0
)) {
2781 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 421);
2783 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2784 REGB0
= CALL_metamodel___static_type___MMType___is_valid(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2787 stack_frame_head
= fra
.me
.prev
;
2790 val_t
metamodel___static_type___MMNullableType___is_nullable(val_t p0
){
2791 struct {struct stack_frame_t me
;} fra
;
2794 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2795 fra
.me
.file
= LOCATE_metamodel___static_type
;
2797 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___is_nullable
;
2798 fra
.me
.has_broke
= 0;
2799 fra
.me
.REG_size
= 1;
2800 fra
.me
.nitni_local_ref_head
= NULL
;
2801 fra
.me
.REG
[0] = NIT_NULL
;
2803 /* metamodel/static_type.nit:422 */
2804 REGB0
= TAG_Bool(true);
2807 stack_frame_head
= fra
.me
.prev
;
2810 val_t
metamodel___static_type___MMNullableType___as_notnull(val_t p0
){
2811 struct {struct stack_frame_t me
;} fra
;
2814 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2815 fra
.me
.file
= LOCATE_metamodel___static_type
;
2817 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___as_notnull
;
2818 fra
.me
.has_broke
= 0;
2819 fra
.me
.REG_size
= 1;
2820 fra
.me
.nitni_local_ref_head
= NULL
;
2821 fra
.me
.REG
[0] = NIT_NULL
;
2823 /* metamodel/static_type.nit:423 */
2824 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2825 if (UNTAG_Bool(REGB0
)) {
2827 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 423);
2829 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2832 stack_frame_head
= fra
.me
.prev
;
2833 return fra
.me
.REG
[0];
2835 val_t
metamodel___static_type___MMNullableType___as_nullable(val_t p0
){
2836 struct {struct stack_frame_t me
;} fra
;
2838 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2839 fra
.me
.file
= LOCATE_metamodel___static_type
;
2841 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___as_nullable
;
2842 fra
.me
.has_broke
= 0;
2843 fra
.me
.REG_size
= 1;
2844 fra
.me
.nitni_local_ref_head
= NULL
;
2845 fra
.me
.REG
[0] = NIT_NULL
;
2847 /* metamodel/static_type.nit:424 */
2850 stack_frame_head
= fra
.me
.prev
;
2851 return fra
.me
.REG
[0];
2853 void metamodel___static_type___MMNullableType___init(val_t p0
, val_t p1
, int* init_table
){
2854 int itpos6
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMNullableType
].i
;
2855 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2857 if (init_table
[itpos6
]) return;
2858 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2859 fra
.me
.file
= LOCATE_metamodel___static_type
;
2861 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___init
;
2862 fra
.me
.has_broke
= 0;
2863 fra
.me
.REG_size
= 3;
2864 fra
.me
.nitni_local_ref_head
= NULL
;
2865 fra
.me
.REG
[0] = NIT_NULL
;
2866 fra
.me
.REG
[1] = NIT_NULL
;
2867 fra
.me
.REG
[2] = NIT_NULL
;
2870 /* metamodel/static_type.nit:425 */
2871 fra
.me
.REG
[2] = fra
.me
.REG
[0];
2872 CALL_metamodel___static_type___MMType___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
2873 ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
2874 stack_frame_head
= fra
.me
.prev
;
2875 init_table
[itpos6
] = 1;
2878 val_t
metamodel___static_type___MMNullableType___mmmodule(val_t p0
){
2879 struct {struct stack_frame_t me
;} fra
;
2882 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2883 fra
.me
.file
= LOCATE_metamodel___static_type
;
2885 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___mmmodule
;
2886 fra
.me
.has_broke
= 0;
2887 fra
.me
.REG_size
= 1;
2888 fra
.me
.nitni_local_ref_head
= NULL
;
2889 fra
.me
.REG
[0] = NIT_NULL
;
2891 /* metamodel/static_type.nit:427 */
2892 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2893 if (UNTAG_Bool(REGB0
)) {
2895 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 427);
2897 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2898 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2901 stack_frame_head
= fra
.me
.prev
;
2902 return fra
.me
.REG
[0];
2904 val_t
metamodel___static_type___MMNullableType___local_class(val_t p0
){
2905 struct {struct stack_frame_t me
;} fra
;
2908 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2909 fra
.me
.file
= LOCATE_metamodel___static_type
;
2911 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___local_class
;
2912 fra
.me
.has_broke
= 0;
2913 fra
.me
.REG_size
= 1;
2914 fra
.me
.nitni_local_ref_head
= NULL
;
2915 fra
.me
.REG
[0] = NIT_NULL
;
2917 /* metamodel/static_type.nit:429 */
2918 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2919 if (UNTAG_Bool(REGB0
)) {
2921 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 429);
2923 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2924 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___local_class(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2927 stack_frame_head
= fra
.me
.prev
;
2928 return fra
.me
.REG
[0];
2930 val_t
metamodel___static_type___MMNullableType_____l(val_t p0
, val_t p1
){
2931 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2935 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2936 fra
.me
.file
= LOCATE_metamodel___static_type
;
2938 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType_____l
;
2939 fra
.me
.has_broke
= 0;
2940 fra
.me
.REG_size
= 2;
2941 fra
.me
.nitni_local_ref_head
= NULL
;
2942 fra
.me
.REG
[0] = NIT_NULL
;
2943 fra
.me
.REG
[1] = NIT_NULL
;
2946 /* metamodel/static_type.nit:433 */
2947 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], COLOR_metamodel___static_type___MMNullableType
, ID_metamodel___static_type___MMNullableType
)) /*cast MMNullableType*/;
2948 if (UNTAG_Bool(REGB0
)) {
2949 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2950 if (UNTAG_Bool(REGB0
)) {
2952 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 433);
2954 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2955 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___as_notnull(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2956 REGB0
= CALL_metamodel___static_type___MMType_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
2958 REGB1
= TAG_Bool(false);
2963 stack_frame_head
= fra
.me
.prev
;
2966 val_t
metamodel___static_type___MMNullableType___to_s(val_t p0
){
2967 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2970 static val_t once_value_1
; /* Once value */
2971 static val_t once_value_2
; /* Once value */
2972 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2973 fra
.me
.file
= LOCATE_metamodel___static_type
;
2975 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___to_s
;
2976 fra
.me
.has_broke
= 0;
2977 fra
.me
.REG_size
= 3;
2978 fra
.me
.nitni_local_ref_head
= NULL
;
2979 fra
.me
.REG
[0] = NIT_NULL
;
2980 fra
.me
.REG
[1] = NIT_NULL
;
2981 fra
.me
.REG
[2] = NIT_NULL
;
2983 /* metamodel/static_type.nit:438 */
2985 fra
.me
.REG
[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
2986 if (!once_value_1
) {
2987 fra
.me
.REG
[2] = BOX_NativeString("nullable ");
2989 fra
.me
.REG
[2] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[2], REGB0
);
2990 once_value_1
= fra
.me
.REG
[2];
2991 register_static_object(&once_value_1
);
2992 } else fra
.me
.REG
[2] = once_value_1
;
2993 fra
.me
.REG
[2] = fra
.me
.REG
[2];
2994 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
2995 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2996 if (UNTAG_Bool(REGB0
)) {
2998 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 438);
3000 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3001 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3002 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
3003 if (!once_value_2
) {
3004 fra
.me
.REG
[0] = BOX_NativeString("");
3006 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB0
);
3007 once_value_2
= fra
.me
.REG
[0];
3008 register_static_object(&once_value_2
);
3009 } else fra
.me
.REG
[0] = once_value_2
;
3010 fra
.me
.REG
[0] = fra
.me
.REG
[0];
3011 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
3012 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3015 stack_frame_head
= fra
.me
.prev
;
3016 return fra
.me
.REG
[1];
3018 val_t
metamodel___static_type___MMNullableType___is_supertype(val_t p0
, val_t p1
){
3019 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3022 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3023 fra
.me
.file
= LOCATE_metamodel___static_type
;
3025 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___is_supertype
;
3026 fra
.me
.has_broke
= 0;
3027 fra
.me
.REG_size
= 2;
3028 fra
.me
.nitni_local_ref_head
= NULL
;
3029 fra
.me
.REG
[0] = NIT_NULL
;
3030 fra
.me
.REG
[1] = NIT_NULL
;
3033 /* metamodel/static_type.nit:443 */
3034 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3035 if (UNTAG_Bool(REGB0
)) {
3037 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 443);
3039 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3040 REGB0
= CALL_metamodel___static_type___MMType___is_supertype(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3043 stack_frame_head
= fra
.me
.prev
;
3046 val_t
metamodel___static_type___MMNullableType___for_module(val_t p0
, val_t p1
){
3047 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3050 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3051 fra
.me
.file
= LOCATE_metamodel___static_type
;
3053 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___for_module
;
3054 fra
.me
.has_broke
= 0;
3055 fra
.me
.REG_size
= 2;
3056 fra
.me
.nitni_local_ref_head
= NULL
;
3057 fra
.me
.REG
[0] = NIT_NULL
;
3058 fra
.me
.REG
[1] = NIT_NULL
;
3061 /* metamodel/static_type.nit:448 */
3062 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3063 if (UNTAG_Bool(REGB0
)) {
3065 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 448);
3067 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3068 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___for_module(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3069 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___as_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3072 stack_frame_head
= fra
.me
.prev
;
3073 return fra
.me
.REG
[1];
3075 val_t
metamodel___static_type___MMNullableType___adapt_to(val_t p0
, val_t p1
){
3076 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3079 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3080 fra
.me
.file
= LOCATE_metamodel___static_type
;
3082 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___adapt_to
;
3083 fra
.me
.has_broke
= 0;
3084 fra
.me
.REG_size
= 2;
3085 fra
.me
.nitni_local_ref_head
= NULL
;
3086 fra
.me
.REG
[0] = NIT_NULL
;
3087 fra
.me
.REG
[1] = NIT_NULL
;
3090 /* metamodel/static_type.nit:453 */
3091 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3092 if (UNTAG_Bool(REGB0
)) {
3094 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 453);
3096 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3097 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___adapt_to(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3098 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___as_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3101 stack_frame_head
= fra
.me
.prev
;
3102 return fra
.me
.REG
[1];
3104 val_t
metamodel___static_type___MMNullableType___upcast_for(val_t p0
, val_t p1
){
3105 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3108 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3109 fra
.me
.file
= LOCATE_metamodel___static_type
;
3111 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___upcast_for
;
3112 fra
.me
.has_broke
= 0;
3113 fra
.me
.REG_size
= 2;
3114 fra
.me
.nitni_local_ref_head
= NULL
;
3115 fra
.me
.REG
[0] = NIT_NULL
;
3116 fra
.me
.REG
[1] = NIT_NULL
;
3119 /* metamodel/static_type.nit:458 */
3120 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3121 if (UNTAG_Bool(REGB0
)) {
3123 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 458);
3125 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3126 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___upcast_for(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3129 stack_frame_head
= fra
.me
.prev
;
3130 return fra
.me
.REG
[1];
3132 val_t
metamodel___static_type___MMNullableType___not_for_self(val_t p0
){
3133 struct {struct stack_frame_t me
;} fra
;
3136 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3137 fra
.me
.file
= LOCATE_metamodel___static_type
;
3139 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___not_for_self
;
3140 fra
.me
.has_broke
= 0;
3141 fra
.me
.REG_size
= 1;
3142 fra
.me
.nitni_local_ref_head
= NULL
;
3143 fra
.me
.REG
[0] = NIT_NULL
;
3145 /* metamodel/static_type.nit:463 */
3146 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3147 if (UNTAG_Bool(REGB0
)) {
3149 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 463);
3151 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3152 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___not_for_self(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3153 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___as_nullable(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3156 stack_frame_head
= fra
.me
.prev
;
3157 return fra
.me
.REG
[0];
3159 val_t
metamodel___static_type___MMTypeClass___local_class(val_t p0
){
3160 struct {struct stack_frame_t me
;} fra
;
3163 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3164 fra
.me
.file
= LOCATE_metamodel___static_type
;
3166 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass___local_class
;
3167 fra
.me
.has_broke
= 0;
3168 fra
.me
.REG_size
= 1;
3169 fra
.me
.nitni_local_ref_head
= NULL
;
3170 fra
.me
.REG
[0] = NIT_NULL
;
3172 /* metamodel/static_type.nit:469 */
3173 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3174 if (UNTAG_Bool(REGB0
)) {
3176 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 469);
3178 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3179 stack_frame_head
= fra
.me
.prev
;
3180 return fra
.me
.REG
[0];
3182 val_t
metamodel___static_type___MMTypeClass___mmmodule(val_t p0
){
3183 struct {struct stack_frame_t me
;} fra
;
3186 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3187 fra
.me
.file
= LOCATE_metamodel___static_type
;
3189 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass___mmmodule
;
3190 fra
.me
.has_broke
= 0;
3191 fra
.me
.REG_size
= 1;
3192 fra
.me
.nitni_local_ref_head
= NULL
;
3193 fra
.me
.REG
[0] = NIT_NULL
;
3195 /* metamodel/static_type.nit:470 */
3196 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3197 if (UNTAG_Bool(REGB0
)) {
3199 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 470);
3201 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3202 fra
.me
.REG
[0] = CALL_metamodel___abstractmetamodel___MMLocalClass___mmmodule(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3205 stack_frame_head
= fra
.me
.prev
;
3206 return fra
.me
.REG
[0];
3208 val_t
metamodel___static_type___MMTypeClass_____l(val_t p0
, val_t p1
){
3209 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3212 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3213 fra
.me
.file
= LOCATE_metamodel___static_type
;
3215 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass_____l
;
3216 fra
.me
.has_broke
= 0;
3217 fra
.me
.REG_size
= 2;
3218 fra
.me
.nitni_local_ref_head
= NULL
;
3219 fra
.me
.REG
[0] = NIT_NULL
;
3220 fra
.me
.REG
[1] = NIT_NULL
;
3223 /* metamodel/static_type.nit:471 */
3224 REGB0
= CALL_metamodel___static_type___MMType___is_supertype(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
3227 stack_frame_head
= fra
.me
.prev
;
3230 val_t
metamodel___static_type___MMTypeClass___to_s(val_t p0
){
3231 struct {struct stack_frame_t me
;} fra
;
3234 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3235 fra
.me
.file
= LOCATE_metamodel___static_type
;
3237 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass___to_s
;
3238 fra
.me
.has_broke
= 0;
3239 fra
.me
.REG_size
= 1;
3240 fra
.me
.nitni_local_ref_head
= NULL
;
3241 fra
.me
.REG
[0] = NIT_NULL
;
3243 /* metamodel/static_type.nit:475 */
3244 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3245 if (UNTAG_Bool(REGB0
)) {
3247 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 475);
3249 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3250 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3253 stack_frame_head
= fra
.me
.prev
;
3254 return fra
.me
.REG
[0];
3256 val_t
metamodel___static_type___MMTypeClass___upcast_for(val_t p0
, val_t p1
){
3257 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
3261 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3262 fra
.me
.file
= LOCATE_metamodel___static_type
;
3264 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass___upcast_for
;
3265 fra
.me
.has_broke
= 0;
3266 fra
.me
.REG_size
= 4;
3267 fra
.me
.nitni_local_ref_head
= NULL
;
3268 fra
.me
.REG
[0] = NIT_NULL
;
3269 fra
.me
.REG
[1] = NIT_NULL
;
3270 fra
.me
.REG
[2] = NIT_NULL
;
3271 fra
.me
.REG
[3] = NIT_NULL
;
3274 /* metamodel/static_type.nit:480 */
3275 fra
.me
.REG
[2] = fra
.me
.REG
[0];
3276 /* metamodel/static_type.nit:481 */
3277 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3278 if (UNTAG_Bool(REGB0
)) {
3280 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 481);
3282 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3283 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[1]));
3284 if (UNTAG_Bool(REGB0
)) {
3286 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
3289 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
3290 if (UNTAG_Bool(REGB0
)) {
3291 /* metamodel/static_type.nit:482 */
3292 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3293 if (UNTAG_Bool(REGB0
)) {
3295 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 482);
3297 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3298 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMLocalClass___ancestor(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3299 fra
.me
.REG
[2] = fra
.me
.REG
[1];
3301 /* metamodel/static_type.nit:484 */
3304 stack_frame_head
= fra
.me
.prev
;
3305 return fra
.me
.REG
[2];
3307 void metamodel___static_type___MMTypeClass___init(val_t p0
, val_t p1
, int* init_table
){
3308 int itpos7
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMTypeClass
].i
;
3309 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
3311 if (init_table
[itpos7
]) return;
3312 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3313 fra
.me
.file
= LOCATE_metamodel___static_type
;
3315 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass___init
;
3316 fra
.me
.has_broke
= 0;
3317 fra
.me
.REG_size
= 3;
3318 fra
.me
.nitni_local_ref_head
= NULL
;
3319 fra
.me
.REG
[0] = NIT_NULL
;
3320 fra
.me
.REG
[1] = NIT_NULL
;
3321 fra
.me
.REG
[2] = NIT_NULL
;
3324 /* metamodel/static_type.nit:487 */
3325 fra
.me
.REG
[2] = fra
.me
.REG
[0];
3326 CALL_metamodel___static_type___MMType___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
3327 /* metamodel/static_type.nit:489 */
3328 ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
3329 stack_frame_head
= fra
.me
.prev
;
3330 init_table
[itpos7
] = 1;
3333 val_t
metamodel___static_type___MMTypeSimpleClass___is_supertype(val_t p0
, val_t p1
){
3334 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3337 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3338 fra
.me
.file
= LOCATE_metamodel___static_type
;
3340 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeSimpleClass___is_supertype
;
3341 fra
.me
.has_broke
= 0;
3342 fra
.me
.REG_size
= 2;
3343 fra
.me
.nitni_local_ref_head
= NULL
;
3344 fra
.me
.REG
[0] = NIT_NULL
;
3345 fra
.me
.REG
[1] = NIT_NULL
;
3348 /* metamodel/static_type.nit:497 */
3349 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3350 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMLocalClass___cshe(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3351 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3352 if (UNTAG_Bool(REGB0
)) {
3354 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 497);
3356 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3357 REGB0
= CALL_metamodel___partial_order___PartialOrderElement_____leq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
3360 stack_frame_head
= fra
.me
.prev
;
3363 val_t
metamodel___static_type___MMTypeSimpleClass___for_module(val_t p0
, val_t p1
){
3364 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
3368 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3369 fra
.me
.file
= LOCATE_metamodel___static_type
;
3371 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeSimpleClass___for_module
;
3372 fra
.me
.has_broke
= 0;
3373 fra
.me
.REG_size
= 4;
3374 fra
.me
.nitni_local_ref_head
= NULL
;
3375 fra
.me
.REG
[0] = NIT_NULL
;
3376 fra
.me
.REG
[1] = NIT_NULL
;
3377 fra
.me
.REG
[2] = NIT_NULL
;
3378 fra
.me
.REG
[3] = NIT_NULL
;
3381 /* metamodel/static_type.nit:502 */
3382 fra
.me
.REG
[2] = fra
.me
.REG
[0];
3383 /* metamodel/static_type.nit:503 */
3384 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3385 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[1]));
3386 if (UNTAG_Bool(REGB0
)) {
3388 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
3391 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
3392 if (UNTAG_Bool(REGB0
)) {
3393 /* metamodel/static_type.nit:504 */
3394 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3395 if (UNTAG_Bool(REGB0
)) {
3397 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 504);
3399 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3400 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMLocalClass___for_module(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3401 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMLocalClass___get_type(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3402 fra
.me
.REG
[2] = fra
.me
.REG
[1];
3404 /* metamodel/static_type.nit:506 */
3407 stack_frame_head
= fra
.me
.prev
;
3408 return fra
.me
.REG
[2];
3410 val_t
metamodel___static_type___MMTypeSimpleClass___adapt_to(val_t p0
, val_t p1
){
3411 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3413 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3414 fra
.me
.file
= LOCATE_metamodel___static_type
;
3416 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeSimpleClass___adapt_to
;
3417 fra
.me
.has_broke
= 0;
3418 fra
.me
.REG_size
= 2;
3419 fra
.me
.nitni_local_ref_head
= NULL
;
3420 fra
.me
.REG
[0] = NIT_NULL
;
3421 fra
.me
.REG
[1] = NIT_NULL
;
3424 /* metamodel/static_type.nit:509 */
3427 stack_frame_head
= fra
.me
.prev
;
3428 return fra
.me
.REG
[0];
3430 void metamodel___static_type___MMTypeSimpleClass___init(val_t p0
, val_t p1
, int* init_table
){
3431 int itpos8
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMTypeSimpleClass
].i
;
3432 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3434 if (init_table
[itpos8
]) return;
3435 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3436 fra
.me
.file
= LOCATE_metamodel___static_type
;
3438 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeSimpleClass___init
;
3439 fra
.me
.has_broke
= 0;
3440 fra
.me
.REG_size
= 2;
3441 fra
.me
.nitni_local_ref_head
= NULL
;
3442 fra
.me
.REG
[0] = NIT_NULL
;
3443 fra
.me
.REG
[1] = NIT_NULL
;
3446 /* metamodel/static_type.nit:513 */
3447 CALL_metamodel___static_type___MMTypeClass___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1], init_table
);
3448 stack_frame_head
= fra
.me
.prev
;
3449 init_table
[itpos8
] = 1;
3452 val_t
metamodel___static_type___MMTypeNone___mmmodule(val_t p0
){
3453 struct {struct stack_frame_t me
;} fra
;
3456 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3457 fra
.me
.file
= LOCATE_metamodel___static_type
;
3459 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___mmmodule
;
3460 fra
.me
.has_broke
= 0;
3461 fra
.me
.REG_size
= 1;
3462 fra
.me
.nitni_local_ref_head
= NULL
;
3463 fra
.me
.REG
[0] = NIT_NULL
;
3465 /* metamodel/static_type.nit:520 */
3466 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeNone____mmmodule(fra
.me
.REG
[0])!=NIT_NULL
);
3467 if (UNTAG_Bool(REGB0
)) {
3469 nit_abort("Uninitialized attribute %s", "_mmmodule", LOCATE_metamodel___static_type
, 520);
3471 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeNone____mmmodule(fra
.me
.REG
[0]);
3472 stack_frame_head
= fra
.me
.prev
;
3473 return fra
.me
.REG
[0];
3475 val_t
metamodel___static_type___MMTypeNone___is_nullable(val_t p0
){
3476 struct {struct stack_frame_t me
;} fra
;
3479 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3480 fra
.me
.file
= LOCATE_metamodel___static_type
;
3482 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___is_nullable
;
3483 fra
.me
.has_broke
= 0;
3484 fra
.me
.REG_size
= 1;
3485 fra
.me
.nitni_local_ref_head
= NULL
;
3486 fra
.me
.REG
[0] = NIT_NULL
;
3488 /* metamodel/static_type.nit:521 */
3489 REGB0
= TAG_Bool(true);
3492 stack_frame_head
= fra
.me
.prev
;
3495 val_t
metamodel___static_type___MMTypeNone_____l(val_t p0
, val_t p1
){
3496 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3500 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3501 fra
.me
.file
= LOCATE_metamodel___static_type
;
3503 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone_____l
;
3504 fra
.me
.has_broke
= 0;
3505 fra
.me
.REG_size
= 2;
3506 fra
.me
.nitni_local_ref_head
= NULL
;
3507 fra
.me
.REG
[0] = NIT_NULL
;
3508 fra
.me
.REG
[1] = NIT_NULL
;
3511 /* metamodel/static_type.nit:522 */
3512 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], COLOR_metamodel___static_type___MMTypeNone
, ID_metamodel___static_type___MMTypeNone
)) /*cast MMTypeNone*/;
3513 if (UNTAG_Bool(REGB0
)) {
3514 REGB0
= TAG_Bool(true);
3516 REGB1
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], COLOR_metamodel___static_type___MMNullableType
, ID_metamodel___static_type___MMNullableType
)) /*cast MMNullableType*/;
3521 stack_frame_head
= fra
.me
.prev
;
3524 val_t
metamodel___static_type___MMTypeNone___to_s(val_t p0
){
3525 struct {struct stack_frame_t me
;} fra
;
3528 static val_t once_value_1
; /* Once value */
3529 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3530 fra
.me
.file
= LOCATE_metamodel___static_type
;
3532 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___to_s
;
3533 fra
.me
.has_broke
= 0;
3534 fra
.me
.REG_size
= 1;
3535 fra
.me
.nitni_local_ref_head
= NULL
;
3536 fra
.me
.REG
[0] = NIT_NULL
;
3538 /* metamodel/static_type.nit:523 */
3539 if (!once_value_1
) {
3540 fra
.me
.REG
[0] = BOX_NativeString("null");
3542 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB0
);
3543 once_value_1
= fra
.me
.REG
[0];
3544 register_static_object(&once_value_1
);
3545 } else fra
.me
.REG
[0] = once_value_1
;
3546 fra
.me
.REG
[0] = fra
.me
.REG
[0];
3549 stack_frame_head
= fra
.me
.prev
;
3550 return fra
.me
.REG
[0];
3552 val_t
metamodel___static_type___MMTypeNone___is_supertype(val_t p0
, val_t p1
){
3553 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3556 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3557 fra
.me
.file
= LOCATE_metamodel___static_type
;
3559 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___is_supertype
;
3560 fra
.me
.has_broke
= 0;
3561 fra
.me
.REG_size
= 2;
3562 fra
.me
.nitni_local_ref_head
= NULL
;
3563 fra
.me
.REG
[0] = NIT_NULL
;
3564 fra
.me
.REG
[1] = NIT_NULL
;
3567 /* metamodel/static_type.nit:524 */
3568 REGB0
= TAG_Bool(false);
3571 stack_frame_head
= fra
.me
.prev
;
3574 val_t
metamodel___static_type___MMTypeNone___local_class(val_t p0
){
3575 struct {struct stack_frame_t me
;} fra
;
3577 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3578 fra
.me
.file
= LOCATE_metamodel___static_type
;
3580 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___local_class
;
3581 fra
.me
.has_broke
= 0;
3582 fra
.me
.REG_size
= 1;
3583 fra
.me
.nitni_local_ref_head
= NULL
;
3584 fra
.me
.REG
[0] = NIT_NULL
;
3586 /* metamodel/static_type.nit:525 */
3587 nit_abort("Aborted", NULL
, LOCATE_metamodel___static_type
, 525);
3588 stack_frame_head
= fra
.me
.prev
;
3591 val_t
metamodel___static_type___MMTypeNone___upcast_for(val_t p0
, val_t p1
){
3592 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3594 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3595 fra
.me
.file
= LOCATE_metamodel___static_type
;
3597 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___upcast_for
;
3598 fra
.me
.has_broke
= 0;
3599 fra
.me
.REG_size
= 2;
3600 fra
.me
.nitni_local_ref_head
= NULL
;
3601 fra
.me
.REG
[0] = NIT_NULL
;
3602 fra
.me
.REG
[1] = NIT_NULL
;
3605 /* metamodel/static_type.nit:526 */
3606 nit_abort("Aborted", NULL
, LOCATE_metamodel___static_type
, 526);
3607 stack_frame_head
= fra
.me
.prev
;
3610 val_t
metamodel___static_type___MMTypeNone___as_nullable(val_t p0
){
3611 struct {struct stack_frame_t me
;} fra
;
3613 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3614 fra
.me
.file
= LOCATE_metamodel___static_type
;
3616 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___as_nullable
;
3617 fra
.me
.has_broke
= 0;
3618 fra
.me
.REG_size
= 1;
3619 fra
.me
.nitni_local_ref_head
= NULL
;
3620 fra
.me
.REG
[0] = NIT_NULL
;
3622 /* metamodel/static_type.nit:527 */
3625 stack_frame_head
= fra
.me
.prev
;
3626 return fra
.me
.REG
[0];
3628 val_t
metamodel___static_type___MMTypeNone___as_notnull(val_t p0
){
3629 struct {struct stack_frame_t me
;} fra
;
3631 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3632 fra
.me
.file
= LOCATE_metamodel___static_type
;
3634 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___as_notnull
;
3635 fra
.me
.has_broke
= 0;
3636 fra
.me
.REG_size
= 1;
3637 fra
.me
.nitni_local_ref_head
= NULL
;
3638 fra
.me
.REG
[0] = NIT_NULL
;
3640 /* metamodel/static_type.nit:528 */
3641 nit_abort("Aborted", NULL
, LOCATE_metamodel___static_type
, 528);
3642 stack_frame_head
= fra
.me
.prev
;
3645 void metamodel___static_type___MMTypeNone___init(val_t p0
, val_t p1
, int* init_table
){
3646 int itpos9
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMTypeNone
].i
;
3647 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
3649 if (init_table
[itpos9
]) return;
3650 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3651 fra
.me
.file
= LOCATE_metamodel___static_type
;
3653 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___init
;
3654 fra
.me
.has_broke
= 0;
3655 fra
.me
.REG_size
= 3;
3656 fra
.me
.nitni_local_ref_head
= NULL
;
3657 fra
.me
.REG
[0] = NIT_NULL
;
3658 fra
.me
.REG
[1] = NIT_NULL
;
3659 fra
.me
.REG
[2] = NIT_NULL
;
3662 /* metamodel/static_type.nit:530 */
3663 fra
.me
.REG
[2] = fra
.me
.REG
[0];
3664 CALL_metamodel___static_type___MMType___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
3665 ATTR_metamodel___static_type___MMTypeNone____mmmodule(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
3666 stack_frame_head
= fra
.me
.prev
;
3667 init_table
[itpos9
] = 1;
3670 val_t
metamodel___static_type___MMModule___type_none(val_t p0
){
3671 struct {struct stack_frame_t me
;} fra
;
3674 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3675 fra
.me
.file
= LOCATE_metamodel___static_type
;
3677 fra
.me
.meth
= LOCATE_metamodel___static_type___MMModule___type_none
;
3678 fra
.me
.has_broke
= 0;
3679 fra
.me
.REG_size
= 1;
3680 fra
.me
.nitni_local_ref_head
= NULL
;
3681 fra
.me
.REG
[0] = NIT_NULL
;
3683 /* metamodel/static_type.nit:534 */
3684 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMModule____type_none(fra
.me
.REG
[0])!=NIT_NULL
);
3685 if (UNTAG_Bool(REGB0
)) {
3687 nit_abort("Uninitialized attribute %s", "_type_none", LOCATE_metamodel___static_type
, 534);
3689 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMModule____type_none(fra
.me
.REG
[0]);
3690 stack_frame_head
= fra
.me
.prev
;
3691 return fra
.me
.REG
[0];
3693 val_t
metamodel___static_type___MMModule___type_bool(val_t p0
){
3694 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3697 static val_t once_value_1
; /* Once value */
3698 static val_t once_value_2
; /* Once value */
3699 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3700 fra
.me
.file
= LOCATE_metamodel___static_type
;
3702 fra
.me
.meth
= LOCATE_metamodel___static_type___MMModule___type_bool
;
3703 fra
.me
.has_broke
= 0;
3704 fra
.me
.REG_size
= 2;
3705 fra
.me
.nitni_local_ref_head
= NULL
;
3706 fra
.me
.REG
[0] = NIT_NULL
;
3707 fra
.me
.REG
[1] = NIT_NULL
;
3709 /* metamodel/static_type.nit:540 */
3710 if (!once_value_1
) {
3711 if (!once_value_2
) {
3712 fra
.me
.REG
[1] = BOX_NativeString("Bool");
3714 fra
.me
.REG
[1] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[1], REGB0
);
3715 once_value_2
= fra
.me
.REG
[1];
3716 register_static_object(&once_value_2
);
3717 } else fra
.me
.REG
[1] = once_value_2
;
3718 fra
.me
.REG
[1] = fra
.me
.REG
[1];
3719 fra
.me
.REG
[1] = CALL_standard___symbol___String___to_symbol(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3720 once_value_1
= fra
.me
.REG
[1];
3721 register_static_object(&once_value_1
);
3722 } else fra
.me
.REG
[1] = once_value_1
;
3723 fra
.me
.REG
[1] = fra
.me
.REG
[1];
3724 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMModule___class_by_name(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3725 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMLocalClass___get_type(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3728 stack_frame_head
= fra
.me
.prev
;
3729 return fra
.me
.REG
[1];
3731 val_t
metamodel___static_type___MMImportedCast___from(val_t p0
){
3732 struct {struct stack_frame_t me
;} fra
;
3735 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3736 fra
.me
.file
= LOCATE_metamodel___static_type
;
3738 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___from
;
3739 fra
.me
.has_broke
= 0;
3740 fra
.me
.REG_size
= 1;
3741 fra
.me
.nitni_local_ref_head
= NULL
;
3742 fra
.me
.REG
[0] = NIT_NULL
;
3744 /* metamodel/static_type.nit:546 */
3745 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3746 if (UNTAG_Bool(REGB0
)) {
3748 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 546);
3750 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3751 stack_frame_head
= fra
.me
.prev
;
3752 return fra
.me
.REG
[0];
3754 val_t
metamodel___static_type___MMImportedCast___to(val_t p0
){
3755 struct {struct stack_frame_t me
;} fra
;
3758 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3759 fra
.me
.file
= LOCATE_metamodel___static_type
;
3761 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___to
;
3762 fra
.me
.has_broke
= 0;
3763 fra
.me
.REG_size
= 1;
3764 fra
.me
.nitni_local_ref_head
= NULL
;
3765 fra
.me
.REG
[0] = NIT_NULL
;
3767 /* metamodel/static_type.nit:547 */
3768 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3769 if (UNTAG_Bool(REGB0
)) {
3771 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 547);
3773 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3774 stack_frame_head
= fra
.me
.prev
;
3775 return fra
.me
.REG
[0];
3777 val_t
metamodel___static_type___MMImportedCast___is_about_nullable_only(val_t p0
){
3778 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
3783 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3784 fra
.me
.file
= LOCATE_metamodel___static_type
;
3786 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___is_about_nullable_only
;
3787 fra
.me
.has_broke
= 0;
3788 fra
.me
.REG_size
= 3;
3789 fra
.me
.nitni_local_ref_head
= NULL
;
3790 fra
.me
.REG
[0] = NIT_NULL
;
3791 fra
.me
.REG
[1] = NIT_NULL
;
3792 fra
.me
.REG
[2] = NIT_NULL
;
3794 /* metamodel/static_type.nit:551 */
3795 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3796 if (UNTAG_Bool(REGB0
)) {
3798 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 551);
3800 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3801 REGB0
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3802 if (UNTAG_Bool(REGB0
)) {
3803 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3804 if (UNTAG_Bool(REGB0
)) {
3806 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 551);
3808 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3809 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___as_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3810 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3811 if (UNTAG_Bool(REGB0
)) {
3813 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 551);
3815 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3816 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[2]));
3817 if (UNTAG_Bool(REGB0
)) {
3819 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
3823 REGB1
= TAG_Bool(false);
3826 if (UNTAG_Bool(REGB0
)) {
3827 REGB0
= TAG_Bool(true);
3829 /* metamodel/static_type.nit:552 */
3830 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3831 if (UNTAG_Bool(REGB1
)) {
3833 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 552);
3835 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3836 REGB1
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
3837 if (UNTAG_Bool(REGB1
)) {
3838 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3839 if (UNTAG_Bool(REGB1
)) {
3841 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 552);
3843 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3844 fra
.me
.REG
[2] = CALL_metamodel___static_type___MMType___as_nullable(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
3845 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3846 if (UNTAG_Bool(REGB1
)) {
3848 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 552);
3850 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3851 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[2],fra
.me
.REG
[0]));
3852 if (UNTAG_Bool(REGB1
)) {
3854 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[0]);
3858 REGB2
= TAG_Bool(false);
3861 /* metamodel/static_type.nit:551 */
3866 stack_frame_head
= fra
.me
.prev
;
3869 val_t
metamodel___static_type___MMImportedCast___is_not_null_to_nullable(val_t p0
){
3870 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3874 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3875 fra
.me
.file
= LOCATE_metamodel___static_type
;
3877 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___is_not_null_to_nullable
;
3878 fra
.me
.has_broke
= 0;
3879 fra
.me
.REG_size
= 2;
3880 fra
.me
.nitni_local_ref_head
= NULL
;
3881 fra
.me
.REG
[0] = NIT_NULL
;
3882 fra
.me
.REG
[1] = NIT_NULL
;
3884 /* metamodel/static_type.nit:557 */
3885 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3886 if (UNTAG_Bool(REGB0
)) {
3888 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 557);
3890 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3891 REGB0
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3892 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
3893 if (UNTAG_Bool(REGB0
)) {
3894 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3895 if (UNTAG_Bool(REGB0
)) {
3897 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 557);
3899 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3900 REGB0
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3902 REGB1
= TAG_Bool(false);
3907 stack_frame_head
= fra
.me
.prev
;
3910 val_t
metamodel___static_type___MMImportedCast___is_nullable_to_not_null(val_t p0
){
3911 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3915 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3916 fra
.me
.file
= LOCATE_metamodel___static_type
;
3918 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___is_nullable_to_not_null
;
3919 fra
.me
.has_broke
= 0;
3920 fra
.me
.REG_size
= 2;
3921 fra
.me
.nitni_local_ref_head
= NULL
;
3922 fra
.me
.REG
[0] = NIT_NULL
;
3923 fra
.me
.REG
[1] = NIT_NULL
;
3925 /* metamodel/static_type.nit:562 */
3926 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3927 if (UNTAG_Bool(REGB0
)) {
3929 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 562);
3931 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3932 REGB0
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3933 if (UNTAG_Bool(REGB0
)) {
3934 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3935 if (UNTAG_Bool(REGB0
)) {
3937 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 562);
3939 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3940 REGB0
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3941 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
3943 REGB1
= TAG_Bool(false);
3948 stack_frame_head
= fra
.me
.prev
;
3951 val_t
metamodel___static_type___MMImportedCast_____eqeq(val_t p0
, val_t p1
){
3952 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
3956 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3957 fra
.me
.file
= LOCATE_metamodel___static_type
;
3959 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast_____eqeq
;
3960 fra
.me
.has_broke
= 0;
3961 fra
.me
.REG_size
= 4;
3962 fra
.me
.nitni_local_ref_head
= NULL
;
3963 fra
.me
.REG
[0] = NIT_NULL
;
3964 fra
.me
.REG
[1] = NIT_NULL
;
3965 fra
.me
.REG
[2] = NIT_NULL
;
3966 fra
.me
.REG
[3] = NIT_NULL
;
3969 /* metamodel/static_type.nit:567 */
3970 REGB0
= TAG_Bool((fra
.me
.REG
[1]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[1], COLOR_metamodel___static_type___MMImportedCast
, ID_metamodel___static_type___MMImportedCast
)) /*cast MMImportedCast*/;
3971 if (UNTAG_Bool(REGB0
)) {
3972 /* metamodel/static_type.nit:568 */
3973 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
3974 if (UNTAG_Bool(REGB0
)) {
3975 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 568);
3977 fra
.me
.REG
[2] = CALL_metamodel___static_type___MMImportedCast___from(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3978 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMImportedCast___from(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3979 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[2],fra
.me
.REG
[3]));
3980 if (UNTAG_Bool(REGB0
)) {
3982 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
3986 /* metamodel/static_type.nit:567 */
3987 REGB1
= TAG_Bool(false);
3990 if (UNTAG_Bool(REGB0
)) {
3991 /* metamodel/static_type.nit:568 */
3992 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
3993 if (UNTAG_Bool(REGB0
)) {
3994 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 568);
3996 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMImportedCast___to(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3997 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMImportedCast___to(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3998 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[0]));
3999 if (UNTAG_Bool(REGB0
)) {
4001 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
4005 /* metamodel/static_type.nit:567 */
4006 REGB1
= TAG_Bool(false);
4011 stack_frame_head
= fra
.me
.prev
;
4014 void metamodel___static_type___MMImportedCast___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
){
4015 int itpos10
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMImportedCast
].i
;
4016 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
4018 if (init_table
[itpos10
]) return;
4019 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
4020 fra
.me
.file
= LOCATE_metamodel___static_type
;
4022 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___init
;
4023 fra
.me
.has_broke
= 0;
4024 fra
.me
.REG_size
= 3;
4025 fra
.me
.nitni_local_ref_head
= NULL
;
4026 fra
.me
.REG
[0] = NIT_NULL
;
4027 fra
.me
.REG
[1] = NIT_NULL
;
4028 fra
.me
.REG
[2] = NIT_NULL
;
4032 ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
4033 ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
4034 stack_frame_head
= fra
.me
.prev
;
4035 init_table
[itpos10
] = 1;
4038 val_t
metamodel___static_type___MMMethod___explicit_casts(val_t p0
){
4039 struct {struct stack_frame_t me
;} fra
;
4041 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
4042 fra
.me
.file
= LOCATE_metamodel___static_type
;
4044 fra
.me
.meth
= LOCATE_metamodel___static_type___MMMethod___explicit_casts
;
4045 fra
.me
.has_broke
= 0;
4046 fra
.me
.REG_size
= 0;
4047 fra
.me
.nitni_local_ref_head
= NULL
;
4048 /* metamodel/static_type.nit:574 */
4049 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 574);
4050 stack_frame_head
= fra
.me
.prev
;