1 #include "nit__local_var_init.sep.0.h"
2 /* method local_var_init#ToolContext#local_var_init_phase for (self: ToolContext): Phase */
3 val
* nit__local_var_init___ToolContext___local_var_init_phase(val
* self
) {
4 val
* var
/* : Phase */;
5 val
* var1
/* : Phase */;
6 var1
= self
->attrs
[COLOR_nit__local_var_init__ToolContext___local_var_init_phase
].val
; /* _local_var_init_phase on <self:ToolContext> */
7 if (unlikely(var1
== NULL
)) {
8 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _local_var_init_phase");
9 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 24);
16 /* method local_var_init#LocalVarInitPhase#process_npropdef for (self: LocalVarInitPhase, APropdef) */
17 void nit__local_var_init___nit__local_var_init__LocalVarInitPhase___nit__phase__Phase__process_npropdef(val
* self
, val
* p0
) {
18 val
* var_npropdef
/* var npropdef: APropdef */;
19 val
* var
/* : ToolContext */;
20 val
* var2
/* : ToolContext */;
23 { /* Inline phase#Phase#toolcontext (self) on <self:LocalVarInitPhase> */
24 var2
= self
->attrs
[COLOR_nit__phase__Phase___toolcontext
].val
; /* _toolcontext on <self:LocalVarInitPhase> */
25 if (unlikely(var2
== NULL
)) {
26 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _toolcontext");
27 PRINT_ERROR(" (%s:%d)\n", FILE_nit__phase
, 200);
35 nit__local_var_init___APropdef___do_local_var_init(var_npropdef
, var
); /* Direct call local_var_init#APropdef#do_local_var_init on <var_npropdef:APropdef>*/
39 /* method local_var_init#APropdef#do_local_var_init for (self: APropdef, ToolContext) */
40 void nit__local_var_init___APropdef___do_local_var_init(val
* self
, val
* p0
) {
41 val
* var_toolcontext
/* var toolcontext: ToolContext */;
42 val
* var
/* : LocalVarInitVisitor */;
43 val
* var_v
/* var v: LocalVarInitVisitor */;
45 var
= NEW_nit__local_var_init__LocalVarInitVisitor(&type_nit__local_var_init__LocalVarInitVisitor
);
47 ((void(*)(val
* self
, val
* p0
))(var
->class->vft
[COLOR_nit__local_var_init__LocalVarInitVisitor__toolcontext_61d
]))(var
, var_toolcontext
); /* toolcontext= on <var:LocalVarInitVisitor>*/
50 ((void(*)(val
* self
))(var
->class->vft
[COLOR_standard__kernel__Object__init
]))(var
); /* init on <var:LocalVarInitVisitor>*/
54 nit___nit__Visitor___enter_visit(var_v
, self
); /* Direct call parser_nodes#Visitor#enter_visit on <var_v:LocalVarInitVisitor>*/
58 /* method local_var_init#LocalVarInitVisitor#toolcontext for (self: LocalVarInitVisitor): ToolContext */
59 val
* nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___toolcontext(val
* self
) {
60 val
* var
/* : ToolContext */;
61 val
* var1
/* : ToolContext */;
62 var1
= self
->attrs
[COLOR_nit__local_var_init__LocalVarInitVisitor___toolcontext
].val
; /* _toolcontext on <self:LocalVarInitVisitor> */
63 if (unlikely(var1
== NULL
)) {
64 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _toolcontext");
65 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 46);
72 /* method local_var_init#LocalVarInitVisitor#toolcontext= for (self: LocalVarInitVisitor, ToolContext) */
73 void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___toolcontext_61d(val
* self
, val
* p0
) {
74 self
->attrs
[COLOR_nit__local_var_init__LocalVarInitVisitor___toolcontext
].val
= p0
; /* _toolcontext on <self:LocalVarInitVisitor> */
77 /* method local_var_init#LocalVarInitVisitor#maybe_unset_vars for (self: LocalVarInitVisitor): Set[Variable] */
78 val
* nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars(val
* self
) {
79 val
* var
/* : Set[Variable] */;
80 val
* var1
/* : Set[Variable] */;
81 var1
= self
->attrs
[COLOR_nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars
].val
; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
82 if (unlikely(var1
== NULL
)) {
83 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _maybe_unset_vars");
84 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 48);
91 /* method local_var_init#LocalVarInitVisitor#mark_is_unset for (self: LocalVarInitVisitor, AExpr, nullable Variable) */
92 void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___mark_is_unset(val
* self
, val
* p0
, val
* p1
) {
93 val
* var_node
/* var node: AExpr */;
94 val
* var_variable
/* var variable: nullable Variable */;
95 short int var
/* : Bool */;
96 short int var1
/* : Bool */;
97 val
* var_other
/* var other: nullable Object */;
98 short int var3
/* : Bool */;
99 short int var4
/* : Bool */;
100 val
* var5
/* : Set[Variable] */;
101 val
* var7
/* : Set[Variable] */;
104 if (var_variable
== NULL
) {
105 var
= 0; /* is null */
107 var
= 1; /* arg is null and recv is not */
110 { /* Inline kernel#Object#!= (var_variable,((val*)NULL)) on <var_variable:nullable Variable> */
111 var_other
= ((val
*)NULL
);
113 var3
= ((short int(*)(val
* self
, val
* p0
))(var_variable
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_variable
, var_other
); /* == on <var_variable:nullable Variable(Variable)>*/
122 if (unlikely(!var
)) {
123 PRINT_ERROR("Runtime error: %s", "Assert failed");
124 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 53);
128 { /* Inline local_var_init#LocalVarInitVisitor#maybe_unset_vars (self) on <self:LocalVarInitVisitor> */
129 var7
= self
->attrs
[COLOR_nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars
].val
; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
130 if (unlikely(var7
== NULL
)) {
131 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _maybe_unset_vars");
132 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 48);
140 ((void(*)(val
* self
, val
* p0
))((((long)var5
&3)?class_info
[((long)var5
&3)]:var5
->class)->vft
[COLOR_standard__abstract_collection__SimpleCollection__add
]))(var5
, var_variable
); /* add on <var5:Set[Variable]>*/
144 /* method local_var_init#LocalVarInitVisitor#mark_is_set for (self: LocalVarInitVisitor, AExpr, nullable Variable) */
145 void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___mark_is_set(val
* self
, val
* p0
, val
* p1
) {
146 val
* var_node
/* var node: AExpr */;
147 val
* var_variable
/* var variable: nullable Variable */;
148 short int var
/* : Bool */;
149 short int var1
/* : Bool */;
150 val
* var_other
/* var other: nullable Object */;
151 short int var3
/* : Bool */;
152 short int var4
/* : Bool */;
153 val
* var5
/* : Set[Variable] */;
154 val
* var7
/* : Set[Variable] */;
155 short int var8
/* : Bool */;
156 short int var9
/* : Bool */;
157 val
* var10
/* : nullable FlowContext */;
158 val
* var12
/* : nullable FlowContext */;
159 val
* var_flow
/* var flow: FlowContext */;
160 val
* var13
/* : Set[Variable] */;
161 val
* var15
/* : Set[Variable] */;
164 if (var_variable
== NULL
) {
165 var
= 0; /* is null */
167 var
= 1; /* arg is null and recv is not */
170 { /* Inline kernel#Object#!= (var_variable,((val*)NULL)) on <var_variable:nullable Variable> */
171 var_other
= ((val
*)NULL
);
173 var3
= ((short int(*)(val
* self
, val
* p0
))(var_variable
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_variable
, var_other
); /* == on <var_variable:nullable Variable(Variable)>*/
182 if (unlikely(!var
)) {
183 PRINT_ERROR("Runtime error: %s", "Assert failed");
184 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 59);
188 { /* Inline local_var_init#LocalVarInitVisitor#maybe_unset_vars (self) on <self:LocalVarInitVisitor> */
189 var7
= self
->attrs
[COLOR_nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars
].val
; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
190 if (unlikely(var7
== NULL
)) {
191 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _maybe_unset_vars");
192 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 48);
200 var8
= ((short int(*)(val
* self
, val
* p0
))((((long)var5
&3)?class_info
[((long)var5
&3)]:var5
->class)->vft
[COLOR_standard__abstract_collection__Collection__has
]))(var5
, var_variable
); /* has on <var5:Set[Variable]>*/
208 { /* Inline flow#AExpr#after_flow_context (var_node) on <var_node:AExpr> */
209 var12
= var_node
->attrs
[COLOR_nit__flow__AExpr___after_flow_context
].val
; /* _after_flow_context on <var_node:AExpr> */
214 if (unlikely(var10
== NULL
)) {
215 PRINT_ERROR("Runtime error: %s", "Cast failed");
216 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 62);
221 { /* Inline local_var_init#FlowContext#set_vars (var_flow) on <var_flow:FlowContext> */
222 var15
= var_flow
->attrs
[COLOR_nit__local_var_init__FlowContext___set_vars
].val
; /* _set_vars on <var_flow:FlowContext> */
223 if (unlikely(var15
== NULL
)) {
224 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _set_vars");
225 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 86);
233 ((void(*)(val
* self
, val
* p0
))((((long)var13
&3)?class_info
[((long)var13
&3)]:var13
->class)->vft
[COLOR_standard__abstract_collection__SimpleCollection__add
]))(var13
, var_variable
); /* add on <var13:Set[Variable]>*/
237 /* method local_var_init#LocalVarInitVisitor#check_is_set for (self: LocalVarInitVisitor, AExpr, nullable Variable) */
238 void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___check_is_set(val
* self
, val
* p0
, val
* p1
) {
239 val
* var_node
/* var node: AExpr */;
240 val
* var_variable
/* var variable: nullable Variable */;
241 short int var
/* : Bool */;
242 short int var1
/* : Bool */;
243 val
* var_other
/* var other: nullable Object */;
244 short int var3
/* : Bool */;
245 short int var4
/* : Bool */;
246 val
* var5
/* : Set[Variable] */;
247 val
* var7
/* : Set[Variable] */;
248 short int var8
/* : Bool */;
249 short int var9
/* : Bool */;
250 val
* var10
/* : nullable FlowContext */;
251 val
* var12
/* : nullable FlowContext */;
252 val
* var_flow
/* var flow: FlowContext */;
253 short int var13
/* : Bool */;
254 short int var14
/* : Bool */;
255 val
* var15
/* : ToolContext */;
256 val
* var17
/* : ToolContext */;
257 val
* var18
/* : Location */;
258 val
* var19
/* : NativeArray[String] */;
260 static val
* varonce20
;
261 val
* var21
/* : String */;
262 char* var22
/* : NativeString */;
263 val
* var23
/* : FlatString */;
264 static val
* varonce24
;
265 val
* var25
/* : String */;
266 char* var26
/* : NativeString */;
267 val
* var27
/* : FlatString */;
268 val
* var28
/* : String */;
269 val
* var29
/* : String */;
270 val
* var30
/* : Message */;
271 val
* var31
/* : Set[Variable] */;
272 val
* var33
/* : Set[Variable] */;
275 if (var_variable
== NULL
) {
276 var
= 0; /* is null */
278 var
= 1; /* arg is null and recv is not */
281 { /* Inline kernel#Object#!= (var_variable,((val*)NULL)) on <var_variable:nullable Variable> */
282 var_other
= ((val
*)NULL
);
284 var3
= ((short int(*)(val
* self
, val
* p0
))(var_variable
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var_variable
, var_other
); /* == on <var_variable:nullable Variable(Variable)>*/
293 if (unlikely(!var
)) {
294 PRINT_ERROR("Runtime error: %s", "Assert failed");
295 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 68);
299 { /* Inline local_var_init#LocalVarInitVisitor#maybe_unset_vars (self) on <self:LocalVarInitVisitor> */
300 var7
= self
->attrs
[COLOR_nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars
].val
; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
301 if (unlikely(var7
== NULL
)) {
302 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _maybe_unset_vars");
303 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 48);
311 var8
= ((short int(*)(val
* self
, val
* p0
))((((long)var5
&3)?class_info
[((long)var5
&3)]:var5
->class)->vft
[COLOR_standard__abstract_collection__Collection__has
]))(var5
, var_variable
); /* has on <var5:Set[Variable]>*/
319 { /* Inline flow#AExpr#after_flow_context (var_node) on <var_node:AExpr> */
320 var12
= var_node
->attrs
[COLOR_nit__flow__AExpr___after_flow_context
].val
; /* _after_flow_context on <var_node:AExpr> */
325 if (unlikely(var10
== NULL
)) {
326 PRINT_ERROR("Runtime error: %s", "Cast failed");
327 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 71);
332 var13
= nit__local_var_init___FlowContext___is_variable_set(var_flow
, var_variable
);
337 { /* Inline local_var_init#LocalVarInitVisitor#toolcontext (self) on <self:LocalVarInitVisitor> */
338 var17
= self
->attrs
[COLOR_nit__local_var_init__LocalVarInitVisitor___toolcontext
].val
; /* _toolcontext on <self:LocalVarInitVisitor> */
339 if (unlikely(var17
== NULL
)) {
340 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _toolcontext");
341 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 46);
349 var18
= nit___nit__ANode___hot_location(var_node
);
351 if (unlikely(varonce
==NULL
)) {
352 var19
= NEW_standard__NativeArray(3l, &type_standard__NativeArray__standard__String
);
353 if (likely(varonce20
!=NULL
)) {
356 var22
= "Error: possibly unset variable `";
357 var23
= standard___standard__NativeString___to_s_with_length(var22
, 32l);
361 ((struct instance_standard__NativeArray
*)var19
)->values
[0]=var21
;
362 if (likely(varonce24
!=NULL
)) {
366 var27
= standard___standard__NativeString___to_s_with_length(var26
, 2l);
370 ((struct instance_standard__NativeArray
*)var19
)->values
[2]=var25
;
376 var28
= ((val
*(*)(val
* self
))(var_variable
->class->vft
[COLOR_standard__string__Object__to_s
]))(var_variable
); /* to_s on <var_variable:nullable Variable(Variable)>*/
378 ((struct instance_standard__NativeArray
*)var19
)->values
[1]=var28
;
380 var29
= ((val
*(*)(val
* self
))(var19
->class->vft
[COLOR_standard__string__NativeArray__native_to_s
]))(var19
); /* native_to_s on <var19:NativeArray[String]>*/
384 var30
= nit___nit__ToolContext___error(var15
, var18
, var29
);
387 { /* Inline local_var_init#LocalVarInitVisitor#maybe_unset_vars (self) on <self:LocalVarInitVisitor> */
388 var33
= self
->attrs
[COLOR_nit__local_var_init__LocalVarInitVisitor___maybe_unset_vars
].val
; /* _maybe_unset_vars on <self:LocalVarInitVisitor> */
389 if (unlikely(var33
== NULL
)) {
390 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _maybe_unset_vars");
391 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 48);
399 ((void(*)(val
* self
, val
* p0
))((((long)var31
&3)?class_info
[((long)var31
&3)]:var31
->class)->vft
[COLOR_standard__abstract_collection__RemovableCollection__remove
]))(var31
, var_variable
); /* remove on <var31:Set[Variable]>*/
405 /* method local_var_init#LocalVarInitVisitor#visit for (self: LocalVarInitVisitor, ANode) */
406 void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___nit__parser_nodes__Visitor__visit(val
* self
, val
* p0
) {
407 val
* var_n
/* var n: ANode */;
410 ((void(*)(val
* self
, val
* p0
))(var_n
->class->vft
[COLOR_nit__local_var_init__ANode__accept_local_var_visitor
]))(var_n
, self
); /* accept_local_var_visitor on <var_n:ANode>*/
414 /* method local_var_init#LocalVarInitVisitor#init for (self: LocalVarInitVisitor) */
415 void nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___standard__kernel__Object__init(val
* self
) {
417 ((void(*)(val
* self
))(self
->class->vft
[COLOR_nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___standard__kernel__Object__init
]))(self
); /* init on <self:LocalVarInitVisitor>*/
421 /* method local_var_init#FlowContext#set_vars for (self: FlowContext): Set[Variable] */
422 val
* nit__local_var_init___FlowContext___set_vars(val
* self
) {
423 val
* var
/* : Set[Variable] */;
424 val
* var1
/* : Set[Variable] */;
425 var1
= self
->attrs
[COLOR_nit__local_var_init__FlowContext___set_vars
].val
; /* _set_vars on <self:FlowContext> */
426 if (unlikely(var1
== NULL
)) {
427 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _set_vars");
428 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 86);
435 /* method local_var_init#FlowContext#is_variable_set for (self: FlowContext, Variable): Bool */
436 short int nit__local_var_init___FlowContext___is_variable_set(val
* self
, val
* p0
) {
437 short int var
/* : Bool */;
438 val
* var_variable
/* var variable: Variable */;
439 val
* var1
/* : Set[Variable] */;
440 val
* var3
/* : Set[Variable] */;
441 short int var4
/* : Bool */;
442 val
* var5
/* : Array[FlowContext] */;
443 val
* var7
/* : Array[FlowContext] */;
444 val
* var_previous
/* var previous: Array[FlowContext] */;
445 long var8
/* : Int */;
446 long var10
/* : Int */;
447 short int var11
/* : Bool */;
448 short int var13
/* : Bool */;
449 long var14
/* : Int */;
450 long var16
/* : Int */;
451 short int var17
/* : Bool */;
452 short int var19
/* : Bool */;
453 val
* var20
/* : nullable Object */;
454 short int var21
/* : Bool */;
455 val
* var22
/* : Array[FlowContext] */;
456 val
* var24
/* : Array[FlowContext] */;
457 val
* var_
/* var : Array[FlowContext] */;
458 val
* var25
/* : ArrayIterator[nullable Object] */;
459 val
* var_26
/* var : ArrayIterator[FlowContext] */;
460 short int var27
/* : Bool */;
461 val
* var28
/* : nullable Object */;
462 val
* var_p
/* var p: FlowContext */;
463 short int var29
/* : Bool */;
464 short int var30
/* : Bool */;
465 val
* var31
/* : Set[Variable] */;
466 val
* var33
/* : Set[Variable] */;
469 { /* Inline local_var_init#FlowContext#set_vars (self) on <self:FlowContext> */
470 var3
= self
->attrs
[COLOR_nit__local_var_init__FlowContext___set_vars
].val
; /* _set_vars on <self:FlowContext> */
471 if (unlikely(var3
== NULL
)) {
472 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _set_vars");
473 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 86);
481 var4
= ((short int(*)(val
* self
, val
* p0
))((((long)var1
&3)?class_info
[((long)var1
&3)]:var1
->class)->vft
[COLOR_standard__abstract_collection__Collection__has
]))(var1
, var_variable
); /* has on <var1:Set[Variable]>*/
489 { /* Inline flow#FlowContext#previous (self) on <self:FlowContext> */
490 var7
= self
->attrs
[COLOR_nit__flow__FlowContext___previous
].val
; /* _previous on <self:FlowContext> */
491 if (unlikely(var7
== NULL
)) {
492 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _previous");
493 PRINT_ERROR(" (%s:%d)\n", FILE_nit__flow
, 189);
502 { /* Inline array#AbstractArrayRead#length (var_previous) on <var_previous:Array[FlowContext]> */
503 var10
= var_previous
->attrs
[COLOR_standard__array__AbstractArrayRead___length
].l
; /* _length on <var_previous:Array[FlowContext]> */
509 { /* Inline kernel#Int#== (var8,0l) on <var8:Int> */
522 { /* Inline array#AbstractArrayRead#length (var_previous) on <var_previous:Array[FlowContext]> */
523 var16
= var_previous
->attrs
[COLOR_standard__array__AbstractArrayRead___length
].l
; /* _length on <var_previous:Array[FlowContext]> */
529 { /* Inline kernel#Int#== (var14,1l) on <var14:Int> */
538 var20
= standard___standard__SequenceRead___Collection__first(var_previous
);
541 var21
= nit__local_var_init___FlowContext___is_variable_set(var20
, var_variable
);
548 { /* Inline flow#FlowContext#previous (self) on <self:FlowContext> */
549 var24
= self
->attrs
[COLOR_nit__flow__FlowContext___previous
].val
; /* _previous on <self:FlowContext> */
550 if (unlikely(var24
== NULL
)) {
551 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _previous");
552 PRINT_ERROR(" (%s:%d)\n", FILE_nit__flow
, 189);
561 var25
= standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(var_
);
566 var27
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(var_26
);
570 var28
= standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(var_26
);
574 var29
= nit__local_var_init___FlowContext___is_variable_set(var_p
, var_variable
);
583 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(var_26
); /* Direct call array#ArrayIterator#next on <var_26:ArrayIterator[FlowContext]>*/
589 BREAK_label
: (void)0;
591 standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__finish(var_26
); /* Direct call array#ArrayIterator#finish on <var_26:ArrayIterator[FlowContext]>*/
594 { /* Inline local_var_init#FlowContext#set_vars (self) on <self:FlowContext> */
595 var33
= self
->attrs
[COLOR_nit__local_var_init__FlowContext___set_vars
].val
; /* _set_vars on <self:FlowContext> */
596 if (unlikely(var33
== NULL
)) {
597 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _set_vars");
598 PRINT_ERROR(" (%s:%d)\n", FILE_nit__local_var_init
, 86);
606 ((void(*)(val
* self
, val
* p0
))((((long)var31
&3)?class_info
[((long)var31
&3)]:var31
->class)->vft
[COLOR_standard__abstract_collection__SimpleCollection__add
]))(var31
, var_variable
); /* add on <var31:Set[Variable]>*/
613 /* method local_var_init#ANode#accept_local_var_visitor for (self: ANode, LocalVarInitVisitor) */
614 void nit__local_var_init___ANode___accept_local_var_visitor(val
* self
, val
* p0
) {
615 val
* var_v
/* var v: LocalVarInitVisitor */;
618 ((void(*)(val
* self
, val
* p0
))(self
->class->vft
[COLOR_nit__parser_nodes__ANode__visit_all
]))(self
, var_v
); /* visit_all on <self:ANode>*/
622 /* method local_var_init#AVardeclExpr#accept_local_var_visitor for (self: AVardeclExpr, LocalVarInitVisitor) */
623 void nit__local_var_init___AVardeclExpr___ANode__accept_local_var_visitor(val
* self
, val
* p0
) {
624 val
* var_v
/* var v: LocalVarInitVisitor */;
625 val
* var
/* : nullable AExpr */;
626 val
* var2
/* : nullable AExpr */;
627 short int var3
/* : Bool */;
628 short int var4
/* : Bool */;
629 val
* var_other
/* var other: nullable Object */;
630 short int var6
/* : Bool */;
631 short int var8
/* : Bool */;
632 val
* var9
/* : nullable Variable */;
633 val
* var11
/* : nullable Variable */;
636 ((void(*)(val
* self
, val
* p0
))(self
->class->vft
[COLOR_nit__local_var_init___AVardeclExpr___ANode__accept_local_var_visitor
]))(self
, p0
); /* accept_local_var_visitor on <self:AVardeclExpr>*/
639 { /* Inline parser_nodes#AVardeclExpr#n_expr (self) on <self:AVardeclExpr> */
640 var2
= self
->attrs
[COLOR_nit__parser_nodes__AVardeclExpr___n_expr
].val
; /* _n_expr on <self:AVardeclExpr> */
646 var3
= 1; /* is null */
648 var3
= 0; /* arg is null but recv is not */
651 { /* Inline kernel#Object#== (var,((val*)NULL)) on <var:nullable AExpr> */
652 var_other
= ((val
*)NULL
);
654 { /* Inline kernel#Object#is_same_instance (var,var_other) on <var:nullable AExpr(AExpr)> */
655 var8
= var
== var_other
;
669 { /* Inline scope#AVardeclExpr#variable (self) on <self:AVardeclExpr> */
670 var11
= self
->attrs
[COLOR_nit__scope__AVardeclExpr___variable
].val
; /* _variable on <self:AVardeclExpr> */
676 nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___mark_is_unset(var_v
, self
, var9
); /* Direct call local_var_init#LocalVarInitVisitor#mark_is_unset on <var_v:LocalVarInitVisitor>*/
682 /* method local_var_init#AVarExpr#accept_local_var_visitor for (self: AVarExpr, LocalVarInitVisitor) */
683 void nit__local_var_init___AVarExpr___ANode__accept_local_var_visitor(val
* self
, val
* p0
) {
684 val
* var_v
/* var v: LocalVarInitVisitor */;
685 val
* var
/* : nullable Variable */;
686 val
* var2
/* : nullable Variable */;
689 ((void(*)(val
* self
, val
* p0
))(self
->class->vft
[COLOR_nit__local_var_init___AVarExpr___ANode__accept_local_var_visitor
]))(self
, p0
); /* accept_local_var_visitor on <self:AVarExpr>*/
692 { /* Inline scope#AVarFormExpr#variable (self) on <self:AVarExpr> */
693 var2
= self
->attrs
[COLOR_nit__scope__AVarFormExpr___variable
].val
; /* _variable on <self:AVarExpr> */
699 nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___check_is_set(var_v
, self
, var
); /* Direct call local_var_init#LocalVarInitVisitor#check_is_set on <var_v:LocalVarInitVisitor>*/
703 /* method local_var_init#AVarAssignExpr#accept_local_var_visitor for (self: AVarAssignExpr, LocalVarInitVisitor) */
704 void nit__local_var_init___AVarAssignExpr___ANode__accept_local_var_visitor(val
* self
, val
* p0
) {
705 val
* var_v
/* var v: LocalVarInitVisitor */;
706 val
* var
/* : nullable Variable */;
707 val
* var2
/* : nullable Variable */;
710 ((void(*)(val
* self
, val
* p0
))(self
->class->vft
[COLOR_nit__local_var_init___AVarAssignExpr___ANode__accept_local_var_visitor
]))(self
, p0
); /* accept_local_var_visitor on <self:AVarAssignExpr>*/
713 { /* Inline scope#AVarFormExpr#variable (self) on <self:AVarAssignExpr> */
714 var2
= self
->attrs
[COLOR_nit__scope__AVarFormExpr___variable
].val
; /* _variable on <self:AVarAssignExpr> */
720 nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___mark_is_set(var_v
, self
, var
); /* Direct call local_var_init#LocalVarInitVisitor#mark_is_set on <var_v:LocalVarInitVisitor>*/
724 /* method local_var_init#AVarReassignExpr#accept_local_var_visitor for (self: AVarReassignExpr, LocalVarInitVisitor) */
725 void nit__local_var_init___AVarReassignExpr___ANode__accept_local_var_visitor(val
* self
, val
* p0
) {
726 val
* var_v
/* var v: LocalVarInitVisitor */;
727 val
* var
/* : nullable Variable */;
728 val
* var2
/* : nullable Variable */;
731 ((void(*)(val
* self
, val
* p0
))(self
->class->vft
[COLOR_nit__local_var_init___AVarReassignExpr___ANode__accept_local_var_visitor
]))(self
, p0
); /* accept_local_var_visitor on <self:AVarReassignExpr>*/
734 { /* Inline scope#AVarFormExpr#variable (self) on <self:AVarReassignExpr> */
735 var2
= self
->attrs
[COLOR_nit__scope__AVarFormExpr___variable
].val
; /* _variable on <self:AVarReassignExpr> */
741 nit__local_var_init___nit__local_var_init__LocalVarInitVisitor___check_is_set(var_v
, self
, var
); /* Direct call local_var_init#LocalVarInitVisitor#check_is_set on <var_v:LocalVarInitVisitor>*/