1 /* This C file is generated by NIT to compile module global___reachable_from_init_method_analysis. */
2 #include "global___reachable_from_init_method_analysis._sep.h"
3 static const char LOCATE_global___reachable_from_init_method_analysis___Program___rfima
[] = "reachable_from_init_method_analysis::Program::rfima";
4 val_t
global___reachable_from_init_method_analysis___Program___rfima(val_t p0
){
5 struct {struct stack_frame_t me
;} fra
;
7 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
8 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
10 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___Program___rfima
;
13 fra
.me
.nitni_local_ref_head
= NULL
;
14 fra
.me
.REG
[0] = NIT_NULL
;
16 /* global/reachable_from_init_method_analysis.nit:25 */
17 fra
.me
.REG
[0] = ATTR_global___reachable_from_init_method_analysis___Program____rfima(fra
.me
.REG
[0]);
18 stack_frame_head
= fra
.me
.prev
;
21 static const char LOCATE_global___reachable_from_init_method_analysis___Program___rfima__eq
[] = "reachable_from_init_method_analysis::Program::rfima=";
22 void global___reachable_from_init_method_analysis___Program___rfima__eq(val_t p0
, val_t p1
){
23 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
25 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
26 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
28 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___Program___rfima__eq
;
31 fra
.me
.nitni_local_ref_head
= NULL
;
32 fra
.me
.REG
[0] = NIT_NULL
;
33 fra
.me
.REG
[1] = NIT_NULL
;
36 /* global/reachable_from_init_method_analysis.nit:25 */
37 ATTR_global___reachable_from_init_method_analysis___Program____rfima(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
38 stack_frame_head
= fra
.me
.prev
;
41 static const char LOCATE_global___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init
[] = "reachable_from_init_method_analysis::Program::dump_reachable_methods_from_init";
42 void global___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init(val_t p0
, val_t p1
){
43 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
46 static val_t once_value_1
; /* Once value */
47 static val_t once_value_2
; /* Once value */
48 static val_t once_value_3
; /* Once value */
49 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
50 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
52 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init
;
55 fra
.me
.nitni_local_ref_head
= NULL
;
56 fra
.me
.REG
[0] = NIT_NULL
;
57 fra
.me
.REG
[1] = NIT_NULL
;
58 fra
.me
.REG
[2] = NIT_NULL
;
59 fra
.me
.REG
[3] = NIT_NULL
;
62 /* global/reachable_from_init_method_analysis.nit:31 */
64 fra
.me
.REG
[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
66 fra
.me
.REG
[3] = BOX_NativeString("");
68 fra
.me
.REG
[3] = CALL_standard___string___NativeString___to_s_with_length(fra
.me
.REG
[3])(fra
.me
.REG
[3], REGB0
);
69 once_value_1
= fra
.me
.REG
[3];
70 register_static_object(&once_value_1
);
71 } else fra
.me
.REG
[3] = once_value_1
;
72 fra
.me
.REG
[3] = fra
.me
.REG
[3];
73 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
74 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
76 fra
.me
.REG
[1] = BOX_NativeString("/");
78 fra
.me
.REG
[1] = CALL_standard___string___NativeString___to_s_with_length(fra
.me
.REG
[1])(fra
.me
.REG
[1], REGB0
);
79 once_value_2
= fra
.me
.REG
[1];
80 register_static_object(&once_value_2
);
81 } else fra
.me
.REG
[1] = once_value_2
;
82 fra
.me
.REG
[1] = fra
.me
.REG
[1];
83 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
84 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
85 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMModule___name(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
86 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
87 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
89 fra
.me
.REG
[1] = BOX_NativeString(".reachable_methods_from_init.log");
91 fra
.me
.REG
[1] = CALL_standard___string___NativeString___to_s_with_length(fra
.me
.REG
[1])(fra
.me
.REG
[1], REGB0
);
92 once_value_3
= fra
.me
.REG
[1];
93 register_static_object(&once_value_3
);
94 } else fra
.me
.REG
[1] = once_value_3
;
95 fra
.me
.REG
[1] = fra
.me
.REG
[1];
96 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
97 fra
.me
.REG
[2] = CALL_standard___string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
98 fra
.me
.REG
[2] = NEW_OFStream_standard___file___OFStream___open(fra
.me
.REG
[2]);
99 CALL_program___Program___with_each_methods(fra
.me
.REG
[0])(fra
.me
.REG
[0], (&(fra
.me
)), ((fun_t
)OC_global___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init_4
));
100 /* global/reachable_from_init_method_analysis.nit:37 */
101 CALL_standard___stream___IOS___close(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
102 stack_frame_head
= fra
.me
.prev
;
105 void OC_global___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init_4(struct stack_frame_t
*closctx
, val_t p0
){
106 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
109 static val_t once_value_5
; /* Once value */
110 static val_t once_value_6
; /* Once value */
111 /* global/reachable_from_init_method_analysis.nit:32 */
112 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
113 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
115 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init
;
116 fra
.me
.has_broke
= 0;
118 fra
.me
.nitni_local_ref_head
= NULL
;
119 fra
.me
.REG
[0] = NIT_NULL
;
120 fra
.me
.REG
[1] = NIT_NULL
;
121 fra
.me
.REG
[2] = NIT_NULL
;
123 /* global/reachable_from_init_method_analysis.nit:33 */
124 fra
.me
.REG
[1] = CALL_global___reachable_from_init_method_analysis___Program___rfima(closctx
->REG
[0])(closctx
->REG
[0]);
125 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
126 if (UNTAG_Bool(REGB0
)) {
127 nit_abort("Reciever is null", NULL
, LOCATE_global___reachable_from_init_method_analysis
, 33);
129 REGB0
= CALL_global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
130 if (UNTAG_Bool(REGB0
)) {
131 /* global/reachable_from_init_method_analysis.nit:34 */
133 fra
.me
.REG
[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
135 fra
.me
.REG
[2] = BOX_NativeString("");
137 fra
.me
.REG
[2] = CALL_standard___string___NativeString___to_s_with_length(fra
.me
.REG
[2])(fra
.me
.REG
[2], REGB0
);
138 once_value_5
= fra
.me
.REG
[2];
139 register_static_object(&once_value_5
);
140 } else fra
.me
.REG
[2] = once_value_5
;
141 fra
.me
.REG
[2] = fra
.me
.REG
[2];
142 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
143 fra
.me
.REG
[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
144 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
146 fra
.me
.REG
[0] = BOX_NativeString("\n");
148 fra
.me
.REG
[0] = CALL_standard___string___NativeString___to_s_with_length(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB0
);
149 once_value_6
= fra
.me
.REG
[0];
150 register_static_object(&once_value_6
);
151 } else fra
.me
.REG
[0] = once_value_6
;
152 fra
.me
.REG
[0] = fra
.me
.REG
[0];
153 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
154 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
155 CALL_standard___stream___OStream___write(closctx
->REG
[2])(closctx
->REG
[2], fra
.me
.REG
[1]);
157 stack_frame_head
= fra
.me
.prev
;
160 static const char LOCATE_global___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init
[] = "reachable_from_init_method_analysis::Program::dump_unreachable_methods_from_init";
161 void global___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init(val_t p0
, val_t p1
){
162 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
165 static val_t once_value_1
; /* Once value */
166 static val_t once_value_2
; /* Once value */
167 static val_t once_value_3
; /* Once value */
168 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
169 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
171 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init
;
172 fra
.me
.has_broke
= 0;
174 fra
.me
.nitni_local_ref_head
= NULL
;
175 fra
.me
.REG
[0] = NIT_NULL
;
176 fra
.me
.REG
[1] = NIT_NULL
;
177 fra
.me
.REG
[2] = NIT_NULL
;
178 fra
.me
.REG
[3] = NIT_NULL
;
181 /* global/reachable_from_init_method_analysis.nit:43 */
183 fra
.me
.REG
[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
185 fra
.me
.REG
[3] = BOX_NativeString("");
187 fra
.me
.REG
[3] = CALL_standard___string___NativeString___to_s_with_length(fra
.me
.REG
[3])(fra
.me
.REG
[3], REGB0
);
188 once_value_1
= fra
.me
.REG
[3];
189 register_static_object(&once_value_1
);
190 } else fra
.me
.REG
[3] = once_value_1
;
191 fra
.me
.REG
[3] = fra
.me
.REG
[3];
192 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
193 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
195 fra
.me
.REG
[1] = BOX_NativeString("/");
197 fra
.me
.REG
[1] = CALL_standard___string___NativeString___to_s_with_length(fra
.me
.REG
[1])(fra
.me
.REG
[1], REGB0
);
198 once_value_2
= fra
.me
.REG
[1];
199 register_static_object(&once_value_2
);
200 } else fra
.me
.REG
[1] = once_value_2
;
201 fra
.me
.REG
[1] = fra
.me
.REG
[1];
202 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
203 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
204 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMModule___name(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
205 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
206 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
208 fra
.me
.REG
[1] = BOX_NativeString(".unreachable_methods_from_init.log");
210 fra
.me
.REG
[1] = CALL_standard___string___NativeString___to_s_with_length(fra
.me
.REG
[1])(fra
.me
.REG
[1], REGB0
);
211 once_value_3
= fra
.me
.REG
[1];
212 register_static_object(&once_value_3
);
213 } else fra
.me
.REG
[1] = once_value_3
;
214 fra
.me
.REG
[1] = fra
.me
.REG
[1];
215 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
216 fra
.me
.REG
[2] = CALL_standard___string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
217 fra
.me
.REG
[2] = NEW_OFStream_standard___file___OFStream___open(fra
.me
.REG
[2]);
218 CALL_program___Program___with_each_methods(fra
.me
.REG
[0])(fra
.me
.REG
[0], (&(fra
.me
)), ((fun_t
)OC_global___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init_4
));
219 /* global/reachable_from_init_method_analysis.nit:49 */
220 CALL_standard___stream___IOS___close(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
221 stack_frame_head
= fra
.me
.prev
;
224 void OC_global___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init_4(struct stack_frame_t
*closctx
, val_t p0
){
225 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
229 static val_t once_value_5
; /* Once value */
230 static val_t once_value_6
; /* Once value */
231 /* global/reachable_from_init_method_analysis.nit:44 */
232 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
233 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
235 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init
;
236 fra
.me
.has_broke
= 0;
238 fra
.me
.nitni_local_ref_head
= NULL
;
239 fra
.me
.REG
[0] = NIT_NULL
;
240 fra
.me
.REG
[1] = NIT_NULL
;
241 fra
.me
.REG
[2] = NIT_NULL
;
243 /* global/reachable_from_init_method_analysis.nit:45 */
244 fra
.me
.REG
[1] = CALL_global___reachable_from_init_method_analysis___Program___rfima(closctx
->REG
[0])(closctx
->REG
[0]);
245 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
246 if (UNTAG_Bool(REGB0
)) {
247 nit_abort("Reciever is null", NULL
, LOCATE_global___reachable_from_init_method_analysis
, 45);
249 REGB0
= CALL_global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
250 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
251 if (UNTAG_Bool(REGB0
)) {
252 fra
.me
.REG
[1] = CALL_global___reachable_method_analysis___Program___rma(closctx
->REG
[0])(closctx
->REG
[0]);
253 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
254 if (UNTAG_Bool(REGB0
)) {
255 nit_abort("Reciever is null", NULL
, LOCATE_global___reachable_from_init_method_analysis
, 45);
257 REGB0
= CALL_global___reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
262 if (UNTAG_Bool(REGB0
)) {
263 /* global/reachable_from_init_method_analysis.nit:46 */
265 fra
.me
.REG
[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
267 fra
.me
.REG
[2] = BOX_NativeString("");
269 fra
.me
.REG
[2] = CALL_standard___string___NativeString___to_s_with_length(fra
.me
.REG
[2])(fra
.me
.REG
[2], REGB0
);
270 once_value_5
= fra
.me
.REG
[2];
271 register_static_object(&once_value_5
);
272 } else fra
.me
.REG
[2] = once_value_5
;
273 fra
.me
.REG
[2] = fra
.me
.REG
[2];
274 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
275 fra
.me
.REG
[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
276 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
278 fra
.me
.REG
[0] = BOX_NativeString("\n");
280 fra
.me
.REG
[0] = CALL_standard___string___NativeString___to_s_with_length(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB0
);
281 once_value_6
= fra
.me
.REG
[0];
282 register_static_object(&once_value_6
);
283 } else fra
.me
.REG
[0] = once_value_6
;
284 fra
.me
.REG
[0] = fra
.me
.REG
[0];
285 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
286 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
287 CALL_standard___stream___OStream___write(closctx
->REG
[2])(closctx
->REG
[2], fra
.me
.REG
[1]);
289 stack_frame_head
= fra
.me
.prev
;
292 static const char LOCATE_global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init
[] = "reachable_from_init_method_analysis::ReachableFromInitMethodAnalysis::is_iroutine_reachable_from_init";
293 val_t
global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init(val_t p0
, val_t p1
){
294 struct {struct stack_frame_t me
;} fra
;
296 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
297 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
299 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init
;
300 fra
.me
.has_broke
= 0;
302 fra
.me
.nitni_local_ref_head
= NULL
;
303 /* global/reachable_from_init_method_analysis.nit:57 */
304 nit_abort("Deferred method called", NULL
, LOCATE_global___reachable_from_init_method_analysis
, 57);
305 stack_frame_head
= fra
.me
.prev
;
308 static const char LOCATE_global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init
[] = "reachable_from_init_method_analysis::ReachableFromInitMethodAnalysis::is_method_reachable_from_init";
309 val_t
global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init(val_t p0
, val_t p1
){
310 struct {struct stack_frame_t me
;} fra
;
312 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
313 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
315 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init
;
316 fra
.me
.has_broke
= 0;
318 fra
.me
.nitni_local_ref_head
= NULL
;
319 /* global/reachable_from_init_method_analysis.nit:58 */
320 nit_abort("Deferred method called", NULL
, LOCATE_global___reachable_from_init_method_analysis
, 58);
321 stack_frame_head
= fra
.me
.prev
;
324 static const char LOCATE_global___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init
[] = "reachable_from_init_method_analysis::DefaultReachableFromInitMethodAnalysis::(reachable_from_init_method_analysis::ReachableFromInitMethodAnalysis::is_iroutine_reachable_from_init)";
325 val_t
global___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init(val_t p0
, val_t p1
){
326 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
329 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
330 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
332 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init
;
333 fra
.me
.has_broke
= 0;
335 fra
.me
.nitni_local_ref_head
= NULL
;
336 fra
.me
.REG
[0] = NIT_NULL
;
337 fra
.me
.REG
[1] = NIT_NULL
;
340 /* global/reachable_from_init_method_analysis.nit:65 */
344 stack_frame_head
= fra
.me
.prev
;
347 static const char LOCATE_global___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_method_reachable_from_init
[] = "reachable_from_init_method_analysis::DefaultReachableFromInitMethodAnalysis::(reachable_from_init_method_analysis::ReachableFromInitMethodAnalysis::is_method_reachable_from_init)";
348 val_t
global___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_method_reachable_from_init(val_t p0
, val_t p1
){
349 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
352 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
353 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
355 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_method_reachable_from_init
;
356 fra
.me
.has_broke
= 0;
358 fra
.me
.nitni_local_ref_head
= NULL
;
359 fra
.me
.REG
[0] = NIT_NULL
;
360 fra
.me
.REG
[1] = NIT_NULL
;
363 /* global/reachable_from_init_method_analysis.nit:66 */
367 stack_frame_head
= fra
.me
.prev
;
370 static const char LOCATE_global___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___init
[] = "reachable_from_init_method_analysis::DefaultReachableFromInitMethodAnalysis::init";
371 void global___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___init(val_t p0
, int* init_table
){
372 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_global___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis
].i
;
373 struct {struct stack_frame_t me
;} fra
;
375 if (init_table
[itpos0
]) return;
376 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
377 fra
.me
.file
= LOCATE_global___reachable_from_init_method_analysis
;
379 fra
.me
.meth
= LOCATE_global___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___init
;
380 fra
.me
.has_broke
= 0;
382 fra
.me
.nitni_local_ref_head
= NULL
;
383 fra
.me
.REG
[0] = NIT_NULL
;
385 stack_frame_head
= fra
.me
.prev
;
386 init_table
[itpos0
] = 1;