1 /* This C file is generated by NIT to compile module global___instantiated_type_analysis. */
2 #include "global___instantiated_type_analysis._sep.h"
3 val_t
global___instantiated_type_analysis___Program___ita(val_t p0
){
4 struct {struct stack_frame_t me
;} fra
;
6 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
7 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
9 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___Program___ita
;
12 fra
.me
.nitni_local_ref_head
= NULL
;
13 fra
.me
.REG
[0] = NIT_NULL
;
15 /* global/instantiated_type_analysis.nit:23 */
16 fra
.me
.REG
[0] = ATTR_global___instantiated_type_analysis___Program____ita(fra
.me
.REG
[0]);
17 stack_frame_head
= fra
.me
.prev
;
20 void global___instantiated_type_analysis___Program___ita__eq(val_t p0
, val_t p1
){
21 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
23 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
24 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
26 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___Program___ita__eq
;
29 fra
.me
.nitni_local_ref_head
= NULL
;
30 fra
.me
.REG
[0] = NIT_NULL
;
31 fra
.me
.REG
[1] = NIT_NULL
;
34 /* global/instantiated_type_analysis.nit:23 */
35 ATTR_global___instantiated_type_analysis___Program____ita(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
36 stack_frame_head
= fra
.me
.prev
;
39 void global___instantiated_type_analysis___Program___dump_instantiated_types(val_t p0
, val_t p1
){
40 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
43 static val_t once_value_1
; /* Once value */
44 static val_t once_value_2
; /* Once value */
45 static val_t once_value_3
; /* Once value */
46 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
47 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
49 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___Program___dump_instantiated_types
;
52 fra
.me
.nitni_local_ref_head
= NULL
;
53 fra
.me
.REG
[0] = NIT_NULL
;
54 fra
.me
.REG
[1] = NIT_NULL
;
55 fra
.me
.REG
[2] = NIT_NULL
;
56 fra
.me
.REG
[3] = NIT_NULL
;
59 /* global/instantiated_type_analysis.nit:28 */
61 fra
.me
.REG
[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
63 fra
.me
.REG
[3] = BOX_NativeString("");
65 fra
.me
.REG
[3] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[3], REGB0
);
66 once_value_1
= fra
.me
.REG
[3];
67 register_static_object(&once_value_1
);
68 } else fra
.me
.REG
[3] = once_value_1
;
69 fra
.me
.REG
[3] = fra
.me
.REG
[3];
70 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
71 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
73 fra
.me
.REG
[1] = BOX_NativeString("/");
75 fra
.me
.REG
[1] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[1], REGB0
);
76 once_value_2
= fra
.me
.REG
[1];
77 register_static_object(&once_value_2
);
78 } else fra
.me
.REG
[1] = once_value_2
;
79 fra
.me
.REG
[1] = fra
.me
.REG
[1];
80 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
81 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
82 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMModule___name(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
83 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
84 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
86 fra
.me
.REG
[1] = BOX_NativeString(".instantiated_types.log");
88 fra
.me
.REG
[1] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[1], REGB0
);
89 once_value_3
= fra
.me
.REG
[1];
90 register_static_object(&once_value_3
);
91 } else fra
.me
.REG
[1] = once_value_3
;
92 fra
.me
.REG
[1] = fra
.me
.REG
[1];
93 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
94 fra
.me
.REG
[2] = CALL_standard___string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
95 fra
.me
.REG
[2] = NEW_OFStream_standard___file___OFStream___open(fra
.me
.REG
[2]);
96 CALL_program___Program___with_each_live_local_classes(fra
.me
.REG
[0])(fra
.me
.REG
[0], (&(fra
.me
)), ((fun_t
)OC_global___instantiated_type_analysis___Program___dump_instantiated_types_4
));
97 /* global/instantiated_type_analysis.nit:32 */
98 CALL_standard___stream___IOS___close(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
99 stack_frame_head
= fra
.me
.prev
;
102 void OC_global___instantiated_type_analysis___Program___dump_instantiated_types_4(struct stack_frame_t
*closctx
, val_t p0
){
103 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
106 static val_t once_value_5
; /* Once value */
107 static val_t once_value_6
; /* Once value */
108 /* global/instantiated_type_analysis.nit:29 */
109 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
110 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
112 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___Program___dump_instantiated_types
;
113 fra
.me
.has_broke
= 0;
115 fra
.me
.nitni_local_ref_head
= NULL
;
116 fra
.me
.REG
[0] = NIT_NULL
;
117 fra
.me
.REG
[1] = NIT_NULL
;
118 fra
.me
.REG
[2] = NIT_NULL
;
120 /* global/instantiated_type_analysis.nit:30 */
122 fra
.me
.REG
[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
124 fra
.me
.REG
[2] = BOX_NativeString("");
126 fra
.me
.REG
[2] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[2], REGB0
);
127 once_value_5
= fra
.me
.REG
[2];
128 register_static_object(&once_value_5
);
129 } else fra
.me
.REG
[2] = once_value_5
;
130 fra
.me
.REG
[2] = fra
.me
.REG
[2];
131 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
132 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
133 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
135 fra
.me
.REG
[0] = BOX_NativeString("\n");
137 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB0
);
138 once_value_6
= fra
.me
.REG
[0];
139 register_static_object(&once_value_6
);
140 } else fra
.me
.REG
[0] = once_value_6
;
141 fra
.me
.REG
[0] = fra
.me
.REG
[0];
142 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
143 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
144 CALL_standard___stream___OStream___write(closctx
->REG
[2])(closctx
->REG
[2], fra
.me
.REG
[1]);
145 stack_frame_head
= fra
.me
.prev
;
148 void global___instantiated_type_analysis___Program___dump_not_instantiated_types(val_t p0
, val_t p1
){
149 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
152 static val_t once_value_1
; /* Once value */
153 static val_t once_value_2
; /* Once value */
154 static val_t once_value_3
; /* Once value */
155 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
156 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
158 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___Program___dump_not_instantiated_types
;
159 fra
.me
.has_broke
= 0;
161 fra
.me
.nitni_local_ref_head
= NULL
;
162 fra
.me
.REG
[0] = NIT_NULL
;
163 fra
.me
.REG
[1] = NIT_NULL
;
164 fra
.me
.REG
[2] = NIT_NULL
;
165 fra
.me
.REG
[3] = NIT_NULL
;
168 /* global/instantiated_type_analysis.nit:37 */
170 fra
.me
.REG
[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
172 fra
.me
.REG
[3] = BOX_NativeString("");
174 fra
.me
.REG
[3] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[3], REGB0
);
175 once_value_1
= fra
.me
.REG
[3];
176 register_static_object(&once_value_1
);
177 } else fra
.me
.REG
[3] = once_value_1
;
178 fra
.me
.REG
[3] = fra
.me
.REG
[3];
179 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
180 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
182 fra
.me
.REG
[1] = BOX_NativeString("/");
184 fra
.me
.REG
[1] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[1], REGB0
);
185 once_value_2
= fra
.me
.REG
[1];
186 register_static_object(&once_value_2
);
187 } else fra
.me
.REG
[1] = once_value_2
;
188 fra
.me
.REG
[1] = fra
.me
.REG
[1];
189 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
190 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
191 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMModule___name(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
192 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
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(".not_instantiated_types.log");
197 fra
.me
.REG
[1] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[1], REGB0
);
198 once_value_3
= fra
.me
.REG
[1];
199 register_static_object(&once_value_3
);
200 } else fra
.me
.REG
[1] = once_value_3
;
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
[2] = CALL_standard___string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
204 fra
.me
.REG
[2] = NEW_OFStream_standard___file___OFStream___open(fra
.me
.REG
[2]);
205 /* global/instantiated_type_analysis.nit:39 */
206 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
207 fra
.me
.REG
[1] = CALL_metamodel___abstractmetamodel___MMModule___local_classes(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
208 CALL_standard___collection___abstract_collection___Collection___iterate(fra
.me
.REG
[1])(fra
.me
.REG
[1], (&(fra
.me
)), ((fun_t
)OC_global___instantiated_type_analysis___Program___dump_not_instantiated_types_4
));
209 /* global/instantiated_type_analysis.nit:44 */
210 CALL_standard___stream___IOS___close(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
211 stack_frame_head
= fra
.me
.prev
;
214 void OC_global___instantiated_type_analysis___Program___dump_not_instantiated_types_4(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
215 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
219 static val_t once_value_5
; /* Once value */
220 static val_t once_value_6
; /* Once value */
221 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
222 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
224 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___Program___dump_not_instantiated_types
;
225 fra
.me
.has_broke
= 0;
227 fra
.me
.nitni_local_ref_head
= NULL
;
228 fra
.me
.REG
[0] = NIT_NULL
;
229 fra
.me
.REG
[1] = NIT_NULL
;
230 fra
.me
.REG
[2] = NIT_NULL
;
231 fra
.me
.closure_ctx
= closctx_param
;
232 fra
.me
.closure_funs
= CREG
;
235 /* global/instantiated_type_analysis.nit:40 */
236 fra
.me
.REG
[1] = CALL_global___instantiated_type_analysis___Program___ita(closctx
->REG
[0])(closctx
->REG
[0]);
237 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
238 if (UNTAG_Bool(REGB0
)) {
239 nit_abort("Reciever is null", NULL
, LOCATE_global___instantiated_type_analysis
, 40);
241 REGB0
= CALL_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
242 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
243 if (UNTAG_Bool(REGB0
)) {
244 /* global/instantiated_type_analysis.nit:41 */
246 fra
.me
.REG
[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
248 fra
.me
.REG
[2] = BOX_NativeString("");
250 fra
.me
.REG
[2] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[2], REGB0
);
251 once_value_5
= fra
.me
.REG
[2];
252 register_static_object(&once_value_5
);
253 } else fra
.me
.REG
[2] = once_value_5
;
254 fra
.me
.REG
[2] = fra
.me
.REG
[2];
255 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
256 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
257 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
259 fra
.me
.REG
[0] = BOX_NativeString("\n");
261 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB0
);
262 once_value_6
= fra
.me
.REG
[0];
263 register_static_object(&once_value_6
);
264 } else fra
.me
.REG
[0] = once_value_6
;
265 fra
.me
.REG
[0] = fra
.me
.REG
[0];
266 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
267 fra
.me
.REG
[1] = CALL_standard___string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
268 CALL_standard___stream___OStream___write(closctx
->REG
[2])(closctx
->REG
[2], fra
.me
.REG
[1]);
270 stack_frame_head
= fra
.me
.prev
;
273 void global___instantiated_type_analysis___Program___with_each_live_local_classes(val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
274 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
277 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
278 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
280 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___Program___with_each_live_local_classes
;
281 fra
.me
.has_broke
= 0;
283 fra
.me
.nitni_local_ref_head
= NULL
;
284 fra
.me
.REG
[0] = NIT_NULL
;
285 fra
.me
.REG
[1] = NIT_NULL
;
286 fra
.me
.REG
[2] = NIT_NULL
;
287 fra
.me
.closure_ctx
= closctx_param
;
288 fra
.me
.closure_funs
= CREG
;
291 /* global/instantiated_type_analysis.nit:47 */
292 fra
.me
.REG
[1] = fra
.me
.REG
[0];
293 /* global/instantiated_type_analysis.nit:51 */
294 fra
.me
.REG
[2] = CALL_program___Program___main_module(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
295 fra
.me
.REG
[2] = CALL_metamodel___abstractmetamodel___MMModule___local_classes(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
296 CALL_standard___collection___abstract_collection___Collection___iterate(fra
.me
.REG
[2])(fra
.me
.REG
[2], (&(fra
.me
)), ((fun_t
)OC_global___instantiated_type_analysis___Program___with_each_live_local_classes_1
));
297 switch ((&(fra
.me
))->has_broke
) {
299 case 1: (&(fra
.me
))->has_broke
= 0; goto label3
;
302 stack_frame_head
= fra
.me
.prev
;
305 void OC_global___instantiated_type_analysis___Program___with_each_live_local_classes_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
306 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
311 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
312 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
314 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___Program___with_each_live_local_classes
;
315 fra
.me
.has_broke
= 0;
317 fra
.me
.nitni_local_ref_head
= NULL
;
318 fra
.me
.REG
[0] = NIT_NULL
;
319 fra
.me
.REG
[1] = NIT_NULL
;
320 fra
.me
.closure_ctx
= closctx_param
;
321 fra
.me
.closure_funs
= CREG
;
324 /* global/instantiated_type_analysis.nit:52 */
325 fra
.me
.REG
[1] = CALL_global___instantiated_type_analysis___Program___ita(closctx
->REG
[1])(closctx
->REG
[1]);
326 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
327 if (UNTAG_Bool(REGB0
)) {
329 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
330 if (UNTAG_Bool(REGB1
)) {
331 REGB1
= TAG_Bool(false);
334 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
338 if (UNTAG_Bool(REGB0
)) {
339 REGB0
= TAG_Bool(true);
341 fra
.me
.REG
[1] = CALL_global___instantiated_type_analysis___Program___ita(closctx
->REG
[1])(closctx
->REG
[1]);
342 REGB1
= TAG_Bool(fra
.me
.REG
[1]!=NIT_NULL
);
343 if (UNTAG_Bool(REGB1
)) {
345 nit_abort("Cast failed", NULL
, LOCATE_global___instantiated_type_analysis
, 52);
347 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
348 if (UNTAG_Bool(REGB1
)) {
349 nit_abort("Reciever is null", NULL
, LOCATE_global___instantiated_type_analysis
, 52);
351 REGB1
= CALL_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
354 if (UNTAG_Bool(REGB0
)) {
355 ((void (*)(struct stack_frame_t
*, val_t
))(closctx
->closure_funs
[0]))(closctx
->closure_ctx
, fra
.me
.REG
[0]);
356 if (closctx
->closure_ctx
->has_broke
) {
357 closctx
->has_broke
= 1;
362 stack_frame_head
= fra
.me
.prev
;
365 val_t
global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(val_t p0
, val_t p1
){
366 struct {struct stack_frame_t me
;} fra
;
368 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
369 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
371 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated
;
372 fra
.me
.has_broke
= 0;
374 fra
.me
.nitni_local_ref_head
= NULL
;
375 /* global/instantiated_type_analysis.nit:61 */
376 nit_abort("Deferred method called", NULL
, LOCATE_global___instantiated_type_analysis
, 61);
377 stack_frame_head
= fra
.me
.prev
;
380 val_t
global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated(val_t p0
, val_t p1
){
381 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
384 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
385 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
387 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated
;
388 fra
.me
.has_broke
= 0;
390 fra
.me
.nitni_local_ref_head
= NULL
;
391 fra
.me
.REG
[0] = NIT_NULL
;
392 fra
.me
.REG
[1] = NIT_NULL
;
395 /* global/instantiated_type_analysis.nit:67 */
396 REGB0
= TAG_Bool(true);
399 stack_frame_head
= fra
.me
.prev
;
402 void global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init(val_t p0
, int* init_table
){
403 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis
].i
;
404 struct {struct stack_frame_t me
;} fra
;
406 if (init_table
[itpos0
]) return;
407 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
408 fra
.me
.file
= LOCATE_global___instantiated_type_analysis
;
410 fra
.me
.meth
= LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init
;
411 fra
.me
.has_broke
= 0;
413 fra
.me
.nitni_local_ref_head
= NULL
;
414 fra
.me
.REG
[0] = NIT_NULL
;
416 stack_frame_head
= fra
.me
.prev
;
417 init_table
[itpos0
] = 1;