1 /* This C file is generated by NIT to compile module metamodel___static_type. */
2 #include "metamodel___static_type._sep.h"
3 static const char LOCATE_metamodel___static_type___MMLocalClass___get_type
[] = "static_type::MMLocalClass::get_type";
4 val_t
metamodel___static_type___MMLocalClass___get_type(val_t p0
){
5 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
9 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
10 fra
.me
.file
= LOCATE_metamodel___static_type
;
12 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalClass___get_type
;
15 fra
.me
.nitni_local_ref_head
= NULL
;
16 fra
.me
.REG
[0] = NIT_NULL
;
17 fra
.me
.REG
[1] = NIT_NULL
;
18 fra
.me
.REG
[2] = NIT_NULL
;
20 /* metamodel/static_type.nit:27 */
21 fra
.me
.REG
[1] = fra
.me
.REG
[0];
22 /* metamodel/static_type.nit:30 */
23 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMLocalClass____base_type_cache(fra
.me
.REG
[1]);
24 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
25 if (UNTAG_Bool(REGB0
)) {
27 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
28 if (UNTAG_Bool(REGB1
)) {
32 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], NIT_NULL
);
36 if (UNTAG_Bool(REGB0
)) {
37 fra
.me
.REG
[2] = NEW_MMTypeSimpleClass_metamodel___static_type___MMTypeSimpleClass___init(fra
.me
.REG
[1]);
38 ATTR_metamodel___static_type___MMLocalClass____base_type_cache(fra
.me
.REG
[1]) = fra
.me
.REG
[2];
40 /* metamodel/static_type.nit:31 */
41 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMLocalClass____base_type_cache(fra
.me
.REG
[1]);
42 REGB0
= TAG_Bool(fra
.me
.REG
[1]!=NIT_NULL
);
43 if (UNTAG_Bool(REGB0
)) {
45 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 31);
49 stack_frame_head
= fra
.me
.prev
;
52 static const char LOCATE_metamodel___static_type___MMLocalClass___add_ancestor
[] = "static_type::MMLocalClass::add_ancestor";
53 void metamodel___static_type___MMLocalClass___add_ancestor(val_t p0
, val_t p1
){
54 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
58 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
59 fra
.me
.file
= LOCATE_metamodel___static_type
;
61 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalClass___add_ancestor
;
64 fra
.me
.nitni_local_ref_head
= NULL
;
65 fra
.me
.REG
[0] = NIT_NULL
;
66 fra
.me
.REG
[1] = NIT_NULL
;
67 fra
.me
.REG
[2] = NIT_NULL
;
68 fra
.me
.REG
[3] = NIT_NULL
;
71 /* metamodel/static_type.nit:37 */
72 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
73 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMAncestor___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
74 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
75 if (UNTAG_Bool(REGB0
)) {
76 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 37);
78 REGB0
= CALL_standard___collection___abstract_collection___MapRead___has_key(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
79 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
80 if (UNTAG_Bool(REGB0
)) {
82 nit_abort("Assert failed", NULL
, LOCATE_metamodel___static_type
, 37);
84 /* metamodel/static_type.nit:38 */
85 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMAncestor___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
86 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[0]));
87 if (UNTAG_Bool(REGB0
)) {
89 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[0]);
92 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
93 if (UNTAG_Bool(REGB0
)) {
95 nit_abort("Assert failed", NULL
, LOCATE_metamodel___static_type
, 38);
97 /* metamodel/static_type.nit:39 */
98 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
99 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMAncestor___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
100 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
101 if (UNTAG_Bool(REGB0
)) {
102 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 39);
104 CALL_standard___collection___abstract_collection___Map_____braeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3], fra
.me
.REG
[1]);
105 stack_frame_head
= fra
.me
.prev
;
108 static const char LOCATE_metamodel___static_type___MMLocalClass___ancestors
[] = "static_type::MMLocalClass::ancestors";
109 val_t
metamodel___static_type___MMLocalClass___ancestors(val_t p0
){
110 struct {struct stack_frame_t me
;} fra
;
112 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
113 fra
.me
.file
= LOCATE_metamodel___static_type
;
115 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalClass___ancestors
;
116 fra
.me
.has_broke
= 0;
118 fra
.me
.nitni_local_ref_head
= NULL
;
119 fra
.me
.REG
[0] = NIT_NULL
;
121 /* metamodel/static_type.nit:42 */
122 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
123 stack_frame_head
= fra
.me
.prev
;
124 return fra
.me
.REG
[0];
126 static const char LOCATE_metamodel___static_type___MMLocalClass___ancestor
[] = "static_type::MMLocalClass::ancestor";
127 val_t
metamodel___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_metamodel___static_type
;
134 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalClass___ancestor
;
135 fra
.me
.has_broke
= 0;
137 fra
.me
.nitni_local_ref_head
= NULL
;
138 fra
.me
.REG
[0] = NIT_NULL
;
139 fra
.me
.REG
[1] = NIT_NULL
;
142 /* metamodel/static_type.nit:48 */
143 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalClass____ancestors(fra
.me
.REG
[0]);
144 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
145 if (UNTAG_Bool(REGB0
)) {
146 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 48);
148 fra
.me
.REG
[1] = CALL_standard___collection___abstract_collection___MapRead_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
149 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
150 if (UNTAG_Bool(REGB0
)) {
151 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 48);
153 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMAncestor___stype(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
156 stack_frame_head
= fra
.me
.prev
;
157 return fra
.me
.REG
[1];
159 static const char LOCATE_metamodel___static_type___MMLocalProperty___signature
[] = "static_type::MMLocalProperty::signature";
160 val_t
metamodel___static_type___MMLocalProperty___signature(val_t p0
){
161 struct {struct stack_frame_t me
;} fra
;
163 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
164 fra
.me
.file
= LOCATE_metamodel___static_type
;
166 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalProperty___signature
;
167 fra
.me
.has_broke
= 0;
169 fra
.me
.nitni_local_ref_head
= NULL
;
170 fra
.me
.REG
[0] = NIT_NULL
;
172 /* metamodel/static_type.nit:53 */
173 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalProperty____signature(fra
.me
.REG
[0]);
174 stack_frame_head
= fra
.me
.prev
;
175 return fra
.me
.REG
[0];
177 static const char LOCATE_metamodel___static_type___MMLocalProperty___signature__eq
[] = "static_type::MMLocalProperty::signature=";
178 void metamodel___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_metamodel___static_type
;
184 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalProperty___signature__eq
;
185 fra
.me
.has_broke
= 0;
187 fra
.me
.nitni_local_ref_head
= NULL
;
188 fra
.me
.REG
[0] = NIT_NULL
;
189 fra
.me
.REG
[1] = NIT_NULL
;
192 /* metamodel/static_type.nit:53 */
193 ATTR_metamodel___static_type___MMLocalProperty____signature(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
194 stack_frame_head
= fra
.me
.prev
;
197 static const char LOCATE_metamodel___static_type___MMLocalProperty___signature_for
[] = "static_type::MMLocalProperty::signature_for";
198 val_t
metamodel___static_type___MMLocalProperty___signature_for(val_t p0
, val_t p1
){
199 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
203 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
204 fra
.me
.file
= LOCATE_metamodel___static_type
;
206 fra
.me
.meth
= LOCATE_metamodel___static_type___MMLocalProperty___signature_for
;
207 fra
.me
.has_broke
= 0;
209 fra
.me
.nitni_local_ref_head
= NULL
;
210 fra
.me
.REG
[0] = NIT_NULL
;
211 fra
.me
.REG
[1] = NIT_NULL
;
212 fra
.me
.REG
[2] = NIT_NULL
;
213 fra
.me
.REG
[3] = NIT_NULL
;
216 /* metamodel/static_type.nit:58 */
217 fra
.me
.REG
[2] = fra
.me
.REG
[0];
218 /* metamodel/static_type.nit:60 */
219 fra
.me
.REG
[3] = CALL_metamodel___abstractmetamodel___MMLocalProperty___local_class(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
220 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMLocalClass___get_type(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
221 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[3]));
222 if (UNTAG_Bool(REGB0
)) {
224 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[3]);
227 if (UNTAG_Bool(REGB0
)) {
228 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMLocalProperty___signature(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
229 REGB0
= TAG_Bool(fra
.me
.REG
[3]!=NIT_NULL
);
230 if (UNTAG_Bool(REGB0
)) {
232 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 60);
236 /* metamodel/static_type.nit:62 */
237 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2])!=NIT_NULL
);
238 if (UNTAG_Bool(REGB0
)) {
240 nit_abort("Uninitialized attribute %s", "_signatures_cache", LOCATE_metamodel___static_type
, 62);
242 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2]);
243 REGB0
= CALL_standard___collection___abstract_collection___MapRead___has_key(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
244 if (UNTAG_Bool(REGB0
)) {
245 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2])!=NIT_NULL
);
246 if (UNTAG_Bool(REGB0
)) {
248 nit_abort("Uninitialized attribute %s", "_signatures_cache", LOCATE_metamodel___static_type
, 62);
250 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2]);
251 fra
.me
.REG
[0] = CALL_standard___collection___abstract_collection___MapRead_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
252 fra
.me
.REG
[3] = fra
.me
.REG
[0];
255 /* metamodel/static_type.nit:64 */
256 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMLocalProperty___signature(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
257 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
258 if (UNTAG_Bool(REGB0
)) {
259 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 64);
261 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMSignature___adaptation_to(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
262 /* metamodel/static_type.nit:65 */
263 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2])!=NIT_NULL
);
264 if (UNTAG_Bool(REGB0
)) {
266 nit_abort("Uninitialized attribute %s", "_signatures_cache", LOCATE_metamodel___static_type
, 65);
268 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMLocalProperty____signatures_cache(fra
.me
.REG
[2]);
269 CALL_standard___collection___abstract_collection___Map_____braeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1], fra
.me
.REG
[0]);
270 /* metamodel/static_type.nit:66 */
271 fra
.me
.REG
[3] = fra
.me
.REG
[0];
274 stack_frame_head
= fra
.me
.prev
;
275 return fra
.me
.REG
[3];
277 static const char LOCATE_metamodel___static_type___MMParam___mmtype
[] = "static_type::MMParam::mmtype";
278 val_t
metamodel___static_type___MMParam___mmtype(val_t p0
){
279 struct {struct stack_frame_t me
;} fra
;
282 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
283 fra
.me
.file
= LOCATE_metamodel___static_type
;
285 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___mmtype
;
286 fra
.me
.has_broke
= 0;
288 fra
.me
.nitni_local_ref_head
= NULL
;
289 fra
.me
.REG
[0] = NIT_NULL
;
291 /* metamodel/static_type.nit:71 */
292 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMParam_____atmmtype(fra
.me
.REG
[0])!=NIT_NULL
);
293 if (UNTAG_Bool(REGB0
)) {
295 nit_abort("Uninitialized attribute %s", "@mmtype", LOCATE_metamodel___static_type
, 71);
297 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMParam_____atmmtype(fra
.me
.REG
[0]);
298 stack_frame_head
= fra
.me
.prev
;
299 return fra
.me
.REG
[0];
301 static const char LOCATE_metamodel___static_type___MMParam___mmtype__eq
[] = "static_type::MMParam::mmtype=";
302 void metamodel___static_type___MMParam___mmtype__eq(val_t p0
, val_t p1
){
303 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
305 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
306 fra
.me
.file
= LOCATE_metamodel___static_type
;
308 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___mmtype__eq
;
309 fra
.me
.has_broke
= 0;
311 fra
.me
.nitni_local_ref_head
= NULL
;
312 fra
.me
.REG
[0] = NIT_NULL
;
313 fra
.me
.REG
[1] = NIT_NULL
;
316 /* metamodel/static_type.nit:71 */
317 ATTR_metamodel___static_type___MMParam_____atmmtype(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
318 stack_frame_head
= fra
.me
.prev
;
321 static const char LOCATE_metamodel___static_type___MMParam___name
[] = "static_type::MMParam::name";
322 val_t
metamodel___static_type___MMParam___name(val_t p0
){
323 struct {struct stack_frame_t me
;} fra
;
326 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
327 fra
.me
.file
= LOCATE_metamodel___static_type
;
329 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___name
;
330 fra
.me
.has_broke
= 0;
332 fra
.me
.nitni_local_ref_head
= NULL
;
333 fra
.me
.REG
[0] = NIT_NULL
;
335 /* metamodel/static_type.nit:72 */
336 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMParam_____atname(fra
.me
.REG
[0])!=NIT_NULL
);
337 if (UNTAG_Bool(REGB0
)) {
339 nit_abort("Uninitialized attribute %s", "@name", LOCATE_metamodel___static_type
, 72);
341 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMParam_____atname(fra
.me
.REG
[0]);
342 stack_frame_head
= fra
.me
.prev
;
343 return fra
.me
.REG
[0];
345 static const char LOCATE_metamodel___static_type___MMParam___name__eq
[] = "static_type::MMParam::name=";
346 void metamodel___static_type___MMParam___name__eq(val_t p0
, val_t p1
){
347 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
349 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
350 fra
.me
.file
= LOCATE_metamodel___static_type
;
352 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___name__eq
;
353 fra
.me
.has_broke
= 0;
355 fra
.me
.nitni_local_ref_head
= NULL
;
356 fra
.me
.REG
[0] = NIT_NULL
;
357 fra
.me
.REG
[1] = NIT_NULL
;
360 /* metamodel/static_type.nit:72 */
361 ATTR_metamodel___static_type___MMParam_____atname(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
362 stack_frame_head
= fra
.me
.prev
;
365 static const char LOCATE_metamodel___static_type___MMParam___init
[] = "static_type::MMParam::init";
366 void metamodel___static_type___MMParam___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
){
367 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMParam
].i
;
368 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
370 if (init_table
[itpos0
]) return;
371 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
372 fra
.me
.file
= LOCATE_metamodel___static_type
;
374 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___init
;
375 fra
.me
.has_broke
= 0;
377 fra
.me
.nitni_local_ref_head
= NULL
;
378 fra
.me
.REG
[0] = NIT_NULL
;
379 fra
.me
.REG
[1] = NIT_NULL
;
380 fra
.me
.REG
[2] = NIT_NULL
;
384 /* metamodel/static_type.nit:76 */
385 CALL_metamodel___static_type___MMParam___mmtype__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
386 /* metamodel/static_type.nit:77 */
387 CALL_metamodel___static_type___MMParam___name__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
388 stack_frame_head
= fra
.me
.prev
;
389 init_table
[itpos0
] = 1;
392 static const char LOCATE_metamodel___static_type___MMParam___to_s
[] = "static_type::MMParam::(string::Object::to_s)";
393 val_t
metamodel___static_type___MMParam___to_s(val_t p0
){
394 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
397 static val_t once_value_1
; /* Once value */
398 static val_t once_value_2
; /* Once value */
399 static val_t once_value_3
; /* Once value */
400 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
401 fra
.me
.file
= LOCATE_metamodel___static_type
;
403 fra
.me
.meth
= LOCATE_metamodel___static_type___MMParam___to_s
;
404 fra
.me
.has_broke
= 0;
406 fra
.me
.nitni_local_ref_head
= NULL
;
407 fra
.me
.REG
[0] = NIT_NULL
;
408 fra
.me
.REG
[1] = NIT_NULL
;
409 fra
.me
.REG
[2] = NIT_NULL
;
411 /* metamodel/static_type.nit:80 */
413 fra
.me
.REG
[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
415 fra
.me
.REG
[2] = BOX_NativeString("");
417 fra
.me
.REG
[2] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[2], REGB0
);
418 once_value_1
= fra
.me
.REG
[2];
419 register_static_object(&once_value_1
);
420 } else fra
.me
.REG
[2] = once_value_1
;
421 fra
.me
.REG
[2] = fra
.me
.REG
[2];
422 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
423 fra
.me
.REG
[2] = CALL_metamodel___static_type___MMParam___name(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
424 fra
.me
.REG
[2] = CALL_standard___string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
425 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
427 fra
.me
.REG
[2] = BOX_NativeString(": ");
429 fra
.me
.REG
[2] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[2], REGB0
);
430 once_value_2
= fra
.me
.REG
[2];
431 register_static_object(&once_value_2
);
432 } else fra
.me
.REG
[2] = once_value_2
;
433 fra
.me
.REG
[2] = fra
.me
.REG
[2];
434 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
435 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
436 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
437 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
439 fra
.me
.REG
[0] = BOX_NativeString("");
441 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB0
);
442 once_value_3
= fra
.me
.REG
[0];
443 register_static_object(&once_value_3
);
444 } else fra
.me
.REG
[0] = once_value_3
;
445 fra
.me
.REG
[0] = fra
.me
.REG
[0];
446 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
447 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
450 stack_frame_head
= fra
.me
.prev
;
451 return fra
.me
.REG
[1];
453 static const char LOCATE_metamodel___static_type___MMSignature___recv
[] = "static_type::MMSignature::recv";
454 val_t
metamodel___static_type___MMSignature___recv(val_t p0
){
455 struct {struct stack_frame_t me
;} fra
;
458 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
459 fra
.me
.file
= LOCATE_metamodel___static_type
;
461 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___recv
;
462 fra
.me
.has_broke
= 0;
464 fra
.me
.nitni_local_ref_head
= NULL
;
465 fra
.me
.REG
[0] = NIT_NULL
;
467 /* metamodel/static_type.nit:85 */
468 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[0])!=NIT_NULL
);
469 if (UNTAG_Bool(REGB0
)) {
471 nit_abort("Uninitialized attribute %s", "_recv", LOCATE_metamodel___static_type
, 85);
473 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[0]);
474 stack_frame_head
= fra
.me
.prev
;
475 return fra
.me
.REG
[0];
477 static const char LOCATE_metamodel___static_type___MMSignature___params
[] = "static_type::MMSignature::params";
478 val_t
metamodel___static_type___MMSignature___params(val_t p0
){
479 struct {struct stack_frame_t me
;} fra
;
482 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
483 fra
.me
.file
= LOCATE_metamodel___static_type
;
485 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___params
;
486 fra
.me
.has_broke
= 0;
488 fra
.me
.nitni_local_ref_head
= NULL
;
489 fra
.me
.REG
[0] = NIT_NULL
;
491 /* metamodel/static_type.nit:88 */
492 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
493 if (UNTAG_Bool(REGB0
)) {
495 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 88);
497 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
498 stack_frame_head
= fra
.me
.prev
;
499 return fra
.me
.REG
[0];
501 static const char LOCATE_metamodel___static_type___MMSignature___return_type
[] = "static_type::MMSignature::return_type";
502 val_t
metamodel___static_type___MMSignature___return_type(val_t p0
){
503 struct {struct stack_frame_t me
;} fra
;
505 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
506 fra
.me
.file
= LOCATE_metamodel___static_type
;
508 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___return_type
;
509 fra
.me
.has_broke
= 0;
511 fra
.me
.nitni_local_ref_head
= NULL
;
512 fra
.me
.REG
[0] = NIT_NULL
;
514 /* metamodel/static_type.nit:91 */
515 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[0]);
516 stack_frame_head
= fra
.me
.prev
;
517 return fra
.me
.REG
[0];
519 static const char LOCATE_metamodel___static_type___MMSignature___closures
[] = "static_type::MMSignature::closures";
520 val_t
metamodel___static_type___MMSignature___closures(val_t p0
){
521 struct {struct stack_frame_t me
;} fra
;
524 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
525 fra
.me
.file
= LOCATE_metamodel___static_type
;
527 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___closures
;
528 fra
.me
.has_broke
= 0;
530 fra
.me
.nitni_local_ref_head
= NULL
;
531 fra
.me
.REG
[0] = NIT_NULL
;
533 /* metamodel/static_type.nit:94 */
534 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0])!=NIT_NULL
);
535 if (UNTAG_Bool(REGB0
)) {
537 nit_abort("Uninitialized attribute %s", "_closures", LOCATE_metamodel___static_type
, 94);
539 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0]);
540 stack_frame_head
= fra
.me
.prev
;
541 return fra
.me
.REG
[0];
543 static const char LOCATE_metamodel___static_type___MMSignature___closure_named
[] = "static_type::MMSignature::closure_named";
544 val_t
metamodel___static_type___MMSignature___closure_named(val_t p0
, val_t p1
){
545 struct {struct stack_frame_t me
; val_t MORE_REG
[4];} fra
;
550 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
551 fra
.me
.file
= LOCATE_metamodel___static_type
;
553 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___closure_named
;
554 fra
.me
.has_broke
= 0;
556 fra
.me
.nitni_local_ref_head
= NULL
;
557 fra
.me
.REG
[0] = NIT_NULL
;
558 fra
.me
.REG
[1] = NIT_NULL
;
559 fra
.me
.REG
[2] = NIT_NULL
;
560 fra
.me
.REG
[3] = NIT_NULL
;
561 fra
.me
.REG
[4] = NIT_NULL
;
564 /* metamodel/static_type.nit:100 */
565 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0])!=NIT_NULL
);
566 if (UNTAG_Bool(REGB0
)) {
568 nit_abort("Uninitialized attribute %s", "_closures", LOCATE_metamodel___static_type
, 100);
570 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0]);
571 /* ../lib/standard/collection/array.nit:269 */
573 /* ../lib/standard/collection/array.nit:270 */
574 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
575 if (UNTAG_Bool(REGB1
)) {
577 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 270);
579 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
580 /* ../lib/standard/collection/array.nit:271 */
581 fra
.me
.REG
[2] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[0]);
582 /* ../lib/standard/collection/array.nit:272 */
584 /* ../lib/standard/collection/array.nit:24 */
585 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
586 if (UNTAG_Bool(REGB1
)) {
588 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
590 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
591 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
592 if (UNTAG_Bool(REGB2
)) {
594 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
596 /* ../lib/standard/kernel.nit:235 */
597 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
598 /* ../lib/standard/collection/array.nit:272 */
599 if (UNTAG_Bool(REGB1
)) {
600 /* ../lib/standard/collection/array.nit:273 */
601 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
602 if (UNTAG_Bool(REGB1
)) {
603 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 273);
605 /* ../lib/standard/collection/array.nit:718 */
606 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[2])->val
[UNTAG_Int(REGB0
)];
607 /* metamodel/static_type.nit:101 */
608 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMClosure___name(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
609 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[4],fra
.me
.REG
[1]));
610 if (UNTAG_Bool(REGB1
)) {
612 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[1]);
615 if (UNTAG_Bool(REGB1
)) {
618 /* ../lib/standard/collection/array.nit:274 */
620 /* ../lib/standard/kernel.nit:238 */
621 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
622 /* ../lib/standard/collection/array.nit:274 */
625 /* ../lib/standard/collection/array.nit:272 */
630 /* metamodel/static_type.nit:103 */
631 fra
.me
.REG
[3] = NIT_NULL
;
634 stack_frame_head
= fra
.me
.prev
;
635 return fra
.me
.REG
[3];
637 static const char LOCATE_metamodel___static_type___MMSignature___arity
[] = "static_type::MMSignature::arity";
638 val_t
metamodel___static_type___MMSignature___arity(val_t p0
){
639 struct {struct stack_frame_t me
;} fra
;
642 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
643 fra
.me
.file
= LOCATE_metamodel___static_type
;
645 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___arity
;
646 fra
.me
.has_broke
= 0;
648 fra
.me
.nitni_local_ref_head
= NULL
;
649 fra
.me
.REG
[0] = NIT_NULL
;
651 /* metamodel/static_type.nit:109 */
652 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
653 if (UNTAG_Bool(REGB0
)) {
655 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 109);
657 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
658 /* ../lib/standard/collection/array.nit:24 */
659 REGB0
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
660 if (UNTAG_Bool(REGB0
)) {
662 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
664 REGB0
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
665 /* metamodel/static_type.nit:109 */
668 stack_frame_head
= fra
.me
.prev
;
671 static const char LOCATE_metamodel___static_type___MMSignature_____l
[] = "static_type::MMSignature::<";
672 val_t
metamodel___static_type___MMSignature_____l(val_t p0
, val_t p1
){
673 struct {struct stack_frame_t me
; val_t MORE_REG
[4];} fra
;
682 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
683 fra
.me
.file
= LOCATE_metamodel___static_type
;
685 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature_____l
;
686 fra
.me
.has_broke
= 0;
688 fra
.me
.nitni_local_ref_head
= NULL
;
689 fra
.me
.REG
[0] = NIT_NULL
;
690 fra
.me
.REG
[1] = NIT_NULL
;
691 fra
.me
.REG
[2] = NIT_NULL
;
692 fra
.me
.REG
[3] = NIT_NULL
;
693 fra
.me
.REG
[4] = NIT_NULL
;
696 /* metamodel/static_type.nit:112 */
697 fra
.me
.REG
[2] = fra
.me
.REG
[0];
698 /* metamodel/static_type.nit:115 */
699 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[2],fra
.me
.REG
[1]));
700 if (UNTAG_Bool(REGB0
)) {
702 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
705 if (UNTAG_Bool(REGB0
)) {
706 /* metamodel/static_type.nit:116 */
710 /* metamodel/static_type.nit:118 */
711 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[2])!=NIT_NULL
);
712 if (UNTAG_Bool(REGB1
)) {
714 nit_abort("Uninitialized attribute %s", "_recv", LOCATE_metamodel___static_type
, 118);
716 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[2]);
717 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
718 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___recv(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
719 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
720 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[4]));
721 if (UNTAG_Bool(REGB1
)) {
723 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
726 if (UNTAG_Bool(REGB1
)) {
728 nit_abort("Assert failed", NULL
, LOCATE_metamodel___static_type
, 118);
730 /* metamodel/static_type.nit:119 */
731 fra
.me
.REG
[4] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[2]);
732 /* metamodel/static_type.nit:120 */
733 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMSignature___return_type(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
734 /* metamodel/static_type.nit:121 */
735 REGB1
= CALL_metamodel___static_type___MMSignature___arity(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
736 REGB2
= CALL_metamodel___static_type___MMSignature___arity(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
737 REGB3
= TAG_Bool(IS_EQUAL_OO(REGB1
,REGB2
));
738 if (UNTAG_Bool(REGB3
)) {
740 /* ../lib/standard/kernel.nit:230 */
741 REGB2
= TAG_Bool((REGB1
)==(REGB2
));
742 /* metamodel/static_type.nit:121 */
745 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
746 if (UNTAG_Bool(REGB3
)) {
749 REGB2
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
750 if (UNTAG_Bool(REGB2
)) {
752 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
753 if (UNTAG_Bool(REGB1
)) {
757 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], NIT_NULL
);
761 REGB1
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
762 if (UNTAG_Bool(REGB1
)) {
764 REGB4
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
765 if (UNTAG_Bool(REGB4
)) {
769 REGB4
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], NIT_NULL
);
773 REGB4
= TAG_Bool(IS_EQUAL_OO(REGB2
,REGB1
));
774 if (UNTAG_Bool(REGB4
)) {
776 /* ../lib/standard/kernel.nit:198 */
777 REGB1
= TAG_Bool((REGB2
)==(REGB1
));
778 /* metamodel/static_type.nit:121 */
781 REGB4
= TAG_Bool(!UNTAG_Bool(REGB4
));
784 if (UNTAG_Bool(REGB3
)) {
789 /* metamodel/static_type.nit:122 */
790 REGB3
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
791 if (UNTAG_Bool(REGB3
)) {
793 REGB4
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
794 if (UNTAG_Bool(REGB4
)) {
798 REGB4
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], NIT_NULL
);
802 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
803 if (UNTAG_Bool(REGB3
)) {
804 REGB3
= TAG_Bool(fra
.me
.REG
[3]!=NIT_NULL
);
805 if (UNTAG_Bool(REGB3
)) {
807 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 122);
809 REGB3
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
810 if (UNTAG_Bool(REGB3
)) {
811 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 122);
813 REGB3
= CALL_metamodel___static_type___MMType_____l(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[3]);
814 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
819 if (UNTAG_Bool(REGB3
)) {
820 /* metamodel/static_type.nit:123 */
825 /* metamodel/static_type.nit:126 */
827 REGB4
= CALL_metamodel___static_type___MMSignature___arity(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
828 /* ../lib/standard/kernel.nit:355 */
830 REGB1
= TAG_Bool(VAL_ISA(REGB4
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB3
), VTID_standard___kernel___Comparable___OTHER(REGB3
))) /*cast OTHER*/;
831 if (UNTAG_Bool(REGB1
)) {
833 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
835 /* ../lib/standard/kernel.nit:235 */
836 REGB1
= TAG_Bool(UNTAG_Int(REGB3
)<UNTAG_Int(REGB4
));
837 /* ../lib/standard/kernel.nit:355 */
838 if (UNTAG_Bool(REGB1
)) {
839 /* metamodel/static_type.nit:126 */
841 /* metamodel/static_type.nit:127 */
842 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMSignature_____bra(fra
.me
.REG
[1])(fra
.me
.REG
[1], REGB1
);
843 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature_____bra(fra
.me
.REG
[2])(fra
.me
.REG
[2], REGB1
);
844 REGB1
= CALL_metamodel___static_type___MMType_____l(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
845 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
846 if (UNTAG_Bool(REGB1
)) {
847 /* metamodel/static_type.nit:128 */
852 /* ../lib/standard/kernel.nit:357 */
854 /* ../lib/standard/kernel.nit:238 */
855 REGB1
= TAG_Int(UNTAG_Int(REGB3
)+UNTAG_Int(REGB1
));
856 /* ../lib/standard/kernel.nit:357 */
859 /* ../lib/standard/kernel.nit:355 */
864 /* metamodel/static_type.nit:132 */
865 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
866 /* ../lib/standard/collection/array.nit:24 */
867 REGB3
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4])!=NIT_NULL
);
868 if (UNTAG_Bool(REGB3
)) {
870 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
872 REGB3
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4]);
873 /* metamodel/static_type.nit:132 */
874 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
875 /* ../lib/standard/collection/array.nit:24 */
876 REGB4
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4])!=NIT_NULL
);
877 if (UNTAG_Bool(REGB4
)) {
879 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
881 REGB4
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4]);
882 /* metamodel/static_type.nit:132 */
883 REGB1
= TAG_Bool(IS_EQUAL_OO(REGB3
,REGB4
));
884 if (UNTAG_Bool(REGB1
)) {
886 /* ../lib/standard/kernel.nit:230 */
887 REGB4
= TAG_Bool((REGB3
)==(REGB4
));
888 /* metamodel/static_type.nit:132 */
891 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
892 if (UNTAG_Bool(REGB1
)) {
897 /* metamodel/static_type.nit:133 */
899 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
900 /* ../lib/standard/collection/array.nit:24 */
901 REGB4
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4])!=NIT_NULL
);
902 if (UNTAG_Bool(REGB4
)) {
904 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
906 REGB4
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4]);
907 /* ../lib/standard/kernel.nit:355 */
909 REGB3
= TAG_Bool(VAL_ISA(REGB4
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
910 if (UNTAG_Bool(REGB3
)) {
912 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
914 /* ../lib/standard/kernel.nit:235 */
915 REGB3
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB4
));
916 /* ../lib/standard/kernel.nit:355 */
917 if (UNTAG_Bool(REGB3
)) {
918 /* metamodel/static_type.nit:133 */
920 /* metamodel/static_type.nit:134 */
921 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
922 /* ../lib/standard/collection/array.nit:278 */
924 /* ../lib/standard/collection/array.nit:280 */
926 REGB6
= TAG_Bool(VAL_ISA(REGB5
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
927 if (UNTAG_Bool(REGB6
)) {
929 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
931 /* ../lib/standard/kernel.nit:236 */
932 REGB5
= TAG_Bool(UNTAG_Int(REGB2
)>=UNTAG_Int(REGB5
));
933 /* ../lib/standard/collection/array.nit:280 */
934 if (UNTAG_Bool(REGB5
)) {
935 REGB5
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4])!=NIT_NULL
);
936 if (UNTAG_Bool(REGB5
)) {
938 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 280);
940 REGB5
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[4]);
941 REGB6
= TAG_Bool(VAL_ISA(REGB5
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
942 if (UNTAG_Bool(REGB6
)) {
944 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
946 /* ../lib/standard/kernel.nit:235 */
947 REGB5
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB5
));
949 /* ../lib/standard/collection/array.nit:280 */
953 if (UNTAG_Bool(REGB5
)) {
955 nit_abort("Assert '%s' failed", "index", LOCATE_standard___collection___array
, 280);
957 /* ../lib/standard/collection/array.nit:281 */
958 fra
.me
.REG
[4] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[4]);
959 REGB5
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
960 if (UNTAG_Bool(REGB5
)) {
961 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 281);
963 /* ../lib/standard/collection/array.nit:718 */
964 fra
.me
.REG
[4] = ((Nit_NativeArray
)fra
.me
.REG
[4])->val
[UNTAG_Int(REGB2
)];
965 /* ../lib/standard/collection/array.nit:281 */
968 /* metamodel/static_type.nit:134 */
969 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
970 /* ../lib/standard/collection/array.nit:280 */
972 REGB5
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB3
), VTID_standard___kernel___Comparable___OTHER(REGB3
))) /*cast OTHER*/;
973 if (UNTAG_Bool(REGB5
)) {
975 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
977 /* ../lib/standard/kernel.nit:236 */
978 REGB2
= TAG_Bool(UNTAG_Int(REGB3
)>=UNTAG_Int(REGB2
));
979 /* ../lib/standard/collection/array.nit:280 */
980 if (UNTAG_Bool(REGB2
)) {
981 REGB2
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
982 if (UNTAG_Bool(REGB2
)) {
984 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 280);
986 REGB2
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3]);
987 REGB5
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB3
), VTID_standard___kernel___Comparable___OTHER(REGB3
))) /*cast OTHER*/;
988 if (UNTAG_Bool(REGB5
)) {
990 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
992 /* ../lib/standard/kernel.nit:235 */
993 REGB2
= TAG_Bool(UNTAG_Int(REGB3
)<UNTAG_Int(REGB2
));
995 /* ../lib/standard/collection/array.nit:280 */
999 if (UNTAG_Bool(REGB2
)) {
1001 nit_abort("Assert '%s' failed", "index", LOCATE_standard___collection___array
, 280);
1003 /* ../lib/standard/collection/array.nit:281 */
1004 fra
.me
.REG
[3] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[3]);
1005 REGB2
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1006 if (UNTAG_Bool(REGB2
)) {
1007 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 281);
1009 /* ../lib/standard/collection/array.nit:718 */
1010 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[3])->val
[UNTAG_Int(REGB3
)];
1011 /* ../lib/standard/collection/array.nit:281 */
1014 /* metamodel/static_type.nit:134 */
1015 REGB3
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1016 if (UNTAG_Bool(REGB3
)) {
1017 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 134);
1019 REGB3
= CALL_metamodel___static_type___MMClosure_____l(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[3]);
1020 REGB3
= TAG_Bool(!UNTAG_Bool(REGB3
));
1021 if (UNTAG_Bool(REGB3
)) {
1022 REGB3
= TAG_Bool(0);
1026 /* ../lib/standard/kernel.nit:357 */
1028 /* ../lib/standard/kernel.nit:238 */
1029 REGB3
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB3
));
1030 /* ../lib/standard/kernel.nit:357 */
1033 /* ../lib/standard/kernel.nit:355 */
1038 /* metamodel/static_type.nit:136 */
1039 REGB1
= TAG_Bool(1);
1043 stack_frame_head
= fra
.me
.prev
;
1046 static const char LOCATE_metamodel___static_type___MMSignature_____bra
[] = "static_type::MMSignature::[]";
1047 val_t
metamodel___static_type___MMSignature_____bra(val_t p0
, val_t p1
){
1048 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1053 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1054 fra
.me
.file
= LOCATE_metamodel___static_type
;
1056 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature_____bra
;
1057 fra
.me
.has_broke
= 0;
1058 fra
.me
.REG_size
= 2;
1059 fra
.me
.nitni_local_ref_head
= NULL
;
1060 fra
.me
.REG
[0] = NIT_NULL
;
1061 fra
.me
.REG
[1] = NIT_NULL
;
1064 /* metamodel/static_type.nit:142 */
1065 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1066 if (UNTAG_Bool(REGB1
)) {
1068 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 142);
1070 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1071 /* ../lib/standard/collection/array.nit:24 */
1072 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[1])!=NIT_NULL
);
1073 if (UNTAG_Bool(REGB1
)) {
1075 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1077 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[1]);
1078 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1079 if (UNTAG_Bool(REGB2
)) {
1081 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1083 /* ../lib/standard/kernel.nit:237 */
1084 REGB1
= TAG_Bool(UNTAG_Int(REGB1
)>UNTAG_Int(REGB0
));
1085 /* metamodel/static_type.nit:142 */
1086 if (UNTAG_Bool(REGB1
)) {
1088 nit_abort("Assert failed", NULL
, LOCATE_metamodel___static_type
, 142);
1090 /* metamodel/static_type.nit:143 */
1091 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1092 if (UNTAG_Bool(REGB1
)) {
1094 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 143);
1096 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1097 /* ../lib/standard/collection/array.nit:280 */
1099 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1100 if (UNTAG_Bool(REGB2
)) {
1102 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1104 /* ../lib/standard/kernel.nit:236 */
1105 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1106 /* ../lib/standard/collection/array.nit:280 */
1107 if (UNTAG_Bool(REGB1
)) {
1108 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
1109 if (UNTAG_Bool(REGB1
)) {
1111 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 280);
1113 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
1114 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1115 if (UNTAG_Bool(REGB2
)) {
1117 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1119 /* ../lib/standard/kernel.nit:235 */
1120 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1122 /* ../lib/standard/collection/array.nit:280 */
1123 REGB2
= TAG_Bool(0);
1126 if (UNTAG_Bool(REGB1
)) {
1128 nit_abort("Assert '%s' failed", "index", LOCATE_standard___collection___array
, 280);
1130 /* ../lib/standard/collection/array.nit:281 */
1131 fra
.me
.REG
[0] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[0]);
1132 REGB1
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
1133 if (UNTAG_Bool(REGB1
)) {
1134 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 281);
1136 /* ../lib/standard/collection/array.nit:718 */
1137 fra
.me
.REG
[0] = ((Nit_NativeArray
)fra
.me
.REG
[0])->val
[UNTAG_Int(REGB0
)];
1138 /* ../lib/standard/collection/array.nit:281 */
1141 /* metamodel/static_type.nit:143 */
1142 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
1143 if (UNTAG_Bool(REGB0
)) {
1144 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 143);
1146 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1149 stack_frame_head
= fra
.me
.prev
;
1150 return fra
.me
.REG
[0];
1152 static const char LOCATE_metamodel___static_type___MMSignature___to_s
[] = "static_type::MMSignature::(string::Object::to_s)";
1153 val_t
metamodel___static_type___MMSignature___to_s(val_t p0
){
1154 struct {struct stack_frame_t me
; val_t MORE_REG
[4];} fra
;
1161 static val_t once_value_3
; /* Once value */
1162 static val_t once_value_4
; /* Once value */
1163 static val_t once_value_5
; /* Once value */
1164 static val_t once_value_6
; /* Once value */
1165 static val_t once_value_7
; /* Once value */
1166 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1167 fra
.me
.file
= LOCATE_metamodel___static_type
;
1169 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___to_s
;
1170 fra
.me
.has_broke
= 0;
1171 fra
.me
.REG_size
= 5;
1172 fra
.me
.nitni_local_ref_head
= NULL
;
1173 fra
.me
.REG
[0] = NIT_NULL
;
1174 fra
.me
.REG
[1] = NIT_NULL
;
1175 fra
.me
.REG
[2] = NIT_NULL
;
1176 fra
.me
.REG
[3] = NIT_NULL
;
1177 fra
.me
.REG
[4] = NIT_NULL
;
1179 /* metamodel/static_type.nit:148 */
1180 fra
.me
.REG
[1] = NEW_Buffer_standard___string___Buffer___init();
1181 /* metamodel/static_type.nit:149 */
1182 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1183 if (UNTAG_Bool(REGB0
)) {
1185 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 149);
1187 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1188 /* ../lib/standard/collection/array.nit:24 */
1189 REGB0
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[2])!=NIT_NULL
);
1190 if (UNTAG_Bool(REGB0
)) {
1192 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1194 REGB0
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[2]);
1195 /* metamodel/static_type.nit:149 */
1197 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1198 if (UNTAG_Bool(REGB2
)) {
1200 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1202 /* ../lib/standard/kernel.nit:237 */
1203 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>UNTAG_Int(REGB1
));
1204 /* metamodel/static_type.nit:149 */
1205 if (UNTAG_Bool(REGB1
)) {
1206 /* metamodel/static_type.nit:151 */
1207 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1208 if (UNTAG_Bool(REGB1
)) {
1210 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 151);
1212 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1213 /* ../lib/standard/collection/array.nit:24 */
1214 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[2])!=NIT_NULL
);
1215 if (UNTAG_Bool(REGB1
)) {
1217 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1219 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[2]);
1220 /* metamodel/static_type.nit:151 */
1221 fra
.me
.REG
[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB1
);
1222 /* metamodel/static_type.nit:152 */
1224 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1225 if (UNTAG_Bool(REGB0
)) {
1227 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 152);
1229 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1230 /* ../lib/standard/collection/array.nit:24 */
1231 REGB0
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
1232 if (UNTAG_Bool(REGB0
)) {
1234 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1236 REGB0
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3]);
1237 /* ../lib/standard/kernel.nit:355 */
1239 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1240 if (UNTAG_Bool(REGB2
)) {
1242 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1244 /* ../lib/standard/kernel.nit:235 */
1245 REGB2
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB0
));
1246 /* ../lib/standard/kernel.nit:355 */
1247 if (UNTAG_Bool(REGB2
)) {
1248 /* metamodel/static_type.nit:152 */
1250 /* metamodel/static_type.nit:153 */
1251 REGB3
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1252 if (UNTAG_Bool(REGB3
)) {
1254 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 153);
1256 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1257 /* ../lib/standard/collection/array.nit:280 */
1259 REGB4
= TAG_Bool(VAL_ISA(REGB3
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1260 if (UNTAG_Bool(REGB4
)) {
1262 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1264 /* ../lib/standard/kernel.nit:236 */
1265 REGB3
= TAG_Bool(UNTAG_Int(REGB2
)>=UNTAG_Int(REGB3
));
1266 /* ../lib/standard/collection/array.nit:280 */
1267 if (UNTAG_Bool(REGB3
)) {
1268 REGB3
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
1269 if (UNTAG_Bool(REGB3
)) {
1271 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 280);
1273 REGB3
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3]);
1274 REGB4
= TAG_Bool(VAL_ISA(REGB3
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1275 if (UNTAG_Bool(REGB4
)) {
1277 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1279 /* ../lib/standard/kernel.nit:235 */
1280 REGB3
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB3
));
1282 /* ../lib/standard/collection/array.nit:280 */
1283 REGB4
= TAG_Bool(0);
1286 if (UNTAG_Bool(REGB3
)) {
1288 nit_abort("Assert '%s' failed", "index", LOCATE_standard___collection___array
, 280);
1290 /* ../lib/standard/collection/array.nit:281 */
1291 fra
.me
.REG
[3] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[3]);
1292 REGB3
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1293 if (UNTAG_Bool(REGB3
)) {
1294 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 281);
1296 /* ../lib/standard/collection/array.nit:718 */
1297 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[3])->val
[UNTAG_Int(REGB2
)];
1298 /* ../lib/standard/collection/array.nit:281 */
1301 /* metamodel/static_type.nit:154 */
1302 fra
.me
.REG
[3] = CALL_standard___string___Object___to_s(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1303 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
1304 /* ../lib/standard/kernel.nit:357 */
1306 /* ../lib/standard/kernel.nit:238 */
1307 REGB2
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB2
));
1308 /* ../lib/standard/kernel.nit:357 */
1311 /* ../lib/standard/kernel.nit:355 */
1316 /* metamodel/static_type.nit:156 */
1318 fra
.me
.REG
[3] = NEW_Array_standard___collection___array___Array___with_capacity(REGB1
);
1319 if (!once_value_3
) {
1320 fra
.me
.REG
[4] = BOX_NativeString("(");
1322 fra
.me
.REG
[4] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[4], REGB1
);
1323 once_value_3
= fra
.me
.REG
[4];
1324 register_static_object(&once_value_3
);
1325 } else fra
.me
.REG
[4] = once_value_3
;
1326 fra
.me
.REG
[4] = fra
.me
.REG
[4];
1327 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1328 if (!once_value_4
) {
1329 fra
.me
.REG
[4] = BOX_NativeString(", ");
1331 fra
.me
.REG
[4] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[4], REGB1
);
1332 once_value_4
= fra
.me
.REG
[4];
1333 register_static_object(&once_value_4
);
1334 } else fra
.me
.REG
[4] = once_value_4
;
1335 fra
.me
.REG
[4] = fra
.me
.REG
[4];
1336 fra
.me
.REG
[4] = CALL_standard___string___Collection___join(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[4]);
1337 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1338 if (!once_value_5
) {
1339 fra
.me
.REG
[4] = BOX_NativeString(")");
1341 fra
.me
.REG
[4] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[4], REGB1
);
1342 once_value_5
= fra
.me
.REG
[4];
1343 register_static_object(&once_value_5
);
1344 } else fra
.me
.REG
[4] = once_value_5
;
1345 fra
.me
.REG
[4] = fra
.me
.REG
[4];
1346 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1347 fra
.me
.REG
[3] = CALL_standard___string___Object___to_s(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1348 CALL_standard___collection___abstract_collection___Sequence___append(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[3]);
1350 /* metamodel/static_type.nit:158 */
1351 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[0]);
1352 /* metamodel/static_type.nit:159 */
1353 REGB1
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
1354 if (UNTAG_Bool(REGB1
)) {
1356 REGB0
= TAG_Bool(fra
.me
.REG
[0]==NIT_NULL
);
1357 if (UNTAG_Bool(REGB0
)) {
1358 REGB0
= TAG_Bool(0);
1361 REGB0
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], NIT_NULL
);
1365 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1366 if (UNTAG_Bool(REGB1
)) {
1368 fra
.me
.REG
[3] = NEW_Array_standard___collection___array___Array___with_capacity(REGB1
);
1369 if (!once_value_6
) {
1370 fra
.me
.REG
[4] = BOX_NativeString(": ");
1372 fra
.me
.REG
[4] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[4], REGB1
);
1373 once_value_6
= fra
.me
.REG
[4];
1374 register_static_object(&once_value_6
);
1375 } else fra
.me
.REG
[4] = once_value_6
;
1376 fra
.me
.REG
[4] = fra
.me
.REG
[4];
1377 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1378 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1379 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[0]);
1380 if (!once_value_7
) {
1381 fra
.me
.REG
[0] = BOX_NativeString("");
1383 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB1
);
1384 once_value_7
= fra
.me
.REG
[0];
1385 register_static_object(&once_value_7
);
1386 } else fra
.me
.REG
[0] = once_value_7
;
1387 fra
.me
.REG
[0] = fra
.me
.REG
[0];
1388 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[0]);
1389 fra
.me
.REG
[3] = CALL_standard___string___Object___to_s(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1390 CALL_standard___collection___abstract_collection___Sequence___append(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[3]);
1392 /* metamodel/static_type.nit:160 */
1393 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1396 stack_frame_head
= fra
.me
.prev
;
1397 return fra
.me
.REG
[1];
1399 static const char LOCATE_metamodel___static_type___MMSignature___adaptation_to
[] = "static_type::MMSignature::adaptation_to";
1400 val_t
metamodel___static_type___MMSignature___adaptation_to(val_t p0
, val_t p1
){
1401 struct {struct stack_frame_t me
; val_t MORE_REG
[9];} fra
;
1406 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1407 fra
.me
.file
= LOCATE_metamodel___static_type
;
1409 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___adaptation_to
;
1410 fra
.me
.has_broke
= 0;
1411 fra
.me
.REG_size
= 10;
1412 fra
.me
.nitni_local_ref_head
= NULL
;
1413 fra
.me
.REG
[0] = NIT_NULL
;
1414 fra
.me
.REG
[1] = NIT_NULL
;
1415 fra
.me
.REG
[2] = NIT_NULL
;
1416 fra
.me
.REG
[3] = NIT_NULL
;
1417 fra
.me
.REG
[4] = NIT_NULL
;
1418 fra
.me
.REG
[5] = NIT_NULL
;
1419 fra
.me
.REG
[6] = NIT_NULL
;
1420 fra
.me
.REG
[7] = NIT_NULL
;
1421 fra
.me
.REG
[8] = NIT_NULL
;
1422 fra
.me
.REG
[9] = NIT_NULL
;
1425 /* metamodel/static_type.nit:166 */
1426 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[0])!=NIT_NULL
);
1427 if (UNTAG_Bool(REGB0
)) {
1429 nit_abort("Uninitialized attribute %s", "_recv", LOCATE_metamodel___static_type
, 166);
1431 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[0]);
1432 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[2],fra
.me
.REG
[1]));
1433 if (UNTAG_Bool(REGB0
)) {
1435 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
1438 if (UNTAG_Bool(REGB0
)) {
1439 /* metamodel/static_type.nit:167 */
1440 fra
.me
.REG
[2] = fra
.me
.REG
[0];
1443 /* metamodel/static_type.nit:169 */
1444 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1445 /* metamodel/static_type.nit:170 */
1446 fra
.me
.REG
[4] = NEW_Array_standard___collection___array___Array___init();
1447 /* metamodel/static_type.nit:171 */
1448 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0])!=NIT_NULL
);
1449 if (UNTAG_Bool(REGB0
)) {
1451 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 171);
1453 fra
.me
.REG
[5] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]);
1454 /* ../lib/standard/collection/array.nit:269 */
1456 /* ../lib/standard/collection/array.nit:270 */
1457 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[5])!=NIT_NULL
);
1458 if (UNTAG_Bool(REGB1
)) {
1460 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 270);
1462 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[5]);
1463 /* ../lib/standard/collection/array.nit:271 */
1464 fra
.me
.REG
[6] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[5]);
1465 /* ../lib/standard/collection/array.nit:272 */
1467 /* ../lib/standard/collection/array.nit:24 */
1468 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[5])!=NIT_NULL
);
1469 if (UNTAG_Bool(REGB1
)) {
1471 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1473 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[5]);
1474 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1475 if (UNTAG_Bool(REGB2
)) {
1477 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1479 /* ../lib/standard/kernel.nit:235 */
1480 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1481 /* ../lib/standard/collection/array.nit:272 */
1482 if (UNTAG_Bool(REGB1
)) {
1483 /* ../lib/standard/collection/array.nit:273 */
1484 REGB1
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
1485 if (UNTAG_Bool(REGB1
)) {
1486 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 273);
1488 /* ../lib/standard/collection/array.nit:718 */
1489 fra
.me
.REG
[7] = ((Nit_NativeArray
)fra
.me
.REG
[6])->val
[UNTAG_Int(REGB0
)];
1490 /* metamodel/static_type.nit:172 */
1491 fra
.me
.REG
[8] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[7])(fra
.me
.REG
[7]);
1492 fra
.me
.REG
[8] = CALL_metamodel___static_type___MMType___for_module(fra
.me
.REG
[8])(fra
.me
.REG
[8], fra
.me
.REG
[3]);
1493 fra
.me
.REG
[8] = CALL_metamodel___static_type___MMType___adapt_to(fra
.me
.REG
[8])(fra
.me
.REG
[8], fra
.me
.REG
[1]);
1494 /* metamodel/static_type.nit:174 */
1495 fra
.me
.REG
[9] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[7])(fra
.me
.REG
[7]);
1496 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[8],fra
.me
.REG
[9]));
1497 if (UNTAG_Bool(REGB1
)) {
1499 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[8])(fra
.me
.REG
[8], fra
.me
.REG
[9]);
1502 if (UNTAG_Bool(REGB1
)) {
1503 /* metamodel/static_type.nit:175 */
1504 fra
.me
.REG
[9] = fra
.me
.REG
[7];
1506 /* metamodel/static_type.nit:177 */
1507 fra
.me
.REG
[7] = CALL_metamodel___static_type___MMParam___name(fra
.me
.REG
[7])(fra
.me
.REG
[7]);
1508 fra
.me
.REG
[7] = NEW_MMParam_metamodel___static_type___MMParam___init(fra
.me
.REG
[8], fra
.me
.REG
[7]);
1509 fra
.me
.REG
[9] = fra
.me
.REG
[7];
1511 /* metamodel/static_type.nit:180 */
1512 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[9]);
1513 /* ../lib/standard/collection/array.nit:274 */
1515 /* ../lib/standard/kernel.nit:238 */
1516 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1517 /* ../lib/standard/collection/array.nit:274 */
1520 /* ../lib/standard/collection/array.nit:272 */
1525 /* metamodel/static_type.nit:182 */
1526 fra
.me
.REG
[6] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[0]);
1527 /* metamodel/static_type.nit:183 */
1528 REGB0
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
1529 if (UNTAG_Bool(REGB0
)) {
1531 REGB1
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
1532 if (UNTAG_Bool(REGB1
)) {
1533 REGB1
= TAG_Bool(0);
1536 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[6])(fra
.me
.REG
[6], NIT_NULL
);
1540 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1541 if (UNTAG_Bool(REGB0
)) {
1542 /* metamodel/static_type.nit:184 */
1543 REGB0
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
1544 if (UNTAG_Bool(REGB0
)) {
1545 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 184);
1547 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___for_module(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[3]);
1548 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___adapt_to(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
1549 fra
.me
.REG
[6] = fra
.me
.REG
[3];
1551 /* metamodel/static_type.nit:186 */
1552 fra
.me
.REG
[6] = NEW_MMSignature_metamodel___static_type___MMSignature___init(fra
.me
.REG
[4], fra
.me
.REG
[6], fra
.me
.REG
[1]);
1553 /* metamodel/static_type.nit:187 */
1554 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0])!=NIT_NULL
);
1555 if (UNTAG_Bool(REGB0
)) {
1557 nit_abort("Uninitialized attribute %s", "_closures", LOCATE_metamodel___static_type
, 187);
1559 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[0]);
1560 /* ../lib/standard/collection/array.nit:269 */
1562 /* ../lib/standard/collection/array.nit:270 */
1563 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
1564 if (UNTAG_Bool(REGB1
)) {
1566 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 270);
1568 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
1569 /* ../lib/standard/collection/array.nit:271 */
1570 fra
.me
.REG
[4] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[0]);
1571 /* ../lib/standard/collection/array.nit:272 */
1573 /* ../lib/standard/collection/array.nit:24 */
1574 REGB1
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0])!=NIT_NULL
);
1575 if (UNTAG_Bool(REGB1
)) {
1577 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1579 REGB1
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[0]);
1580 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1581 if (UNTAG_Bool(REGB2
)) {
1583 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1585 /* ../lib/standard/kernel.nit:235 */
1586 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1587 /* ../lib/standard/collection/array.nit:272 */
1588 if (UNTAG_Bool(REGB1
)) {
1589 /* ../lib/standard/collection/array.nit:273 */
1590 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1591 if (UNTAG_Bool(REGB1
)) {
1592 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 273);
1594 /* ../lib/standard/collection/array.nit:718 */
1595 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[4])->val
[UNTAG_Int(REGB0
)];
1596 /* metamodel/static_type.nit:188 */
1597 fra
.me
.REG
[5] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
1598 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMClosure___adaptation_to(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
1599 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[3]);
1600 /* ../lib/standard/collection/array.nit:274 */
1602 /* ../lib/standard/kernel.nit:238 */
1603 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1604 /* ../lib/standard/collection/array.nit:274 */
1607 /* ../lib/standard/collection/array.nit:272 */
1612 /* metamodel/static_type.nit:190 */
1613 fra
.me
.REG
[2] = fra
.me
.REG
[6];
1616 stack_frame_head
= fra
.me
.prev
;
1617 return fra
.me
.REG
[2];
1619 static const char LOCATE_metamodel___static_type___MMSignature___not_for_self
[] = "static_type::MMSignature::not_for_self";
1620 val_t
metamodel___static_type___MMSignature___not_for_self(val_t p0
){
1621 struct {struct stack_frame_t me
; val_t MORE_REG
[8];} fra
;
1627 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1628 fra
.me
.file
= LOCATE_metamodel___static_type
;
1630 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___not_for_self
;
1631 fra
.me
.has_broke
= 0;
1632 fra
.me
.REG_size
= 9;
1633 fra
.me
.nitni_local_ref_head
= NULL
;
1634 fra
.me
.REG
[0] = NIT_NULL
;
1635 fra
.me
.REG
[1] = NIT_NULL
;
1636 fra
.me
.REG
[2] = NIT_NULL
;
1637 fra
.me
.REG
[3] = NIT_NULL
;
1638 fra
.me
.REG
[4] = NIT_NULL
;
1639 fra
.me
.REG
[5] = NIT_NULL
;
1640 fra
.me
.REG
[6] = NIT_NULL
;
1641 fra
.me
.REG
[7] = NIT_NULL
;
1642 fra
.me
.REG
[8] = NIT_NULL
;
1644 /* metamodel/static_type.nit:195 */
1645 fra
.me
.REG
[1] = fra
.me
.REG
[0];
1646 /* metamodel/static_type.nit:199 */
1647 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMSignature____not_for_self_cache(fra
.me
.REG
[1]);
1648 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
1649 if (UNTAG_Bool(REGB0
)) {
1651 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
1652 if (UNTAG_Bool(REGB1
)) {
1653 REGB1
= TAG_Bool(0);
1656 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], NIT_NULL
);
1660 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1661 if (UNTAG_Bool(REGB0
)) {
1662 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMSignature____not_for_self_cache(fra
.me
.REG
[1]);
1663 REGB0
= TAG_Bool(fra
.me
.REG
[2]!=NIT_NULL
);
1664 if (UNTAG_Bool(REGB0
)) {
1666 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 199);
1670 /* metamodel/static_type.nit:201 */
1671 REGB0
= TAG_Bool(0);
1672 /* metamodel/static_type.nit:202 */
1673 fra
.me
.REG
[0] = NEW_Array_standard___collection___array___Array___init();
1674 /* metamodel/static_type.nit:203 */
1675 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[1])!=NIT_NULL
);
1676 if (UNTAG_Bool(REGB1
)) {
1678 nit_abort("Uninitialized attribute %s", "_params", LOCATE_metamodel___static_type
, 203);
1680 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[1]);
1681 /* ../lib/standard/collection/array.nit:269 */
1683 /* ../lib/standard/collection/array.nit:270 */
1684 REGB2
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
1685 if (UNTAG_Bool(REGB2
)) {
1687 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 270);
1689 REGB2
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3]);
1690 /* ../lib/standard/collection/array.nit:271 */
1691 fra
.me
.REG
[4] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[3]);
1692 /* ../lib/standard/collection/array.nit:272 */
1694 /* ../lib/standard/collection/array.nit:24 */
1695 REGB2
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3])!=NIT_NULL
);
1696 if (UNTAG_Bool(REGB2
)) {
1698 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1700 REGB2
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[3]);
1701 REGB3
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1702 if (UNTAG_Bool(REGB3
)) {
1704 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1706 /* ../lib/standard/kernel.nit:235 */
1707 REGB2
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB2
));
1708 /* ../lib/standard/collection/array.nit:272 */
1709 if (UNTAG_Bool(REGB2
)) {
1710 /* ../lib/standard/collection/array.nit:273 */
1711 REGB2
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1712 if (UNTAG_Bool(REGB2
)) {
1713 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 273);
1715 /* ../lib/standard/collection/array.nit:718 */
1716 fra
.me
.REG
[5] = ((Nit_NativeArray
)fra
.me
.REG
[4])->val
[UNTAG_Int(REGB1
)];
1717 /* metamodel/static_type.nit:204 */
1718 fra
.me
.REG
[6] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1719 fra
.me
.REG
[6] = CALL_metamodel___static_type___MMType___not_for_self(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
1720 /* metamodel/static_type.nit:206 */
1721 fra
.me
.REG
[7] = CALL_metamodel___static_type___MMParam___mmtype(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1722 REGB2
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[7],fra
.me
.REG
[6]));
1723 if (UNTAG_Bool(REGB2
)) {
1725 REGB3
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[7])(fra
.me
.REG
[7], fra
.me
.REG
[6]);
1728 if (UNTAG_Bool(REGB2
)) {
1729 /* metamodel/static_type.nit:207 */
1730 fra
.me
.REG
[7] = fra
.me
.REG
[5];
1732 /* metamodel/static_type.nit:209 */
1733 REGB2
= TAG_Bool(1);
1735 /* metamodel/static_type.nit:210 */
1736 fra
.me
.REG
[5] = CALL_metamodel___static_type___MMParam___name(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1737 fra
.me
.REG
[5] = NEW_MMParam_metamodel___static_type___MMParam___init(fra
.me
.REG
[6], fra
.me
.REG
[5]);
1738 fra
.me
.REG
[7] = fra
.me
.REG
[5];
1740 /* metamodel/static_type.nit:213 */
1741 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[7]);
1742 /* ../lib/standard/collection/array.nit:274 */
1744 /* ../lib/standard/kernel.nit:238 */
1745 REGB2
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB2
));
1746 /* ../lib/standard/collection/array.nit:274 */
1749 /* ../lib/standard/collection/array.nit:272 */
1754 /* metamodel/static_type.nit:216 */
1755 fra
.me
.REG
[4] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[1]);
1756 /* metamodel/static_type.nit:217 */
1757 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1758 if (UNTAG_Bool(REGB1
)) {
1760 REGB2
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1761 if (UNTAG_Bool(REGB2
)) {
1762 REGB2
= TAG_Bool(0);
1765 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], NIT_NULL
);
1769 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1770 if (UNTAG_Bool(REGB1
)) {
1771 /* metamodel/static_type.nit:218 */
1772 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1773 if (UNTAG_Bool(REGB1
)) {
1774 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 218);
1776 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___not_for_self(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1777 fra
.me
.REG
[4] = fra
.me
.REG
[3];
1778 /* metamodel/static_type.nit:219 */
1779 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[1]);
1780 REGB1
= TAG_Bool(IS_EQUAL_NN(fra
.me
.REG
[4],fra
.me
.REG
[3]));
1781 if (UNTAG_Bool(REGB1
)) {
1783 REGB2
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
1784 if (UNTAG_Bool(REGB2
)) {
1785 REGB2
= TAG_Bool(0);
1788 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[3]);
1792 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
1793 if (UNTAG_Bool(REGB1
)) {
1794 REGB1
= TAG_Bool(1);
1798 /* metamodel/static_type.nit:222 */
1799 fra
.me
.REG
[3] = NEW_Array_standard___collection___array___Array___init();
1800 /* metamodel/static_type.nit:223 */
1801 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[1])!=NIT_NULL
);
1802 if (UNTAG_Bool(REGB1
)) {
1804 nit_abort("Uninitialized attribute %s", "_closures", LOCATE_metamodel___static_type
, 223);
1806 fra
.me
.REG
[7] = ATTR_metamodel___static_type___MMSignature____closures(fra
.me
.REG
[1]);
1807 /* ../lib/standard/collection/array.nit:269 */
1809 /* ../lib/standard/collection/array.nit:270 */
1810 REGB2
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[7])!=NIT_NULL
);
1811 if (UNTAG_Bool(REGB2
)) {
1813 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 270);
1815 REGB2
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[7]);
1816 /* ../lib/standard/collection/array.nit:271 */
1817 fra
.me
.REG
[5] = ATTR_standard___collection___array___Array____items(fra
.me
.REG
[7]);
1818 /* ../lib/standard/collection/array.nit:272 */
1820 /* ../lib/standard/collection/array.nit:24 */
1821 REGB2
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[7])!=NIT_NULL
);
1822 if (UNTAG_Bool(REGB2
)) {
1824 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 24);
1826 REGB2
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[7]);
1827 REGB3
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1828 if (UNTAG_Bool(REGB3
)) {
1830 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1832 /* ../lib/standard/kernel.nit:235 */
1833 REGB2
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB2
));
1834 /* ../lib/standard/collection/array.nit:272 */
1835 if (UNTAG_Bool(REGB2
)) {
1836 /* ../lib/standard/collection/array.nit:273 */
1837 REGB2
= TAG_Bool(fra
.me
.REG
[5]==NIT_NULL
);
1838 if (UNTAG_Bool(REGB2
)) {
1839 nit_abort("Reciever is null", NULL
, LOCATE_standard___collection___array
, 273);
1841 /* ../lib/standard/collection/array.nit:718 */
1842 fra
.me
.REG
[6] = ((Nit_NativeArray
)fra
.me
.REG
[5])->val
[UNTAG_Int(REGB1
)];
1843 /* metamodel/static_type.nit:224 */
1844 fra
.me
.REG
[8] = CALL_metamodel___static_type___MMClosure___not_for_self(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
1845 /* metamodel/static_type.nit:225 */
1846 REGB2
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[8],fra
.me
.REG
[6]));
1847 if (UNTAG_Bool(REGB2
)) {
1849 REGB3
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[8])(fra
.me
.REG
[8], fra
.me
.REG
[6]);
1852 REGB2
= TAG_Bool(!UNTAG_Bool(REGB2
));
1853 if (UNTAG_Bool(REGB2
)) {
1854 REGB2
= TAG_Bool(1);
1857 /* metamodel/static_type.nit:226 */
1858 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[8]);
1859 /* ../lib/standard/collection/array.nit:274 */
1861 /* ../lib/standard/kernel.nit:238 */
1862 REGB2
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB2
));
1863 /* ../lib/standard/collection/array.nit:274 */
1866 /* ../lib/standard/collection/array.nit:272 */
1871 /* metamodel/static_type.nit:230 */
1872 if (UNTAG_Bool(REGB0
)) {
1873 /* metamodel/static_type.nit:231 */
1874 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[1])!=NIT_NULL
);
1875 if (UNTAG_Bool(REGB0
)) {
1877 nit_abort("Uninitialized attribute %s", "_recv", LOCATE_metamodel___static_type
, 231);
1879 fra
.me
.REG
[5] = ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[1]);
1880 fra
.me
.REG
[5] = NEW_MMSignature_metamodel___static_type___MMSignature___init(fra
.me
.REG
[0], fra
.me
.REG
[4], fra
.me
.REG
[5]);
1881 /* metamodel/static_type.nit:232 */
1882 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___closures(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1883 CALL_standard___collection___abstract_collection___SimpleCollection___add_all(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[3]);
1885 /* metamodel/static_type.nit:234 */
1886 fra
.me
.REG
[5] = fra
.me
.REG
[1];
1888 /* metamodel/static_type.nit:237 */
1889 ATTR_metamodel___static_type___MMSignature____not_for_self_cache(fra
.me
.REG
[1]) = fra
.me
.REG
[5];
1890 /* metamodel/static_type.nit:238 */
1891 fra
.me
.REG
[2] = fra
.me
.REG
[5];
1894 stack_frame_head
= fra
.me
.prev
;
1895 return fra
.me
.REG
[2];
1897 static const char LOCATE_metamodel___static_type___MMSignature___init
[] = "static_type::MMSignature::init";
1898 void metamodel___static_type___MMSignature___init(val_t p0
, val_t p1
, val_t p2
, val_t p3
, int* init_table
){
1899 int itpos1
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMSignature
].i
;
1900 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
1902 if (init_table
[itpos1
]) return;
1903 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1904 fra
.me
.file
= LOCATE_metamodel___static_type
;
1906 fra
.me
.meth
= LOCATE_metamodel___static_type___MMSignature___init
;
1907 fra
.me
.has_broke
= 0;
1908 fra
.me
.REG_size
= 4;
1909 fra
.me
.nitni_local_ref_head
= NULL
;
1910 fra
.me
.REG
[0] = NIT_NULL
;
1911 fra
.me
.REG
[1] = NIT_NULL
;
1912 fra
.me
.REG
[2] = NIT_NULL
;
1913 fra
.me
.REG
[3] = NIT_NULL
;
1918 /* metamodel/static_type.nit:243 */
1919 ATTR_metamodel___static_type___MMSignature____params(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
1920 /* metamodel/static_type.nit:244 */
1921 ATTR_metamodel___static_type___MMSignature____return_type(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
1922 /* metamodel/static_type.nit:245 */
1923 ATTR_metamodel___static_type___MMSignature____recv(fra
.me
.REG
[0]) = fra
.me
.REG
[3];
1924 stack_frame_head
= fra
.me
.prev
;
1925 init_table
[itpos1
] = 1;
1928 static const char LOCATE_metamodel___static_type___MMExplicitImport___signature
[] = "static_type::MMExplicitImport::signature";
1929 val_t
metamodel___static_type___MMExplicitImport___signature(val_t p0
){
1930 struct {struct stack_frame_t me
;} fra
;
1933 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1934 fra
.me
.file
= LOCATE_metamodel___static_type
;
1936 fra
.me
.meth
= LOCATE_metamodel___static_type___MMExplicitImport___signature
;
1937 fra
.me
.has_broke
= 0;
1938 fra
.me
.REG_size
= 1;
1939 fra
.me
.nitni_local_ref_head
= NULL
;
1940 fra
.me
.REG
[0] = NIT_NULL
;
1942 /* metamodel/static_type.nit:251 */
1943 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMExplicitImport_____atsignature(fra
.me
.REG
[0])!=NIT_NULL
);
1944 if (UNTAG_Bool(REGB0
)) {
1946 nit_abort("Uninitialized attribute %s", "@signature", LOCATE_metamodel___static_type
, 251);
1948 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMExplicitImport_____atsignature(fra
.me
.REG
[0]);
1949 stack_frame_head
= fra
.me
.prev
;
1950 return fra
.me
.REG
[0];
1952 static const char LOCATE_metamodel___static_type___MMExplicitImport___signature__eq
[] = "static_type::MMExplicitImport::signature=";
1953 void metamodel___static_type___MMExplicitImport___signature__eq(val_t p0
, val_t p1
){
1954 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1956 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1957 fra
.me
.file
= LOCATE_metamodel___static_type
;
1959 fra
.me
.meth
= LOCATE_metamodel___static_type___MMExplicitImport___signature__eq
;
1960 fra
.me
.has_broke
= 0;
1961 fra
.me
.REG_size
= 2;
1962 fra
.me
.nitni_local_ref_head
= NULL
;
1963 fra
.me
.REG
[0] = NIT_NULL
;
1964 fra
.me
.REG
[1] = NIT_NULL
;
1967 /* metamodel/static_type.nit:251 */
1968 ATTR_metamodel___static_type___MMExplicitImport_____atsignature(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
1969 stack_frame_head
= fra
.me
.prev
;
1972 static const char LOCATE_metamodel___static_type___MMExplicitImport___init
[] = "static_type::MMExplicitImport::(abstractmetamodel::MMExplicitImport::init)";
1973 void metamodel___static_type___MMExplicitImport___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
){
1974 int itpos2
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___abstractmetamodel___MMExplicitImport
].i
;
1975 struct {struct stack_frame_t me
; val_t MORE_REG
[5];} fra
;
1978 if (init_table
[itpos2
]) return;
1979 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1980 fra
.me
.file
= LOCATE_metamodel___static_type
;
1982 fra
.me
.meth
= LOCATE_metamodel___static_type___MMExplicitImport___init
;
1983 fra
.me
.has_broke
= 0;
1984 fra
.me
.REG_size
= 6;
1985 fra
.me
.nitni_local_ref_head
= NULL
;
1986 fra
.me
.REG
[0] = NIT_NULL
;
1987 fra
.me
.REG
[1] = NIT_NULL
;
1988 fra
.me
.REG
[2] = NIT_NULL
;
1989 fra
.me
.REG
[3] = NIT_NULL
;
1990 fra
.me
.REG
[4] = NIT_NULL
;
1991 fra
.me
.REG
[5] = NIT_NULL
;
1995 /* metamodel/static_type.nit:253 */
1996 fra
.me
.REG
[3] = fra
.me
.REG
[0];
1997 fra
.me
.REG
[4] = fra
.me
.REG
[1];
1998 fra
.me
.REG
[5] = fra
.me
.REG
[2];
1999 /* metamodel/static_type.nit:255 */
2000 CALL_SUPER_metamodel___static_type___MMExplicitImport___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1], fra
.me
.REG
[2], init_table
);
2001 /* metamodel/static_type.nit:256 */
2002 fra
.me
.REG
[5] = CALL_metamodel___static_type___MMLocalProperty___signature(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
2003 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMLocalClass___get_type(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
2004 REGB0
= TAG_Bool(fra
.me
.REG
[5]==NIT_NULL
);
2005 if (UNTAG_Bool(REGB0
)) {
2006 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 256);
2008 fra
.me
.REG
[4] = CALL_metamodel___static_type___MMSignature___adaptation_to(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[4]);
2009 CALL_metamodel___static_type___MMExplicitImport___signature__eq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
2010 stack_frame_head
= fra
.me
.prev
;
2011 init_table
[itpos2
] = 1;
2014 static const char LOCATE_metamodel___static_type___MMClosure___name
[] = "static_type::MMClosure::name";
2015 val_t
metamodel___static_type___MMClosure___name(val_t p0
){
2016 struct {struct stack_frame_t me
;} fra
;
2019 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2020 fra
.me
.file
= LOCATE_metamodel___static_type
;
2022 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___name
;
2023 fra
.me
.has_broke
= 0;
2024 fra
.me
.REG_size
= 1;
2025 fra
.me
.nitni_local_ref_head
= NULL
;
2026 fra
.me
.REG
[0] = NIT_NULL
;
2028 /* metamodel/static_type.nit:262 */
2029 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0])!=NIT_NULL
);
2030 if (UNTAG_Bool(REGB0
)) {
2032 nit_abort("Uninitialized attribute %s", "_name", LOCATE_metamodel___static_type
, 262);
2034 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0]);
2035 stack_frame_head
= fra
.me
.prev
;
2036 return fra
.me
.REG
[0];
2038 static const char LOCATE_metamodel___static_type___MMClosure___signature
[] = "static_type::MMClosure::signature";
2039 val_t
metamodel___static_type___MMClosure___signature(val_t p0
){
2040 struct {struct stack_frame_t me
;} fra
;
2043 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2044 fra
.me
.file
= LOCATE_metamodel___static_type
;
2046 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___signature
;
2047 fra
.me
.has_broke
= 0;
2048 fra
.me
.REG_size
= 1;
2049 fra
.me
.nitni_local_ref_head
= NULL
;
2050 fra
.me
.REG
[0] = NIT_NULL
;
2052 /* metamodel/static_type.nit:265 */
2053 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
2054 if (UNTAG_Bool(REGB0
)) {
2056 nit_abort("Uninitialized attribute %s", "_signature", LOCATE_metamodel___static_type
, 265);
2058 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0]);
2059 stack_frame_head
= fra
.me
.prev
;
2060 return fra
.me
.REG
[0];
2062 static const char LOCATE_metamodel___static_type___MMClosure___is_break
[] = "static_type::MMClosure::is_break";
2063 val_t
metamodel___static_type___MMClosure___is_break(val_t p0
){
2064 struct {struct stack_frame_t me
;} fra
;
2067 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2068 fra
.me
.file
= LOCATE_metamodel___static_type
;
2070 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___is_break
;
2071 fra
.me
.has_broke
= 0;
2072 fra
.me
.REG_size
= 1;
2073 fra
.me
.nitni_local_ref_head
= NULL
;
2074 fra
.me
.REG
[0] = NIT_NULL
;
2076 /* metamodel/static_type.nit:268 */
2077 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0])!=NIT_NULL
);
2078 if (UNTAG_Bool(REGB0
)) {
2080 nit_abort("Uninitialized attribute %s", "_is_break", LOCATE_metamodel___static_type
, 268);
2082 REGB0
= ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0]);
2083 stack_frame_head
= fra
.me
.prev
;
2086 static const char LOCATE_metamodel___static_type___MMClosure___is_optional
[] = "static_type::MMClosure::is_optional";
2087 val_t
metamodel___static_type___MMClosure___is_optional(val_t p0
){
2088 struct {struct stack_frame_t me
;} fra
;
2091 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2092 fra
.me
.file
= LOCATE_metamodel___static_type
;
2094 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___is_optional
;
2095 fra
.me
.has_broke
= 0;
2096 fra
.me
.REG_size
= 1;
2097 fra
.me
.nitni_local_ref_head
= NULL
;
2098 fra
.me
.REG
[0] = NIT_NULL
;
2100 /* metamodel/static_type.nit:272 */
2101 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0])!=NIT_NULL
);
2102 if (UNTAG_Bool(REGB0
)) {
2104 nit_abort("Uninitialized attribute %s", "_is_optional", LOCATE_metamodel___static_type
, 272);
2106 REGB0
= ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0]);
2107 stack_frame_head
= fra
.me
.prev
;
2110 static const char LOCATE_metamodel___static_type___MMClosure___adaptation_to
[] = "static_type::MMClosure::adaptation_to";
2111 val_t
metamodel___static_type___MMClosure___adaptation_to(val_t p0
, val_t p1
){
2112 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
2116 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2117 fra
.me
.file
= LOCATE_metamodel___static_type
;
2119 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___adaptation_to
;
2120 fra
.me
.has_broke
= 0;
2121 fra
.me
.REG_size
= 4;
2122 fra
.me
.nitni_local_ref_head
= NULL
;
2123 fra
.me
.REG
[0] = NIT_NULL
;
2124 fra
.me
.REG
[1] = NIT_NULL
;
2125 fra
.me
.REG
[2] = NIT_NULL
;
2126 fra
.me
.REG
[3] = NIT_NULL
;
2129 /* metamodel/static_type.nit:279 */
2130 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0])!=NIT_NULL
);
2131 if (UNTAG_Bool(REGB0
)) {
2133 nit_abort("Uninitialized attribute %s", "_name", LOCATE_metamodel___static_type
, 279);
2135 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0]);
2136 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
2137 if (UNTAG_Bool(REGB0
)) {
2139 nit_abort("Uninitialized attribute %s", "_signature", LOCATE_metamodel___static_type
, 279);
2141 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0]);
2142 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMSignature___adaptation_to(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
2143 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0])!=NIT_NULL
);
2144 if (UNTAG_Bool(REGB0
)) {
2146 nit_abort("Uninitialized attribute %s", "_is_break", LOCATE_metamodel___static_type
, 279);
2148 REGB0
= ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0]);
2149 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0])!=NIT_NULL
);
2150 if (UNTAG_Bool(REGB1
)) {
2152 nit_abort("Uninitialized attribute %s", "_is_optional", LOCATE_metamodel___static_type
, 279);
2154 REGB1
= ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0]);
2155 fra
.me
.REG
[1] = NEW_MMClosure_metamodel___static_type___MMClosure___init(fra
.me
.REG
[2], fra
.me
.REG
[1], REGB0
, REGB1
);
2158 stack_frame_head
= fra
.me
.prev
;
2159 return fra
.me
.REG
[1];
2161 static const char LOCATE_metamodel___static_type___MMClosure___init
[] = "static_type::MMClosure::init";
2162 void metamodel___static_type___MMClosure___init(val_t p0
, val_t p1
, val_t p2
, val_t p3
, val_t p4
, int* init_table
){
2163 int itpos3
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMClosure
].i
;
2164 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2168 if (init_table
[itpos3
]) return;
2169 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2170 fra
.me
.file
= LOCATE_metamodel___static_type
;
2172 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___init
;
2173 fra
.me
.has_broke
= 0;
2174 fra
.me
.REG_size
= 3;
2175 fra
.me
.nitni_local_ref_head
= NULL
;
2176 fra
.me
.REG
[0] = NIT_NULL
;
2177 fra
.me
.REG
[1] = NIT_NULL
;
2178 fra
.me
.REG
[2] = NIT_NULL
;
2184 /* metamodel/static_type.nit:284 */
2185 ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
2186 /* metamodel/static_type.nit:285 */
2187 ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
2188 /* metamodel/static_type.nit:286 */
2189 ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0]) = REGB0
;
2190 /* metamodel/static_type.nit:287 */
2191 ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0]) = REGB1
;
2192 stack_frame_head
= fra
.me
.prev
;
2193 init_table
[itpos3
] = 1;
2196 static const char LOCATE_metamodel___static_type___MMClosure___not_for_self
[] = "static_type::MMClosure::not_for_self";
2197 val_t
metamodel___static_type___MMClosure___not_for_self(val_t p0
){
2198 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2202 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2203 fra
.me
.file
= LOCATE_metamodel___static_type
;
2205 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure___not_for_self
;
2206 fra
.me
.has_broke
= 0;
2207 fra
.me
.REG_size
= 3;
2208 fra
.me
.nitni_local_ref_head
= NULL
;
2209 fra
.me
.REG
[0] = NIT_NULL
;
2210 fra
.me
.REG
[1] = NIT_NULL
;
2211 fra
.me
.REG
[2] = NIT_NULL
;
2213 /* metamodel/static_type.nit:292 */
2214 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
2215 if (UNTAG_Bool(REGB0
)) {
2217 nit_abort("Uninitialized attribute %s", "_signature", LOCATE_metamodel___static_type
, 292);
2219 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0]);
2220 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMSignature___not_for_self(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2221 /* metamodel/static_type.nit:293 */
2222 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0])!=NIT_NULL
);
2223 if (UNTAG_Bool(REGB0
)) {
2225 nit_abort("Uninitialized attribute %s", "_signature", LOCATE_metamodel___static_type
, 293);
2227 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMClosure____signature(fra
.me
.REG
[0]);
2228 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[2]));
2229 if (UNTAG_Bool(REGB0
)) {
2231 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
2234 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2235 if (UNTAG_Bool(REGB0
)) {
2236 /* metamodel/static_type.nit:294 */
2237 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0])!=NIT_NULL
);
2238 if (UNTAG_Bool(REGB0
)) {
2240 nit_abort("Uninitialized attribute %s", "_name", LOCATE_metamodel___static_type
, 294);
2242 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMClosure____name(fra
.me
.REG
[0]);
2243 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0])!=NIT_NULL
);
2244 if (UNTAG_Bool(REGB0
)) {
2246 nit_abort("Uninitialized attribute %s", "_is_break", LOCATE_metamodel___static_type
, 294);
2248 REGB0
= ATTR_metamodel___static_type___MMClosure____is_break(fra
.me
.REG
[0]);
2249 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0])!=NIT_NULL
);
2250 if (UNTAG_Bool(REGB1
)) {
2252 nit_abort("Uninitialized attribute %s", "_is_optional", LOCATE_metamodel___static_type
, 294);
2254 REGB1
= ATTR_metamodel___static_type___MMClosure____is_optional(fra
.me
.REG
[0]);
2255 fra
.me
.REG
[1] = NEW_MMClosure_metamodel___static_type___MMClosure___init(fra
.me
.REG
[2], fra
.me
.REG
[1], REGB0
, REGB1
);
2258 /* metamodel/static_type.nit:296 */
2259 fra
.me
.REG
[1] = fra
.me
.REG
[0];
2263 stack_frame_head
= fra
.me
.prev
;
2264 return fra
.me
.REG
[1];
2266 static const char LOCATE_metamodel___static_type___MMClosure_____l
[] = "static_type::MMClosure::<";
2267 val_t
metamodel___static_type___MMClosure_____l(val_t p0
, val_t p1
){
2268 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2273 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2274 fra
.me
.file
= LOCATE_metamodel___static_type
;
2276 fra
.me
.meth
= LOCATE_metamodel___static_type___MMClosure_____l
;
2277 fra
.me
.has_broke
= 0;
2278 fra
.me
.REG_size
= 2;
2279 fra
.me
.nitni_local_ref_head
= NULL
;
2280 fra
.me
.REG
[0] = NIT_NULL
;
2281 fra
.me
.REG
[1] = NIT_NULL
;
2284 /* metamodel/static_type.nit:302 */
2285 REGB0
= CALL_metamodel___static_type___MMClosure___is_optional(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2286 if (UNTAG_Bool(REGB0
)) {
2287 REGB0
= CALL_metamodel___static_type___MMClosure___is_optional(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2288 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2290 REGB1
= TAG_Bool(0);
2293 if (UNTAG_Bool(REGB0
)) {
2294 REGB0
= TAG_Bool(0);
2297 /* metamodel/static_type.nit:303 */
2298 REGB1
= CALL_metamodel___static_type___MMClosure___is_break(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2299 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
2300 if (UNTAG_Bool(REGB1
)) {
2301 REGB1
= CALL_metamodel___static_type___MMClosure___is_break(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2303 REGB2
= TAG_Bool(0);
2306 if (UNTAG_Bool(REGB1
)) {
2307 REGB1
= TAG_Bool(0);
2311 /* metamodel/static_type.nit:304 */
2312 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMClosure___signature(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2313 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMClosure___signature(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2314 REGB1
= CALL_metamodel___static_type___MMSignature_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
2318 stack_frame_head
= fra
.me
.prev
;
2321 static const char LOCATE_metamodel___static_type___MMAncestor___stype__eq
[] = "static_type::MMAncestor::stype=";
2322 void metamodel___static_type___MMAncestor___stype__eq(val_t p0
, val_t p1
){
2323 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2325 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2326 fra
.me
.file
= LOCATE_metamodel___static_type
;
2328 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___stype__eq
;
2329 fra
.me
.has_broke
= 0;
2330 fra
.me
.REG_size
= 2;
2331 fra
.me
.nitni_local_ref_head
= NULL
;
2332 fra
.me
.REG
[0] = NIT_NULL
;
2333 fra
.me
.REG
[1] = NIT_NULL
;
2336 /* metamodel/static_type.nit:310 */
2337 ATTR_metamodel___static_type___MMAncestor____stype(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
2338 stack_frame_head
= fra
.me
.prev
;
2341 static const char LOCATE_metamodel___static_type___MMAncestor___stype
[] = "static_type::MMAncestor::stype";
2342 val_t
metamodel___static_type___MMAncestor___stype(val_t p0
){
2343 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2346 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2347 fra
.me
.file
= LOCATE_metamodel___static_type
;
2349 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___stype
;
2350 fra
.me
.has_broke
= 0;
2351 fra
.me
.REG_size
= 2;
2352 fra
.me
.nitni_local_ref_head
= NULL
;
2353 fra
.me
.REG
[0] = NIT_NULL
;
2354 fra
.me
.REG
[1] = NIT_NULL
;
2356 /* metamodel/static_type.nit:313 */
2357 fra
.me
.REG
[1] = fra
.me
.REG
[0];
2358 /* metamodel/static_type.nit:314 */
2359 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMAncestor____stype(fra
.me
.REG
[1]);
2360 REGB0
= TAG_Bool(fra
.me
.REG
[1]!=NIT_NULL
);
2361 if (UNTAG_Bool(REGB0
)) {
2363 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 314);
2367 stack_frame_head
= fra
.me
.prev
;
2368 return fra
.me
.REG
[1];
2370 static const char LOCATE_metamodel___static_type___MMAncestor___inheriter__eq
[] = "static_type::MMAncestor::inheriter=";
2371 void metamodel___static_type___MMAncestor___inheriter__eq(val_t p0
, val_t p1
){
2372 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2374 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2375 fra
.me
.file
= LOCATE_metamodel___static_type
;
2377 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___inheriter__eq
;
2378 fra
.me
.has_broke
= 0;
2379 fra
.me
.REG_size
= 2;
2380 fra
.me
.nitni_local_ref_head
= NULL
;
2381 fra
.me
.REG
[0] = NIT_NULL
;
2382 fra
.me
.REG
[1] = NIT_NULL
;
2385 /* metamodel/static_type.nit:316 */
2386 ATTR_metamodel___static_type___MMAncestor____inheriter(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
2387 stack_frame_head
= fra
.me
.prev
;
2390 static const char LOCATE_metamodel___static_type___MMAncestor___inheriter
[] = "static_type::MMAncestor::inheriter";
2391 val_t
metamodel___static_type___MMAncestor___inheriter(val_t p0
){
2392 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2395 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2396 fra
.me
.file
= LOCATE_metamodel___static_type
;
2398 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___inheriter
;
2399 fra
.me
.has_broke
= 0;
2400 fra
.me
.REG_size
= 2;
2401 fra
.me
.nitni_local_ref_head
= NULL
;
2402 fra
.me
.REG
[0] = NIT_NULL
;
2403 fra
.me
.REG
[1] = NIT_NULL
;
2405 /* metamodel/static_type.nit:319 */
2406 fra
.me
.REG
[1] = fra
.me
.REG
[0];
2407 /* metamodel/static_type.nit:320 */
2408 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMAncestor____inheriter(fra
.me
.REG
[1]);
2409 REGB0
= TAG_Bool(fra
.me
.REG
[1]!=NIT_NULL
);
2410 if (UNTAG_Bool(REGB0
)) {
2412 nit_abort("Cast failed", NULL
, LOCATE_metamodel___static_type
, 320);
2416 stack_frame_head
= fra
.me
.prev
;
2417 return fra
.me
.REG
[1];
2419 static const char LOCATE_metamodel___static_type___MMAncestor___is_reffinement
[] = "static_type::MMAncestor::is_reffinement";
2420 val_t
metamodel___static_type___MMAncestor___is_reffinement(val_t p0
){
2421 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2425 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2426 fra
.me
.file
= LOCATE_metamodel___static_type
;
2428 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___is_reffinement
;
2429 fra
.me
.has_broke
= 0;
2430 fra
.me
.REG_size
= 2;
2431 fra
.me
.nitni_local_ref_head
= NULL
;
2432 fra
.me
.REG
[0] = NIT_NULL
;
2433 fra
.me
.REG
[1] = NIT_NULL
;
2435 /* metamodel/static_type.nit:323 */
2436 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2437 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2438 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2439 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2440 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[0]));
2441 if (UNTAG_Bool(REGB0
)) {
2443 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
2446 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2449 stack_frame_head
= fra
.me
.prev
;
2452 static const char LOCATE_metamodel___static_type___MMAncestor___is_specialisation
[] = "static_type::MMAncestor::is_specialisation";
2453 val_t
metamodel___static_type___MMAncestor___is_specialisation(val_t p0
){
2454 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2458 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2459 fra
.me
.file
= LOCATE_metamodel___static_type
;
2461 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___is_specialisation
;
2462 fra
.me
.has_broke
= 0;
2463 fra
.me
.REG_size
= 2;
2464 fra
.me
.nitni_local_ref_head
= NULL
;
2465 fra
.me
.REG
[0] = NIT_NULL
;
2466 fra
.me
.REG
[1] = NIT_NULL
;
2468 /* metamodel/static_type.nit:327 */
2469 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2470 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2471 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2472 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMAncestor___inheriter(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2473 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___local_class(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2474 fra
.me
.REG
[0] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2475 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[0]));
2476 if (UNTAG_Bool(REGB0
)) {
2478 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
2481 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2484 stack_frame_head
= fra
.me
.prev
;
2487 static const char LOCATE_metamodel___static_type___MMAncestor___local_class
[] = "static_type::MMAncestor::local_class";
2488 val_t
metamodel___static_type___MMAncestor___local_class(val_t p0
){
2489 struct {struct stack_frame_t me
;} fra
;
2491 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2492 fra
.me
.file
= LOCATE_metamodel___static_type
;
2494 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___local_class
;
2495 fra
.me
.has_broke
= 0;
2496 fra
.me
.REG_size
= 0;
2497 fra
.me
.nitni_local_ref_head
= NULL
;
2498 /* metamodel/static_type.nit:330 */
2499 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 330);
2500 stack_frame_head
= fra
.me
.prev
;
2503 static const char LOCATE_metamodel___static_type___MMAncestor___to_s
[] = "static_type::MMAncestor::(string::Object::to_s)";
2504 val_t
metamodel___static_type___MMAncestor___to_s(val_t p0
){
2505 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
2509 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2510 fra
.me
.file
= LOCATE_metamodel___static_type
;
2512 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___to_s
;
2513 fra
.me
.has_broke
= 0;
2514 fra
.me
.REG_size
= 2;
2515 fra
.me
.nitni_local_ref_head
= NULL
;
2516 fra
.me
.REG
[0] = NIT_NULL
;
2517 fra
.me
.REG
[1] = NIT_NULL
;
2519 /* metamodel/static_type.nit:335 */
2520 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMAncestor____stype(fra
.me
.REG
[0]);
2521 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
2522 if (UNTAG_Bool(REGB0
)) {
2524 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
2525 if (UNTAG_Bool(REGB1
)) {
2526 REGB1
= TAG_Bool(0);
2529 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
2533 if (UNTAG_Bool(REGB0
)) {
2534 /* metamodel/static_type.nit:336 */
2535 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMAncestor___local_class(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2536 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
2539 /* metamodel/static_type.nit:338 */
2540 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMAncestor___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2541 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2542 fra
.me
.REG
[1] = fra
.me
.REG
[0];
2546 stack_frame_head
= fra
.me
.prev
;
2547 return fra
.me
.REG
[1];
2549 static const char LOCATE_metamodel___static_type___MMAncestor___init
[] = "static_type::MMAncestor::init";
2550 void metamodel___static_type___MMAncestor___init(val_t p0
, int* init_table
){
2551 int itpos4
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMAncestor
].i
;
2552 struct {struct stack_frame_t me
;} fra
;
2554 if (init_table
[itpos4
]) return;
2555 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2556 fra
.me
.file
= LOCATE_metamodel___static_type
;
2558 fra
.me
.meth
= LOCATE_metamodel___static_type___MMAncestor___init
;
2559 fra
.me
.has_broke
= 0;
2560 fra
.me
.REG_size
= 0;
2561 fra
.me
.nitni_local_ref_head
= NULL
;
2562 stack_frame_head
= fra
.me
.prev
;
2563 init_table
[itpos4
] = 1;
2566 static const char LOCATE_metamodel___static_type___MMType___mmmodule
[] = "static_type::MMType::mmmodule";
2567 val_t
metamodel___static_type___MMType___mmmodule(val_t p0
){
2568 struct {struct stack_frame_t me
;} fra
;
2570 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2571 fra
.me
.file
= LOCATE_metamodel___static_type
;
2573 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___mmmodule
;
2574 fra
.me
.has_broke
= 0;
2575 fra
.me
.REG_size
= 0;
2576 fra
.me
.nitni_local_ref_head
= NULL
;
2577 /* metamodel/static_type.nit:346 */
2578 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 346);
2579 stack_frame_head
= fra
.me
.prev
;
2582 static const char LOCATE_metamodel___static_type___MMType___local_class
[] = "static_type::MMType::local_class";
2583 val_t
metamodel___static_type___MMType___local_class(val_t p0
){
2584 struct {struct stack_frame_t me
;} fra
;
2586 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2587 fra
.me
.file
= LOCATE_metamodel___static_type
;
2589 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___local_class
;
2590 fra
.me
.has_broke
= 0;
2591 fra
.me
.REG_size
= 0;
2592 fra
.me
.nitni_local_ref_head
= NULL
;
2593 /* metamodel/static_type.nit:349 */
2594 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 349);
2595 stack_frame_head
= fra
.me
.prev
;
2598 static const char LOCATE_metamodel___static_type___MMType___is_valid
[] = "static_type::MMType::is_valid";
2599 val_t
metamodel___static_type___MMType___is_valid(val_t p0
){
2600 struct {struct stack_frame_t me
;} fra
;
2603 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2604 fra
.me
.file
= LOCATE_metamodel___static_type
;
2606 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___is_valid
;
2607 fra
.me
.has_broke
= 0;
2608 fra
.me
.REG_size
= 1;
2609 fra
.me
.nitni_local_ref_head
= NULL
;
2610 fra
.me
.REG
[0] = NIT_NULL
;
2612 /* metamodel/static_type.nit:354 */
2613 REGB0
= TAG_Bool(1);
2616 stack_frame_head
= fra
.me
.prev
;
2619 static const char LOCATE_metamodel___static_type___MMType_____l
[] = "static_type::MMType::<";
2620 val_t
metamodel___static_type___MMType_____l(val_t p0
, val_t p1
){
2621 struct {struct stack_frame_t me
;} fra
;
2623 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2624 fra
.me
.file
= LOCATE_metamodel___static_type
;
2626 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType_____l
;
2627 fra
.me
.has_broke
= 0;
2628 fra
.me
.REG_size
= 0;
2629 fra
.me
.nitni_local_ref_head
= NULL
;
2630 /* metamodel/static_type.nit:356 */
2631 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 356);
2632 stack_frame_head
= fra
.me
.prev
;
2635 static const char LOCATE_metamodel___static_type___MMType___is_supertype
[] = "static_type::MMType::is_supertype";
2636 val_t
metamodel___static_type___MMType___is_supertype(val_t p0
, val_t p1
){
2637 struct {struct stack_frame_t me
;} fra
;
2639 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2640 fra
.me
.file
= LOCATE_metamodel___static_type
;
2642 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___is_supertype
;
2643 fra
.me
.has_broke
= 0;
2644 fra
.me
.REG_size
= 0;
2645 fra
.me
.nitni_local_ref_head
= NULL
;
2646 /* metamodel/static_type.nit:359 */
2647 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 359);
2648 stack_frame_head
= fra
.me
.prev
;
2651 static const char LOCATE_metamodel___static_type___MMType___for_module
[] = "static_type::MMType::for_module";
2652 val_t
metamodel___static_type___MMType___for_module(val_t p0
, val_t p1
){
2653 struct {struct stack_frame_t me
;} fra
;
2655 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2656 fra
.me
.file
= LOCATE_metamodel___static_type
;
2658 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___for_module
;
2659 fra
.me
.has_broke
= 0;
2660 fra
.me
.REG_size
= 0;
2661 fra
.me
.nitni_local_ref_head
= NULL
;
2662 /* metamodel/static_type.nit:364 */
2663 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 364);
2664 stack_frame_head
= fra
.me
.prev
;
2667 static const char LOCATE_metamodel___static_type___MMType___adapt_to
[] = "static_type::MMType::adapt_to";
2668 val_t
metamodel___static_type___MMType___adapt_to(val_t p0
, val_t p1
){
2669 struct {struct stack_frame_t me
;} fra
;
2671 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2672 fra
.me
.file
= LOCATE_metamodel___static_type
;
2674 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___adapt_to
;
2675 fra
.me
.has_broke
= 0;
2676 fra
.me
.REG_size
= 0;
2677 fra
.me
.nitni_local_ref_head
= NULL
;
2678 /* metamodel/static_type.nit:367 */
2679 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 367);
2680 stack_frame_head
= fra
.me
.prev
;
2683 static const char LOCATE_metamodel___static_type___MMType___upcast_for
[] = "static_type::MMType::upcast_for";
2684 val_t
metamodel___static_type___MMType___upcast_for(val_t p0
, val_t p1
){
2685 struct {struct stack_frame_t me
;} fra
;
2687 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2688 fra
.me
.file
= LOCATE_metamodel___static_type
;
2690 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___upcast_for
;
2691 fra
.me
.has_broke
= 0;
2692 fra
.me
.REG_size
= 0;
2693 fra
.me
.nitni_local_ref_head
= NULL
;
2694 /* metamodel/static_type.nit:371 */
2695 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 371);
2696 stack_frame_head
= fra
.me
.prev
;
2699 static const char LOCATE_metamodel___static_type___MMType___not_for_self
[] = "static_type::MMType::not_for_self";
2700 val_t
metamodel___static_type___MMType___not_for_self(val_t p0
){
2701 struct {struct stack_frame_t me
;} fra
;
2703 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2704 fra
.me
.file
= LOCATE_metamodel___static_type
;
2706 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___not_for_self
;
2707 fra
.me
.has_broke
= 0;
2708 fra
.me
.REG_size
= 1;
2709 fra
.me
.nitni_local_ref_head
= NULL
;
2710 fra
.me
.REG
[0] = NIT_NULL
;
2712 /* metamodel/static_type.nit:395 */
2715 stack_frame_head
= fra
.me
.prev
;
2716 return fra
.me
.REG
[0];
2718 static const char LOCATE_metamodel___static_type___MMType___is_nullable
[] = "static_type::MMType::is_nullable";
2719 val_t
metamodel___static_type___MMType___is_nullable(val_t p0
){
2720 struct {struct stack_frame_t me
;} fra
;
2723 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2724 fra
.me
.file
= LOCATE_metamodel___static_type
;
2726 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___is_nullable
;
2727 fra
.me
.has_broke
= 0;
2728 fra
.me
.REG_size
= 1;
2729 fra
.me
.nitni_local_ref_head
= NULL
;
2730 fra
.me
.REG
[0] = NIT_NULL
;
2732 /* metamodel/static_type.nit:401 */
2733 REGB0
= TAG_Bool(0);
2736 stack_frame_head
= fra
.me
.prev
;
2739 static const char LOCATE_metamodel___static_type___MMType___as_nullable
[] = "static_type::MMType::as_nullable";
2740 val_t
metamodel___static_type___MMType___as_nullable(val_t p0
){
2741 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2745 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2746 fra
.me
.file
= LOCATE_metamodel___static_type
;
2748 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___as_nullable
;
2749 fra
.me
.has_broke
= 0;
2750 fra
.me
.REG_size
= 3;
2751 fra
.me
.nitni_local_ref_head
= NULL
;
2752 fra
.me
.REG
[0] = NIT_NULL
;
2753 fra
.me
.REG
[1] = NIT_NULL
;
2754 fra
.me
.REG
[2] = NIT_NULL
;
2756 /* metamodel/static_type.nit:406 */
2757 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMType____as_nullable_cache(fra
.me
.REG
[0]);
2758 /* metamodel/static_type.nit:407 */
2759 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
2760 if (UNTAG_Bool(REGB0
)) {
2762 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
2763 if (UNTAG_Bool(REGB1
)) {
2764 REGB1
= TAG_Bool(0);
2767 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
2771 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
2772 if (UNTAG_Bool(REGB0
)) {
2775 /* metamodel/static_type.nit:408 */
2776 fra
.me
.REG
[2] = NEW_MMNullableType_metamodel___static_type___MMNullableType___init(fra
.me
.REG
[0]);
2777 /* metamodel/static_type.nit:409 */
2778 ATTR_metamodel___static_type___MMType____as_nullable_cache(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
2779 /* metamodel/static_type.nit:410 */
2780 fra
.me
.REG
[1] = fra
.me
.REG
[2];
2783 stack_frame_head
= fra
.me
.prev
;
2784 return fra
.me
.REG
[1];
2786 static const char LOCATE_metamodel___static_type___MMType___as_notnull
[] = "static_type::MMType::as_notnull";
2787 val_t
metamodel___static_type___MMType___as_notnull(val_t p0
){
2788 struct {struct stack_frame_t me
;} fra
;
2790 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2791 fra
.me
.file
= LOCATE_metamodel___static_type
;
2793 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___as_notnull
;
2794 fra
.me
.has_broke
= 0;
2795 fra
.me
.REG_size
= 1;
2796 fra
.me
.nitni_local_ref_head
= NULL
;
2797 fra
.me
.REG
[0] = NIT_NULL
;
2799 /* metamodel/static_type.nit:415 */
2802 stack_frame_head
= fra
.me
.prev
;
2803 return fra
.me
.REG
[0];
2805 static const char LOCATE_metamodel___static_type___MMType___init
[] = "static_type::MMType::init";
2806 void metamodel___static_type___MMType___init(val_t p0
, int* init_table
){
2807 int itpos5
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMType
].i
;
2808 struct {struct stack_frame_t me
;} fra
;
2810 if (init_table
[itpos5
]) return;
2811 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2812 fra
.me
.file
= LOCATE_metamodel___static_type
;
2814 fra
.me
.meth
= LOCATE_metamodel___static_type___MMType___init
;
2815 fra
.me
.has_broke
= 0;
2816 fra
.me
.REG_size
= 0;
2817 fra
.me
.nitni_local_ref_head
= NULL
;
2818 stack_frame_head
= fra
.me
.prev
;
2819 init_table
[itpos5
] = 1;
2822 static const char LOCATE_metamodel___static_type___MMNullableType___is_valid
[] = "static_type::MMNullableType::(static_type::MMType::is_valid)";
2823 val_t
metamodel___static_type___MMNullableType___is_valid(val_t p0
){
2824 struct {struct stack_frame_t me
;} fra
;
2827 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2828 fra
.me
.file
= LOCATE_metamodel___static_type
;
2830 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___is_valid
;
2831 fra
.me
.has_broke
= 0;
2832 fra
.me
.REG_size
= 1;
2833 fra
.me
.nitni_local_ref_head
= NULL
;
2834 fra
.me
.REG
[0] = NIT_NULL
;
2836 /* metamodel/static_type.nit:421 */
2837 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2838 if (UNTAG_Bool(REGB0
)) {
2840 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 421);
2842 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2843 REGB0
= CALL_metamodel___static_type___MMType___is_valid(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2846 stack_frame_head
= fra
.me
.prev
;
2849 static const char LOCATE_metamodel___static_type___MMNullableType___is_nullable
[] = "static_type::MMNullableType::(static_type::MMType::is_nullable)";
2850 val_t
metamodel___static_type___MMNullableType___is_nullable(val_t p0
){
2851 struct {struct stack_frame_t me
;} fra
;
2854 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2855 fra
.me
.file
= LOCATE_metamodel___static_type
;
2857 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___is_nullable
;
2858 fra
.me
.has_broke
= 0;
2859 fra
.me
.REG_size
= 1;
2860 fra
.me
.nitni_local_ref_head
= NULL
;
2861 fra
.me
.REG
[0] = NIT_NULL
;
2863 /* metamodel/static_type.nit:422 */
2864 REGB0
= TAG_Bool(1);
2867 stack_frame_head
= fra
.me
.prev
;
2870 static const char LOCATE_metamodel___static_type___MMNullableType___as_notnull
[] = "static_type::MMNullableType::(static_type::MMType::as_notnull)";
2871 val_t
metamodel___static_type___MMNullableType___as_notnull(val_t p0
){
2872 struct {struct stack_frame_t me
;} fra
;
2875 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2876 fra
.me
.file
= LOCATE_metamodel___static_type
;
2878 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___as_notnull
;
2879 fra
.me
.has_broke
= 0;
2880 fra
.me
.REG_size
= 1;
2881 fra
.me
.nitni_local_ref_head
= NULL
;
2882 fra
.me
.REG
[0] = NIT_NULL
;
2884 /* metamodel/static_type.nit:423 */
2885 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2886 if (UNTAG_Bool(REGB0
)) {
2888 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 423);
2890 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2893 stack_frame_head
= fra
.me
.prev
;
2894 return fra
.me
.REG
[0];
2896 static const char LOCATE_metamodel___static_type___MMNullableType___as_nullable
[] = "static_type::MMNullableType::(static_type::MMType::as_nullable)";
2897 val_t
metamodel___static_type___MMNullableType___as_nullable(val_t p0
){
2898 struct {struct stack_frame_t me
;} fra
;
2900 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2901 fra
.me
.file
= LOCATE_metamodel___static_type
;
2903 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___as_nullable
;
2904 fra
.me
.has_broke
= 0;
2905 fra
.me
.REG_size
= 1;
2906 fra
.me
.nitni_local_ref_head
= NULL
;
2907 fra
.me
.REG
[0] = NIT_NULL
;
2909 /* metamodel/static_type.nit:424 */
2912 stack_frame_head
= fra
.me
.prev
;
2913 return fra
.me
.REG
[0];
2915 static const char LOCATE_metamodel___static_type___MMNullableType___init
[] = "static_type::MMNullableType::init";
2916 void metamodel___static_type___MMNullableType___init(val_t p0
, val_t p1
, int* init_table
){
2917 int itpos6
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMNullableType
].i
;
2918 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
2920 if (init_table
[itpos6
]) return;
2921 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2922 fra
.me
.file
= LOCATE_metamodel___static_type
;
2924 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___init
;
2925 fra
.me
.has_broke
= 0;
2926 fra
.me
.REG_size
= 3;
2927 fra
.me
.nitni_local_ref_head
= NULL
;
2928 fra
.me
.REG
[0] = NIT_NULL
;
2929 fra
.me
.REG
[1] = NIT_NULL
;
2930 fra
.me
.REG
[2] = NIT_NULL
;
2933 /* metamodel/static_type.nit:425 */
2934 fra
.me
.REG
[2] = fra
.me
.REG
[0];
2935 CALL_metamodel___static_type___MMType___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
2936 ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
2937 stack_frame_head
= fra
.me
.prev
;
2938 init_table
[itpos6
] = 1;
2941 static const char LOCATE_metamodel___static_type___MMNullableType___mmmodule
[] = "static_type::MMNullableType::(static_type::MMType::mmmodule)";
2942 val_t
metamodel___static_type___MMNullableType___mmmodule(val_t p0
){
2943 struct {struct stack_frame_t me
;} fra
;
2946 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2947 fra
.me
.file
= LOCATE_metamodel___static_type
;
2949 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___mmmodule
;
2950 fra
.me
.has_broke
= 0;
2951 fra
.me
.REG_size
= 1;
2952 fra
.me
.nitni_local_ref_head
= NULL
;
2953 fra
.me
.REG
[0] = NIT_NULL
;
2955 /* metamodel/static_type.nit:427 */
2956 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2957 if (UNTAG_Bool(REGB0
)) {
2959 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 427);
2961 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2962 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2965 stack_frame_head
= fra
.me
.prev
;
2966 return fra
.me
.REG
[0];
2968 static const char LOCATE_metamodel___static_type___MMNullableType___local_class
[] = "static_type::MMNullableType::(static_type::MMType::local_class)";
2969 val_t
metamodel___static_type___MMNullableType___local_class(val_t p0
){
2970 struct {struct stack_frame_t me
;} fra
;
2973 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2974 fra
.me
.file
= LOCATE_metamodel___static_type
;
2976 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___local_class
;
2977 fra
.me
.has_broke
= 0;
2978 fra
.me
.REG_size
= 1;
2979 fra
.me
.nitni_local_ref_head
= NULL
;
2980 fra
.me
.REG
[0] = NIT_NULL
;
2982 /* metamodel/static_type.nit:429 */
2983 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
2984 if (UNTAG_Bool(REGB0
)) {
2986 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 429);
2988 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
2989 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___local_class(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
2992 stack_frame_head
= fra
.me
.prev
;
2993 return fra
.me
.REG
[0];
2995 static const char LOCATE_metamodel___static_type___MMNullableType_____l
[] = "static_type::MMNullableType::(static_type::MMType::<)";
2996 val_t
metamodel___static_type___MMNullableType_____l(val_t p0
, val_t p1
){
2997 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3001 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3002 fra
.me
.file
= LOCATE_metamodel___static_type
;
3004 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType_____l
;
3005 fra
.me
.has_broke
= 0;
3006 fra
.me
.REG_size
= 2;
3007 fra
.me
.nitni_local_ref_head
= NULL
;
3008 fra
.me
.REG
[0] = NIT_NULL
;
3009 fra
.me
.REG
[1] = NIT_NULL
;
3012 /* metamodel/static_type.nit:433 */
3013 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], COLOR_metamodel___static_type___MMNullableType
, ID_metamodel___static_type___MMNullableType
)) /*cast MMNullableType*/;
3014 if (UNTAG_Bool(REGB0
)) {
3015 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3016 if (UNTAG_Bool(REGB0
)) {
3018 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 433);
3020 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3021 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___as_notnull(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3022 REGB0
= CALL_metamodel___static_type___MMType_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3024 REGB1
= TAG_Bool(0);
3029 stack_frame_head
= fra
.me
.prev
;
3032 static const char LOCATE_metamodel___static_type___MMNullableType___to_s
[] = "static_type::MMNullableType::(string::Object::to_s)";
3033 val_t
metamodel___static_type___MMNullableType___to_s(val_t p0
){
3034 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
3037 static val_t once_value_1
; /* Once value */
3038 static val_t once_value_2
; /* Once value */
3039 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3040 fra
.me
.file
= LOCATE_metamodel___static_type
;
3042 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___to_s
;
3043 fra
.me
.has_broke
= 0;
3044 fra
.me
.REG_size
= 3;
3045 fra
.me
.nitni_local_ref_head
= NULL
;
3046 fra
.me
.REG
[0] = NIT_NULL
;
3047 fra
.me
.REG
[1] = NIT_NULL
;
3048 fra
.me
.REG
[2] = NIT_NULL
;
3050 /* metamodel/static_type.nit:438 */
3052 fra
.me
.REG
[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
3053 if (!once_value_1
) {
3054 fra
.me
.REG
[2] = BOX_NativeString("nullable ");
3056 fra
.me
.REG
[2] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[2], REGB0
);
3057 once_value_1
= fra
.me
.REG
[2];
3058 register_static_object(&once_value_1
);
3059 } else fra
.me
.REG
[2] = once_value_1
;
3060 fra
.me
.REG
[2] = fra
.me
.REG
[2];
3061 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
3062 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3063 if (UNTAG_Bool(REGB0
)) {
3065 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 438);
3067 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3068 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3069 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
3070 if (!once_value_2
) {
3071 fra
.me
.REG
[0] = BOX_NativeString("");
3073 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB0
);
3074 once_value_2
= fra
.me
.REG
[0];
3075 register_static_object(&once_value_2
);
3076 } else fra
.me
.REG
[0] = once_value_2
;
3077 fra
.me
.REG
[0] = fra
.me
.REG
[0];
3078 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
3079 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3082 stack_frame_head
= fra
.me
.prev
;
3083 return fra
.me
.REG
[1];
3085 static const char LOCATE_metamodel___static_type___MMNullableType___is_supertype
[] = "static_type::MMNullableType::(static_type::MMType::is_supertype)";
3086 val_t
metamodel___static_type___MMNullableType___is_supertype(val_t p0
, val_t p1
){
3087 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3090 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3091 fra
.me
.file
= LOCATE_metamodel___static_type
;
3093 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___is_supertype
;
3094 fra
.me
.has_broke
= 0;
3095 fra
.me
.REG_size
= 2;
3096 fra
.me
.nitni_local_ref_head
= NULL
;
3097 fra
.me
.REG
[0] = NIT_NULL
;
3098 fra
.me
.REG
[1] = NIT_NULL
;
3101 /* metamodel/static_type.nit:443 */
3102 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3103 if (UNTAG_Bool(REGB0
)) {
3105 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 443);
3107 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3108 REGB0
= CALL_metamodel___static_type___MMType___is_supertype(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3111 stack_frame_head
= fra
.me
.prev
;
3114 static const char LOCATE_metamodel___static_type___MMNullableType___for_module
[] = "static_type::MMNullableType::(static_type::MMType::for_module)";
3115 val_t
metamodel___static_type___MMNullableType___for_module(val_t p0
, val_t p1
){
3116 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3119 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3120 fra
.me
.file
= LOCATE_metamodel___static_type
;
3122 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___for_module
;
3123 fra
.me
.has_broke
= 0;
3124 fra
.me
.REG_size
= 2;
3125 fra
.me
.nitni_local_ref_head
= NULL
;
3126 fra
.me
.REG
[0] = NIT_NULL
;
3127 fra
.me
.REG
[1] = NIT_NULL
;
3130 /* metamodel/static_type.nit:448 */
3131 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3132 if (UNTAG_Bool(REGB0
)) {
3134 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 448);
3136 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3137 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___for_module(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3138 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___as_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3141 stack_frame_head
= fra
.me
.prev
;
3142 return fra
.me
.REG
[1];
3144 static const char LOCATE_metamodel___static_type___MMNullableType___adapt_to
[] = "static_type::MMNullableType::(static_type::MMType::adapt_to)";
3145 val_t
metamodel___static_type___MMNullableType___adapt_to(val_t p0
, val_t p1
){
3146 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3149 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3150 fra
.me
.file
= LOCATE_metamodel___static_type
;
3152 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___adapt_to
;
3153 fra
.me
.has_broke
= 0;
3154 fra
.me
.REG_size
= 2;
3155 fra
.me
.nitni_local_ref_head
= NULL
;
3156 fra
.me
.REG
[0] = NIT_NULL
;
3157 fra
.me
.REG
[1] = NIT_NULL
;
3160 /* metamodel/static_type.nit:453 */
3161 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3162 if (UNTAG_Bool(REGB0
)) {
3164 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 453);
3166 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3167 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___adapt_to(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3168 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___as_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3171 stack_frame_head
= fra
.me
.prev
;
3172 return fra
.me
.REG
[1];
3174 static const char LOCATE_metamodel___static_type___MMNullableType___upcast_for
[] = "static_type::MMNullableType::(static_type::MMType::upcast_for)";
3175 val_t
metamodel___static_type___MMNullableType___upcast_for(val_t p0
, val_t p1
){
3176 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3179 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3180 fra
.me
.file
= LOCATE_metamodel___static_type
;
3182 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___upcast_for
;
3183 fra
.me
.has_broke
= 0;
3184 fra
.me
.REG_size
= 2;
3185 fra
.me
.nitni_local_ref_head
= NULL
;
3186 fra
.me
.REG
[0] = NIT_NULL
;
3187 fra
.me
.REG
[1] = NIT_NULL
;
3190 /* metamodel/static_type.nit:458 */
3191 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3192 if (UNTAG_Bool(REGB0
)) {
3194 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 458);
3196 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3197 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___upcast_for(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3200 stack_frame_head
= fra
.me
.prev
;
3201 return fra
.me
.REG
[1];
3203 static const char LOCATE_metamodel___static_type___MMNullableType___not_for_self
[] = "static_type::MMNullableType::(static_type::MMType::not_for_self)";
3204 val_t
metamodel___static_type___MMNullableType___not_for_self(val_t p0
){
3205 struct {struct stack_frame_t me
;} fra
;
3208 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3209 fra
.me
.file
= LOCATE_metamodel___static_type
;
3211 fra
.me
.meth
= LOCATE_metamodel___static_type___MMNullableType___not_for_self
;
3212 fra
.me
.has_broke
= 0;
3213 fra
.me
.REG_size
= 1;
3214 fra
.me
.nitni_local_ref_head
= NULL
;
3215 fra
.me
.REG
[0] = NIT_NULL
;
3217 /* metamodel/static_type.nit:463 */
3218 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0])!=NIT_NULL
);
3219 if (UNTAG_Bool(REGB0
)) {
3221 nit_abort("Uninitialized attribute %s", "_base_type", LOCATE_metamodel___static_type
, 463);
3223 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMNullableType____base_type(fra
.me
.REG
[0]);
3224 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___not_for_self(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3225 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMType___as_nullable(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3228 stack_frame_head
= fra
.me
.prev
;
3229 return fra
.me
.REG
[0];
3231 static const char LOCATE_metamodel___static_type___MMTypeClass___local_class
[] = "static_type::MMTypeClass::(static_type::MMType::local_class)";
3232 val_t
metamodel___static_type___MMTypeClass___local_class(val_t p0
){
3233 struct {struct stack_frame_t me
;} fra
;
3236 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3237 fra
.me
.file
= LOCATE_metamodel___static_type
;
3239 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass___local_class
;
3240 fra
.me
.has_broke
= 0;
3241 fra
.me
.REG_size
= 1;
3242 fra
.me
.nitni_local_ref_head
= NULL
;
3243 fra
.me
.REG
[0] = NIT_NULL
;
3245 /* metamodel/static_type.nit:469 */
3246 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3247 if (UNTAG_Bool(REGB0
)) {
3249 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 469);
3251 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3252 stack_frame_head
= fra
.me
.prev
;
3253 return fra
.me
.REG
[0];
3255 static const char LOCATE_metamodel___static_type___MMTypeClass___mmmodule
[] = "static_type::MMTypeClass::(static_type::MMType::mmmodule)";
3256 val_t
metamodel___static_type___MMTypeClass___mmmodule(val_t p0
){
3257 struct {struct stack_frame_t me
;} fra
;
3260 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3261 fra
.me
.file
= LOCATE_metamodel___static_type
;
3263 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass___mmmodule
;
3264 fra
.me
.has_broke
= 0;
3265 fra
.me
.REG_size
= 1;
3266 fra
.me
.nitni_local_ref_head
= NULL
;
3267 fra
.me
.REG
[0] = NIT_NULL
;
3269 /* metamodel/static_type.nit:470 */
3270 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3271 if (UNTAG_Bool(REGB0
)) {
3273 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 470);
3275 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3276 fra
.me
.REG
[0] = CALL_metamodel___abstractmetamodel___MMLocalClass___mmmodule(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3279 stack_frame_head
= fra
.me
.prev
;
3280 return fra
.me
.REG
[0];
3282 static const char LOCATE_metamodel___static_type___MMTypeClass_____l
[] = "static_type::MMTypeClass::(static_type::MMType::<)";
3283 val_t
metamodel___static_type___MMTypeClass_____l(val_t p0
, val_t p1
){
3284 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3287 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3288 fra
.me
.file
= LOCATE_metamodel___static_type
;
3290 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass_____l
;
3291 fra
.me
.has_broke
= 0;
3292 fra
.me
.REG_size
= 2;
3293 fra
.me
.nitni_local_ref_head
= NULL
;
3294 fra
.me
.REG
[0] = NIT_NULL
;
3295 fra
.me
.REG
[1] = NIT_NULL
;
3298 /* metamodel/static_type.nit:471 */
3299 REGB0
= CALL_metamodel___static_type___MMType___is_supertype(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
3302 stack_frame_head
= fra
.me
.prev
;
3305 static const char LOCATE_metamodel___static_type___MMTypeClass___to_s
[] = "static_type::MMTypeClass::(string::Object::to_s)";
3306 val_t
metamodel___static_type___MMTypeClass___to_s(val_t p0
){
3307 struct {struct stack_frame_t me
;} fra
;
3310 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3311 fra
.me
.file
= LOCATE_metamodel___static_type
;
3313 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass___to_s
;
3314 fra
.me
.has_broke
= 0;
3315 fra
.me
.REG_size
= 1;
3316 fra
.me
.nitni_local_ref_head
= NULL
;
3317 fra
.me
.REG
[0] = NIT_NULL
;
3319 /* metamodel/static_type.nit:475 */
3320 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3321 if (UNTAG_Bool(REGB0
)) {
3323 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 475);
3325 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3326 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3329 stack_frame_head
= fra
.me
.prev
;
3330 return fra
.me
.REG
[0];
3332 static const char LOCATE_metamodel___static_type___MMTypeClass___upcast_for
[] = "static_type::MMTypeClass::(static_type::MMType::upcast_for)";
3333 val_t
metamodel___static_type___MMTypeClass___upcast_for(val_t p0
, val_t p1
){
3334 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
3338 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3339 fra
.me
.file
= LOCATE_metamodel___static_type
;
3341 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass___upcast_for
;
3342 fra
.me
.has_broke
= 0;
3343 fra
.me
.REG_size
= 4;
3344 fra
.me
.nitni_local_ref_head
= NULL
;
3345 fra
.me
.REG
[0] = NIT_NULL
;
3346 fra
.me
.REG
[1] = NIT_NULL
;
3347 fra
.me
.REG
[2] = NIT_NULL
;
3348 fra
.me
.REG
[3] = NIT_NULL
;
3351 /* metamodel/static_type.nit:480 */
3352 fra
.me
.REG
[2] = fra
.me
.REG
[0];
3353 /* metamodel/static_type.nit:481 */
3354 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3355 if (UNTAG_Bool(REGB0
)) {
3357 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 481);
3359 fra
.me
.REG
[3] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3360 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[1]));
3361 if (UNTAG_Bool(REGB0
)) {
3363 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
3366 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
3367 if (UNTAG_Bool(REGB0
)) {
3368 /* metamodel/static_type.nit:482 */
3369 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3370 if (UNTAG_Bool(REGB0
)) {
3372 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 482);
3374 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3375 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMLocalClass___ancestor(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3376 fra
.me
.REG
[2] = fra
.me
.REG
[1];
3378 /* metamodel/static_type.nit:484 */
3381 stack_frame_head
= fra
.me
.prev
;
3382 return fra
.me
.REG
[2];
3384 static const char LOCATE_metamodel___static_type___MMTypeClass___init
[] = "static_type::MMTypeClass::init";
3385 void metamodel___static_type___MMTypeClass___init(val_t p0
, val_t p1
, int* init_table
){
3386 int itpos7
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMTypeClass
].i
;
3387 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
3389 if (init_table
[itpos7
]) return;
3390 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3391 fra
.me
.file
= LOCATE_metamodel___static_type
;
3393 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeClass___init
;
3394 fra
.me
.has_broke
= 0;
3395 fra
.me
.REG_size
= 3;
3396 fra
.me
.nitni_local_ref_head
= NULL
;
3397 fra
.me
.REG
[0] = NIT_NULL
;
3398 fra
.me
.REG
[1] = NIT_NULL
;
3399 fra
.me
.REG
[2] = NIT_NULL
;
3402 /* metamodel/static_type.nit:487 */
3403 fra
.me
.REG
[2] = fra
.me
.REG
[0];
3404 CALL_metamodel___static_type___MMType___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
3405 /* metamodel/static_type.nit:489 */
3406 ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
3407 stack_frame_head
= fra
.me
.prev
;
3408 init_table
[itpos7
] = 1;
3411 static const char LOCATE_metamodel___static_type___MMTypeSimpleClass___is_supertype
[] = "static_type::MMTypeSimpleClass::(static_type::MMType::is_supertype)";
3412 val_t
metamodel___static_type___MMTypeSimpleClass___is_supertype(val_t p0
, val_t p1
){
3413 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3416 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3417 fra
.me
.file
= LOCATE_metamodel___static_type
;
3419 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeSimpleClass___is_supertype
;
3420 fra
.me
.has_broke
= 0;
3421 fra
.me
.REG_size
= 2;
3422 fra
.me
.nitni_local_ref_head
= NULL
;
3423 fra
.me
.REG
[0] = NIT_NULL
;
3424 fra
.me
.REG
[1] = NIT_NULL
;
3427 /* metamodel/static_type.nit:497 */
3428 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3429 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMLocalClass___cshe(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3430 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3431 if (UNTAG_Bool(REGB0
)) {
3433 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 497);
3435 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3436 REGB0
= CALL_metamodel___partial_order___PartialOrderElement_____leq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
3439 stack_frame_head
= fra
.me
.prev
;
3442 static const char LOCATE_metamodel___static_type___MMTypeSimpleClass___for_module
[] = "static_type::MMTypeSimpleClass::(static_type::MMType::for_module)";
3443 val_t
metamodel___static_type___MMTypeSimpleClass___for_module(val_t p0
, val_t p1
){
3444 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
3448 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3449 fra
.me
.file
= LOCATE_metamodel___static_type
;
3451 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeSimpleClass___for_module
;
3452 fra
.me
.has_broke
= 0;
3453 fra
.me
.REG_size
= 4;
3454 fra
.me
.nitni_local_ref_head
= NULL
;
3455 fra
.me
.REG
[0] = NIT_NULL
;
3456 fra
.me
.REG
[1] = NIT_NULL
;
3457 fra
.me
.REG
[2] = NIT_NULL
;
3458 fra
.me
.REG
[3] = NIT_NULL
;
3461 /* metamodel/static_type.nit:502 */
3462 fra
.me
.REG
[2] = fra
.me
.REG
[0];
3463 /* metamodel/static_type.nit:503 */
3464 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMType___mmmodule(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
3465 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[3],fra
.me
.REG
[1]));
3466 if (UNTAG_Bool(REGB0
)) {
3468 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
3471 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
3472 if (UNTAG_Bool(REGB0
)) {
3473 /* metamodel/static_type.nit:504 */
3474 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0])!=NIT_NULL
);
3475 if (UNTAG_Bool(REGB0
)) {
3477 nit_abort("Uninitialized attribute %s", "_local_class", LOCATE_metamodel___static_type
, 504);
3479 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeClass____local_class(fra
.me
.REG
[0]);
3480 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMLocalClass___for_module(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3481 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMLocalClass___get_type(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3482 fra
.me
.REG
[2] = fra
.me
.REG
[1];
3484 /* metamodel/static_type.nit:506 */
3487 stack_frame_head
= fra
.me
.prev
;
3488 return fra
.me
.REG
[2];
3490 static const char LOCATE_metamodel___static_type___MMTypeSimpleClass___adapt_to
[] = "static_type::MMTypeSimpleClass::(static_type::MMType::adapt_to)";
3491 val_t
metamodel___static_type___MMTypeSimpleClass___adapt_to(val_t p0
, val_t p1
){
3492 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3494 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3495 fra
.me
.file
= LOCATE_metamodel___static_type
;
3497 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeSimpleClass___adapt_to
;
3498 fra
.me
.has_broke
= 0;
3499 fra
.me
.REG_size
= 2;
3500 fra
.me
.nitni_local_ref_head
= NULL
;
3501 fra
.me
.REG
[0] = NIT_NULL
;
3502 fra
.me
.REG
[1] = NIT_NULL
;
3505 /* metamodel/static_type.nit:509 */
3508 stack_frame_head
= fra
.me
.prev
;
3509 return fra
.me
.REG
[0];
3511 static const char LOCATE_metamodel___static_type___MMTypeSimpleClass___init
[] = "static_type::MMTypeSimpleClass::init";
3512 void metamodel___static_type___MMTypeSimpleClass___init(val_t p0
, val_t p1
, int* init_table
){
3513 int itpos8
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMTypeSimpleClass
].i
;
3514 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3516 if (init_table
[itpos8
]) return;
3517 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3518 fra
.me
.file
= LOCATE_metamodel___static_type
;
3520 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeSimpleClass___init
;
3521 fra
.me
.has_broke
= 0;
3522 fra
.me
.REG_size
= 2;
3523 fra
.me
.nitni_local_ref_head
= NULL
;
3524 fra
.me
.REG
[0] = NIT_NULL
;
3525 fra
.me
.REG
[1] = NIT_NULL
;
3528 /* metamodel/static_type.nit:513 */
3529 CALL_metamodel___static_type___MMTypeClass___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1], init_table
);
3530 stack_frame_head
= fra
.me
.prev
;
3531 init_table
[itpos8
] = 1;
3534 static const char LOCATE_metamodel___static_type___MMTypeNone___mmmodule
[] = "static_type::MMTypeNone::(static_type::MMType::mmmodule)";
3535 val_t
metamodel___static_type___MMTypeNone___mmmodule(val_t p0
){
3536 struct {struct stack_frame_t me
;} fra
;
3539 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3540 fra
.me
.file
= LOCATE_metamodel___static_type
;
3542 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___mmmodule
;
3543 fra
.me
.has_broke
= 0;
3544 fra
.me
.REG_size
= 1;
3545 fra
.me
.nitni_local_ref_head
= NULL
;
3546 fra
.me
.REG
[0] = NIT_NULL
;
3548 /* metamodel/static_type.nit:520 */
3549 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMTypeNone____mmmodule(fra
.me
.REG
[0])!=NIT_NULL
);
3550 if (UNTAG_Bool(REGB0
)) {
3552 nit_abort("Uninitialized attribute %s", "_mmmodule", LOCATE_metamodel___static_type
, 520);
3554 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMTypeNone____mmmodule(fra
.me
.REG
[0]);
3555 stack_frame_head
= fra
.me
.prev
;
3556 return fra
.me
.REG
[0];
3558 static const char LOCATE_metamodel___static_type___MMTypeNone___is_nullable
[] = "static_type::MMTypeNone::(static_type::MMType::is_nullable)";
3559 val_t
metamodel___static_type___MMTypeNone___is_nullable(val_t p0
){
3560 struct {struct stack_frame_t me
;} fra
;
3563 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3564 fra
.me
.file
= LOCATE_metamodel___static_type
;
3566 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___is_nullable
;
3567 fra
.me
.has_broke
= 0;
3568 fra
.me
.REG_size
= 1;
3569 fra
.me
.nitni_local_ref_head
= NULL
;
3570 fra
.me
.REG
[0] = NIT_NULL
;
3572 /* metamodel/static_type.nit:521 */
3573 REGB0
= TAG_Bool(1);
3576 stack_frame_head
= fra
.me
.prev
;
3579 static const char LOCATE_metamodel___static_type___MMTypeNone_____l
[] = "static_type::MMTypeNone::(static_type::MMType::<)";
3580 val_t
metamodel___static_type___MMTypeNone_____l(val_t p0
, val_t p1
){
3581 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3585 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3586 fra
.me
.file
= LOCATE_metamodel___static_type
;
3588 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone_____l
;
3589 fra
.me
.has_broke
= 0;
3590 fra
.me
.REG_size
= 2;
3591 fra
.me
.nitni_local_ref_head
= NULL
;
3592 fra
.me
.REG
[0] = NIT_NULL
;
3593 fra
.me
.REG
[1] = NIT_NULL
;
3596 /* metamodel/static_type.nit:522 */
3597 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], COLOR_metamodel___static_type___MMTypeNone
, ID_metamodel___static_type___MMTypeNone
)) /*cast MMTypeNone*/;
3598 if (UNTAG_Bool(REGB0
)) {
3599 REGB0
= TAG_Bool(1);
3601 REGB1
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], COLOR_metamodel___static_type___MMNullableType
, ID_metamodel___static_type___MMNullableType
)) /*cast MMNullableType*/;
3606 stack_frame_head
= fra
.me
.prev
;
3609 static const char LOCATE_metamodel___static_type___MMTypeNone___to_s
[] = "static_type::MMTypeNone::(string::Object::to_s)";
3610 val_t
metamodel___static_type___MMTypeNone___to_s(val_t p0
){
3611 struct {struct stack_frame_t me
;} fra
;
3614 static val_t once_value_1
; /* Once value */
3615 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3616 fra
.me
.file
= LOCATE_metamodel___static_type
;
3618 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___to_s
;
3619 fra
.me
.has_broke
= 0;
3620 fra
.me
.REG_size
= 1;
3621 fra
.me
.nitni_local_ref_head
= NULL
;
3622 fra
.me
.REG
[0] = NIT_NULL
;
3624 /* metamodel/static_type.nit:523 */
3625 if (!once_value_1
) {
3626 fra
.me
.REG
[0] = BOX_NativeString("null");
3628 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB0
);
3629 once_value_1
= fra
.me
.REG
[0];
3630 register_static_object(&once_value_1
);
3631 } else fra
.me
.REG
[0] = once_value_1
;
3632 fra
.me
.REG
[0] = fra
.me
.REG
[0];
3635 stack_frame_head
= fra
.me
.prev
;
3636 return fra
.me
.REG
[0];
3638 static const char LOCATE_metamodel___static_type___MMTypeNone___is_supertype
[] = "static_type::MMTypeNone::(static_type::MMType::is_supertype)";
3639 val_t
metamodel___static_type___MMTypeNone___is_supertype(val_t p0
, val_t p1
){
3640 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3643 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3644 fra
.me
.file
= LOCATE_metamodel___static_type
;
3646 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___is_supertype
;
3647 fra
.me
.has_broke
= 0;
3648 fra
.me
.REG_size
= 2;
3649 fra
.me
.nitni_local_ref_head
= NULL
;
3650 fra
.me
.REG
[0] = NIT_NULL
;
3651 fra
.me
.REG
[1] = NIT_NULL
;
3654 /* metamodel/static_type.nit:524 */
3655 REGB0
= TAG_Bool(0);
3658 stack_frame_head
= fra
.me
.prev
;
3661 static const char LOCATE_metamodel___static_type___MMTypeNone___local_class
[] = "static_type::MMTypeNone::(static_type::MMType::local_class)";
3662 val_t
metamodel___static_type___MMTypeNone___local_class(val_t p0
){
3663 struct {struct stack_frame_t me
;} fra
;
3665 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3666 fra
.me
.file
= LOCATE_metamodel___static_type
;
3668 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___local_class
;
3669 fra
.me
.has_broke
= 0;
3670 fra
.me
.REG_size
= 1;
3671 fra
.me
.nitni_local_ref_head
= NULL
;
3672 fra
.me
.REG
[0] = NIT_NULL
;
3674 /* metamodel/static_type.nit:525 */
3675 nit_abort("Aborted", NULL
, LOCATE_metamodel___static_type
, 525);
3676 stack_frame_head
= fra
.me
.prev
;
3679 static const char LOCATE_metamodel___static_type___MMTypeNone___upcast_for
[] = "static_type::MMTypeNone::(static_type::MMType::upcast_for)";
3680 val_t
metamodel___static_type___MMTypeNone___upcast_for(val_t p0
, val_t p1
){
3681 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3683 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3684 fra
.me
.file
= LOCATE_metamodel___static_type
;
3686 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___upcast_for
;
3687 fra
.me
.has_broke
= 0;
3688 fra
.me
.REG_size
= 2;
3689 fra
.me
.nitni_local_ref_head
= NULL
;
3690 fra
.me
.REG
[0] = NIT_NULL
;
3691 fra
.me
.REG
[1] = NIT_NULL
;
3694 /* metamodel/static_type.nit:526 */
3695 nit_abort("Aborted", NULL
, LOCATE_metamodel___static_type
, 526);
3696 stack_frame_head
= fra
.me
.prev
;
3699 static const char LOCATE_metamodel___static_type___MMTypeNone___as_nullable
[] = "static_type::MMTypeNone::(static_type::MMType::as_nullable)";
3700 val_t
metamodel___static_type___MMTypeNone___as_nullable(val_t p0
){
3701 struct {struct stack_frame_t me
;} fra
;
3703 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3704 fra
.me
.file
= LOCATE_metamodel___static_type
;
3706 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___as_nullable
;
3707 fra
.me
.has_broke
= 0;
3708 fra
.me
.REG_size
= 1;
3709 fra
.me
.nitni_local_ref_head
= NULL
;
3710 fra
.me
.REG
[0] = NIT_NULL
;
3712 /* metamodel/static_type.nit:527 */
3715 stack_frame_head
= fra
.me
.prev
;
3716 return fra
.me
.REG
[0];
3718 static const char LOCATE_metamodel___static_type___MMTypeNone___as_notnull
[] = "static_type::MMTypeNone::(static_type::MMType::as_notnull)";
3719 val_t
metamodel___static_type___MMTypeNone___as_notnull(val_t p0
){
3720 struct {struct stack_frame_t me
;} fra
;
3722 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3723 fra
.me
.file
= LOCATE_metamodel___static_type
;
3725 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___as_notnull
;
3726 fra
.me
.has_broke
= 0;
3727 fra
.me
.REG_size
= 1;
3728 fra
.me
.nitni_local_ref_head
= NULL
;
3729 fra
.me
.REG
[0] = NIT_NULL
;
3731 /* metamodel/static_type.nit:528 */
3732 nit_abort("Aborted", NULL
, LOCATE_metamodel___static_type
, 528);
3733 stack_frame_head
= fra
.me
.prev
;
3736 static const char LOCATE_metamodel___static_type___MMTypeNone___init
[] = "static_type::MMTypeNone::init";
3737 void metamodel___static_type___MMTypeNone___init(val_t p0
, val_t p1
, int* init_table
){
3738 int itpos9
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMTypeNone
].i
;
3739 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
3741 if (init_table
[itpos9
]) return;
3742 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3743 fra
.me
.file
= LOCATE_metamodel___static_type
;
3745 fra
.me
.meth
= LOCATE_metamodel___static_type___MMTypeNone___init
;
3746 fra
.me
.has_broke
= 0;
3747 fra
.me
.REG_size
= 3;
3748 fra
.me
.nitni_local_ref_head
= NULL
;
3749 fra
.me
.REG
[0] = NIT_NULL
;
3750 fra
.me
.REG
[1] = NIT_NULL
;
3751 fra
.me
.REG
[2] = NIT_NULL
;
3754 /* metamodel/static_type.nit:530 */
3755 fra
.me
.REG
[2] = fra
.me
.REG
[0];
3756 CALL_metamodel___static_type___MMType___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
3757 ATTR_metamodel___static_type___MMTypeNone____mmmodule(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
3758 stack_frame_head
= fra
.me
.prev
;
3759 init_table
[itpos9
] = 1;
3762 static const char LOCATE_metamodel___static_type___MMModule___type_none
[] = "static_type::MMModule::type_none";
3763 val_t
metamodel___static_type___MMModule___type_none(val_t p0
){
3764 struct {struct stack_frame_t me
;} fra
;
3767 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3768 fra
.me
.file
= LOCATE_metamodel___static_type
;
3770 fra
.me
.meth
= LOCATE_metamodel___static_type___MMModule___type_none
;
3771 fra
.me
.has_broke
= 0;
3772 fra
.me
.REG_size
= 1;
3773 fra
.me
.nitni_local_ref_head
= NULL
;
3774 fra
.me
.REG
[0] = NIT_NULL
;
3776 /* metamodel/static_type.nit:534 */
3777 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMModule____type_none(fra
.me
.REG
[0])!=NIT_NULL
);
3778 if (UNTAG_Bool(REGB0
)) {
3780 nit_abort("Uninitialized attribute %s", "_type_none", LOCATE_metamodel___static_type
, 534);
3782 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMModule____type_none(fra
.me
.REG
[0]);
3783 stack_frame_head
= fra
.me
.prev
;
3784 return fra
.me
.REG
[0];
3786 static const char LOCATE_metamodel___static_type___MMModule___type_bool
[] = "static_type::MMModule::type_bool";
3787 val_t
metamodel___static_type___MMModule___type_bool(val_t p0
){
3788 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3791 static val_t once_value_1
; /* Once value */
3792 static val_t once_value_2
; /* Once value */
3793 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3794 fra
.me
.file
= LOCATE_metamodel___static_type
;
3796 fra
.me
.meth
= LOCATE_metamodel___static_type___MMModule___type_bool
;
3797 fra
.me
.has_broke
= 0;
3798 fra
.me
.REG_size
= 2;
3799 fra
.me
.nitni_local_ref_head
= NULL
;
3800 fra
.me
.REG
[0] = NIT_NULL
;
3801 fra
.me
.REG
[1] = NIT_NULL
;
3803 /* metamodel/static_type.nit:540 */
3804 if (!once_value_1
) {
3805 if (!once_value_2
) {
3806 fra
.me
.REG
[1] = BOX_NativeString("Bool");
3808 fra
.me
.REG
[1] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[1], REGB0
);
3809 once_value_2
= fra
.me
.REG
[1];
3810 register_static_object(&once_value_2
);
3811 } else fra
.me
.REG
[1] = once_value_2
;
3812 fra
.me
.REG
[1] = fra
.me
.REG
[1];
3813 fra
.me
.REG
[1] = CALL_symbol___String___to_symbol(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3814 once_value_1
= fra
.me
.REG
[1];
3815 register_static_object(&once_value_1
);
3816 } else fra
.me
.REG
[1] = once_value_1
;
3817 fra
.me
.REG
[1] = fra
.me
.REG
[1];
3818 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMModule___class_by_name(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
3819 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMLocalClass___get_type(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3822 stack_frame_head
= fra
.me
.prev
;
3823 return fra
.me
.REG
[1];
3825 static const char LOCATE_metamodel___static_type___MMImportedCast___from
[] = "static_type::MMImportedCast::from";
3826 val_t
metamodel___static_type___MMImportedCast___from(val_t p0
){
3827 struct {struct stack_frame_t me
;} fra
;
3830 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3831 fra
.me
.file
= LOCATE_metamodel___static_type
;
3833 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___from
;
3834 fra
.me
.has_broke
= 0;
3835 fra
.me
.REG_size
= 1;
3836 fra
.me
.nitni_local_ref_head
= NULL
;
3837 fra
.me
.REG
[0] = NIT_NULL
;
3839 /* metamodel/static_type.nit:546 */
3840 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3841 if (UNTAG_Bool(REGB0
)) {
3843 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 546);
3845 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3846 stack_frame_head
= fra
.me
.prev
;
3847 return fra
.me
.REG
[0];
3849 static const char LOCATE_metamodel___static_type___MMImportedCast___to
[] = "static_type::MMImportedCast::to";
3850 val_t
metamodel___static_type___MMImportedCast___to(val_t p0
){
3851 struct {struct stack_frame_t me
;} fra
;
3854 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3855 fra
.me
.file
= LOCATE_metamodel___static_type
;
3857 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___to
;
3858 fra
.me
.has_broke
= 0;
3859 fra
.me
.REG_size
= 1;
3860 fra
.me
.nitni_local_ref_head
= NULL
;
3861 fra
.me
.REG
[0] = NIT_NULL
;
3863 /* metamodel/static_type.nit:547 */
3864 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3865 if (UNTAG_Bool(REGB0
)) {
3867 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 547);
3869 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3870 stack_frame_head
= fra
.me
.prev
;
3871 return fra
.me
.REG
[0];
3873 static const char LOCATE_metamodel___static_type___MMImportedCast___is_about_nullable_only
[] = "static_type::MMImportedCast::is_about_nullable_only";
3874 val_t
metamodel___static_type___MMImportedCast___is_about_nullable_only(val_t p0
){
3875 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
3880 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3881 fra
.me
.file
= LOCATE_metamodel___static_type
;
3883 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___is_about_nullable_only
;
3884 fra
.me
.has_broke
= 0;
3885 fra
.me
.REG_size
= 3;
3886 fra
.me
.nitni_local_ref_head
= NULL
;
3887 fra
.me
.REG
[0] = NIT_NULL
;
3888 fra
.me
.REG
[1] = NIT_NULL
;
3889 fra
.me
.REG
[2] = NIT_NULL
;
3891 /* metamodel/static_type.nit:551 */
3892 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3893 if (UNTAG_Bool(REGB0
)) {
3895 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 551);
3897 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3898 REGB0
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3899 if (UNTAG_Bool(REGB0
)) {
3900 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3901 if (UNTAG_Bool(REGB0
)) {
3903 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 551);
3905 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3906 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMType___as_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3907 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3908 if (UNTAG_Bool(REGB0
)) {
3910 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 551);
3912 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3913 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[2]));
3914 if (UNTAG_Bool(REGB0
)) {
3916 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
3920 REGB1
= TAG_Bool(0);
3923 if (UNTAG_Bool(REGB0
)) {
3924 REGB0
= TAG_Bool(1);
3926 /* metamodel/static_type.nit:552 */
3927 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3928 if (UNTAG_Bool(REGB1
)) {
3930 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 552);
3932 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3933 REGB1
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
3934 if (UNTAG_Bool(REGB1
)) {
3935 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3936 if (UNTAG_Bool(REGB1
)) {
3938 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 552);
3940 fra
.me
.REG
[2] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3941 fra
.me
.REG
[2] = CALL_metamodel___static_type___MMType___as_nullable(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
3942 REGB1
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3943 if (UNTAG_Bool(REGB1
)) {
3945 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 552);
3947 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3948 REGB1
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[2],fra
.me
.REG
[0]));
3949 if (UNTAG_Bool(REGB1
)) {
3951 REGB2
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[0]);
3955 REGB2
= TAG_Bool(0);
3958 /* metamodel/static_type.nit:551 */
3963 stack_frame_head
= fra
.me
.prev
;
3966 static const char LOCATE_metamodel___static_type___MMImportedCast___is_not_null_to_nullable
[] = "static_type::MMImportedCast::is_not_null_to_nullable";
3967 val_t
metamodel___static_type___MMImportedCast___is_not_null_to_nullable(val_t p0
){
3968 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
3972 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
3973 fra
.me
.file
= LOCATE_metamodel___static_type
;
3975 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___is_not_null_to_nullable
;
3976 fra
.me
.has_broke
= 0;
3977 fra
.me
.REG_size
= 2;
3978 fra
.me
.nitni_local_ref_head
= NULL
;
3979 fra
.me
.REG
[0] = NIT_NULL
;
3980 fra
.me
.REG
[1] = NIT_NULL
;
3982 /* metamodel/static_type.nit:557 */
3983 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
3984 if (UNTAG_Bool(REGB0
)) {
3986 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 557);
3988 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
3989 REGB0
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
3990 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
3991 if (UNTAG_Bool(REGB0
)) {
3992 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
3993 if (UNTAG_Bool(REGB0
)) {
3995 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 557);
3997 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
3998 REGB0
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
4000 REGB1
= TAG_Bool(0);
4005 stack_frame_head
= fra
.me
.prev
;
4008 static const char LOCATE_metamodel___static_type___MMImportedCast___is_nullable_to_not_null
[] = "static_type::MMImportedCast::is_nullable_to_not_null";
4009 val_t
metamodel___static_type___MMImportedCast___is_nullable_to_not_null(val_t p0
){
4010 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
4014 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
4015 fra
.me
.file
= LOCATE_metamodel___static_type
;
4017 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___is_nullable_to_not_null
;
4018 fra
.me
.has_broke
= 0;
4019 fra
.me
.REG_size
= 2;
4020 fra
.me
.nitni_local_ref_head
= NULL
;
4021 fra
.me
.REG
[0] = NIT_NULL
;
4022 fra
.me
.REG
[1] = NIT_NULL
;
4024 /* metamodel/static_type.nit:562 */
4025 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0])!=NIT_NULL
);
4026 if (UNTAG_Bool(REGB0
)) {
4028 nit_abort("Uninitialized attribute %s", "_from", LOCATE_metamodel___static_type
, 562);
4030 fra
.me
.REG
[1] = ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]);
4031 REGB0
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
4032 if (UNTAG_Bool(REGB0
)) {
4033 REGB0
= TAG_Bool(ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0])!=NIT_NULL
);
4034 if (UNTAG_Bool(REGB0
)) {
4036 nit_abort("Uninitialized attribute %s", "_to", LOCATE_metamodel___static_type
, 562);
4038 fra
.me
.REG
[0] = ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]);
4039 REGB0
= CALL_metamodel___static_type___MMType___is_nullable(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
4040 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
4042 REGB1
= TAG_Bool(0);
4047 stack_frame_head
= fra
.me
.prev
;
4050 static const char LOCATE_metamodel___static_type___MMImportedCast_____eqeq
[] = "static_type::MMImportedCast::(kernel::Object::==)";
4051 val_t
metamodel___static_type___MMImportedCast_____eqeq(val_t p0
, val_t p1
){
4052 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
4056 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
4057 fra
.me
.file
= LOCATE_metamodel___static_type
;
4059 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast_____eqeq
;
4060 fra
.me
.has_broke
= 0;
4061 fra
.me
.REG_size
= 4;
4062 fra
.me
.nitni_local_ref_head
= NULL
;
4063 fra
.me
.REG
[0] = NIT_NULL
;
4064 fra
.me
.REG
[1] = NIT_NULL
;
4065 fra
.me
.REG
[2] = NIT_NULL
;
4066 fra
.me
.REG
[3] = NIT_NULL
;
4069 /* metamodel/static_type.nit:567 */
4070 REGB0
= TAG_Bool((fra
.me
.REG
[1]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[1], COLOR_metamodel___static_type___MMImportedCast
, ID_metamodel___static_type___MMImportedCast
)) /*cast MMImportedCast*/;
4071 if (UNTAG_Bool(REGB0
)) {
4072 /* metamodel/static_type.nit:568 */
4073 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
4074 if (UNTAG_Bool(REGB0
)) {
4075 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 568);
4077 fra
.me
.REG
[2] = CALL_metamodel___static_type___MMImportedCast___from(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
4078 fra
.me
.REG
[3] = CALL_metamodel___static_type___MMImportedCast___from(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
4079 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[2],fra
.me
.REG
[3]));
4080 if (UNTAG_Bool(REGB0
)) {
4082 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
4086 /* metamodel/static_type.nit:567 */
4087 REGB1
= TAG_Bool(0);
4090 if (UNTAG_Bool(REGB0
)) {
4091 /* metamodel/static_type.nit:568 */
4092 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
4093 if (UNTAG_Bool(REGB0
)) {
4094 nit_abort("Reciever is null", NULL
, LOCATE_metamodel___static_type
, 568);
4096 fra
.me
.REG
[1] = CALL_metamodel___static_type___MMImportedCast___to(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
4097 fra
.me
.REG
[0] = CALL_metamodel___static_type___MMImportedCast___to(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
4098 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],fra
.me
.REG
[0]));
4099 if (UNTAG_Bool(REGB0
)) {
4101 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
4105 /* metamodel/static_type.nit:567 */
4106 REGB1
= TAG_Bool(0);
4111 stack_frame_head
= fra
.me
.prev
;
4114 static const char LOCATE_metamodel___static_type___MMImportedCast___init
[] = "static_type::MMImportedCast::init";
4115 void metamodel___static_type___MMImportedCast___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
){
4116 int itpos10
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_metamodel___static_type___MMImportedCast
].i
;
4117 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
4119 if (init_table
[itpos10
]) return;
4120 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
4121 fra
.me
.file
= LOCATE_metamodel___static_type
;
4123 fra
.me
.meth
= LOCATE_metamodel___static_type___MMImportedCast___init
;
4124 fra
.me
.has_broke
= 0;
4125 fra
.me
.REG_size
= 3;
4126 fra
.me
.nitni_local_ref_head
= NULL
;
4127 fra
.me
.REG
[0] = NIT_NULL
;
4128 fra
.me
.REG
[1] = NIT_NULL
;
4129 fra
.me
.REG
[2] = NIT_NULL
;
4133 ATTR_metamodel___static_type___MMImportedCast____from(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
4134 ATTR_metamodel___static_type___MMImportedCast____to(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
4135 stack_frame_head
= fra
.me
.prev
;
4136 init_table
[itpos10
] = 1;
4139 static const char LOCATE_metamodel___static_type___MMMethod___explicit_casts
[] = "static_type::MMMethod::explicit_casts";
4140 val_t
metamodel___static_type___MMMethod___explicit_casts(val_t p0
){
4141 struct {struct stack_frame_t me
;} fra
;
4143 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
4144 fra
.me
.file
= LOCATE_metamodel___static_type
;
4146 fra
.me
.meth
= LOCATE_metamodel___static_type___MMMethod___explicit_casts
;
4147 fra
.me
.has_broke
= 0;
4148 fra
.me
.REG_size
= 0;
4149 fra
.me
.nitni_local_ref_head
= NULL
;
4150 /* metamodel/static_type.nit:574 */
4151 nit_abort("Deferred method called", NULL
, LOCATE_metamodel___static_type
, 574);
4152 stack_frame_head
= fra
.me
.prev
;