1 /* This C file is generated by NIT to compile module control_flow. */
2 #include "control_flow._sep.h"
3 val_t
control_flow___VariableContext___to_s(val_t p0
){
4 struct {struct stack_frame_t me
; val_t MORE_REG
[6];} fra
;
8 static val_t once_value_2
; /* Once value */
9 static val_t once_value_3
; /* Once value */
10 static val_t once_value_4
; /* Once value */
11 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
12 fra
.me
.file
= LOCATE_control_flow
;
14 fra
.me
.meth
= LOCATE_control_flow___VariableContext___to_s
;
17 fra
.me
.REG
[0] = NIT_NULL
;
18 fra
.me
.REG
[1] = NIT_NULL
;
19 fra
.me
.REG
[2] = NIT_NULL
;
20 fra
.me
.REG
[3] = NIT_NULL
;
21 fra
.me
.REG
[4] = NIT_NULL
;
22 fra
.me
.REG
[5] = NIT_NULL
;
23 fra
.me
.REG
[6] = NIT_NULL
;
25 fra
.me
.REG
[1] = NEW_Buffer_string___Buffer___init();
26 fra
.me
.REG
[2] = CALL_control_flow___VariableContext___node(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
27 fra
.me
.REG
[2] = CALL_parser_nodes___ANode___location(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
28 fra
.me
.REG
[2] = CALL_string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
29 /* ./syntax//control_flow.nit:182 */
30 CALL_abstract_collection___Sequence___append(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
31 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[0])!=NIT_NULL
);
32 /* ./syntax//control_flow.nit:183 */
33 if (UNTAG_Bool(REGB0
)) {
35 fprintf(stderr
, "Uninitialized attribute %s", "_all_variables");
36 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 183);
39 fra
.me
.REG
[2] = ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[0]);
40 fra
.me
.REG
[2] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
42 REGB0
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
43 if (UNTAG_Bool(REGB0
)) {
44 fra
.me
.REG
[3] = CALL_abstract_collection___Iterator___item(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
45 fra
.me
.REG
[4] = CALL_control_flow___VariableContext___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
46 REGB0
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
47 /* ./syntax//control_flow.nit:185 */
48 if (UNTAG_Bool(REGB0
)) {
50 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
51 if (UNTAG_Bool(REGB1
)) {
52 REGB1
= TAG_Bool(false);
55 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], NIT_NULL
);
59 if (UNTAG_Bool(REGB0
)) {
63 fra
.me
.REG
[5] = NEW_Array_array___Array___with_capacity(REGB0
);
64 /* ./syntax//control_flow.nit:186 */
66 fra
.me
.REG
[6] = BOX_NativeString(" ");
68 fra
.me
.REG
[6] = NEW_String_string___String___with_native(fra
.me
.REG
[6], REGB0
);
69 once_value_2
= fra
.me
.REG
[6];
70 register_static_object(&once_value_2
);
71 } else fra
.me
.REG
[6] = once_value_2
;
72 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[6]);
73 fra
.me
.REG
[3] = CALL_string___Object___to_s(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
74 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[3]);
76 fra
.me
.REG
[3] = BOX_NativeString(":");
78 fra
.me
.REG
[3] = NEW_String_string___String___with_native(fra
.me
.REG
[3], REGB0
);
79 once_value_3
= fra
.me
.REG
[3];
80 register_static_object(&once_value_3
);
81 } else fra
.me
.REG
[3] = once_value_3
;
82 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[3]);
83 fra
.me
.REG
[4] = CALL_string___Object___to_s(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
84 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[4]);
86 fra
.me
.REG
[4] = BOX_NativeString("");
88 fra
.me
.REG
[4] = NEW_String_string___String___with_native(fra
.me
.REG
[4], REGB0
);
89 once_value_4
= fra
.me
.REG
[4];
90 register_static_object(&once_value_4
);
91 } else fra
.me
.REG
[4] = once_value_4
;
92 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[4]);
93 fra
.me
.REG
[5] = CALL_string___Object___to_s(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
94 CALL_abstract_collection___Sequence___append(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[5]);
97 /* ./syntax//control_flow.nit:183 */
100 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
103 fra
.me
.REG
[1] = CALL_string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
104 /* ./syntax//control_flow.nit:188 */
107 stack_frame_head
= fra
.me
.prev
;
108 return fra
.me
.REG
[1];
110 val_t
control_flow___VariableContext_____bra(val_t p0
, val_t p1
){
111 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
114 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
115 fra
.me
.file
= LOCATE_control_flow
;
117 fra
.me
.meth
= LOCATE_control_flow___VariableContext_____bra
;
118 fra
.me
.has_broke
= 0;
120 fra
.me
.REG
[0] = NIT_NULL
;
121 fra
.me
.REG
[1] = NIT_NULL
;
122 fra
.me
.REG
[2] = NIT_NULL
;
125 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0])!=NIT_NULL
);
126 /* ./syntax//control_flow.nit:29 */
127 if (UNTAG_Bool(REGB0
)) {
129 fprintf(stderr
, "Uninitialized attribute %s", "_dico");
130 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 29);
133 fra
.me
.REG
[2] = ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0]);
134 REGB0
= CALL_abstract_collection___MapRead___has_key(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
135 if (UNTAG_Bool(REGB0
)) {
136 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0])!=NIT_NULL
);
137 /* ./syntax//control_flow.nit:30 */
138 if (UNTAG_Bool(REGB0
)) {
140 fprintf(stderr
, "Uninitialized attribute %s", "_dico");
141 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 30);
144 fra
.me
.REG
[0] = ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0]);
145 fra
.me
.REG
[1] = CALL_abstract_collection___MapRead_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
148 fra
.me
.REG
[1] = NIT_NULL
;
149 /* ./syntax//control_flow.nit:32 */
153 stack_frame_head
= fra
.me
.prev
;
154 return fra
.me
.REG
[1];
156 void control_flow___VariableContext___add(val_t p0
, val_t p1
){
157 struct {struct stack_frame_t me
; val_t MORE_REG
[6];} fra
;
161 static val_t once_value_1
; /* Once value */
162 static val_t once_value_2
; /* Once value */
163 static val_t once_value_3
; /* Once value */
164 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
165 fra
.me
.file
= LOCATE_control_flow
;
167 fra
.me
.meth
= LOCATE_control_flow___VariableContext___add
;
168 fra
.me
.has_broke
= 0;
170 fra
.me
.REG
[0] = NIT_NULL
;
171 fra
.me
.REG
[1] = NIT_NULL
;
172 fra
.me
.REG
[2] = NIT_NULL
;
173 fra
.me
.REG
[3] = NIT_NULL
;
174 fra
.me
.REG
[4] = NIT_NULL
;
175 fra
.me
.REG
[5] = NIT_NULL
;
176 fra
.me
.REG
[6] = NIT_NULL
;
179 fra
.me
.REG
[2] = CALL_syntax_base___Variable___name(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
180 fra
.me
.REG
[2] = CALL_control_flow___VariableContext_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
181 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
182 /* ./syntax//control_flow.nit:40 */
183 if (UNTAG_Bool(REGB0
)) {
185 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
186 if (UNTAG_Bool(REGB1
)) {
187 REGB1
= TAG_Bool(false);
190 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[2])(fra
.me
.REG
[2], NIT_NULL
);
194 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
195 if (UNTAG_Bool(REGB0
)) {
196 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra
.me
.REG
[0])!=NIT_NULL
);
197 /* ./syntax//control_flow.nit:41 */
198 if (UNTAG_Bool(REGB0
)) {
200 fprintf(stderr
, "Uninitialized attribute %s", "_visitor");
201 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 41);
204 fra
.me
.REG
[3] = ATTR_control_flow___VariableContext____visitor(fra
.me
.REG
[0]);
205 fra
.me
.REG
[4] = CALL_syntax_base___Variable___decl(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
207 fra
.me
.REG
[5] = NEW_Array_array___Array___with_capacity(REGB0
);
209 fra
.me
.REG
[6] = BOX_NativeString("Error: '");
211 fra
.me
.REG
[6] = NEW_String_string___String___with_native(fra
.me
.REG
[6], REGB0
);
212 once_value_1
= fra
.me
.REG
[6];
213 register_static_object(&once_value_1
);
214 } else fra
.me
.REG
[6] = once_value_1
;
215 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[6]);
216 fra
.me
.REG
[6] = CALL_string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
217 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[6]);
219 fra
.me
.REG
[6] = BOX_NativeString("' already defined at ");
221 fra
.me
.REG
[6] = NEW_String_string___String___with_native(fra
.me
.REG
[6], REGB0
);
222 once_value_2
= fra
.me
.REG
[6];
223 register_static_object(&once_value_2
);
224 } else fra
.me
.REG
[6] = once_value_2
;
225 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[6]);
226 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
227 if (UNTAG_Bool(REGB0
)) {
228 fprintf(stderr
, "Reciever is null");
229 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 41);
232 fra
.me
.REG
[2] = CALL_syntax_base___Variable___decl(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
233 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
234 if (UNTAG_Bool(REGB0
)) {
235 fprintf(stderr
, "Reciever is null");
236 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 41);
239 fra
.me
.REG
[2] = CALL_parser_nodes___ANode___location(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
240 fra
.me
.REG
[6] = CALL_syntax_base___Variable___decl(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
241 REGB0
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
242 if (UNTAG_Bool(REGB0
)) {
243 fprintf(stderr
, "Reciever is null");
244 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 41);
247 fra
.me
.REG
[6] = CALL_parser_nodes___ANode___location(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
248 fra
.me
.REG
[6] = CALL_location___Location___relative_to(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[6]);
249 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[6]);
251 fra
.me
.REG
[6] = BOX_NativeString(".");
253 fra
.me
.REG
[6] = NEW_String_string___String___with_native(fra
.me
.REG
[6], REGB0
);
254 once_value_3
= fra
.me
.REG
[6];
255 register_static_object(&once_value_3
);
256 } else fra
.me
.REG
[6] = once_value_3
;
257 array___Array___add(fra
.me
.REG
[5], fra
.me
.REG
[6]);
258 fra
.me
.REG
[5] = CALL_string___Object___to_s(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
259 CALL_syntax_base___AbsSyntaxVisitor___error(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4], fra
.me
.REG
[5]);
261 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0])!=NIT_NULL
);
262 /* ./syntax//control_flow.nit:43 */
263 if (UNTAG_Bool(REGB0
)) {
265 fprintf(stderr
, "Uninitialized attribute %s", "_dico");
266 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 43);
269 fra
.me
.REG
[5] = ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0]);
270 fra
.me
.REG
[4] = CALL_syntax_base___Variable___name(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
271 CALL_abstract_collection___Map_____braeq(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[4], fra
.me
.REG
[1]);
272 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[0])!=NIT_NULL
);
273 /* ./syntax//control_flow.nit:44 */
274 if (UNTAG_Bool(REGB0
)) {
276 fprintf(stderr
, "Uninitialized attribute %s", "_all_variables");
277 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 44);
280 fra
.me
.REG
[0] = ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[0]);
281 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
282 stack_frame_head
= fra
.me
.prev
;
285 void control_flow___VariableContext___mark_is_set(val_t p0
, val_t p1
){
286 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
289 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
290 fra
.me
.file
= LOCATE_control_flow
;
292 fra
.me
.meth
= LOCATE_control_flow___VariableContext___mark_is_set
;
293 fra
.me
.has_broke
= 0;
295 fra
.me
.REG
[0] = NIT_NULL
;
296 fra
.me
.REG
[1] = NIT_NULL
;
299 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra
.me
.REG
[0])!=NIT_NULL
);
300 /* ./syntax//control_flow.nit:49 */
301 if (UNTAG_Bool(REGB0
)) {
303 fprintf(stderr
, "Uninitialized attribute %s", "_set_variables");
304 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 49);
307 fra
.me
.REG
[0] = ATTR_control_flow___VariableContext____set_variables(fra
.me
.REG
[0]);
308 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
309 stack_frame_head
= fra
.me
.prev
;
312 void control_flow___VariableContext___check_is_set(val_t p0
, val_t p1
, val_t p2
){
313 struct {struct stack_frame_t me
; val_t MORE_REG
[5];} fra
;
317 static val_t once_value_1
; /* Once value */
318 static val_t once_value_2
; /* Once value */
319 static val_t once_value_3
; /* Once value */
320 static val_t once_value_4
; /* Once value */
321 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
322 fra
.me
.file
= LOCATE_control_flow
;
324 fra
.me
.meth
= LOCATE_control_flow___VariableContext___check_is_set
;
325 fra
.me
.has_broke
= 0;
327 fra
.me
.REG
[0] = NIT_NULL
;
328 fra
.me
.REG
[1] = NIT_NULL
;
329 fra
.me
.REG
[2] = NIT_NULL
;
330 fra
.me
.REG
[3] = NIT_NULL
;
331 fra
.me
.REG
[4] = NIT_NULL
;
332 fra
.me
.REG
[5] = NIT_NULL
;
336 REGB0
= CALL_control_flow___Variable___must_be_set(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
337 /* ./syntax//control_flow.nit:54 */
338 if (UNTAG_Bool(REGB0
)) {
339 REGB0
= CALL_control_flow___VariableContext___is_set(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
340 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
342 REGB1
= TAG_Bool(false);
345 if (UNTAG_Bool(REGB0
)) {
346 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra
.me
.REG
[0])!=NIT_NULL
);
347 /* ./syntax//control_flow.nit:55 */
348 if (UNTAG_Bool(REGB0
)) {
350 fprintf(stderr
, "Uninitialized attribute %s", "_visitor");
351 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 55);
354 fra
.me
.REG
[3] = ATTR_control_flow___VariableContext____visitor(fra
.me
.REG
[0]);
356 fra
.me
.REG
[4] = NEW_Array_array___Array___with_capacity(REGB0
);
358 fra
.me
.REG
[5] = BOX_NativeString("Error: variable '");
360 fra
.me
.REG
[5] = NEW_String_string___String___with_native(fra
.me
.REG
[5], REGB0
);
361 once_value_1
= fra
.me
.REG
[5];
362 register_static_object(&once_value_1
);
363 } else fra
.me
.REG
[5] = once_value_1
;
364 array___Array___add(fra
.me
.REG
[4], fra
.me
.REG
[5]);
365 fra
.me
.REG
[5] = CALL_string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
366 array___Array___add(fra
.me
.REG
[4], fra
.me
.REG
[5]);
368 fra
.me
.REG
[5] = BOX_NativeString("' is possibly unset.");
370 fra
.me
.REG
[5] = NEW_String_string___String___with_native(fra
.me
.REG
[5], REGB0
);
371 once_value_2
= fra
.me
.REG
[5];
372 register_static_object(&once_value_2
);
373 } else fra
.me
.REG
[5] = once_value_2
;
374 array___Array___add(fra
.me
.REG
[4], fra
.me
.REG
[5]);
375 fra
.me
.REG
[4] = CALL_string___Object___to_s(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
376 CALL_syntax_base___AbsSyntaxVisitor___error(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1], fra
.me
.REG
[4]);
378 REGB0
= CALL_syntax_base___Variable___is_typed(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
379 /* ./syntax//control_flow.nit:56 */
380 if (UNTAG_Bool(REGB0
)) {
381 fra
.me
.REG
[4] = CALL_control_flow___VariableContext___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
382 REGB0
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
383 if (UNTAG_Bool(REGB0
)) {
385 REGB1
= TAG_Bool(fra
.me
.REG
[4]==NIT_NULL
);
386 if (UNTAG_Bool(REGB1
)) {
387 REGB1
= TAG_Bool(false);
390 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[4])(fra
.me
.REG
[4], NIT_NULL
);
395 REGB1
= TAG_Bool(false);
398 if (UNTAG_Bool(REGB0
)) {
399 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra
.me
.REG
[0])!=NIT_NULL
);
400 /* ./syntax//control_flow.nit:57 */
401 if (UNTAG_Bool(REGB0
)) {
403 fprintf(stderr
, "Uninitialized attribute %s", "_visitor");
404 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 57);
407 fra
.me
.REG
[0] = ATTR_control_flow___VariableContext____visitor(fra
.me
.REG
[0]);
409 fra
.me
.REG
[4] = NEW_Array_array___Array___with_capacity(REGB0
);
411 fra
.me
.REG
[3] = BOX_NativeString("Error: variable '");
413 fra
.me
.REG
[3] = NEW_String_string___String___with_native(fra
.me
.REG
[3], REGB0
);
414 once_value_3
= fra
.me
.REG
[3];
415 register_static_object(&once_value_3
);
416 } else fra
.me
.REG
[3] = once_value_3
;
417 array___Array___add(fra
.me
.REG
[4], fra
.me
.REG
[3]);
418 fra
.me
.REG
[2] = CALL_string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
419 array___Array___add(fra
.me
.REG
[4], fra
.me
.REG
[2]);
421 fra
.me
.REG
[2] = BOX_NativeString("' is untyped.");
423 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
424 once_value_4
= fra
.me
.REG
[2];
425 register_static_object(&once_value_4
);
426 } else fra
.me
.REG
[2] = once_value_4
;
427 array___Array___add(fra
.me
.REG
[4], fra
.me
.REG
[2]);
428 fra
.me
.REG
[4] = CALL_string___Object___to_s(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
429 CALL_syntax_base___AbsSyntaxVisitor___error(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1], fra
.me
.REG
[4]);
432 stack_frame_head
= fra
.me
.prev
;
435 val_t
control_flow___VariableContext___stype(val_t p0
, val_t p1
){
436 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
439 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
440 fra
.me
.file
= LOCATE_control_flow
;
442 fra
.me
.meth
= LOCATE_control_flow___VariableContext___stype
;
443 fra
.me
.has_broke
= 0;
445 fra
.me
.REG
[0] = NIT_NULL
;
446 fra
.me
.REG
[1] = NIT_NULL
;
447 fra
.me
.REG
[2] = NIT_NULL
;
450 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra
.me
.REG
[0])!=NIT_NULL
);
451 /* ./syntax//control_flow.nit:65 */
452 if (UNTAG_Bool(REGB0
)) {
454 fprintf(stderr
, "Uninitialized attribute %s", "_stypes");
455 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 65);
458 fra
.me
.REG
[2] = ATTR_control_flow___VariableContext____stypes(fra
.me
.REG
[0]);
459 REGB0
= CALL_abstract_collection___MapRead___has_key(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
460 if (UNTAG_Bool(REGB0
)) {
461 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra
.me
.REG
[0])!=NIT_NULL
);
462 /* ./syntax//control_flow.nit:66 */
463 if (UNTAG_Bool(REGB0
)) {
465 fprintf(stderr
, "Uninitialized attribute %s", "_stypes");
466 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 66);
469 fra
.me
.REG
[0] = ATTR_control_flow___VariableContext____stypes(fra
.me
.REG
[0]);
470 fra
.me
.REG
[0] = CALL_abstract_collection___MapRead_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
473 fra
.me
.REG
[1] = CALL_syntax_base___Variable___stype(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
474 fra
.me
.REG
[0] = fra
.me
.REG
[1];
475 /* ./syntax//control_flow.nit:68 */
479 stack_frame_head
= fra
.me
.prev
;
480 return fra
.me
.REG
[0];
482 void control_flow___VariableContext___stype__eq(val_t p0
, val_t p1
, val_t p2
){
483 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
486 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
487 fra
.me
.file
= LOCATE_control_flow
;
489 fra
.me
.meth
= LOCATE_control_flow___VariableContext___stype__eq
;
490 fra
.me
.has_broke
= 0;
492 fra
.me
.REG
[0] = NIT_NULL
;
493 fra
.me
.REG
[1] = NIT_NULL
;
494 fra
.me
.REG
[2] = NIT_NULL
;
498 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra
.me
.REG
[0])!=NIT_NULL
);
499 /* ./syntax//control_flow.nit:76 */
500 if (UNTAG_Bool(REGB0
)) {
502 fprintf(stderr
, "Uninitialized attribute %s", "_stypes");
503 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 76);
506 fra
.me
.REG
[0] = ATTR_control_flow___VariableContext____stypes(fra
.me
.REG
[0]);
507 CALL_abstract_collection___Map_____braeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1], fra
.me
.REG
[2]);
508 stack_frame_head
= fra
.me
.prev
;
511 val_t
control_flow___VariableContext___sub(val_t p0
, val_t p1
){
512 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
514 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
515 fra
.me
.file
= LOCATE_control_flow
;
517 fra
.me
.meth
= LOCATE_control_flow___VariableContext___sub
;
518 fra
.me
.has_broke
= 0;
520 fra
.me
.REG
[0] = NIT_NULL
;
521 fra
.me
.REG
[1] = NIT_NULL
;
524 fra
.me
.REG
[1] = NEW_SubVariableContext_control_flow___SubVariableContext___with_prev(fra
.me
.REG
[0], fra
.me
.REG
[1]);
525 /* ./syntax//control_flow.nit:91 */
528 stack_frame_head
= fra
.me
.prev
;
529 return fra
.me
.REG
[1];
531 val_t
control_flow___VariableContext___sub_with(val_t p0
, val_t p1
, val_t p2
, val_t p3
){
532 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
534 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
535 fra
.me
.file
= LOCATE_control_flow
;
537 fra
.me
.meth
= LOCATE_control_flow___VariableContext___sub_with
;
538 fra
.me
.has_broke
= 0;
540 fra
.me
.REG
[0] = NIT_NULL
;
541 fra
.me
.REG
[1] = NIT_NULL
;
542 fra
.me
.REG
[2] = NIT_NULL
;
543 fra
.me
.REG
[3] = NIT_NULL
;
548 fra
.me
.REG
[1] = CALL_control_flow___VariableContext___sub(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
549 /* ./syntax//control_flow.nit:98 */
550 CALL_control_flow___VariableContext___stype__eq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2], fra
.me
.REG
[3]);
551 /* ./syntax//control_flow.nit:99 */
554 stack_frame_head
= fra
.me
.prev
;
555 return fra
.me
.REG
[1];
557 val_t
control_flow___VariableContext___node(val_t p0
){
558 struct {struct stack_frame_t me
;} fra
;
561 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
562 fra
.me
.file
= LOCATE_control_flow
;
564 fra
.me
.meth
= LOCATE_control_flow___VariableContext___node
;
565 fra
.me
.has_broke
= 0;
567 fra
.me
.REG
[0] = NIT_NULL
;
569 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____node(fra
.me
.REG
[0])!=NIT_NULL
);
570 /* ./syntax//control_flow.nit:105 */
571 if (UNTAG_Bool(REGB0
)) {
573 fprintf(stderr
, "Uninitialized attribute %s", "_node");
574 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 105);
577 fra
.me
.REG
[0] = ATTR_control_flow___VariableContext____node(fra
.me
.REG
[0]);
578 stack_frame_head
= fra
.me
.prev
;
579 return fra
.me
.REG
[0];
581 void control_flow___VariableContext___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
){
582 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_VariableContext
].i
;
583 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
585 if (init_table
[itpos0
]) return;
586 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
587 fra
.me
.file
= LOCATE_control_flow
;
589 fra
.me
.meth
= LOCATE_control_flow___VariableContext___init
;
590 fra
.me
.has_broke
= 0;
592 fra
.me
.REG
[0] = NIT_NULL
;
593 fra
.me
.REG
[1] = NIT_NULL
;
594 fra
.me
.REG
[2] = NIT_NULL
;
598 /* ./syntax//control_flow.nit:110 */
599 ATTR_control_flow___VariableContext____visitor(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
600 /* ./syntax//control_flow.nit:111 */
601 ATTR_control_flow___VariableContext____node(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
602 fra
.me
.REG
[2] = NEW_HashMap_hash_collection___HashMap___init();
603 /* ./syntax//control_flow.nit:112 */
604 ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
605 stack_frame_head
= fra
.me
.prev
;
606 init_table
[itpos0
] = 1;
609 val_t
control_flow___VariableContext___unreash(val_t p0
){
610 struct {struct stack_frame_t me
;} fra
;
613 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
614 fra
.me
.file
= LOCATE_control_flow
;
616 fra
.me
.meth
= LOCATE_control_flow___VariableContext___unreash
;
617 fra
.me
.has_broke
= 0;
619 fra
.me
.REG
[0] = NIT_NULL
;
621 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____unreash(fra
.me
.REG
[0])!=NIT_NULL
);
622 /* ./syntax//control_flow.nit:115 */
623 if (UNTAG_Bool(REGB0
)) {
625 fprintf(stderr
, "Uninitialized attribute %s", "_unreash");
626 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 115);
629 REGB0
= ATTR_control_flow___VariableContext____unreash(fra
.me
.REG
[0]);
630 stack_frame_head
= fra
.me
.prev
;
633 void control_flow___VariableContext___unreash__eq(val_t p0
, val_t p1
){
634 struct {struct stack_frame_t me
;} fra
;
637 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
638 fra
.me
.file
= LOCATE_control_flow
;
640 fra
.me
.meth
= LOCATE_control_flow___VariableContext___unreash__eq
;
641 fra
.me
.has_broke
= 0;
643 fra
.me
.REG
[0] = NIT_NULL
;
646 /* ./syntax//control_flow.nit:115 */
647 ATTR_control_flow___VariableContext____unreash(fra
.me
.REG
[0]) = REGB0
;
648 stack_frame_head
= fra
.me
.prev
;
651 val_t
control_flow___VariableContext___already_unreash(val_t p0
){
652 struct {struct stack_frame_t me
;} fra
;
655 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
656 fra
.me
.file
= LOCATE_control_flow
;
658 fra
.me
.meth
= LOCATE_control_flow___VariableContext___already_unreash
;
659 fra
.me
.has_broke
= 0;
661 fra
.me
.REG
[0] = NIT_NULL
;
663 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____already_unreash(fra
.me
.REG
[0])!=NIT_NULL
);
664 /* ./syntax//control_flow.nit:118 */
665 if (UNTAG_Bool(REGB0
)) {
667 fprintf(stderr
, "Uninitialized attribute %s", "_already_unreash");
668 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 118);
671 REGB0
= ATTR_control_flow___VariableContext____already_unreash(fra
.me
.REG
[0]);
672 stack_frame_head
= fra
.me
.prev
;
675 void control_flow___VariableContext___already_unreash__eq(val_t p0
, val_t p1
){
676 struct {struct stack_frame_t me
;} fra
;
679 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
680 fra
.me
.file
= LOCATE_control_flow
;
682 fra
.me
.meth
= LOCATE_control_flow___VariableContext___already_unreash__eq
;
683 fra
.me
.has_broke
= 0;
685 fra
.me
.REG
[0] = NIT_NULL
;
688 /* ./syntax//control_flow.nit:118 */
689 ATTR_control_flow___VariableContext____already_unreash(fra
.me
.REG
[0]) = REGB0
;
690 stack_frame_head
= fra
.me
.prev
;
693 val_t
control_flow___VariableContext___set_variables(val_t p0
){
694 struct {struct stack_frame_t me
;} fra
;
697 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
698 fra
.me
.file
= LOCATE_control_flow
;
700 fra
.me
.meth
= LOCATE_control_flow___VariableContext___set_variables
;
701 fra
.me
.has_broke
= 0;
703 fra
.me
.REG
[0] = NIT_NULL
;
705 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra
.me
.REG
[0])!=NIT_NULL
);
706 /* ./syntax//control_flow.nit:122 */
707 if (UNTAG_Bool(REGB0
)) {
709 fprintf(stderr
, "Uninitialized attribute %s", "_set_variables");
710 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 122);
713 fra
.me
.REG
[0] = ATTR_control_flow___VariableContext____set_variables(fra
.me
.REG
[0]);
714 stack_frame_head
= fra
.me
.prev
;
715 return fra
.me
.REG
[0];
717 val_t
control_flow___VariableContext___is_set(val_t p0
, val_t p1
){
718 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
721 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
722 fra
.me
.file
= LOCATE_control_flow
;
724 fra
.me
.meth
= LOCATE_control_flow___VariableContext___is_set
;
725 fra
.me
.has_broke
= 0;
727 fra
.me
.REG
[0] = NIT_NULL
;
728 fra
.me
.REG
[1] = NIT_NULL
;
731 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra
.me
.REG
[0])!=NIT_NULL
);
732 /* ./syntax//control_flow.nit:128 */
733 if (UNTAG_Bool(REGB0
)) {
735 fprintf(stderr
, "Uninitialized attribute %s", "_set_variables");
736 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 128);
739 fra
.me
.REG
[0] = ATTR_control_flow___VariableContext____set_variables(fra
.me
.REG
[0]);
740 REGB0
= CALL_abstract_collection___Collection___has(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
743 stack_frame_head
= fra
.me
.prev
;
746 void control_flow___VariableContext___merge(val_t p0
, val_t p1
){
747 struct {struct stack_frame_t me
; val_t MORE_REG
[5];} fra
;
751 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
752 fra
.me
.file
= LOCATE_control_flow
;
754 fra
.me
.meth
= LOCATE_control_flow___VariableContext___merge
;
755 fra
.me
.has_broke
= 0;
757 fra
.me
.REG
[0] = NIT_NULL
;
758 fra
.me
.REG
[1] = NIT_NULL
;
759 fra
.me
.REG
[2] = NIT_NULL
;
760 fra
.me
.REG
[3] = NIT_NULL
;
761 fra
.me
.REG
[4] = NIT_NULL
;
762 fra
.me
.REG
[5] = NIT_NULL
;
765 REGB0
= CALL_control_flow___VariableContext___unreash(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
766 /* ./syntax//control_flow.nit:134 */
767 if (UNTAG_Bool(REGB0
)) {
768 REGB0
= TAG_Bool(true);
769 /* ./syntax//control_flow.nit:135 */
770 CALL_control_flow___VariableContext___unreash__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB0
);
771 REGB0
= CALL_control_flow___VariableContext___already_unreash(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
772 /* ./syntax//control_flow.nit:136 */
773 if (UNTAG_Bool(REGB0
)) {
774 REGB0
= TAG_Bool(true);
775 CALL_control_flow___VariableContext___already_unreash__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB0
);
777 /* ./syntax//control_flow.nit:137 */
780 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[0])!=NIT_NULL
);
781 /* ./syntax//control_flow.nit:139 */
782 if (UNTAG_Bool(REGB0
)) {
784 fprintf(stderr
, "Uninitialized attribute %s", "_all_variables");
785 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 139);
788 fra
.me
.REG
[2] = ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[0]);
789 fra
.me
.REG
[2] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
791 REGB0
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
792 if (UNTAG_Bool(REGB0
)) {
793 fra
.me
.REG
[3] = CALL_abstract_collection___Iterator___item(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
794 REGB0
= CALL_control_flow___VariableContext___is_set(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
795 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
796 /* ./syntax//control_flow.nit:140 */
797 if (UNTAG_Bool(REGB0
)) {
798 REGB0
= CALL_control_flow___VariableContext___is_set(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[3]);
800 REGB1
= TAG_Bool(false);
803 if (UNTAG_Bool(REGB0
)) {
804 /* ./syntax//control_flow.nit:141 */
805 CALL_control_flow___VariableContext___mark_is_set(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
807 fra
.me
.REG
[4] = CALL_control_flow___VariableContext___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
808 fra
.me
.REG
[5] = CALL_control_flow___VariableContext___stype(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[3]);
809 REGB0
= TAG_Bool(IS_EQUAL_NN(fra
.me
.REG
[5],fra
.me
.REG
[4]));
810 /* ./syntax//control_flow.nit:145 */
811 if (UNTAG_Bool(REGB0
)) {
813 REGB1
= TAG_Bool(fra
.me
.REG
[5]==NIT_NULL
);
814 if (UNTAG_Bool(REGB1
)) {
815 REGB1
= TAG_Bool(false);
818 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[4]);
822 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
823 if (UNTAG_Bool(REGB0
)) {
824 CALL_control_flow___VariableContext___stype__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3], fra
.me
.REG
[5]);
827 /* ./syntax//control_flow.nit:139 */
830 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
834 stack_frame_head
= fra
.me
.prev
;
837 void control_flow___VariableContext___merge2(val_t p0
, val_t p1
, val_t p2
, val_t p3
){
838 struct {struct stack_frame_t me
; val_t MORE_REG
[8];} fra
;
842 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
843 fra
.me
.file
= LOCATE_control_flow
;
845 fra
.me
.meth
= LOCATE_control_flow___VariableContext___merge2
;
846 fra
.me
.has_broke
= 0;
848 fra
.me
.REG
[0] = NIT_NULL
;
849 fra
.me
.REG
[1] = NIT_NULL
;
850 fra
.me
.REG
[2] = NIT_NULL
;
851 fra
.me
.REG
[3] = NIT_NULL
;
852 fra
.me
.REG
[4] = NIT_NULL
;
853 fra
.me
.REG
[5] = NIT_NULL
;
854 fra
.me
.REG
[6] = NIT_NULL
;
855 fra
.me
.REG
[7] = NIT_NULL
;
856 fra
.me
.REG
[8] = NIT_NULL
;
861 REGB0
= CALL_control_flow___VariableContext___unreash(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
862 /* ./syntax//control_flow.nit:152 */
863 if (UNTAG_Bool(REGB0
)) {
864 /* ./syntax//control_flow.nit:153 */
865 CALL_control_flow___VariableContext___merge(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
867 REGB0
= CALL_control_flow___VariableContext___unreash(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
868 /* ./syntax//control_flow.nit:154 */
869 if (UNTAG_Bool(REGB0
)) {
870 /* ./syntax//control_flow.nit:155 */
871 CALL_control_flow___VariableContext___merge(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
874 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[0])!=NIT_NULL
);
875 /* ./syntax//control_flow.nit:157 */
876 if (UNTAG_Bool(REGB0
)) {
878 fprintf(stderr
, "Uninitialized attribute %s", "_all_variables");
879 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 157);
882 fra
.me
.REG
[4] = ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[0]);
883 fra
.me
.REG
[4] = CALL_abstract_collection___Collection___iterator(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
885 REGB0
= CALL_abstract_collection___Iterator___is_ok(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
886 if (UNTAG_Bool(REGB0
)) {
887 fra
.me
.REG
[5] = CALL_abstract_collection___Iterator___item(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
888 REGB0
= CALL_control_flow___VariableContext___is_set(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[5]);
889 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
890 /* ./syntax//control_flow.nit:158 */
891 if (UNTAG_Bool(REGB0
)) {
892 REGB0
= CALL_control_flow___VariableContext___is_set(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[5]);
894 REGB1
= TAG_Bool(false);
897 if (UNTAG_Bool(REGB0
)) {
898 REGB0
= CALL_control_flow___VariableContext___is_set(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[5]);
900 REGB1
= TAG_Bool(false);
903 if (UNTAG_Bool(REGB0
)) {
904 /* ./syntax//control_flow.nit:159 */
905 CALL_control_flow___VariableContext___mark_is_set(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[5]);
907 fra
.me
.REG
[6] = CALL_control_flow___VariableContext___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[5]);
908 fra
.me
.REG
[7] = CALL_control_flow___VariableContext___stype(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[5]);
909 fra
.me
.REG
[8] = CALL_control_flow___VariableContext___stype(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[5]);
910 REGB0
= TAG_Bool(IS_EQUAL_NN(fra
.me
.REG
[7],fra
.me
.REG
[6]));
911 /* ./syntax//control_flow.nit:165 */
912 if (UNTAG_Bool(REGB0
)) {
914 REGB1
= TAG_Bool(fra
.me
.REG
[7]==NIT_NULL
);
915 if (UNTAG_Bool(REGB1
)) {
916 REGB1
= TAG_Bool(false);
919 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[7])(fra
.me
.REG
[7], fra
.me
.REG
[6]);
923 if (UNTAG_Bool(REGB0
)) {
924 REGB0
= TAG_Bool(IS_EQUAL_NN(fra
.me
.REG
[8],fra
.me
.REG
[6]));
925 if (UNTAG_Bool(REGB0
)) {
927 REGB1
= TAG_Bool(fra
.me
.REG
[8]==NIT_NULL
);
928 if (UNTAG_Bool(REGB1
)) {
929 REGB1
= TAG_Bool(false);
932 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[8])(fra
.me
.REG
[8], fra
.me
.REG
[6]);
937 REGB1
= TAG_Bool(false);
940 if (UNTAG_Bool(REGB0
)) {
942 REGB0
= TAG_Bool(IS_EQUAL_NN(fra
.me
.REG
[7],fra
.me
.REG
[8]));
943 /* ./syntax//control_flow.nit:167 */
944 if (UNTAG_Bool(REGB0
)) {
946 REGB1
= TAG_Bool(fra
.me
.REG
[7]==NIT_NULL
);
947 if (UNTAG_Bool(REGB1
)) {
948 REGB1
= TAG_Bool(false);
951 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[7])(fra
.me
.REG
[7], fra
.me
.REG
[8]);
955 if (UNTAG_Bool(REGB0
)) {
956 /* ./syntax//control_flow.nit:168 */
957 CALL_control_flow___VariableContext___stype__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[5], fra
.me
.REG
[7]);
959 REGB0
= TAG_Bool(fra
.me
.REG
[8]==NIT_NULL
);
960 /* ./syntax//control_flow.nit:169 */
961 if (UNTAG_Bool(REGB0
)) {
963 REGB1
= TAG_Bool(fra
.me
.REG
[8]==NIT_NULL
);
964 if (UNTAG_Bool(REGB1
)) {
965 REGB1
= TAG_Bool(false);
968 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[8])(fra
.me
.REG
[8], NIT_NULL
);
972 if (UNTAG_Bool(REGB0
)) {
973 REGB0
= TAG_Bool(true);
975 REGB1
= TAG_Bool(fra
.me
.REG
[7]==NIT_NULL
);
976 if (UNTAG_Bool(REGB1
)) {
977 fprintf(stderr
, "Reciever is null");
978 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 169);
981 REGB1
= CALL_static_type___MMType_____l(fra
.me
.REG
[7])(fra
.me
.REG
[7], fra
.me
.REG
[8]);
984 if (UNTAG_Bool(REGB0
)) {
985 /* ./syntax//control_flow.nit:170 */
986 CALL_control_flow___VariableContext___stype__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[5], fra
.me
.REG
[8]);
988 REGB0
= TAG_Bool(fra
.me
.REG
[7]==NIT_NULL
);
989 /* ./syntax//control_flow.nit:171 */
990 if (UNTAG_Bool(REGB0
)) {
992 REGB1
= TAG_Bool(fra
.me
.REG
[7]==NIT_NULL
);
993 if (UNTAG_Bool(REGB1
)) {
994 REGB1
= TAG_Bool(false);
997 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[7])(fra
.me
.REG
[7], NIT_NULL
);
1001 if (UNTAG_Bool(REGB0
)) {
1002 REGB0
= TAG_Bool(true);
1004 REGB1
= TAG_Bool(fra
.me
.REG
[8]==NIT_NULL
);
1005 if (UNTAG_Bool(REGB1
)) {
1006 fprintf(stderr
, "Reciever is null");
1007 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 171);
1010 REGB1
= CALL_static_type___MMType_____l(fra
.me
.REG
[8])(fra
.me
.REG
[8], fra
.me
.REG
[7]);
1013 if (UNTAG_Bool(REGB0
)) {
1014 /* ./syntax//control_flow.nit:172 */
1015 CALL_control_flow___VariableContext___stype__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[5], fra
.me
.REG
[7]);
1017 fra
.me
.REG
[7] = CALL_control_flow___VariableContext___stype(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[5]);
1018 /* ./syntax//control_flow.nit:174 */
1019 CALL_control_flow___VariableContext___stype__eq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[5], fra
.me
.REG
[7]);
1025 /* ./syntax//control_flow.nit:157 */
1028 CALL_abstract_collection___Iterator___next(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1031 stack_frame_head
= fra
.me
.prev
;
1034 void control_flow___RootVariableContext___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
){
1035 int itpos1
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_RootVariableContext
].i
;
1036 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
1038 if (init_table
[itpos1
]) return;
1039 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1040 fra
.me
.file
= LOCATE_control_flow
;
1042 fra
.me
.meth
= LOCATE_control_flow___RootVariableContext___init
;
1043 fra
.me
.has_broke
= 0;
1044 fra
.me
.REG_size
= 4;
1045 fra
.me
.REG
[0] = NIT_NULL
;
1046 fra
.me
.REG
[1] = NIT_NULL
;
1047 fra
.me
.REG
[2] = NIT_NULL
;
1048 fra
.me
.REG
[3] = NIT_NULL
;
1052 fra
.me
.REG
[3] = fra
.me
.REG
[0];
1053 /* ./syntax//control_flow.nit:196 */
1054 CALL_control_flow___VariableContext___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1], fra
.me
.REG
[2], init_table
);
1055 fra
.me
.REG
[2] = NEW_HashSet_hash_collection___HashSet___init();
1056 /* ./syntax//control_flow.nit:197 */
1057 ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[3]) = fra
.me
.REG
[2];
1058 stack_frame_head
= fra
.me
.prev
;
1059 init_table
[itpos1
] = 1;
1062 val_t
control_flow___SubVariableContext_____bra(val_t p0
, val_t p1
){
1063 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
1066 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1067 fra
.me
.file
= LOCATE_control_flow
;
1069 fra
.me
.meth
= LOCATE_control_flow___SubVariableContext_____bra
;
1070 fra
.me
.has_broke
= 0;
1071 fra
.me
.REG_size
= 3;
1072 fra
.me
.REG
[0] = NIT_NULL
;
1073 fra
.me
.REG
[1] = NIT_NULL
;
1074 fra
.me
.REG
[2] = NIT_NULL
;
1077 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0])!=NIT_NULL
);
1078 /* ./syntax//control_flow.nit:207 */
1079 if (UNTAG_Bool(REGB0
)) {
1081 fprintf(stderr
, "Uninitialized attribute %s", "_dico");
1082 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 207);
1085 fra
.me
.REG
[2] = ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0]);
1086 REGB0
= CALL_abstract_collection___MapRead___has_key(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
1087 if (UNTAG_Bool(REGB0
)) {
1088 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0])!=NIT_NULL
);
1089 /* ./syntax//control_flow.nit:208 */
1090 if (UNTAG_Bool(REGB0
)) {
1092 fprintf(stderr
, "Uninitialized attribute %s", "_dico");
1093 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 208);
1096 fra
.me
.REG
[2] = ATTR_control_flow___VariableContext____dico(fra
.me
.REG
[0]);
1097 fra
.me
.REG
[2] = CALL_abstract_collection___MapRead_____bra(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
1100 fra
.me
.REG
[0] = CALL_control_flow___SubVariableContext___prev(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1101 fra
.me
.REG
[1] = CALL_control_flow___VariableContext_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
1102 fra
.me
.REG
[2] = fra
.me
.REG
[1];
1103 /* ./syntax//control_flow.nit:210 */
1107 stack_frame_head
= fra
.me
.prev
;
1108 return fra
.me
.REG
[2];
1110 val_t
control_flow___SubVariableContext___stype(val_t p0
, val_t p1
){
1111 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
1114 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1115 fra
.me
.file
= LOCATE_control_flow
;
1117 fra
.me
.meth
= LOCATE_control_flow___SubVariableContext___stype
;
1118 fra
.me
.has_broke
= 0;
1119 fra
.me
.REG_size
= 3;
1120 fra
.me
.REG
[0] = NIT_NULL
;
1121 fra
.me
.REG
[1] = NIT_NULL
;
1122 fra
.me
.REG
[2] = NIT_NULL
;
1125 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra
.me
.REG
[0])!=NIT_NULL
);
1126 /* ./syntax//control_flow.nit:216 */
1127 if (UNTAG_Bool(REGB0
)) {
1129 fprintf(stderr
, "Uninitialized attribute %s", "_stypes");
1130 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 216);
1133 fra
.me
.REG
[2] = ATTR_control_flow___VariableContext____stypes(fra
.me
.REG
[0]);
1134 REGB0
= CALL_abstract_collection___MapRead___has_key(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
1135 if (UNTAG_Bool(REGB0
)) {
1136 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra
.me
.REG
[0])!=NIT_NULL
);
1137 /* ./syntax//control_flow.nit:217 */
1138 if (UNTAG_Bool(REGB0
)) {
1140 fprintf(stderr
, "Uninitialized attribute %s", "_stypes");
1141 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 217);
1144 fra
.me
.REG
[2] = ATTR_control_flow___VariableContext____stypes(fra
.me
.REG
[0]);
1145 fra
.me
.REG
[2] = CALL_abstract_collection___MapRead_____bra(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
1148 fra
.me
.REG
[0] = CALL_control_flow___SubVariableContext___prev(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1149 fra
.me
.REG
[1] = CALL_control_flow___VariableContext___stype(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
1150 fra
.me
.REG
[2] = fra
.me
.REG
[1];
1151 /* ./syntax//control_flow.nit:219 */
1155 stack_frame_head
= fra
.me
.prev
;
1156 return fra
.me
.REG
[2];
1158 val_t
control_flow___SubVariableContext___is_set(val_t p0
, val_t p1
){
1159 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
1163 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1164 fra
.me
.file
= LOCATE_control_flow
;
1166 fra
.me
.meth
= LOCATE_control_flow___SubVariableContext___is_set
;
1167 fra
.me
.has_broke
= 0;
1168 fra
.me
.REG_size
= 3;
1169 fra
.me
.REG
[0] = NIT_NULL
;
1170 fra
.me
.REG
[1] = NIT_NULL
;
1171 fra
.me
.REG
[2] = NIT_NULL
;
1174 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra
.me
.REG
[0])!=NIT_NULL
);
1175 /* ./syntax//control_flow.nit:232 */
1176 if (UNTAG_Bool(REGB0
)) {
1178 fprintf(stderr
, "Uninitialized attribute %s", "_set_variables");
1179 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 232);
1182 fra
.me
.REG
[2] = ATTR_control_flow___VariableContext____set_variables(fra
.me
.REG
[0]);
1183 REGB0
= CALL_abstract_collection___Collection___has(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
1184 if (UNTAG_Bool(REGB0
)) {
1185 REGB0
= TAG_Bool(true);
1187 REGB1
= TAG_Bool(ATTR_control_flow___SubVariableContext____prev(fra
.me
.REG
[0])!=NIT_NULL
);
1188 if (UNTAG_Bool(REGB1
)) {
1190 fprintf(stderr
, "Uninitialized attribute %s", "_prev");
1191 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 232);
1194 fra
.me
.REG
[0] = ATTR_control_flow___SubVariableContext____prev(fra
.me
.REG
[0]);
1195 REGB1
= CALL_control_flow___VariableContext___is_set(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
1200 stack_frame_head
= fra
.me
.prev
;
1203 val_t
control_flow___SubVariableContext___prev(val_t p0
){
1204 struct {struct stack_frame_t me
;} fra
;
1207 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1208 fra
.me
.file
= LOCATE_control_flow
;
1210 fra
.me
.meth
= LOCATE_control_flow___SubVariableContext___prev
;
1211 fra
.me
.has_broke
= 0;
1212 fra
.me
.REG_size
= 1;
1213 fra
.me
.REG
[0] = NIT_NULL
;
1215 REGB0
= TAG_Bool(ATTR_control_flow___SubVariableContext____prev(fra
.me
.REG
[0])!=NIT_NULL
);
1216 /* ./syntax//control_flow.nit:203 */
1217 if (UNTAG_Bool(REGB0
)) {
1219 fprintf(stderr
, "Uninitialized attribute %s", "_prev");
1220 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 203);
1223 fra
.me
.REG
[0] = ATTR_control_flow___SubVariableContext____prev(fra
.me
.REG
[0]);
1224 stack_frame_head
= fra
.me
.prev
;
1225 return fra
.me
.REG
[0];
1227 void control_flow___SubVariableContext___with_prev(val_t p0
, val_t p1
, val_t p2
, int* init_table
){
1228 int itpos2
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_SubVariableContext
].i
;
1229 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
1232 if (init_table
[itpos2
]) return;
1233 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1234 fra
.me
.file
= LOCATE_control_flow
;
1236 fra
.me
.meth
= LOCATE_control_flow___SubVariableContext___with_prev
;
1237 fra
.me
.has_broke
= 0;
1238 fra
.me
.REG_size
= 4;
1239 fra
.me
.REG
[0] = NIT_NULL
;
1240 fra
.me
.REG
[1] = NIT_NULL
;
1241 fra
.me
.REG
[2] = NIT_NULL
;
1242 fra
.me
.REG
[3] = NIT_NULL
;
1246 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra
.me
.REG
[1])!=NIT_NULL
);
1247 /* ./syntax//control_flow.nit:225 */
1248 if (UNTAG_Bool(REGB0
)) {
1250 fprintf(stderr
, "Uninitialized attribute %s", "_visitor");
1251 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 225);
1254 fra
.me
.REG
[3] = ATTR_control_flow___VariableContext____visitor(fra
.me
.REG
[1]);
1255 CALL_control_flow___VariableContext___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3], fra
.me
.REG
[2], init_table
);
1256 /* ./syntax//control_flow.nit:226 */
1257 ATTR_control_flow___SubVariableContext____prev(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
1258 REGB0
= TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[1])!=NIT_NULL
);
1259 /* ./syntax//control_flow.nit:227 */
1260 if (UNTAG_Bool(REGB0
)) {
1262 fprintf(stderr
, "Uninitialized attribute %s", "_all_variables");
1263 fprintf(stderr
, " (%s:%d)\n", LOCATE_control_flow
, 227);
1266 fra
.me
.REG
[1] = ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[1]);
1267 ATTR_control_flow___VariableContext____all_variables(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
1268 stack_frame_head
= fra
.me
.prev
;
1269 init_table
[itpos2
] = 1;
1272 val_t
control_flow___Variable___must_be_set(val_t p0
){
1273 struct {struct stack_frame_t me
;} fra
;
1276 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1277 fra
.me
.file
= LOCATE_control_flow
;
1279 fra
.me
.meth
= LOCATE_control_flow___Variable___must_be_set
;
1280 fra
.me
.has_broke
= 0;
1281 fra
.me
.REG_size
= 1;
1282 fra
.me
.REG
[0] = NIT_NULL
;
1284 REGB0
= TAG_Bool(false);
1285 /* ./syntax//control_flow.nit:238 */
1288 stack_frame_head
= fra
.me
.prev
;
1291 val_t
control_flow___VarVariable___must_be_set(val_t p0
){
1292 struct {struct stack_frame_t me
;} fra
;
1295 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1296 fra
.me
.file
= LOCATE_control_flow
;
1298 fra
.me
.meth
= LOCATE_control_flow___VarVariable___must_be_set
;
1299 fra
.me
.has_broke
= 0;
1300 fra
.me
.REG_size
= 1;
1301 fra
.me
.REG
[0] = NIT_NULL
;
1303 REGB0
= TAG_Bool(true);
1304 /* ./syntax//control_flow.nit:242 */
1307 stack_frame_head
= fra
.me
.prev
;