1 /* This C file is generated by NIT to compile module static_type. */
2 #include "static_type._sep.h"
3 val_t
static_type___MMLocalClass___get_type(val_t p0
){
4 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
8 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
9 fra
.me
.file
= LOCATE_static_type
;
11 fra
.me
.meth
= LOCATE_static_type___MMLocalClass___get_type
;
14 fra
.me
.REG
[0] = NIT_NULL
;
15 fra
.me
.REG
[1] = NIT_NULL
;
17 fra
.me
.REG
[1] = ATTR_static_type___MMLocalClass____base_type_cache(fra
.me
.REG
[0]);
18 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
19 /* ./metamodel//static_type.nit:30 */
20 if (UNTAG_Bool(REGB0
)) {
22 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
23 if (UNTAG_Bool(REGB1
)) {
24 REGB1
= TAG_Bool(false);
27 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
31 if (UNTAG_Bool(REGB0
)) {
32 fra
.me
.REG
[1] = NEW_MMTypeSimpleClass_static_type___MMTypeSimpleClass___init(fra
.me
.REG
[0]);
33 ATTR_static_type___MMLocalClass____base_type_cache(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
35 fra
.me
.REG
[0] = ATTR_static_type___MMLocalClass____base_type_cache(fra
.me
.REG
[0]);
36 REGB0
= TAG_Bool(fra
.me
.REG
[0]!=NIT_NULL
);
37 /* ./metamodel//static_type.nit:31 */
38 if (UNTAG_Bool(REGB0
)) {
40 fprintf(stderr
, "Cast failed");
41 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 31);
46 stack_frame_head
= fra
.me
.prev
;
49 void static_type___MMLocalClass___add_ancestor(val_t p0
, val_t p1
){
50 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
54 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
55 fra
.me
.file
= LOCATE_static_type
;
57 fra
.me
.meth
= LOCATE_static_type___MMLocalClass___add_ancestor
;
60 fra
.me
.REG
[0] = NIT_NULL
;
61 fra
.me
.REG
[1] = NIT_NULL
;
62 fra
.me
.REG
[2] = NIT_NULL
;
63 fra
.me
.REG
[3] = NIT_NULL
;
66 fra
.me
.REG
[2] = ATTR_static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
67 fra
.me
.REG
[3] = CALL_static_type___MMAncestor___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
68 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
69 /* ./metamodel//static_type.nit:37 */
70 if (UNTAG_Bool(REGB0
)) {
71 fprintf(stderr
, "Reciever is null");
72 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 37);
75 REGB0
= CALL_abstract_collection___MapRead___has_key(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
76 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
77 if (UNTAG_Bool(REGB0
)) {
79 fprintf(stderr
, "Assert failed");
80 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 37);
83 fra
.me
.REG
[3] = CALL_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 /* ./metamodel//static_type.nit:38 */
86 if (UNTAG_Bool(REGB0
)) {
88 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[0]);
91 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
92 if (UNTAG_Bool(REGB0
)) {
94 fprintf(stderr
, "Assert failed");
95 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 38);
98 fra
.me
.REG
[0] = ATTR_static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
99 fra
.me
.REG
[3] = CALL_static_type___MMAncestor___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
100 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
101 /* ./metamodel//static_type.nit:39 */
102 if (UNTAG_Bool(REGB0
)) {
103 fprintf(stderr
, "Reciever is null");
104 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 39);
107 CALL_abstract_collection___Map_____braeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3], fra
.me
.REG
[1]);
108 stack_frame_head
= fra
.me
.prev
;
111 val_t
static_type___MMLocalClass___ancestors(val_t p0
){
112 struct {struct stack_frame_t me
;} fra
;
114 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
115 fra
.me
.file
= LOCATE_static_type
;
117 fra
.me
.meth
= LOCATE_static_type___MMLocalClass___ancestors
;
118 fra
.me
.has_broke
= 0;
120 fra
.me
.REG
[0] = NIT_NULL
;
122 fra
.me
.REG
[0] = ATTR_static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
123 /* ./metamodel//static_type.nit:42 */
124 stack_frame_head
= fra
.me
.prev
;
125 return fra
.me
.REG
[0];
127 val_t
static_type___MMLocalClass___ancestor(val_t p0
, val_t p1
){
128 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
131 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
132 fra
.me
.file
= LOCATE_static_type
;
134 fra
.me
.meth
= LOCATE_static_type___MMLocalClass___ancestor
;
135 fra
.me
.has_broke
= 0;
137 fra
.me
.REG
[0] = NIT_NULL
;
138 fra
.me
.REG
[1] = NIT_NULL
;
141 fra
.me
.REG
[0] = ATTR_static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
142 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
143 /* ./metamodel//static_type.nit:48 */
144 if (UNTAG_Bool(REGB0
)) {
145 fprintf(stderr
, "Reciever is null");
146 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 48);
149 fra
.me
.REG
[1] = CALL_abstract_collection___MapRead_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
150 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
151 if (UNTAG_Bool(REGB0
)) {
152 fprintf(stderr
, "Reciever is null");
153 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 48);
156 fra
.me
.REG
[1] = CALL_static_type___MMAncestor___stype(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
159 stack_frame_head
= fra
.me
.prev
;
160 return fra
.me
.REG
[1];
162 val_t
static_type___MMLocalProperty___signature(val_t p0
){
163 struct {struct stack_frame_t me
;} fra
;
165 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
166 fra
.me
.file
= LOCATE_static_type
;
168 fra
.me
.meth
= LOCATE_static_type___MMLocalProperty___signature
;
169 fra
.me
.has_broke
= 0;
171 fra
.me
.REG
[0] = NIT_NULL
;
173 fra
.me
.REG
[0] = ATTR_static_type___MMLocalProperty____signature(fra
.me
.REG
[0]);
174 /* ./metamodel//static_type.nit:53 */
175 stack_frame_head
= fra
.me
.prev
;
176 return fra
.me
.REG
[0];
178 void static_type___MMLocalProperty___signature__eq(val_t p0
, val_t p1
){
179 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
181 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
182 fra
.me
.file
= LOCATE_static_type
;
184 fra
.me
.meth
= LOCATE_static_type___MMLocalProperty___signature__eq
;
185 fra
.me
.has_broke
= 0;
187 fra
.me
.REG
[0] = NIT_NULL
;
188 fra
.me
.REG
[1] = NIT_NULL
;
191 /* ./metamodel//static_type.nit:53 */
192 ATTR_static_type___MMLocalProperty____signature(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
193 stack_frame_head
= fra
.me
.prev
;
196 val_t
static_type___MMLocalProperty___signature_for(val_t p0
, val_t p1
){
197 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
201 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
202 fra
.me
.file
= LOCATE_static_type
;
204 fra
.me
.meth
= LOCATE_static_type___MMLocalProperty___signature_for
;
205 fra
.me
.has_broke
= 0;
207 fra
.me
.REG
[0] = NIT_NULL
;
208 fra
.me
.REG
[1] = NIT_NULL
;
209 fra
.me
.REG
[2] = NIT_NULL
;
210 fra
.me
.REG
[3] = NIT_NULL
;
213 fra
.me
.REG
[2] = CALL_abstractmetamodel___MMLocalProperty___local_class(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
214 fra
.me
.REG
[2] = CALL_static_type___MMLocalClass___get_type(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
215 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[2]));
216 /* ./metamodel//static_type.nit:60 */
217 if (UNTAG_Bool(REGB0
)) {
219 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
222 if (UNTAG_Bool(REGB0
)) {
223 fra
.me
.REG
[2] = CALL_static_type___MMLocalProperty___signature(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
224 REGB0
= TAG_Bool(fra
.me
.REG
[2]!=NIT_NULL
);
225 if (UNTAG_Bool(REGB0
)) {
227 fprintf(stderr
, "Cast failed");
228 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 60);
233 REGB0
= TAG_Bool(ATTR_static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[0])!=NIT_NULL
);
234 /* ./metamodel//static_type.nit:62 */
235 if (UNTAG_Bool(REGB0
)) {
237 fprintf(stderr
, "Uninitialized attribute %s", "_signatures_cache");
238 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 62);
241 fra
.me
.REG
[3] = ATTR_static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[0]);
242 REGB0
= CALL_abstract_collection___MapRead___has_key(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
243 if (UNTAG_Bool(REGB0
)) {
244 REGB0
= TAG_Bool(ATTR_static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[0])!=NIT_NULL
);
245 if (UNTAG_Bool(REGB0
)) {
247 fprintf(stderr
, "Uninitialized attribute %s", "_signatures_cache");
248 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 62);
251 fra
.me
.REG
[3] = ATTR_static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[0]);
252 fra
.me
.REG
[3] = CALL_abstract_collection___MapRead_____bra(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
253 fra
.me
.REG
[2] = fra
.me
.REG
[3];
256 fra
.me
.REG
[3] = CALL_static_type___MMLocalProperty___signature(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
257 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
258 /* ./metamodel//static_type.nit:64 */
259 if (UNTAG_Bool(REGB0
)) {
260 fprintf(stderr
, "Reciever is null");
261 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 64);
264 fra
.me
.REG
[3] = CALL_static_type___MMSignature___adaptation_to(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
265 REGB0
= TAG_Bool(ATTR_static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[0])!=NIT_NULL
);
266 /* ./metamodel//static_type.nit:65 */
267 if (UNTAG_Bool(REGB0
)) {
269 fprintf(stderr
, "Uninitialized attribute %s", "_signatures_cache");
270 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 65);
273 fra
.me
.REG
[0] = ATTR_static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[0]);
274 CALL_abstract_collection___Map_____braeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1], fra
.me
.REG
[3]);
275 fra
.me
.REG
[2] = fra
.me
.REG
[3];
276 /* ./metamodel//static_type.nit:66 */
279 stack_frame_head
= fra
.me
.prev
;
280 return fra
.me
.REG
[2];
282 val_t
static_type___MMSignature___to_s(val_t p0
){
283 struct {struct stack_frame_t me
; val_t MORE_REG
[4];} fra
;
288 static val_t once_value_3
; /* Once value */
289 static val_t once_value_4
; /* Once value */
290 static val_t once_value_5
; /* Once value */
291 static val_t once_value_6
; /* Once value */
292 static val_t once_value_7
; /* Once value */
293 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
294 fra
.me
.file
= LOCATE_static_type
;
296 fra
.me
.meth
= LOCATE_static_type___MMSignature___to_s
;
297 fra
.me
.has_broke
= 0;
299 fra
.me
.REG
[0] = NIT_NULL
;
300 fra
.me
.REG
[1] = NIT_NULL
;
301 fra
.me
.REG
[2] = NIT_NULL
;
302 fra
.me
.REG
[3] = NIT_NULL
;
303 fra
.me
.REG
[4] = NIT_NULL
;
305 fra
.me
.REG
[1] = NEW_Buffer_string___Buffer___init();
306 REGB0
= TAG_Bool(ATTR_static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
307 /* ./metamodel//static_type.nit:136 */
308 if (UNTAG_Bool(REGB0
)) {
310 fprintf(stderr
, "Uninitialized attribute %s", "_params");
311 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 136);
314 fra
.me
.REG
[2] = ATTR_static_type___MMSignature____params(fra
.me
.REG
[0]);
315 REGB0
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[2])!=NIT_NULL
);
316 /* ./../lib/standard//collection//array.nit:23 */
317 if (UNTAG_Bool(REGB0
)) {
319 fprintf(stderr
, "Uninitialized attribute %s", "_length");
320 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 23);
323 REGB0
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[2]);
325 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>UNTAG_Int(REGB1
));
326 /* ./metamodel//static_type.nit:136 */
327 if (UNTAG_Bool(REGB1
)) {
328 REGB1
= TAG_Bool(ATTR_static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
329 /* ./metamodel//static_type.nit:138 */
330 if (UNTAG_Bool(REGB1
)) {
332 fprintf(stderr
, "Uninitialized attribute %s", "_params");
333 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 138);
336 fra
.me
.REG
[2] = ATTR_static_type___MMSignature____params(fra
.me
.REG
[0]);
337 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[2])!=NIT_NULL
);
338 /* ./../lib/standard//collection//array.nit:23 */
339 if (UNTAG_Bool(REGB1
)) {
341 fprintf(stderr
, "Uninitialized attribute %s", "_length");
342 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 23);
345 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[2]);
346 fra
.me
.REG
[2] = NEW_Array_array___Array___with_capacity(REGB1
);
348 REGB0
= TAG_Bool(ATTR_static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
349 /* ./metamodel//static_type.nit:139 */
350 if (UNTAG_Bool(REGB0
)) {
352 fprintf(stderr
, "Uninitialized attribute %s", "_params");
353 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 139);
356 fra
.me
.REG
[3] = ATTR_static_type___MMSignature____params(fra
.me
.REG
[0]);
357 REGB0
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
358 /* ./../lib/standard//collection//array.nit:23 */
359 if (UNTAG_Bool(REGB0
)) {
361 fprintf(stderr
, "Uninitialized attribute %s", "_length");
362 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 23);
365 REGB0
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[3]);
366 fra
.me
.REG
[3] = NEW_Range_range___Range___without_last(REGB1
, REGB0
);
367 fra
.me
.REG
[3] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
368 /* ./metamodel//static_type.nit:139 */
370 REGB0
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
371 if (UNTAG_Bool(REGB0
)) {
372 REGB0
= CALL_abstract_collection___Iterator___item(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
373 REGB1
= TAG_Bool(ATTR_static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
374 /* ./metamodel//static_type.nit:141 */
375 if (UNTAG_Bool(REGB1
)) {
377 fprintf(stderr
, "Uninitialized attribute %s", "_params");
378 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 141);
381 fra
.me
.REG
[4] = ATTR_static_type___MMSignature____params(fra
.me
.REG
[0]);
383 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
384 /* ./../lib/standard//collection//array.nit:233 */
385 if (UNTAG_Bool(REGB1
)) {
386 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[4])!=NIT_NULL
);
387 if (UNTAG_Bool(REGB1
)) {
389 fprintf(stderr
, "Uninitialized attribute %s", "_length");
390 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 233);
393 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[4]);
394 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
395 /* ./../lib/standard//collection//array.nit:233 */
397 REGB2
= TAG_Bool(false);
400 if (UNTAG_Bool(REGB1
)) {
402 fprintf(stderr
, "Assert %s failed", "'index'");
403 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 233);
406 fra
.me
.REG
[4] = ATTR_array___Array____items(fra
.me
.REG
[4]);
407 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
408 /* ./../lib/standard//collection//array.nit:234 */
409 if (UNTAG_Bool(REGB1
)) {
410 fprintf(stderr
, "Reciever is null");
411 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 234);
414 fra
.me
.REG
[4] = ((Nit_NativeArray
)fra
.me
.REG
[4])->val
[UNTAG_Int(REGB0
)];
415 /* ./../lib/standard//collection//array.nit:234 */
418 fra
.me
.REG
[4] = CALL_string___Object___to_s(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
419 /* ./metamodel//static_type.nit:143 */
420 array___Array___add(fra
.me
.REG
[2], fra
.me
.REG
[4]);
422 /* ./metamodel//static_type.nit:139 */
425 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
429 fra
.me
.REG
[3] = NEW_Array_array___Array___with_capacity(REGB0
);
430 /* ./metamodel//static_type.nit:145 */
432 fra
.me
.REG
[4] = BOX_NativeString("(");
434 fra
.me
.REG
[4] = NEW_String_string___String___with_native(fra
.me
.REG
[4], REGB0
);
435 once_value_3
= fra
.me
.REG
[4];
436 register_static_object(&once_value_3
);
437 } else fra
.me
.REG
[4] = once_value_3
;
438 array___Array___add(fra
.me
.REG
[3], fra
.me
.REG
[4]);
440 fra
.me
.REG
[4] = BOX_NativeString(",");
442 fra
.me
.REG
[4] = NEW_String_string___String___with_native(fra
.me
.REG
[4], REGB0
);
443 once_value_4
= fra
.me
.REG
[4];
444 register_static_object(&once_value_4
);
445 } else fra
.me
.REG
[4] = once_value_4
;
446 fra
.me
.REG
[4] = CALL_string___Collection___join(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[4]);
447 array___Array___add(fra
.me
.REG
[3], fra
.me
.REG
[4]);
449 fra
.me
.REG
[4] = BOX_NativeString(")");
451 fra
.me
.REG
[4] = NEW_String_string___String___with_native(fra
.me
.REG
[4], REGB0
);
452 once_value_5
= fra
.me
.REG
[4];
453 register_static_object(&once_value_5
);
454 } else fra
.me
.REG
[4] = once_value_5
;
455 array___Array___add(fra
.me
.REG
[3], fra
.me
.REG
[4]);
456 fra
.me
.REG
[3] = CALL_string___Object___to_s(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
457 CALL_abstract_collection___Sequence___append(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[3]);
459 fra
.me
.REG
[3] = ATTR_static_type___MMSignature____return_type(fra
.me
.REG
[0]);
460 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
461 /* ./metamodel//static_type.nit:147 */
462 if (UNTAG_Bool(REGB0
)) {
464 REGB1
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
465 if (UNTAG_Bool(REGB1
)) {
466 REGB1
= TAG_Bool(false);
469 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], NIT_NULL
);
473 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
474 if (UNTAG_Bool(REGB0
)) {
476 fra
.me
.REG
[3] = NEW_Array_array___Array___with_capacity(REGB0
);
477 /* ./metamodel//static_type.nit:148 */
479 fra
.me
.REG
[4] = BOX_NativeString(": ");
481 fra
.me
.REG
[4] = NEW_String_string___String___with_native(fra
.me
.REG
[4], REGB0
);
482 once_value_6
= fra
.me
.REG
[4];
483 register_static_object(&once_value_6
);
484 } else fra
.me
.REG
[4] = once_value_6
;
485 array___Array___add(fra
.me
.REG
[3], fra
.me
.REG
[4]);
486 fra
.me
.REG
[0] = ATTR_static_type___MMSignature____return_type(fra
.me
.REG
[0]);
487 fra
.me
.REG
[0] = CALL_string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
488 array___Array___add(fra
.me
.REG
[3], fra
.me
.REG
[0]);
490 fra
.me
.REG
[0] = BOX_NativeString("");
492 fra
.me
.REG
[0] = NEW_String_string___String___with_native(fra
.me
.REG
[0], REGB0
);
493 once_value_7
= fra
.me
.REG
[0];
494 register_static_object(&once_value_7
);
495 } else fra
.me
.REG
[0] = once_value_7
;
496 array___Array___add(fra
.me
.REG
[3], fra
.me
.REG
[0]);
497 fra
.me
.REG
[3] = CALL_string___Object___to_s(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
498 CALL_abstract_collection___Sequence___append(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[3]);
500 fra
.me
.REG
[1] = CALL_string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
501 /* ./metamodel//static_type.nit:150 */
504 stack_frame_head
= fra
.me
.prev
;
505 return fra
.me
.REG
[1];
507 val_t
static_type___MMSignature___recv(val_t p0
){
508 struct {struct stack_frame_t me
;} fra
;
511 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
512 fra
.me
.file
= LOCATE_static_type
;
514 fra
.me
.meth
= LOCATE_static_type___MMSignature___recv
;
515 fra
.me
.has_broke
= 0;
517 fra
.me
.REG
[0] = NIT_NULL
;
519 REGB0
= TAG_Bool(ATTR_static_type___MMSignature____recv(fra
.me
.REG
[0])!=NIT_NULL
);
520 /* ./metamodel//static_type.nit:72 */
521 if (UNTAG_Bool(REGB0
)) {
523 fprintf(stderr
, "Uninitialized attribute %s", "_recv");
524 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 72);
527 fra
.me
.REG
[0] = ATTR_static_type___MMSignature____recv(fra
.me
.REG
[0]);
528 stack_frame_head
= fra
.me
.prev
;
529 return fra
.me
.REG
[0];
531 val_t
static_type___MMSignature___return_type(val_t p0
){
532 struct {struct stack_frame_t me
;} fra
;
534 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
535 fra
.me
.file
= LOCATE_static_type
;
537 fra
.me
.meth
= LOCATE_static_type___MMSignature___return_type
;
538 fra
.me
.has_broke
= 0;
540 fra
.me
.REG
[0] = NIT_NULL
;
542 fra
.me
.REG
[0] = ATTR_static_type___MMSignature____return_type(fra
.me
.REG
[0]);
543 /* ./metamodel//static_type.nit:78 */
544 stack_frame_head
= fra
.me
.prev
;
545 return fra
.me
.REG
[0];
547 val_t
static_type___MMSignature___closures(val_t p0
){
548 struct {struct stack_frame_t me
;} fra
;
551 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
552 fra
.me
.file
= LOCATE_static_type
;
554 fra
.me
.meth
= LOCATE_static_type___MMSignature___closures
;
555 fra
.me
.has_broke
= 0;
557 fra
.me
.REG
[0] = NIT_NULL
;
559 REGB0
= TAG_Bool(ATTR_static_type___MMSignature____closures(fra
.me
.REG
[0])!=NIT_NULL
);
560 /* ./metamodel//static_type.nit:81 */
561 if (UNTAG_Bool(REGB0
)) {
563 fprintf(stderr
, "Uninitialized attribute %s", "_closures");
564 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 81);
567 fra
.me
.REG
[0] = ATTR_static_type___MMSignature____closures(fra
.me
.REG
[0]);
568 stack_frame_head
= fra
.me
.prev
;
569 return fra
.me
.REG
[0];
571 val_t
static_type___MMSignature___closure_named(val_t p0
, val_t p1
){
572 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
576 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
577 fra
.me
.file
= LOCATE_static_type
;
579 fra
.me
.meth
= LOCATE_static_type___MMSignature___closure_named
;
580 fra
.me
.has_broke
= 0;
582 fra
.me
.REG
[0] = NIT_NULL
;
583 fra
.me
.REG
[1] = NIT_NULL
;
584 fra
.me
.REG
[2] = NIT_NULL
;
585 fra
.me
.REG
[3] = NIT_NULL
;
588 REGB0
= TAG_Bool(ATTR_static_type___MMSignature____closures(fra
.me
.REG
[0])!=NIT_NULL
);
589 /* ./metamodel//static_type.nit:87 */
590 if (UNTAG_Bool(REGB0
)) {
592 fprintf(stderr
, "Uninitialized attribute %s", "_closures");
593 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 87);
596 fra
.me
.REG
[0] = ATTR_static_type___MMSignature____closures(fra
.me
.REG
[0]);
597 fra
.me
.REG
[0] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
599 REGB0
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
600 if (UNTAG_Bool(REGB0
)) {
601 fra
.me
.REG
[2] = CALL_abstract_collection___Iterator___item(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
602 fra
.me
.REG
[3] = CALL_static_type___MMClosure___name(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
603 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[1]));
604 /* ./metamodel//static_type.nit:88 */
605 if (UNTAG_Bool(REGB0
)) {
607 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
610 if (UNTAG_Bool(REGB0
)) {
614 /* ./metamodel//static_type.nit:87 */
617 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
620 fra
.me
.REG
[2] = NIT_NULL
;
621 /* ./metamodel//static_type.nit:90 */
624 stack_frame_head
= fra
.me
.prev
;
625 return fra
.me
.REG
[2];
627 val_t
static_type___MMSignature___arity(val_t p0
){
628 struct {struct stack_frame_t me
;} fra
;
631 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
632 fra
.me
.file
= LOCATE_static_type
;
634 fra
.me
.meth
= LOCATE_static_type___MMSignature___arity
;
635 fra
.me
.has_broke
= 0;
637 fra
.me
.REG
[0] = NIT_NULL
;
639 REGB0
= TAG_Bool(ATTR_static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
640 /* ./metamodel//static_type.nit:96 */
641 if (UNTAG_Bool(REGB0
)) {
643 fprintf(stderr
, "Uninitialized attribute %s", "_params");
644 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 96);
647 fra
.me
.REG
[0] = ATTR_static_type___MMSignature____params(fra
.me
.REG
[0]);
648 REGB0
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
649 /* ./../lib/standard//collection//array.nit:23 */
650 if (UNTAG_Bool(REGB0
)) {
652 fprintf(stderr
, "Uninitialized attribute %s", "_length");
653 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 23);
656 REGB0
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[0]);
657 /* ./metamodel//static_type.nit:96 */
660 stack_frame_head
= fra
.me
.prev
;
663 val_t
static_type___MMSignature_____l(val_t p0
, val_t p1
){
664 struct {struct stack_frame_t me
; val_t MORE_REG
[4];} fra
;
671 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
672 fra
.me
.file
= LOCATE_static_type
;
674 fra
.me
.meth
= LOCATE_static_type___MMSignature_____l
;
675 fra
.me
.has_broke
= 0;
677 fra
.me
.REG
[0] = NIT_NULL
;
678 fra
.me
.REG
[1] = NIT_NULL
;
679 fra
.me
.REG
[2] = NIT_NULL
;
680 fra
.me
.REG
[3] = NIT_NULL
;
681 fra
.me
.REG
[4] = NIT_NULL
;
684 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[0],fra
.me
.REG
[1]));
685 /* ./metamodel//static_type.nit:102 */
686 if (UNTAG_Bool(REGB0
)) {
688 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
691 if (UNTAG_Bool(REGB0
)) {
692 REGB0
= TAG_Bool(true);
693 /* ./metamodel//static_type.nit:103 */
696 REGB1
= TAG_Bool(ATTR_static_type___MMSignature____recv(fra
.me
.REG
[0])!=NIT_NULL
);
697 /* ./metamodel//static_type.nit:105 */
698 if (UNTAG_Bool(REGB1
)) {
700 fprintf(stderr
, "Uninitialized attribute %s", "_recv");
701 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 105);
704 fra
.me
.REG
[2] = ATTR_static_type___MMSignature____recv(fra
.me
.REG
[0]);
705 fra
.me
.REG
[2] = CALL_static_type___MMType___module(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
706 fra
.me
.REG
[3] = CALL_static_type___MMSignature___recv(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
707 fra
.me
.REG
[3] = CALL_static_type___MMType___module(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
708 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[2],fra
.me
.REG
[3]));
709 if (UNTAG_Bool(REGB1
)) {
711 REGB2
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
714 if (UNTAG_Bool(REGB1
)) {
716 fprintf(stderr
, "Assert failed");
717 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 105);
720 fra
.me
.REG
[3] = ATTR_static_type___MMSignature____return_type(fra
.me
.REG
[0]);
721 fra
.me
.REG
[2] = CALL_static_type___MMSignature___return_type(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
722 REGB1
= CALL_static_type___MMSignature___arity(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
723 REGB2
= CALL_static_type___MMSignature___arity(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
724 REGB3
= TAG_Bool(IS_EQUAL_OO(REGB1
,REGB2
));
725 /* ./metamodel//static_type.nit:108 */
726 if (UNTAG_Bool(REGB3
)) {
728 REGB2
= TAG_Bool((REGB1
)==(REGB2
));
730 /* ./metamodel//static_type.nit:108 */
732 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
733 if (UNTAG_Bool(REGB3
)) {
734 REGB3
= TAG_Bool(true);
736 REGB2
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
737 if (UNTAG_Bool(REGB2
)) {
739 REGB1
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
740 if (UNTAG_Bool(REGB1
)) {
741 REGB1
= TAG_Bool(false);
744 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], NIT_NULL
);
748 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
749 if (UNTAG_Bool(REGB1
)) {
751 REGB4
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
752 if (UNTAG_Bool(REGB4
)) {
753 REGB4
= TAG_Bool(false);
756 REGB4
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], NIT_NULL
);
760 REGB4
= TAG_Bool(IS_EQUAL_OO(REGB2
,REGB1
));
761 if (UNTAG_Bool(REGB4
)) {
763 REGB1
= TAG_Bool((REGB2
)==(REGB1
));
765 /* ./metamodel//static_type.nit:108 */
767 REGB4
= TAG_Bool(!UNTAG_Bool(REGB4
));
770 if (UNTAG_Bool(REGB3
)) {
771 REGB3
= TAG_Bool(false);
775 REGB3
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
776 /* ./metamodel//static_type.nit:109 */
777 if (UNTAG_Bool(REGB3
)) {
779 REGB4
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
780 if (UNTAG_Bool(REGB4
)) {
781 REGB4
= TAG_Bool(false);
784 REGB4
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], NIT_NULL
);
788 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
789 if (UNTAG_Bool(REGB3
)) {
790 REGB3
= TAG_Bool(fra
.me
.REG
[2]!=NIT_NULL
);
791 if (UNTAG_Bool(REGB3
)) {
793 fprintf(stderr
, "Cast failed");
794 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 109);
797 REGB3
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
798 if (UNTAG_Bool(REGB3
)) {
799 fprintf(stderr
, "Reciever is null");
800 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 109);
803 REGB3
= CALL_static_type___MMType_____l(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[2]);
804 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
806 REGB4
= TAG_Bool(false);
809 if (UNTAG_Bool(REGB3
)) {
810 REGB3
= TAG_Bool(false);
812 /* ./metamodel//static_type.nit:110 */
816 REGB4
= CALL_static_type___MMSignature___arity(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
817 fra
.me
.REG
[2] = NEW_Range_range___Range___without_last(REGB3
, REGB4
);
818 fra
.me
.REG
[2] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
819 /* ./metamodel//static_type.nit:113 */
821 REGB4
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
822 if (UNTAG_Bool(REGB4
)) {
823 REGB4
= CALL_abstract_collection___Iterator___item(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
824 fra
.me
.REG
[3] = CALL_static_type___MMSignature_____bra(fra
.me
.REG
[1])(fra
.me
.REG
[1], REGB4
);
825 fra
.me
.REG
[4] = CALL_static_type___MMSignature_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB4
);
826 REGB4
= CALL_static_type___MMType_____l(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
827 REGB4
= TAG_Bool(!UNTAG_Bool(REGB4
));
828 /* ./metamodel//static_type.nit:114 */
829 if (UNTAG_Bool(REGB4
)) {
830 REGB4
= TAG_Bool(false);
832 /* ./metamodel//static_type.nit:115 */
836 /* ./metamodel//static_type.nit:113 */
839 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
842 fra
.me
.REG
[2] = CALL_static_type___MMSignature___closures(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
843 REGB4
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[2])!=NIT_NULL
);
844 /* ./../lib/standard//collection//array.nit:23 */
845 if (UNTAG_Bool(REGB4
)) {
847 fprintf(stderr
, "Uninitialized attribute %s", "_length");
848 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 23);
851 REGB4
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[2]);
852 fra
.me
.REG
[2] = CALL_static_type___MMSignature___closures(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
853 REGB3
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[2])!=NIT_NULL
);
854 /* ./../lib/standard//collection//array.nit:23 */
855 if (UNTAG_Bool(REGB3
)) {
857 fprintf(stderr
, "Uninitialized attribute %s", "_length");
858 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 23);
861 REGB3
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[2]);
862 REGB1
= TAG_Bool(IS_EQUAL_OO(REGB4
,REGB3
));
863 /* ./metamodel//static_type.nit:119 */
864 if (UNTAG_Bool(REGB1
)) {
866 REGB3
= TAG_Bool((REGB4
)==(REGB3
));
868 /* ./metamodel//static_type.nit:119 */
870 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
871 if (UNTAG_Bool(REGB1
)) {
872 REGB1
= TAG_Bool(false);
877 fra
.me
.REG
[2] = CALL_static_type___MMSignature___closures(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
878 REGB3
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[2])!=NIT_NULL
);
879 /* ./../lib/standard//collection//array.nit:23 */
880 if (UNTAG_Bool(REGB3
)) {
882 fprintf(stderr
, "Uninitialized attribute %s", "_length");
883 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 23);
886 REGB3
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[2]);
887 fra
.me
.REG
[2] = NEW_Range_range___Range___without_last(REGB1
, REGB3
);
888 fra
.me
.REG
[2] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
889 /* ./metamodel//static_type.nit:120 */
891 REGB3
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
892 if (UNTAG_Bool(REGB3
)) {
893 REGB3
= CALL_abstract_collection___Iterator___item(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
894 fra
.me
.REG
[4] = CALL_static_type___MMSignature___closures(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
897 REGB4
= TAG_Bool(UNTAG_Int(REGB1
)>=UNTAG_Int(REGB4
));
898 /* ./../lib/standard//collection//array.nit:233 */
899 if (UNTAG_Bool(REGB4
)) {
900 REGB4
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[4])!=NIT_NULL
);
901 if (UNTAG_Bool(REGB4
)) {
903 fprintf(stderr
, "Uninitialized attribute %s", "_length");
904 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 233);
907 REGB4
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[4]);
908 REGB4
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB4
));
909 /* ./../lib/standard//collection//array.nit:233 */
911 REGB2
= TAG_Bool(false);
914 if (UNTAG_Bool(REGB4
)) {
916 fprintf(stderr
, "Assert %s failed", "'index'");
917 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 233);
920 fra
.me
.REG
[4] = ATTR_array___Array____items(fra
.me
.REG
[4]);
921 REGB4
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
922 /* ./../lib/standard//collection//array.nit:234 */
923 if (UNTAG_Bool(REGB4
)) {
924 fprintf(stderr
, "Reciever is null");
925 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 234);
928 fra
.me
.REG
[4] = ((Nit_NativeArray
)fra
.me
.REG
[4])->val
[UNTAG_Int(REGB1
)];
929 /* ./../lib/standard//collection//array.nit:234 */
932 fra
.me
.REG
[3] = CALL_static_type___MMSignature___closures(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
934 REGB1
= TAG_Bool(UNTAG_Int(REGB3
)>=UNTAG_Int(REGB1
));
935 /* ./../lib/standard//collection//array.nit:233 */
936 if (UNTAG_Bool(REGB1
)) {
937 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
938 if (UNTAG_Bool(REGB1
)) {
940 fprintf(stderr
, "Uninitialized attribute %s", "_length");
941 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 233);
944 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[3]);
945 REGB1
= TAG_Bool(UNTAG_Int(REGB3
)<UNTAG_Int(REGB1
));
946 /* ./../lib/standard//collection//array.nit:233 */
948 REGB4
= TAG_Bool(false);
951 if (UNTAG_Bool(REGB1
)) {
953 fprintf(stderr
, "Assert %s failed", "'index'");
954 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 233);
957 fra
.me
.REG
[3] = ATTR_array___Array____items(fra
.me
.REG
[3]);
958 REGB1
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
959 /* ./../lib/standard//collection//array.nit:234 */
960 if (UNTAG_Bool(REGB1
)) {
961 fprintf(stderr
, "Reciever is null");
962 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 234);
965 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[3])->val
[UNTAG_Int(REGB3
)];
966 /* ./../lib/standard//collection//array.nit:234 */
969 REGB3
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
970 /* ./metamodel//static_type.nit:121 */
971 if (UNTAG_Bool(REGB3
)) {
972 fprintf(stderr
, "Reciever is null");
973 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 121);
976 REGB3
= CALL_static_type___MMClosure_____l(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[3]);
977 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
978 if (UNTAG_Bool(REGB3
)) {
979 REGB3
= TAG_Bool(false);
984 /* ./metamodel//static_type.nit:120 */
987 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
990 REGB3
= TAG_Bool(true);
992 /* ./metamodel//static_type.nit:123 */
995 stack_frame_head
= fra
.me
.prev
;
998 val_t
static_type___MMSignature_____bra(val_t p0
, val_t p1
){
999 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1004 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1005 fra
.me
.file
= LOCATE_static_type
;
1007 fra
.me
.meth
= LOCATE_static_type___MMSignature_____bra
;
1008 fra
.me
.has_broke
= 0;
1009 fra
.me
.REG_size
= 2;
1010 fra
.me
.REG
[0] = NIT_NULL
;
1011 fra
.me
.REG
[1] = NIT_NULL
;
1014 REGB1
= TAG_Bool(ATTR_static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1015 /* ./metamodel//static_type.nit:129 */
1016 if (UNTAG_Bool(REGB1
)) {
1018 fprintf(stderr
, "Uninitialized attribute %s", "_params");
1019 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 129);
1022 fra
.me
.REG
[1] = ATTR_static_type___MMSignature____params(fra
.me
.REG
[0]);
1023 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1])!=NIT_NULL
);
1024 /* ./../lib/standard//collection//array.nit:23 */
1025 if (UNTAG_Bool(REGB1
)) {
1027 fprintf(stderr
, "Uninitialized attribute %s", "_length");
1028 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 23);
1031 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1]);
1032 REGB1
= TAG_Bool(UNTAG_Int(REGB1
)>UNTAG_Int(REGB0
));
1033 /* ./metamodel//static_type.nit:129 */
1034 if (UNTAG_Bool(REGB1
)) {
1036 fprintf(stderr
, "Assert failed");
1037 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 129);
1040 REGB1
= TAG_Bool(ATTR_static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1041 /* ./metamodel//static_type.nit:130 */
1042 if (UNTAG_Bool(REGB1
)) {
1044 fprintf(stderr
, "Uninitialized attribute %s", "_params");
1045 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 130);
1048 fra
.me
.REG
[0] = ATTR_static_type___MMSignature____params(fra
.me
.REG
[0]);
1050 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1051 /* ./../lib/standard//collection//array.nit:233 */
1052 if (UNTAG_Bool(REGB1
)) {
1053 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
1054 if (UNTAG_Bool(REGB1
)) {
1056 fprintf(stderr
, "Uninitialized attribute %s", "_length");
1057 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 233);
1060 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[0]);
1061 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1062 /* ./../lib/standard//collection//array.nit:233 */
1064 REGB2
= TAG_Bool(false);
1067 if (UNTAG_Bool(REGB1
)) {
1069 fprintf(stderr
, "Assert %s failed", "'index'");
1070 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 233);
1073 fra
.me
.REG
[0] = ATTR_array___Array____items(fra
.me
.REG
[0]);
1074 REGB1
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
1075 /* ./../lib/standard//collection//array.nit:234 */
1076 if (UNTAG_Bool(REGB1
)) {
1077 fprintf(stderr
, "Reciever is null");
1078 fprintf(stderr
, " (%s:%d)\n", LOCATE_array
, 234);
1081 fra
.me
.REG
[0] = ((Nit_NativeArray
)fra
.me
.REG
[0])->val
[UNTAG_Int(REGB0
)];
1082 /* ./../lib/standard//collection//array.nit:234 */
1085 /* ./metamodel//static_type.nit:130 */
1088 stack_frame_head
= fra
.me
.prev
;
1089 return fra
.me
.REG
[0];
1091 val_t
static_type___MMSignature___adaptation_to(val_t p0
, val_t p1
){
1092 struct {struct stack_frame_t me
; val_t MORE_REG
[6];} fra
;
1096 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1097 fra
.me
.file
= LOCATE_static_type
;
1099 fra
.me
.meth
= LOCATE_static_type___MMSignature___adaptation_to
;
1100 fra
.me
.has_broke
= 0;
1101 fra
.me
.REG_size
= 7;
1102 fra
.me
.REG
[0] = NIT_NULL
;
1103 fra
.me
.REG
[1] = NIT_NULL
;
1104 fra
.me
.REG
[2] = NIT_NULL
;
1105 fra
.me
.REG
[3] = NIT_NULL
;
1106 fra
.me
.REG
[4] = NIT_NULL
;
1107 fra
.me
.REG
[5] = NIT_NULL
;
1108 fra
.me
.REG
[6] = NIT_NULL
;
1111 REGB0
= TAG_Bool(ATTR_static_type___MMSignature____recv(fra
.me
.REG
[0])!=NIT_NULL
);
1112 /* ./metamodel//static_type.nit:156 */
1113 if (UNTAG_Bool(REGB0
)) {
1115 fprintf(stderr
, "Uninitialized attribute %s", "_recv");
1116 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 156);
1119 fra
.me
.REG
[2] = ATTR_static_type___MMSignature____recv(fra
.me
.REG
[0]);
1120 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[2],fra
.me
.REG
[1]));
1121 if (UNTAG_Bool(REGB0
)) {
1123 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
1126 if (UNTAG_Bool(REGB0
)) {
1127 fra
.me
.REG
[2] = fra
.me
.REG
[0];
1128 /* ./metamodel//static_type.nit:157 */
1131 fra
.me
.REG
[3] = CALL_static_type___MMType___module(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1132 fra
.me
.REG
[4] = NEW_Array_array___Array___init();
1133 REGB0
= TAG_Bool(ATTR_static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1134 /* ./metamodel//static_type.nit:161 */
1135 if (UNTAG_Bool(REGB0
)) {
1137 fprintf(stderr
, "Uninitialized attribute %s", "_params");
1138 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 161);
1141 fra
.me
.REG
[5] = ATTR_static_type___MMSignature____params(fra
.me
.REG
[0]);
1142 fra
.me
.REG
[5] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1144 REGB0
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1145 if (UNTAG_Bool(REGB0
)) {
1146 fra
.me
.REG
[6] = CALL_abstract_collection___Iterator___item(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1147 fra
.me
.REG
[6] = CALL_static_type___MMType___for_module(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[3]);
1148 fra
.me
.REG
[6] = CALL_static_type___MMType___adapt_to(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[1]);
1149 /* ./metamodel//static_type.nit:162 */
1150 array___Array___add(fra
.me
.REG
[4], fra
.me
.REG
[6]);
1152 /* ./metamodel//static_type.nit:161 */
1155 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1158 fra
.me
.REG
[5] = ATTR_static_type___MMSignature____return_type(fra
.me
.REG
[0]);
1159 REGB0
= TAG_Bool(fra
.me
.REG
[5]==NIT_NULL
);
1160 /* ./metamodel//static_type.nit:165 */
1161 if (UNTAG_Bool(REGB0
)) {
1163 REGB1
= TAG_Bool(fra
.me
.REG
[5]==NIT_NULL
);
1164 if (UNTAG_Bool(REGB1
)) {
1165 REGB1
= TAG_Bool(false);
1168 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[5])(fra
.me
.REG
[5], NIT_NULL
);
1172 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1173 if (UNTAG_Bool(REGB0
)) {
1174 REGB0
= TAG_Bool(fra
.me
.REG
[5]==NIT_NULL
);
1175 /* ./metamodel//static_type.nit:166 */
1176 if (UNTAG_Bool(REGB0
)) {
1177 fprintf(stderr
, "Reciever is null");
1178 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 166);
1181 fra
.me
.REG
[3] = CALL_static_type___MMType___for_module(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[3]);
1182 fra
.me
.REG
[3] = CALL_static_type___MMType___adapt_to(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
1183 fra
.me
.REG
[5] = fra
.me
.REG
[3];
1185 fra
.me
.REG
[5] = NEW_MMSignature_static_type___MMSignature___init(fra
.me
.REG
[4], fra
.me
.REG
[5], fra
.me
.REG
[1]);
1186 REGB0
= TAG_Bool(ATTR_static_type___MMSignature____closures(fra
.me
.REG
[0])!=NIT_NULL
);
1187 /* ./metamodel//static_type.nit:169 */
1188 if (UNTAG_Bool(REGB0
)) {
1190 fprintf(stderr
, "Uninitialized attribute %s", "_closures");
1191 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 169);
1194 fra
.me
.REG
[0] = ATTR_static_type___MMSignature____closures(fra
.me
.REG
[0]);
1195 fra
.me
.REG
[0] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1197 REGB0
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1198 if (UNTAG_Bool(REGB0
)) {
1199 fra
.me
.REG
[4] = CALL_abstract_collection___Iterator___item(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1200 fra
.me
.REG
[3] = CALL_static_type___MMSignature___closures(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1201 fra
.me
.REG
[4] = CALL_static_type___MMClosure___adaptation_to(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[1]);
1202 /* ./metamodel//static_type.nit:170 */
1203 array___Array___add(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1205 /* ./metamodel//static_type.nit:169 */
1208 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1211 fra
.me
.REG
[2] = fra
.me
.REG
[5];
1212 /* ./metamodel//static_type.nit:172 */
1215 stack_frame_head
= fra
.me
.prev
;
1216 return fra
.me
.REG
[2];
1218 val_t
static_type___MMSignature___not_for_self(val_t p0
){
1219 struct {struct stack_frame_t me
; val_t MORE_REG
[7];} fra
;
1224 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1225 fra
.me
.file
= LOCATE_static_type
;
1227 fra
.me
.meth
= LOCATE_static_type___MMSignature___not_for_self
;
1228 fra
.me
.has_broke
= 0;
1229 fra
.me
.REG_size
= 8;
1230 fra
.me
.REG
[0] = NIT_NULL
;
1231 fra
.me
.REG
[1] = NIT_NULL
;
1232 fra
.me
.REG
[2] = NIT_NULL
;
1233 fra
.me
.REG
[3] = NIT_NULL
;
1234 fra
.me
.REG
[4] = NIT_NULL
;
1235 fra
.me
.REG
[5] = NIT_NULL
;
1236 fra
.me
.REG
[6] = NIT_NULL
;
1237 fra
.me
.REG
[7] = NIT_NULL
;
1239 fra
.me
.REG
[1] = ATTR_static_type___MMSignature____not_for_self_cache(fra
.me
.REG
[0]);
1240 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
1241 /* ./metamodel//static_type.nit:181 */
1242 if (UNTAG_Bool(REGB0
)) {
1244 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
1245 if (UNTAG_Bool(REGB1
)) {
1246 REGB1
= TAG_Bool(false);
1249 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
1253 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1254 if (UNTAG_Bool(REGB0
)) {
1255 fra
.me
.REG
[1] = ATTR_static_type___MMSignature____not_for_self_cache(fra
.me
.REG
[0]);
1256 REGB0
= TAG_Bool(fra
.me
.REG
[1]!=NIT_NULL
);
1257 if (UNTAG_Bool(REGB0
)) {
1259 fprintf(stderr
, "Cast failed");
1260 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 181);
1265 REGB0
= TAG_Bool(false);
1266 fra
.me
.REG
[2] = NEW_Array_array___Array___init();
1267 REGB1
= TAG_Bool(ATTR_static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1268 /* ./metamodel//static_type.nit:185 */
1269 if (UNTAG_Bool(REGB1
)) {
1271 fprintf(stderr
, "Uninitialized attribute %s", "_params");
1272 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 185);
1275 fra
.me
.REG
[3] = ATTR_static_type___MMSignature____params(fra
.me
.REG
[0]);
1276 fra
.me
.REG
[3] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1278 REGB1
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1279 if (UNTAG_Bool(REGB1
)) {
1280 fra
.me
.REG
[4] = CALL_abstract_collection___Iterator___item(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1281 fra
.me
.REG
[5] = CALL_static_type___MMType___not_for_self(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1282 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[4],fra
.me
.REG
[5]));
1283 /* ./metamodel//static_type.nit:187 */
1284 if (UNTAG_Bool(REGB1
)) {
1286 REGB2
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[5]);
1289 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1290 if (UNTAG_Bool(REGB1
)) {
1291 REGB1
= TAG_Bool(true);
1294 /* ./metamodel//static_type.nit:188 */
1295 array___Array___add(fra
.me
.REG
[2], fra
.me
.REG
[5]);
1297 /* ./metamodel//static_type.nit:185 */
1300 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1303 fra
.me
.REG
[3] = ATTR_static_type___MMSignature____return_type(fra
.me
.REG
[0]);
1304 REGB1
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1305 /* ./metamodel//static_type.nit:192 */
1306 if (UNTAG_Bool(REGB1
)) {
1308 REGB2
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1309 if (UNTAG_Bool(REGB2
)) {
1310 REGB2
= TAG_Bool(false);
1313 REGB2
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], NIT_NULL
);
1317 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1318 if (UNTAG_Bool(REGB1
)) {
1319 REGB1
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1320 /* ./metamodel//static_type.nit:193 */
1321 if (UNTAG_Bool(REGB1
)) {
1322 fprintf(stderr
, "Reciever is null");
1323 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 193);
1326 fra
.me
.REG
[5] = CALL_static_type___MMType___not_for_self(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1327 fra
.me
.REG
[3] = fra
.me
.REG
[5];
1328 fra
.me
.REG
[5] = ATTR_static_type___MMSignature____return_type(fra
.me
.REG
[0]);
1329 REGB1
= TAG_Bool(IS_EQUAL_NN(fra
.me
.REG
[3],fra
.me
.REG
[5]));
1330 /* ./metamodel//static_type.nit:194 */
1331 if (UNTAG_Bool(REGB1
)) {
1333 REGB2
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1334 if (UNTAG_Bool(REGB2
)) {
1335 REGB2
= TAG_Bool(false);
1338 REGB2
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[5]);
1342 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1343 if (UNTAG_Bool(REGB1
)) {
1344 REGB1
= TAG_Bool(true);
1348 fra
.me
.REG
[5] = NEW_Array_array___Array___init();
1349 REGB1
= TAG_Bool(ATTR_static_type___MMSignature____closures(fra
.me
.REG
[0])!=NIT_NULL
);
1350 /* ./metamodel//static_type.nit:198 */
1351 if (UNTAG_Bool(REGB1
)) {
1353 fprintf(stderr
, "Uninitialized attribute %s", "_closures");
1354 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 198);
1357 fra
.me
.REG
[4] = ATTR_static_type___MMSignature____closures(fra
.me
.REG
[0]);
1358 fra
.me
.REG
[4] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1360 REGB1
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1361 if (UNTAG_Bool(REGB1
)) {
1362 fra
.me
.REG
[6] = CALL_abstract_collection___Iterator___item(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1363 fra
.me
.REG
[7] = CALL_static_type___MMClosure___not_for_self(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
1364 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[7],fra
.me
.REG
[6]));
1365 /* ./metamodel//static_type.nit:200 */
1366 if (UNTAG_Bool(REGB1
)) {
1368 REGB2
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[7])(fra
.me
.REG
[7], fra
.me
.REG
[6]);
1371 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1372 if (UNTAG_Bool(REGB1
)) {
1373 REGB1
= TAG_Bool(true);
1376 /* ./metamodel//static_type.nit:201 */
1377 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[7]);
1379 /* ./metamodel//static_type.nit:198 */
1382 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1385 /* ./metamodel//static_type.nit:205 */
1386 if (UNTAG_Bool(REGB0
)) {
1387 REGB0
= TAG_Bool(ATTR_static_type___MMSignature____recv(fra
.me
.REG
[0])!=NIT_NULL
);
1388 /* ./metamodel//static_type.nit:206 */
1389 if (UNTAG_Bool(REGB0
)) {
1391 fprintf(stderr
, "Uninitialized attribute %s", "_recv");
1392 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 206);
1395 fra
.me
.REG
[4] = ATTR_static_type___MMSignature____recv(fra
.me
.REG
[0]);
1396 fra
.me
.REG
[4] = NEW_MMSignature_static_type___MMSignature___init(fra
.me
.REG
[2], fra
.me
.REG
[3], fra
.me
.REG
[4]);
1397 fra
.me
.REG
[3] = CALL_static_type___MMSignature___closures(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1398 /* ./metamodel//static_type.nit:207 */
1399 CALL_abstract_collection___SimpleCollection___add_all(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[5]);
1401 fra
.me
.REG
[4] = fra
.me
.REG
[0];
1402 /* ./metamodel//static_type.nit:209 */
1404 /* ./metamodel//static_type.nit:212 */
1405 ATTR_static_type___MMSignature____not_for_self_cache(fra
.me
.REG
[0]) = fra
.me
.REG
[4];
1406 fra
.me
.REG
[1] = fra
.me
.REG
[4];
1407 /* ./metamodel//static_type.nit:213 */
1410 stack_frame_head
= fra
.me
.prev
;
1411 return fra
.me
.REG
[1];
1413 void static_type___MMSignature___init(val_t p0
, val_t p1
, val_t p2
, val_t p3
, int* init_table
){
1414 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_MMSignature
].i
;
1415 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
1417 if (init_table
[itpos0
]) return;
1418 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1419 fra
.me
.file
= LOCATE_static_type
;
1421 fra
.me
.meth
= LOCATE_static_type___MMSignature___init
;
1422 fra
.me
.has_broke
= 0;
1423 fra
.me
.REG_size
= 4;
1424 fra
.me
.REG
[0] = NIT_NULL
;
1425 fra
.me
.REG
[1] = NIT_NULL
;
1426 fra
.me
.REG
[2] = NIT_NULL
;
1427 fra
.me
.REG
[3] = NIT_NULL
;
1432 /* ./metamodel//static_type.nit:218 */
1433 ATTR_static_type___MMSignature____params(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
1434 /* ./metamodel//static_type.nit:219 */
1435 ATTR_static_type___MMSignature____return_type(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
1436 /* ./metamodel//static_type.nit:220 */
1437 ATTR_static_type___MMSignature____recv(fra
.me
.REG
[0]) = fra
.me
.REG
[3];
1438 stack_frame_head
= fra
.me
.prev
;
1439 init_table
[itpos0
] = 1;
1442 val_t
static_type___MMClosure___name(val_t p0
){
1443 struct {struct stack_frame_t me
;} fra
;
1446 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1447 fra
.me
.file
= LOCATE_static_type
;
1449 fra
.me
.meth
= LOCATE_static_type___MMClosure___name
;
1450 fra
.me
.has_broke
= 0;
1451 fra
.me
.REG_size
= 1;
1452 fra
.me
.REG
[0] = NIT_NULL
;
1454 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____name(fra
.me
.REG
[0])!=NIT_NULL
);
1455 /* ./metamodel//static_type.nit:226 */
1456 if (UNTAG_Bool(REGB0
)) {
1458 fprintf(stderr
, "Uninitialized attribute %s", "_name");
1459 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 226);
1462 fra
.me
.REG
[0] = ATTR_static_type___MMClosure____name(fra
.me
.REG
[0]);
1463 stack_frame_head
= fra
.me
.prev
;
1464 return fra
.me
.REG
[0];
1466 val_t
static_type___MMClosure___signature(val_t p0
){
1467 struct {struct stack_frame_t me
;} fra
;
1470 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1471 fra
.me
.file
= LOCATE_static_type
;
1473 fra
.me
.meth
= LOCATE_static_type___MMClosure___signature
;
1474 fra
.me
.has_broke
= 0;
1475 fra
.me
.REG_size
= 1;
1476 fra
.me
.REG
[0] = NIT_NULL
;
1478 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
1479 /* ./metamodel//static_type.nit:229 */
1480 if (UNTAG_Bool(REGB0
)) {
1482 fprintf(stderr
, "Uninitialized attribute %s", "_signature");
1483 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 229);
1486 fra
.me
.REG
[0] = ATTR_static_type___MMClosure____signature(fra
.me
.REG
[0]);
1487 stack_frame_head
= fra
.me
.prev
;
1488 return fra
.me
.REG
[0];
1490 val_t
static_type___MMClosure___is_break(val_t p0
){
1491 struct {struct stack_frame_t me
;} fra
;
1494 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1495 fra
.me
.file
= LOCATE_static_type
;
1497 fra
.me
.meth
= LOCATE_static_type___MMClosure___is_break
;
1498 fra
.me
.has_broke
= 0;
1499 fra
.me
.REG_size
= 1;
1500 fra
.me
.REG
[0] = NIT_NULL
;
1502 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____is_break(fra
.me
.REG
[0])!=NIT_NULL
);
1503 /* ./metamodel//static_type.nit:232 */
1504 if (UNTAG_Bool(REGB0
)) {
1506 fprintf(stderr
, "Uninitialized attribute %s", "_is_break");
1507 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 232);
1510 REGB0
= ATTR_static_type___MMClosure____is_break(fra
.me
.REG
[0]);
1511 stack_frame_head
= fra
.me
.prev
;
1514 val_t
static_type___MMClosure___is_optional(val_t p0
){
1515 struct {struct stack_frame_t me
;} fra
;
1518 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1519 fra
.me
.file
= LOCATE_static_type
;
1521 fra
.me
.meth
= LOCATE_static_type___MMClosure___is_optional
;
1522 fra
.me
.has_broke
= 0;
1523 fra
.me
.REG_size
= 1;
1524 fra
.me
.REG
[0] = NIT_NULL
;
1526 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____is_optional(fra
.me
.REG
[0])!=NIT_NULL
);
1527 /* ./metamodel//static_type.nit:236 */
1528 if (UNTAG_Bool(REGB0
)) {
1530 fprintf(stderr
, "Uninitialized attribute %s", "_is_optional");
1531 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 236);
1534 REGB0
= ATTR_static_type___MMClosure____is_optional(fra
.me
.REG
[0]);
1535 stack_frame_head
= fra
.me
.prev
;
1538 val_t
static_type___MMClosure___adaptation_to(val_t p0
, val_t p1
){
1539 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
1543 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1544 fra
.me
.file
= LOCATE_static_type
;
1546 fra
.me
.meth
= LOCATE_static_type___MMClosure___adaptation_to
;
1547 fra
.me
.has_broke
= 0;
1548 fra
.me
.REG_size
= 4;
1549 fra
.me
.REG
[0] = NIT_NULL
;
1550 fra
.me
.REG
[1] = NIT_NULL
;
1551 fra
.me
.REG
[2] = NIT_NULL
;
1552 fra
.me
.REG
[3] = NIT_NULL
;
1555 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____name(fra
.me
.REG
[0])!=NIT_NULL
);
1556 /* ./metamodel//static_type.nit:243 */
1557 if (UNTAG_Bool(REGB0
)) {
1559 fprintf(stderr
, "Uninitialized attribute %s", "_name");
1560 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 243);
1563 fra
.me
.REG
[2] = ATTR_static_type___MMClosure____name(fra
.me
.REG
[0]);
1564 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
1565 if (UNTAG_Bool(REGB0
)) {
1567 fprintf(stderr
, "Uninitialized attribute %s", "_signature");
1568 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 243);
1571 fra
.me
.REG
[3] = ATTR_static_type___MMClosure____signature(fra
.me
.REG
[0]);
1572 fra
.me
.REG
[1] = CALL_static_type___MMSignature___adaptation_to(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
1573 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____is_break(fra
.me
.REG
[0])!=NIT_NULL
);
1574 if (UNTAG_Bool(REGB0
)) {
1576 fprintf(stderr
, "Uninitialized attribute %s", "_is_break");
1577 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 243);
1580 REGB0
= ATTR_static_type___MMClosure____is_break(fra
.me
.REG
[0]);
1581 REGB1
= TAG_Bool(ATTR_static_type___MMClosure____is_optional(fra
.me
.REG
[0])!=NIT_NULL
);
1582 if (UNTAG_Bool(REGB1
)) {
1584 fprintf(stderr
, "Uninitialized attribute %s", "_is_optional");
1585 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 243);
1588 REGB1
= ATTR_static_type___MMClosure____is_optional(fra
.me
.REG
[0]);
1589 fra
.me
.REG
[1] = NEW_MMClosure_static_type___MMClosure___init(fra
.me
.REG
[2], fra
.me
.REG
[1], REGB0
, REGB1
);
1592 stack_frame_head
= fra
.me
.prev
;
1593 return fra
.me
.REG
[1];
1595 void static_type___MMClosure___init(val_t p0
, val_t p1
, val_t p2
, val_t p3
, val_t p4
, int* init_table
){
1596 int itpos1
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_MMClosure
].i
;
1597 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
1601 if (init_table
[itpos1
]) return;
1602 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1603 fra
.me
.file
= LOCATE_static_type
;
1605 fra
.me
.meth
= LOCATE_static_type___MMClosure___init
;
1606 fra
.me
.has_broke
= 0;
1607 fra
.me
.REG_size
= 3;
1608 fra
.me
.REG
[0] = NIT_NULL
;
1609 fra
.me
.REG
[1] = NIT_NULL
;
1610 fra
.me
.REG
[2] = NIT_NULL
;
1616 /* ./metamodel//static_type.nit:248 */
1617 ATTR_static_type___MMClosure____name(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
1618 /* ./metamodel//static_type.nit:249 */
1619 ATTR_static_type___MMClosure____signature(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
1620 /* ./metamodel//static_type.nit:250 */
1621 ATTR_static_type___MMClosure____is_break(fra
.me
.REG
[0]) = REGB0
;
1622 /* ./metamodel//static_type.nit:251 */
1623 ATTR_static_type___MMClosure____is_optional(fra
.me
.REG
[0]) = REGB1
;
1624 stack_frame_head
= fra
.me
.prev
;
1625 init_table
[itpos1
] = 1;
1628 val_t
static_type___MMClosure___not_for_self(val_t p0
){
1629 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
1633 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1634 fra
.me
.file
= LOCATE_static_type
;
1636 fra
.me
.meth
= LOCATE_static_type___MMClosure___not_for_self
;
1637 fra
.me
.has_broke
= 0;
1638 fra
.me
.REG_size
= 3;
1639 fra
.me
.REG
[0] = NIT_NULL
;
1640 fra
.me
.REG
[1] = NIT_NULL
;
1641 fra
.me
.REG
[2] = NIT_NULL
;
1643 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
1644 /* ./metamodel//static_type.nit:256 */
1645 if (UNTAG_Bool(REGB0
)) {
1647 fprintf(stderr
, "Uninitialized attribute %s", "_signature");
1648 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 256);
1651 fra
.me
.REG
[1] = ATTR_static_type___MMClosure____signature(fra
.me
.REG
[0]);
1652 fra
.me
.REG
[1] = CALL_static_type___MMSignature___not_for_self(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1653 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
1654 /* ./metamodel//static_type.nit:257 */
1655 if (UNTAG_Bool(REGB0
)) {
1657 fprintf(stderr
, "Uninitialized attribute %s", "_signature");
1658 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 257);
1661 fra
.me
.REG
[2] = ATTR_static_type___MMClosure____signature(fra
.me
.REG
[0]);
1662 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[2]));
1663 if (UNTAG_Bool(REGB0
)) {
1665 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
1668 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1669 if (UNTAG_Bool(REGB0
)) {
1670 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____name(fra
.me
.REG
[0])!=NIT_NULL
);
1671 /* ./metamodel//static_type.nit:258 */
1672 if (UNTAG_Bool(REGB0
)) {
1674 fprintf(stderr
, "Uninitialized attribute %s", "_name");
1675 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 258);
1678 fra
.me
.REG
[2] = ATTR_static_type___MMClosure____name(fra
.me
.REG
[0]);
1679 REGB0
= TAG_Bool(ATTR_static_type___MMClosure____is_break(fra
.me
.REG
[0])!=NIT_NULL
);
1680 if (UNTAG_Bool(REGB0
)) {
1682 fprintf(stderr
, "Uninitialized attribute %s", "_is_break");
1683 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 258);
1686 REGB0
= ATTR_static_type___MMClosure____is_break(fra
.me
.REG
[0]);
1687 REGB1
= TAG_Bool(ATTR_static_type___MMClosure____is_optional(fra
.me
.REG
[0])!=NIT_NULL
);
1688 if (UNTAG_Bool(REGB1
)) {
1690 fprintf(stderr
, "Uninitialized attribute %s", "_is_optional");
1691 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 258);
1694 REGB1
= ATTR_static_type___MMClosure____is_optional(fra
.me
.REG
[0]);
1695 fra
.me
.REG
[1] = NEW_MMClosure_static_type___MMClosure___init(fra
.me
.REG
[2], fra
.me
.REG
[1], REGB0
, REGB1
);
1698 fra
.me
.REG
[1] = fra
.me
.REG
[0];
1699 /* ./metamodel//static_type.nit:260 */
1703 stack_frame_head
= fra
.me
.prev
;
1704 return fra
.me
.REG
[1];
1706 val_t
static_type___MMClosure_____l(val_t p0
, val_t p1
){
1707 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1712 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1713 fra
.me
.file
= LOCATE_static_type
;
1715 fra
.me
.meth
= LOCATE_static_type___MMClosure_____l
;
1716 fra
.me
.has_broke
= 0;
1717 fra
.me
.REG_size
= 2;
1718 fra
.me
.REG
[0] = NIT_NULL
;
1719 fra
.me
.REG
[1] = NIT_NULL
;
1722 REGB0
= CALL_static_type___MMClosure___is_optional(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1723 /* ./metamodel//static_type.nit:266 */
1724 if (UNTAG_Bool(REGB0
)) {
1725 REGB0
= CALL_static_type___MMClosure___is_optional(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1726 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1728 REGB1
= TAG_Bool(false);
1731 if (UNTAG_Bool(REGB0
)) {
1732 REGB0
= TAG_Bool(false);
1735 REGB1
= CALL_static_type___MMClosure___is_break(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1736 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1737 /* ./metamodel//static_type.nit:267 */
1738 if (UNTAG_Bool(REGB1
)) {
1739 REGB1
= CALL_static_type___MMClosure___is_break(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1741 REGB2
= TAG_Bool(false);
1744 if (UNTAG_Bool(REGB1
)) {
1745 REGB1
= TAG_Bool(false);
1749 fra
.me
.REG
[1] = CALL_static_type___MMClosure___signature(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1750 fra
.me
.REG
[0] = CALL_static_type___MMClosure___signature(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1751 REGB1
= CALL_static_type___MMSignature_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
1753 /* ./metamodel//static_type.nit:268 */
1756 stack_frame_head
= fra
.me
.prev
;
1759 val_t
static_type___MMAncestor___to_s(val_t p0
){
1760 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1764 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1765 fra
.me
.file
= LOCATE_static_type
;
1767 fra
.me
.meth
= LOCATE_static_type___MMAncestor___to_s
;
1768 fra
.me
.has_broke
= 0;
1769 fra
.me
.REG_size
= 2;
1770 fra
.me
.REG
[0] = NIT_NULL
;
1771 fra
.me
.REG
[1] = NIT_NULL
;
1773 fra
.me
.REG
[1] = ATTR_static_type___MMAncestor____stype(fra
.me
.REG
[0]);
1774 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
1775 /* ./metamodel//static_type.nit:299 */
1776 if (UNTAG_Bool(REGB0
)) {
1778 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
1779 if (UNTAG_Bool(REGB1
)) {
1780 REGB1
= TAG_Bool(false);
1783 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
1787 if (UNTAG_Bool(REGB0
)) {
1788 fra
.me
.REG
[1] = CALL_static_type___MMAncestor___local_class(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1789 fra
.me
.REG
[1] = CALL_string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1790 /* ./metamodel//static_type.nit:300 */
1793 fra
.me
.REG
[0] = CALL_static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1794 fra
.me
.REG
[0] = CALL_string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1795 fra
.me
.REG
[1] = fra
.me
.REG
[0];
1796 /* ./metamodel//static_type.nit:302 */
1800 stack_frame_head
= fra
.me
.prev
;
1801 return fra
.me
.REG
[1];
1803 void static_type___MMAncestor___stype__eq(val_t p0
, val_t p1
){
1804 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1806 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1807 fra
.me
.file
= LOCATE_static_type
;
1809 fra
.me
.meth
= LOCATE_static_type___MMAncestor___stype__eq
;
1810 fra
.me
.has_broke
= 0;
1811 fra
.me
.REG_size
= 2;
1812 fra
.me
.REG
[0] = NIT_NULL
;
1813 fra
.me
.REG
[1] = NIT_NULL
;
1816 /* ./metamodel//static_type.nit:274 */
1817 ATTR_static_type___MMAncestor____stype(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
1818 stack_frame_head
= fra
.me
.prev
;
1821 val_t
static_type___MMAncestor___stype(val_t p0
){
1822 struct {struct stack_frame_t me
;} fra
;
1825 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1826 fra
.me
.file
= LOCATE_static_type
;
1828 fra
.me
.meth
= LOCATE_static_type___MMAncestor___stype
;
1829 fra
.me
.has_broke
= 0;
1830 fra
.me
.REG_size
= 1;
1831 fra
.me
.REG
[0] = NIT_NULL
;
1833 fra
.me
.REG
[0] = ATTR_static_type___MMAncestor____stype(fra
.me
.REG
[0]);
1834 REGB0
= TAG_Bool(fra
.me
.REG
[0]!=NIT_NULL
);
1835 /* ./metamodel//static_type.nit:278 */
1836 if (UNTAG_Bool(REGB0
)) {
1838 fprintf(stderr
, "Cast failed");
1839 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 278);
1844 stack_frame_head
= fra
.me
.prev
;
1845 return fra
.me
.REG
[0];
1847 void static_type___MMAncestor___inheriter__eq(val_t p0
, val_t p1
){
1848 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1850 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1851 fra
.me
.file
= LOCATE_static_type
;
1853 fra
.me
.meth
= LOCATE_static_type___MMAncestor___inheriter__eq
;
1854 fra
.me
.has_broke
= 0;
1855 fra
.me
.REG_size
= 2;
1856 fra
.me
.REG
[0] = NIT_NULL
;
1857 fra
.me
.REG
[1] = NIT_NULL
;
1860 /* ./metamodel//static_type.nit:280 */
1861 ATTR_static_type___MMAncestor____inheriter(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
1862 stack_frame_head
= fra
.me
.prev
;
1865 val_t
static_type___MMAncestor___inheriter(val_t p0
){
1866 struct {struct stack_frame_t me
;} fra
;
1869 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1870 fra
.me
.file
= LOCATE_static_type
;
1872 fra
.me
.meth
= LOCATE_static_type___MMAncestor___inheriter
;
1873 fra
.me
.has_broke
= 0;
1874 fra
.me
.REG_size
= 1;
1875 fra
.me
.REG
[0] = NIT_NULL
;
1877 fra
.me
.REG
[0] = ATTR_static_type___MMAncestor____inheriter(fra
.me
.REG
[0]);
1878 REGB0
= TAG_Bool(fra
.me
.REG
[0]!=NIT_NULL
);
1879 /* ./metamodel//static_type.nit:284 */
1880 if (UNTAG_Bool(REGB0
)) {
1882 fprintf(stderr
, "Cast failed");
1883 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 284);
1888 stack_frame_head
= fra
.me
.prev
;
1889 return fra
.me
.REG
[0];
1891 val_t
static_type___MMAncestor___is_reffinement(val_t p0
){
1892 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1896 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1897 fra
.me
.file
= LOCATE_static_type
;
1899 fra
.me
.meth
= LOCATE_static_type___MMAncestor___is_reffinement
;
1900 fra
.me
.has_broke
= 0;
1901 fra
.me
.REG_size
= 2;
1902 fra
.me
.REG
[0] = NIT_NULL
;
1903 fra
.me
.REG
[1] = NIT_NULL
;
1905 fra
.me
.REG
[1] = CALL_static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1906 fra
.me
.REG
[1] = CALL_static_type___MMType___module(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1907 fra
.me
.REG
[0] = CALL_static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1908 fra
.me
.REG
[0] = CALL_static_type___MMType___module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1909 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[0]));
1910 /* ./metamodel//static_type.nit:287 */
1911 if (UNTAG_Bool(REGB0
)) {
1913 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
1916 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1919 stack_frame_head
= fra
.me
.prev
;
1922 val_t
static_type___MMAncestor___is_specialisation(val_t p0
){
1923 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1927 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1928 fra
.me
.file
= LOCATE_static_type
;
1930 fra
.me
.meth
= LOCATE_static_type___MMAncestor___is_specialisation
;
1931 fra
.me
.has_broke
= 0;
1932 fra
.me
.REG_size
= 2;
1933 fra
.me
.REG
[0] = NIT_NULL
;
1934 fra
.me
.REG
[1] = NIT_NULL
;
1936 fra
.me
.REG
[1] = CALL_static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1937 fra
.me
.REG
[1] = CALL_static_type___MMType___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1938 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMLocalClass___global(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1939 fra
.me
.REG
[0] = CALL_static_type___MMAncestor___inheriter(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1940 fra
.me
.REG
[0] = CALL_static_type___MMType___local_class(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1941 fra
.me
.REG
[0] = CALL_abstractmetamodel___MMLocalClass___global(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1942 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[0]));
1943 /* ./metamodel//static_type.nit:291 */
1944 if (UNTAG_Bool(REGB0
)) {
1946 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
1949 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1952 stack_frame_head
= fra
.me
.prev
;
1955 val_t
static_type___MMAncestor___local_class(val_t p0
){
1956 struct {struct stack_frame_t me
;} fra
;
1958 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1959 fra
.me
.file
= LOCATE_static_type
;
1961 fra
.me
.meth
= LOCATE_static_type___MMAncestor___local_class
;
1962 fra
.me
.has_broke
= 0;
1963 fra
.me
.REG_size
= 0;
1964 /* ./metamodel//static_type.nit:294 */
1965 fprintf(stderr
, "Deferred method called");
1966 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 294);
1968 stack_frame_head
= fra
.me
.prev
;
1971 void static_type___MMAncestor___init(val_t p0
, int* init_table
){
1972 int itpos2
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_MMAncestor
].i
;
1973 struct {struct stack_frame_t me
;} fra
;
1975 if (init_table
[itpos2
]) return;
1976 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1977 fra
.me
.file
= LOCATE_static_type
;
1979 fra
.me
.meth
= LOCATE_static_type___MMAncestor___init
;
1980 fra
.me
.has_broke
= 0;
1981 fra
.me
.REG_size
= 0;
1982 stack_frame_head
= fra
.me
.prev
;
1983 init_table
[itpos2
] = 1;
1986 val_t
static_type___MMType___module(val_t p0
){
1987 struct {struct stack_frame_t me
;} fra
;
1989 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1990 fra
.me
.file
= LOCATE_static_type
;
1992 fra
.me
.meth
= LOCATE_static_type___MMType___module
;
1993 fra
.me
.has_broke
= 0;
1994 fra
.me
.REG_size
= 0;
1995 /* ./metamodel//static_type.nit:310 */
1996 fprintf(stderr
, "Deferred method called");
1997 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 310);
1999 stack_frame_head
= fra
.me
.prev
;
2002 val_t
static_type___MMType___local_class(val_t p0
){
2003 struct {struct stack_frame_t me
;} fra
;
2005 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2006 fra
.me
.file
= LOCATE_static_type
;
2008 fra
.me
.meth
= LOCATE_static_type___MMType___local_class
;
2009 fra
.me
.has_broke
= 0;
2010 fra
.me
.REG_size
= 0;
2011 /* ./metamodel//static_type.nit:313 */
2012 fprintf(stderr
, "Deferred method called");
2013 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 313);
2015 stack_frame_head
= fra
.me
.prev
;
2018 val_t
static_type___MMType___is_valid(val_t p0
){
2019 struct {struct stack_frame_t me
;} fra
;
2022 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2023 fra
.me
.file
= LOCATE_static_type
;
2025 fra
.me
.meth
= LOCATE_static_type___MMType___is_valid
;
2026 fra
.me
.has_broke
= 0;
2027 fra
.me
.REG_size
= 1;
2028 fra
.me
.REG
[0] = NIT_NULL
;
2030 REGB0
= TAG_Bool(true);
2031 /* ./metamodel//static_type.nit:318 */
2034 stack_frame_head
= fra
.me
.prev
;
2037 val_t
static_type___MMType_____l(val_t p0
, val_t p1
){
2038 struct {struct stack_frame_t me
;} fra
;
2040 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2041 fra
.me
.file
= LOCATE_static_type
;
2043 fra
.me
.meth
= LOCATE_static_type___MMType_____l
;
2044 fra
.me
.has_broke
= 0;
2045 fra
.me
.REG_size
= 0;
2046 /* ./metamodel//static_type.nit:320 */
2047 fprintf(stderr
, "Deferred method called");
2048 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 320);
2050 stack_frame_head
= fra
.me
.prev
;
2053 val_t
static_type___MMType___is_supertype(val_t p0
, val_t p1
){
2054 struct {struct stack_frame_t me
;} fra
;
2056 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2057 fra
.me
.file
= LOCATE_static_type
;
2059 fra
.me
.meth
= LOCATE_static_type___MMType___is_supertype
;
2060 fra
.me
.has_broke
= 0;
2061 fra
.me
.REG_size
= 0;
2062 /* ./metamodel//static_type.nit:323 */
2063 fprintf(stderr
, "Deferred method called");
2064 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 323);
2066 stack_frame_head
= fra
.me
.prev
;
2069 val_t
static_type___MMType___for_module(val_t p0
, val_t p1
){
2070 struct {struct stack_frame_t me
;} fra
;
2072 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2073 fra
.me
.file
= LOCATE_static_type
;
2075 fra
.me
.meth
= LOCATE_static_type___MMType___for_module
;
2076 fra
.me
.has_broke
= 0;
2077 fra
.me
.REG_size
= 0;
2078 /* ./metamodel//static_type.nit:328 */
2079 fprintf(stderr
, "Deferred method called");
2080 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 328);
2082 stack_frame_head
= fra
.me
.prev
;
2085 val_t
static_type___MMType___adapt_to(val_t p0
, val_t p1
){
2086 struct {struct stack_frame_t me
;} fra
;
2088 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2089 fra
.me
.file
= LOCATE_static_type
;
2091 fra
.me
.meth
= LOCATE_static_type___MMType___adapt_to
;
2092 fra
.me
.has_broke
= 0;
2093 fra
.me
.REG_size
= 0;
2094 /* ./metamodel//static_type.nit:331 */
2095 fprintf(stderr
, "Deferred method called");
2096 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 331);
2098 stack_frame_head
= fra
.me
.prev
;
2101 val_t
static_type___MMType___upcast_for(val_t p0
, val_t p1
){
2102 struct {struct stack_frame_t me
;} fra
;
2104 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2105 fra
.me
.file
= LOCATE_static_type
;
2107 fra
.me
.meth
= LOCATE_static_type___MMType___upcast_for
;
2108 fra
.me
.has_broke
= 0;
2109 fra
.me
.REG_size
= 0;
2110 /* ./metamodel//static_type.nit:335 */
2111 fprintf(stderr
, "Deferred method called");
2112 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 335);
2114 stack_frame_head
= fra
.me
.prev
;
2117 val_t
static_type___MMType___not_for_self(val_t p0
){
2118 struct {struct stack_frame_t me
;} fra
;
2120 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2121 fra
.me
.file
= LOCATE_static_type
;
2123 fra
.me
.meth
= LOCATE_static_type___MMType___not_for_self
;
2124 fra
.me
.has_broke
= 0;
2125 fra
.me
.REG_size
= 1;
2126 fra
.me
.REG
[0] = NIT_NULL
;
2128 /* ./metamodel//static_type.nit:359 */
2131 stack_frame_head
= fra
.me
.prev
;
2132 return fra
.me
.REG
[0];
2134 val_t
static_type___MMType___is_nullable(val_t p0
){
2135 struct {struct stack_frame_t me
;} fra
;
2138 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2139 fra
.me
.file
= LOCATE_static_type
;
2141 fra
.me
.meth
= LOCATE_static_type___MMType___is_nullable
;
2142 fra
.me
.has_broke
= 0;
2143 fra
.me
.REG_size
= 1;
2144 fra
.me
.REG
[0] = NIT_NULL
;
2146 REGB0
= TAG_Bool(false);
2147 /* ./metamodel//static_type.nit:365 */
2150 stack_frame_head
= fra
.me
.prev
;
2153 val_t
static_type___MMType___as_nullable(val_t p0
){
2154 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2158 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2159 fra
.me
.file
= LOCATE_static_type
;
2161 fra
.me
.meth
= LOCATE_static_type___MMType___as_nullable
;
2162 fra
.me
.has_broke
= 0;
2163 fra
.me
.REG_size
= 3;
2164 fra
.me
.REG
[0] = NIT_NULL
;
2165 fra
.me
.REG
[1] = NIT_NULL
;
2166 fra
.me
.REG
[2] = NIT_NULL
;
2168 fra
.me
.REG
[1] = ATTR_static_type___MMType____as_nullable_cache(fra
.me
.REG
[0]);
2169 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
2170 /* ./metamodel//static_type.nit:371 */
2171 if (UNTAG_Bool(REGB0
)) {
2173 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
2174 if (UNTAG_Bool(REGB1
)) {
2175 REGB1
= TAG_Bool(false);
2178 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
2182 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2183 if (UNTAG_Bool(REGB0
)) {
2186 fra
.me
.REG
[2] = NEW_MMNullableType_static_type___MMNullableType___init(fra
.me
.REG
[0]);
2187 /* ./metamodel//static_type.nit:373 */
2188 ATTR_static_type___MMType____as_nullable_cache(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
2189 fra
.me
.REG
[1] = fra
.me
.REG
[2];
2190 /* ./metamodel//static_type.nit:374 */
2193 stack_frame_head
= fra
.me
.prev
;
2194 return fra
.me
.REG
[1];
2196 val_t
static_type___MMType___as_notnull(val_t p0
){
2197 struct {struct stack_frame_t me
;} fra
;
2199 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2200 fra
.me
.file
= LOCATE_static_type
;
2202 fra
.me
.meth
= LOCATE_static_type___MMType___as_notnull
;
2203 fra
.me
.has_broke
= 0;
2204 fra
.me
.REG_size
= 1;
2205 fra
.me
.REG
[0] = NIT_NULL
;
2207 /* ./metamodel//static_type.nit:379 */
2210 stack_frame_head
= fra
.me
.prev
;
2211 return fra
.me
.REG
[0];
2213 void static_type___MMType___init(val_t p0
, int* init_table
){
2214 int itpos3
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_MMType
].i
;
2215 struct {struct stack_frame_t me
;} fra
;
2217 if (init_table
[itpos3
]) return;
2218 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2219 fra
.me
.file
= LOCATE_static_type
;
2221 fra
.me
.meth
= LOCATE_static_type___MMType___init
;
2222 fra
.me
.has_broke
= 0;
2223 fra
.me
.REG_size
= 0;
2224 stack_frame_head
= fra
.me
.prev
;
2225 init_table
[itpos3
] = 1;
2228 val_t
static_type___MMNullableType___to_s(val_t p0
){
2229 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2232 static val_t once_value_1
; /* Once value */
2233 static val_t once_value_2
; /* Once value */
2234 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2235 fra
.me
.file
= LOCATE_static_type
;
2237 fra
.me
.meth
= LOCATE_static_type___MMNullableType___to_s
;
2238 fra
.me
.has_broke
= 0;
2239 fra
.me
.REG_size
= 3;
2240 fra
.me
.REG
[0] = NIT_NULL
;
2241 fra
.me
.REG
[1] = NIT_NULL
;
2242 fra
.me
.REG
[2] = NIT_NULL
;
2245 fra
.me
.REG
[1] = NEW_Array_array___Array___with_capacity(REGB0
);
2246 /* ./metamodel//static_type.nit:402 */
2247 if (!once_value_1
) {
2248 fra
.me
.REG
[2] = BOX_NativeString("nullable ");
2250 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
2251 once_value_1
= fra
.me
.REG
[2];
2252 register_static_object(&once_value_1
);
2253 } else fra
.me
.REG
[2] = once_value_1
;
2254 array___Array___add(fra
.me
.REG
[1], fra
.me
.REG
[2]);
2255 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2256 if (UNTAG_Bool(REGB0
)) {
2258 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2259 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 402);
2262 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2263 fra
.me
.REG
[0] = CALL_string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2264 array___Array___add(fra
.me
.REG
[1], fra
.me
.REG
[0]);
2265 if (!once_value_2
) {
2266 fra
.me
.REG
[0] = BOX_NativeString("");
2268 fra
.me
.REG
[0] = NEW_String_string___String___with_native(fra
.me
.REG
[0], REGB0
);
2269 once_value_2
= fra
.me
.REG
[0];
2270 register_static_object(&once_value_2
);
2271 } else fra
.me
.REG
[0] = once_value_2
;
2272 array___Array___add(fra
.me
.REG
[1], fra
.me
.REG
[0]);
2273 fra
.me
.REG
[1] = CALL_string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2276 stack_frame_head
= fra
.me
.prev
;
2277 return fra
.me
.REG
[1];
2279 val_t
static_type___MMNullableType___module(val_t p0
){
2280 struct {struct stack_frame_t me
;} fra
;
2283 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2284 fra
.me
.file
= LOCATE_static_type
;
2286 fra
.me
.meth
= LOCATE_static_type___MMNullableType___module
;
2287 fra
.me
.has_broke
= 0;
2288 fra
.me
.REG_size
= 1;
2289 fra
.me
.REG
[0] = NIT_NULL
;
2291 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2292 /* ./metamodel//static_type.nit:391 */
2293 if (UNTAG_Bool(REGB0
)) {
2295 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2296 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 391);
2299 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2300 fra
.me
.REG
[0] = CALL_static_type___MMType___module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2303 stack_frame_head
= fra
.me
.prev
;
2304 return fra
.me
.REG
[0];
2306 val_t
static_type___MMNullableType___local_class(val_t p0
){
2307 struct {struct stack_frame_t me
;} fra
;
2310 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2311 fra
.me
.file
= LOCATE_static_type
;
2313 fra
.me
.meth
= LOCATE_static_type___MMNullableType___local_class
;
2314 fra
.me
.has_broke
= 0;
2315 fra
.me
.REG_size
= 1;
2316 fra
.me
.REG
[0] = NIT_NULL
;
2318 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2319 /* ./metamodel//static_type.nit:393 */
2320 if (UNTAG_Bool(REGB0
)) {
2322 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2323 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 393);
2326 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2327 fra
.me
.REG
[0] = CALL_static_type___MMType___local_class(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2330 stack_frame_head
= fra
.me
.prev
;
2331 return fra
.me
.REG
[0];
2333 val_t
static_type___MMNullableType___is_valid(val_t p0
){
2334 struct {struct stack_frame_t me
;} fra
;
2337 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2338 fra
.me
.file
= LOCATE_static_type
;
2340 fra
.me
.meth
= LOCATE_static_type___MMNullableType___is_valid
;
2341 fra
.me
.has_broke
= 0;
2342 fra
.me
.REG_size
= 1;
2343 fra
.me
.REG
[0] = NIT_NULL
;
2345 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2346 /* ./metamodel//static_type.nit:385 */
2347 if (UNTAG_Bool(REGB0
)) {
2349 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2350 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 385);
2353 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2354 REGB0
= CALL_static_type___MMType___is_valid(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2357 stack_frame_head
= fra
.me
.prev
;
2360 val_t
static_type___MMNullableType_____l(val_t p0
, val_t p1
){
2361 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2365 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2366 fra
.me
.file
= LOCATE_static_type
;
2368 fra
.me
.meth
= LOCATE_static_type___MMNullableType_____l
;
2369 fra
.me
.has_broke
= 0;
2370 fra
.me
.REG_size
= 2;
2371 fra
.me
.REG
[0] = NIT_NULL
;
2372 fra
.me
.REG
[1] = NIT_NULL
;
2375 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], COLOR_MMNullableType
, ID_MMNullableType
)) /*cast MMNullableType*/;
2376 /* ./metamodel//static_type.nit:397 */
2377 if (UNTAG_Bool(REGB0
)) {
2378 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2379 if (UNTAG_Bool(REGB0
)) {
2381 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2382 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 397);
2385 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2386 fra
.me
.REG
[1] = CALL_static_type___MMType___as_notnull(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2387 REGB0
= CALL_static_type___MMType_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
2389 REGB1
= TAG_Bool(false);
2394 stack_frame_head
= fra
.me
.prev
;
2397 val_t
static_type___MMNullableType___is_supertype(val_t p0
, val_t p1
){
2398 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2401 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2402 fra
.me
.file
= LOCATE_static_type
;
2404 fra
.me
.meth
= LOCATE_static_type___MMNullableType___is_supertype
;
2405 fra
.me
.has_broke
= 0;
2406 fra
.me
.REG_size
= 2;
2407 fra
.me
.REG
[0] = NIT_NULL
;
2408 fra
.me
.REG
[1] = NIT_NULL
;
2411 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2412 /* ./metamodel//static_type.nit:407 */
2413 if (UNTAG_Bool(REGB0
)) {
2415 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2416 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 407);
2419 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2420 REGB0
= CALL_static_type___MMType___is_supertype(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
2423 stack_frame_head
= fra
.me
.prev
;
2426 val_t
static_type___MMNullableType___for_module(val_t p0
, val_t p1
){
2427 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2430 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2431 fra
.me
.file
= LOCATE_static_type
;
2433 fra
.me
.meth
= LOCATE_static_type___MMNullableType___for_module
;
2434 fra
.me
.has_broke
= 0;
2435 fra
.me
.REG_size
= 2;
2436 fra
.me
.REG
[0] = NIT_NULL
;
2437 fra
.me
.REG
[1] = NIT_NULL
;
2440 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2441 /* ./metamodel//static_type.nit:412 */
2442 if (UNTAG_Bool(REGB0
)) {
2444 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2445 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 412);
2448 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2449 fra
.me
.REG
[1] = CALL_static_type___MMType___for_module(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
2450 fra
.me
.REG
[1] = CALL_static_type___MMType___as_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2453 stack_frame_head
= fra
.me
.prev
;
2454 return fra
.me
.REG
[1];
2456 val_t
static_type___MMNullableType___adapt_to(val_t p0
, val_t p1
){
2457 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2460 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2461 fra
.me
.file
= LOCATE_static_type
;
2463 fra
.me
.meth
= LOCATE_static_type___MMNullableType___adapt_to
;
2464 fra
.me
.has_broke
= 0;
2465 fra
.me
.REG_size
= 2;
2466 fra
.me
.REG
[0] = NIT_NULL
;
2467 fra
.me
.REG
[1] = NIT_NULL
;
2470 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2471 /* ./metamodel//static_type.nit:417 */
2472 if (UNTAG_Bool(REGB0
)) {
2474 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2475 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 417);
2478 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2479 fra
.me
.REG
[1] = CALL_static_type___MMType___adapt_to(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
2480 fra
.me
.REG
[1] = CALL_static_type___MMType___as_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2483 stack_frame_head
= fra
.me
.prev
;
2484 return fra
.me
.REG
[1];
2486 val_t
static_type___MMNullableType___upcast_for(val_t p0
, val_t p1
){
2487 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2490 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2491 fra
.me
.file
= LOCATE_static_type
;
2493 fra
.me
.meth
= LOCATE_static_type___MMNullableType___upcast_for
;
2494 fra
.me
.has_broke
= 0;
2495 fra
.me
.REG_size
= 2;
2496 fra
.me
.REG
[0] = NIT_NULL
;
2497 fra
.me
.REG
[1] = NIT_NULL
;
2500 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2501 /* ./metamodel//static_type.nit:422 */
2502 if (UNTAG_Bool(REGB0
)) {
2504 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2505 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 422);
2508 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2509 fra
.me
.REG
[1] = CALL_static_type___MMType___upcast_for(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
2512 stack_frame_head
= fra
.me
.prev
;
2513 return fra
.me
.REG
[1];
2515 val_t
static_type___MMNullableType___not_for_self(val_t p0
){
2516 struct {struct stack_frame_t me
;} fra
;
2519 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2520 fra
.me
.file
= LOCATE_static_type
;
2522 fra
.me
.meth
= LOCATE_static_type___MMNullableType___not_for_self
;
2523 fra
.me
.has_broke
= 0;
2524 fra
.me
.REG_size
= 1;
2525 fra
.me
.REG
[0] = NIT_NULL
;
2527 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2528 /* ./metamodel//static_type.nit:427 */
2529 if (UNTAG_Bool(REGB0
)) {
2531 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2532 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 427);
2535 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2536 fra
.me
.REG
[0] = CALL_static_type___MMType___not_for_self(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2537 fra
.me
.REG
[0] = CALL_static_type___MMType___as_nullable(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2540 stack_frame_head
= fra
.me
.prev
;
2541 return fra
.me
.REG
[0];
2543 val_t
static_type___MMNullableType___is_nullable(val_t p0
){
2544 struct {struct stack_frame_t me
;} fra
;
2547 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2548 fra
.me
.file
= LOCATE_static_type
;
2550 fra
.me
.meth
= LOCATE_static_type___MMNullableType___is_nullable
;
2551 fra
.me
.has_broke
= 0;
2552 fra
.me
.REG_size
= 1;
2553 fra
.me
.REG
[0] = NIT_NULL
;
2555 REGB0
= TAG_Bool(true);
2556 /* ./metamodel//static_type.nit:386 */
2559 stack_frame_head
= fra
.me
.prev
;
2562 val_t
static_type___MMNullableType___as_nullable(val_t p0
){
2563 struct {struct stack_frame_t me
;} fra
;
2565 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2566 fra
.me
.file
= LOCATE_static_type
;
2568 fra
.me
.meth
= LOCATE_static_type___MMNullableType___as_nullable
;
2569 fra
.me
.has_broke
= 0;
2570 fra
.me
.REG_size
= 1;
2571 fra
.me
.REG
[0] = NIT_NULL
;
2573 /* ./metamodel//static_type.nit:388 */
2576 stack_frame_head
= fra
.me
.prev
;
2577 return fra
.me
.REG
[0];
2579 val_t
static_type___MMNullableType___as_notnull(val_t p0
){
2580 struct {struct stack_frame_t me
;} fra
;
2583 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2584 fra
.me
.file
= LOCATE_static_type
;
2586 fra
.me
.meth
= LOCATE_static_type___MMNullableType___as_notnull
;
2587 fra
.me
.has_broke
= 0;
2588 fra
.me
.REG_size
= 1;
2589 fra
.me
.REG
[0] = NIT_NULL
;
2591 REGB0
= TAG_Bool(ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2592 /* ./metamodel//static_type.nit:387 */
2593 if (UNTAG_Bool(REGB0
)) {
2595 fprintf(stderr
, "Uninitialized attribute %s", "_base_type");
2596 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 387);
2599 fra
.me
.REG
[0] = ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2602 stack_frame_head
= fra
.me
.prev
;
2603 return fra
.me
.REG
[0];
2605 void static_type___MMNullableType___init(val_t p0
, val_t p1
, int* init_table
){
2606 int itpos4
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_MMNullableType
].i
;
2607 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2609 if (init_table
[itpos4
]) return;
2610 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2611 fra
.me
.file
= LOCATE_static_type
;
2613 fra
.me
.meth
= LOCATE_static_type___MMNullableType___init
;
2614 fra
.me
.has_broke
= 0;
2615 fra
.me
.REG_size
= 3;
2616 fra
.me
.REG
[0] = NIT_NULL
;
2617 fra
.me
.REG
[1] = NIT_NULL
;
2618 fra
.me
.REG
[2] = NIT_NULL
;
2621 fra
.me
.REG
[2] = fra
.me
.REG
[0];
2622 /* ./metamodel//static_type.nit:389 */
2623 CALL_static_type___MMType___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
2624 ATTR_static_type___MMNullableType____base_type(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
2625 stack_frame_head
= fra
.me
.prev
;
2626 init_table
[itpos4
] = 1;
2629 val_t
static_type___MMTypeClass___to_s(val_t p0
){
2630 struct {struct stack_frame_t me
;} fra
;
2633 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2634 fra
.me
.file
= LOCATE_static_type
;
2636 fra
.me
.meth
= LOCATE_static_type___MMTypeClass___to_s
;
2637 fra
.me
.has_broke
= 0;
2638 fra
.me
.REG_size
= 1;
2639 fra
.me
.REG
[0] = NIT_NULL
;
2641 REGB0
= TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
2642 /* ./metamodel//static_type.nit:439 */
2643 if (UNTAG_Bool(REGB0
)) {
2645 fprintf(stderr
, "Uninitialized attribute %s", "_local_class");
2646 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 439);
2649 fra
.me
.REG
[0] = ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
2650 fra
.me
.REG
[0] = CALL_string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2653 stack_frame_head
= fra
.me
.prev
;
2654 return fra
.me
.REG
[0];
2656 val_t
static_type___MMTypeClass___module(val_t p0
){
2657 struct {struct stack_frame_t me
;} fra
;
2660 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2661 fra
.me
.file
= LOCATE_static_type
;
2663 fra
.me
.meth
= LOCATE_static_type___MMTypeClass___module
;
2664 fra
.me
.has_broke
= 0;
2665 fra
.me
.REG_size
= 1;
2666 fra
.me
.REG
[0] = NIT_NULL
;
2668 REGB0
= TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
2669 /* ./metamodel//static_type.nit:434 */
2670 if (UNTAG_Bool(REGB0
)) {
2672 fprintf(stderr
, "Uninitialized attribute %s", "_local_class");
2673 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 434);
2676 fra
.me
.REG
[0] = ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
2677 fra
.me
.REG
[0] = CALL_abstractmetamodel___MMLocalClass___module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2680 stack_frame_head
= fra
.me
.prev
;
2681 return fra
.me
.REG
[0];
2683 val_t
static_type___MMTypeClass___local_class(val_t p0
){
2684 struct {struct stack_frame_t me
;} fra
;
2687 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2688 fra
.me
.file
= LOCATE_static_type
;
2690 fra
.me
.meth
= LOCATE_static_type___MMTypeClass___local_class
;
2691 fra
.me
.has_broke
= 0;
2692 fra
.me
.REG_size
= 1;
2693 fra
.me
.REG
[0] = NIT_NULL
;
2695 REGB0
= TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
2696 /* ./metamodel//static_type.nit:433 */
2697 if (UNTAG_Bool(REGB0
)) {
2699 fprintf(stderr
, "Uninitialized attribute %s", "_local_class");
2700 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 433);
2703 fra
.me
.REG
[0] = ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
2704 stack_frame_head
= fra
.me
.prev
;
2705 return fra
.me
.REG
[0];
2707 val_t
static_type___MMTypeClass_____l(val_t p0
, val_t p1
){
2708 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2711 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2712 fra
.me
.file
= LOCATE_static_type
;
2714 fra
.me
.meth
= LOCATE_static_type___MMTypeClass_____l
;
2715 fra
.me
.has_broke
= 0;
2716 fra
.me
.REG_size
= 2;
2717 fra
.me
.REG
[0] = NIT_NULL
;
2718 fra
.me
.REG
[1] = NIT_NULL
;
2721 REGB0
= CALL_static_type___MMType___is_supertype(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
2722 /* ./metamodel//static_type.nit:435 */
2725 stack_frame_head
= fra
.me
.prev
;
2728 val_t
static_type___MMTypeClass___upcast_for(val_t p0
, val_t p1
){
2729 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
2733 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2734 fra
.me
.file
= LOCATE_static_type
;
2736 fra
.me
.meth
= LOCATE_static_type___MMTypeClass___upcast_for
;
2737 fra
.me
.has_broke
= 0;
2738 fra
.me
.REG_size
= 4;
2739 fra
.me
.REG
[0] = NIT_NULL
;
2740 fra
.me
.REG
[1] = NIT_NULL
;
2741 fra
.me
.REG
[2] = NIT_NULL
;
2742 fra
.me
.REG
[3] = NIT_NULL
;
2745 fra
.me
.REG
[2] = fra
.me
.REG
[0];
2746 REGB0
= TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
2747 /* ./metamodel//static_type.nit:445 */
2748 if (UNTAG_Bool(REGB0
)) {
2750 fprintf(stderr
, "Uninitialized attribute %s", "_local_class");
2751 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 445);
2754 fra
.me
.REG
[3] = ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
2755 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[1]));
2756 if (UNTAG_Bool(REGB0
)) {
2758 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
2761 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2762 if (UNTAG_Bool(REGB0
)) {
2763 REGB0
= TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
2764 /* ./metamodel//static_type.nit:446 */
2765 if (UNTAG_Bool(REGB0
)) {
2767 fprintf(stderr
, "Uninitialized attribute %s", "_local_class");
2768 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 446);
2771 fra
.me
.REG
[0] = ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
2772 fra
.me
.REG
[1] = CALL_static_type___MMLocalClass___ancestor(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
2773 fra
.me
.REG
[2] = fra
.me
.REG
[1];
2775 /* ./metamodel//static_type.nit:448 */
2778 stack_frame_head
= fra
.me
.prev
;
2779 return fra
.me
.REG
[2];
2781 void static_type___MMTypeClass___init(val_t p0
, val_t p1
, int* init_table
){
2782 int itpos5
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_MMTypeClass
].i
;
2783 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2785 if (init_table
[itpos5
]) return;
2786 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2787 fra
.me
.file
= LOCATE_static_type
;
2789 fra
.me
.meth
= LOCATE_static_type___MMTypeClass___init
;
2790 fra
.me
.has_broke
= 0;
2791 fra
.me
.REG_size
= 3;
2792 fra
.me
.REG
[0] = NIT_NULL
;
2793 fra
.me
.REG
[1] = NIT_NULL
;
2794 fra
.me
.REG
[2] = NIT_NULL
;
2797 fra
.me
.REG
[2] = fra
.me
.REG
[0];
2798 /* ./metamodel//static_type.nit:451 */
2799 CALL_static_type___MMType___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
2800 /* ./metamodel//static_type.nit:453 */
2801 ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
2802 stack_frame_head
= fra
.me
.prev
;
2803 init_table
[itpos5
] = 1;
2806 val_t
static_type___MMTypeSimpleClass___is_supertype(val_t p0
, val_t p1
){
2807 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2810 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2811 fra
.me
.file
= LOCATE_static_type
;
2813 fra
.me
.meth
= LOCATE_static_type___MMTypeSimpleClass___is_supertype
;
2814 fra
.me
.has_broke
= 0;
2815 fra
.me
.REG_size
= 2;
2816 fra
.me
.REG
[0] = NIT_NULL
;
2817 fra
.me
.REG
[1] = NIT_NULL
;
2820 fra
.me
.REG
[1] = CALL_static_type___MMType___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2821 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMLocalClass___cshe(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2822 REGB0
= TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
2823 /* ./metamodel//static_type.nit:461 */
2824 if (UNTAG_Bool(REGB0
)) {
2826 fprintf(stderr
, "Uninitialized attribute %s", "_local_class");
2827 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 461);
2830 fra
.me
.REG
[0] = ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
2831 REGB0
= CALL_partial_order___PartialOrderElement_____leq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
2834 stack_frame_head
= fra
.me
.prev
;
2837 val_t
static_type___MMTypeSimpleClass___for_module(val_t p0
, val_t p1
){
2838 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
2842 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2843 fra
.me
.file
= LOCATE_static_type
;
2845 fra
.me
.meth
= LOCATE_static_type___MMTypeSimpleClass___for_module
;
2846 fra
.me
.has_broke
= 0;
2847 fra
.me
.REG_size
= 4;
2848 fra
.me
.REG
[0] = NIT_NULL
;
2849 fra
.me
.REG
[1] = NIT_NULL
;
2850 fra
.me
.REG
[2] = NIT_NULL
;
2851 fra
.me
.REG
[3] = NIT_NULL
;
2854 fra
.me
.REG
[2] = fra
.me
.REG
[0];
2855 fra
.me
.REG
[3] = CALL_static_type___MMType___module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2856 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[1]));
2857 /* ./metamodel//static_type.nit:467 */
2858 if (UNTAG_Bool(REGB0
)) {
2860 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
2863 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2864 if (UNTAG_Bool(REGB0
)) {
2865 REGB0
= TAG_Bool(ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
2866 /* ./metamodel//static_type.nit:468 */
2867 if (UNTAG_Bool(REGB0
)) {
2869 fprintf(stderr
, "Uninitialized attribute %s", "_local_class");
2870 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 468);
2873 fra
.me
.REG
[0] = ATTR_static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
2874 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMLocalClass___for_module(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
2875 fra
.me
.REG
[1] = CALL_static_type___MMLocalClass___get_type(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2876 fra
.me
.REG
[2] = fra
.me
.REG
[1];
2878 /* ./metamodel//static_type.nit:470 */
2881 stack_frame_head
= fra
.me
.prev
;
2882 return fra
.me
.REG
[2];
2884 val_t
static_type___MMTypeSimpleClass___adapt_to(val_t p0
, val_t p1
){
2885 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2887 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2888 fra
.me
.file
= LOCATE_static_type
;
2890 fra
.me
.meth
= LOCATE_static_type___MMTypeSimpleClass___adapt_to
;
2891 fra
.me
.has_broke
= 0;
2892 fra
.me
.REG_size
= 2;
2893 fra
.me
.REG
[0] = NIT_NULL
;
2894 fra
.me
.REG
[1] = NIT_NULL
;
2897 /* ./metamodel//static_type.nit:473 */
2900 stack_frame_head
= fra
.me
.prev
;
2901 return fra
.me
.REG
[0];
2903 void static_type___MMTypeSimpleClass___init(val_t p0
, val_t p1
, int* init_table
){
2904 int itpos6
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_MMTypeSimpleClass
].i
;
2905 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2907 if (init_table
[itpos6
]) return;
2908 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2909 fra
.me
.file
= LOCATE_static_type
;
2911 fra
.me
.meth
= LOCATE_static_type___MMTypeSimpleClass___init
;
2912 fra
.me
.has_broke
= 0;
2913 fra
.me
.REG_size
= 2;
2914 fra
.me
.REG
[0] = NIT_NULL
;
2915 fra
.me
.REG
[1] = NIT_NULL
;
2918 /* ./metamodel//static_type.nit:477 */
2919 CALL_static_type___MMTypeClass___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1], init_table
);
2920 stack_frame_head
= fra
.me
.prev
;
2921 init_table
[itpos6
] = 1;
2924 val_t
static_type___MMTypeNone___to_s(val_t p0
){
2925 struct {struct stack_frame_t me
;} fra
;
2928 static val_t once_value_1
; /* Once value */
2929 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2930 fra
.me
.file
= LOCATE_static_type
;
2932 fra
.me
.meth
= LOCATE_static_type___MMTypeNone___to_s
;
2933 fra
.me
.has_broke
= 0;
2934 fra
.me
.REG_size
= 1;
2935 fra
.me
.REG
[0] = NIT_NULL
;
2937 /* ./metamodel//static_type.nit:487 */
2938 if (!once_value_1
) {
2939 fra
.me
.REG
[0] = BOX_NativeString("null");
2941 fra
.me
.REG
[0] = NEW_String_string___String___with_native(fra
.me
.REG
[0], REGB0
);
2942 once_value_1
= fra
.me
.REG
[0];
2943 register_static_object(&once_value_1
);
2944 } else fra
.me
.REG
[0] = once_value_1
;
2947 stack_frame_head
= fra
.me
.prev
;
2948 return fra
.me
.REG
[0];
2950 val_t
static_type___MMTypeNone___module(val_t p0
){
2951 struct {struct stack_frame_t me
;} fra
;
2954 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2955 fra
.me
.file
= LOCATE_static_type
;
2957 fra
.me
.meth
= LOCATE_static_type___MMTypeNone___module
;
2958 fra
.me
.has_broke
= 0;
2959 fra
.me
.REG_size
= 1;
2960 fra
.me
.REG
[0] = NIT_NULL
;
2962 REGB0
= TAG_Bool(ATTR_static_type___MMTypeNone____module(fra
.me
.REG
[0])!=NIT_NULL
);
2963 /* ./metamodel//static_type.nit:484 */
2964 if (UNTAG_Bool(REGB0
)) {
2966 fprintf(stderr
, "Uninitialized attribute %s", "_module");
2967 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 484);
2970 fra
.me
.REG
[0] = ATTR_static_type___MMTypeNone____module(fra
.me
.REG
[0]);
2971 stack_frame_head
= fra
.me
.prev
;
2972 return fra
.me
.REG
[0];
2974 val_t
static_type___MMTypeNone___local_class(val_t p0
){
2975 struct {struct stack_frame_t me
;} fra
;
2977 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2978 fra
.me
.file
= LOCATE_static_type
;
2980 fra
.me
.meth
= LOCATE_static_type___MMTypeNone___local_class
;
2981 fra
.me
.has_broke
= 0;
2982 fra
.me
.REG_size
= 1;
2983 fra
.me
.REG
[0] = NIT_NULL
;
2985 /* ./metamodel//static_type.nit:489 */
2986 fprintf(stderr
, "Aborted");
2987 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 489);
2989 stack_frame_head
= fra
.me
.prev
;
2992 val_t
static_type___MMTypeNone_____l(val_t p0
, val_t p1
){
2993 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2997 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2998 fra
.me
.file
= LOCATE_static_type
;
3000 fra
.me
.meth
= LOCATE_static_type___MMTypeNone_____l
;
3001 fra
.me
.has_broke
= 0;
3002 fra
.me
.REG_size
= 2;
3003 fra
.me
.REG
[0] = NIT_NULL
;
3004 fra
.me
.REG
[1] = NIT_NULL
;
3007 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], COLOR_MMTypeNone
, ID_MMTypeNone
)) /*cast MMTypeNone*/;
3008 /* ./metamodel//static_type.nit:486 */
3009 if (UNTAG_Bool(REGB0
)) {
3010 REGB0
= TAG_Bool(true);
3012 REGB1
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], COLOR_MMNullableType
, ID_MMNullableType
)) /*cast MMNullableType*/;
3017 stack_frame_head
= fra
.me
.prev
;
3020 val_t
static_type___MMTypeNone___is_supertype(val_t p0
, val_t p1
){
3021 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3024 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3025 fra
.me
.file
= LOCATE_static_type
;
3027 fra
.me
.meth
= LOCATE_static_type___MMTypeNone___is_supertype
;
3028 fra
.me
.has_broke
= 0;
3029 fra
.me
.REG_size
= 2;
3030 fra
.me
.REG
[0] = NIT_NULL
;
3031 fra
.me
.REG
[1] = NIT_NULL
;
3034 REGB0
= TAG_Bool(false);
3035 /* ./metamodel//static_type.nit:488 */
3038 stack_frame_head
= fra
.me
.prev
;
3041 val_t
static_type___MMTypeNone___upcast_for(val_t p0
, val_t p1
){
3042 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3044 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3045 fra
.me
.file
= LOCATE_static_type
;
3047 fra
.me
.meth
= LOCATE_static_type___MMTypeNone___upcast_for
;
3048 fra
.me
.has_broke
= 0;
3049 fra
.me
.REG_size
= 2;
3050 fra
.me
.REG
[0] = NIT_NULL
;
3051 fra
.me
.REG
[1] = NIT_NULL
;
3054 /* ./metamodel//static_type.nit:490 */
3055 fprintf(stderr
, "Aborted");
3056 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 490);
3058 stack_frame_head
= fra
.me
.prev
;
3061 val_t
static_type___MMTypeNone___is_nullable(val_t p0
){
3062 struct {struct stack_frame_t me
;} fra
;
3065 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3066 fra
.me
.file
= LOCATE_static_type
;
3068 fra
.me
.meth
= LOCATE_static_type___MMTypeNone___is_nullable
;
3069 fra
.me
.has_broke
= 0;
3070 fra
.me
.REG_size
= 1;
3071 fra
.me
.REG
[0] = NIT_NULL
;
3073 REGB0
= TAG_Bool(true);
3074 /* ./metamodel//static_type.nit:485 */
3077 stack_frame_head
= fra
.me
.prev
;
3080 val_t
static_type___MMTypeNone___as_nullable(val_t p0
){
3081 struct {struct stack_frame_t me
;} fra
;
3083 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3084 fra
.me
.file
= LOCATE_static_type
;
3086 fra
.me
.meth
= LOCATE_static_type___MMTypeNone___as_nullable
;
3087 fra
.me
.has_broke
= 0;
3088 fra
.me
.REG_size
= 1;
3089 fra
.me
.REG
[0] = NIT_NULL
;
3091 /* ./metamodel//static_type.nit:491 */
3094 stack_frame_head
= fra
.me
.prev
;
3095 return fra
.me
.REG
[0];
3097 val_t
static_type___MMTypeNone___as_notnull(val_t p0
){
3098 struct {struct stack_frame_t me
;} fra
;
3100 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3101 fra
.me
.file
= LOCATE_static_type
;
3103 fra
.me
.meth
= LOCATE_static_type___MMTypeNone___as_notnull
;
3104 fra
.me
.has_broke
= 0;
3105 fra
.me
.REG_size
= 1;
3106 fra
.me
.REG
[0] = NIT_NULL
;
3108 /* ./metamodel//static_type.nit:492 */
3109 fprintf(stderr
, "Aborted");
3110 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 492);
3112 stack_frame_head
= fra
.me
.prev
;
3115 void static_type___MMTypeNone___init(val_t p0
, val_t p1
, int* init_table
){
3116 int itpos7
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_MMTypeNone
].i
;
3117 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
3119 if (init_table
[itpos7
]) return;
3120 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3121 fra
.me
.file
= LOCATE_static_type
;
3123 fra
.me
.meth
= LOCATE_static_type___MMTypeNone___init
;
3124 fra
.me
.has_broke
= 0;
3125 fra
.me
.REG_size
= 3;
3126 fra
.me
.REG
[0] = NIT_NULL
;
3127 fra
.me
.REG
[1] = NIT_NULL
;
3128 fra
.me
.REG
[2] = NIT_NULL
;
3131 fra
.me
.REG
[2] = fra
.me
.REG
[0];
3132 /* ./metamodel//static_type.nit:494 */
3133 CALL_static_type___MMType___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
3134 ATTR_static_type___MMTypeNone____module(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
3135 stack_frame_head
= fra
.me
.prev
;
3136 init_table
[itpos7
] = 1;
3139 val_t
static_type___MMModule___type_none(val_t p0
){
3140 struct {struct stack_frame_t me
;} fra
;
3143 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3144 fra
.me
.file
= LOCATE_static_type
;
3146 fra
.me
.meth
= LOCATE_static_type___MMModule___type_none
;
3147 fra
.me
.has_broke
= 0;
3148 fra
.me
.REG_size
= 1;
3149 fra
.me
.REG
[0] = NIT_NULL
;
3151 REGB0
= TAG_Bool(ATTR_static_type___MMModule____type_none(fra
.me
.REG
[0])!=NIT_NULL
);
3152 /* ./metamodel//static_type.nit:498 */
3153 if (UNTAG_Bool(REGB0
)) {
3155 fprintf(stderr
, "Uninitialized attribute %s", "_type_none");
3156 fprintf(stderr
, " (%s:%d)\n", LOCATE_static_type
, 498);
3159 fra
.me
.REG
[0] = ATTR_static_type___MMModule____type_none(fra
.me
.REG
[0]);
3160 stack_frame_head
= fra
.me
.prev
;
3161 return fra
.me
.REG
[0];
3163 val_t
static_type___MMModule___type_bool(val_t p0
){
3164 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3167 static val_t once_value_1
; /* Once value */
3168 static val_t once_value_2
; /* Once value */
3169 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3170 fra
.me
.file
= LOCATE_static_type
;
3172 fra
.me
.meth
= LOCATE_static_type___MMModule___type_bool
;
3173 fra
.me
.has_broke
= 0;
3174 fra
.me
.REG_size
= 2;
3175 fra
.me
.REG
[0] = NIT_NULL
;
3176 fra
.me
.REG
[1] = NIT_NULL
;
3178 /* ./metamodel//static_type.nit:504 */
3179 if (!once_value_1
) {
3180 if (!once_value_2
) {
3181 fra
.me
.REG
[1] = BOX_NativeString("Bool");
3183 fra
.me
.REG
[1] = NEW_String_string___String___with_native(fra
.me
.REG
[1], REGB0
);
3184 once_value_2
= fra
.me
.REG
[1];
3185 register_static_object(&once_value_2
);
3186 } else fra
.me
.REG
[1] = once_value_2
;
3187 fra
.me
.REG
[1] = CALL_symbol___String___to_symbol(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3188 once_value_1
= fra
.me
.REG
[1];
3189 register_static_object(&once_value_1
);
3190 } else fra
.me
.REG
[1] = once_value_1
;
3191 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMModule___class_by_name(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3192 fra
.me
.REG
[1] = CALL_static_type___MMLocalClass___get_type(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3195 stack_frame_head
= fra
.me
.prev
;
3196 return fra
.me
.REG
[1];