1 /* This C file is generated by NIT to compile module instantiated_type_analysis. */
2 #include "instantiated_type_analysis._sep.h"
3 val_t
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_instantiated_type_analysis
;
9 fra
.me
.meth
= LOCATE_instantiated_type_analysis___Program___ita
;
12 fra
.me
.REG
[0] = NIT_NULL
;
14 /* ./analysis//instantiated_type_analysis.nit:23 */
15 fra
.me
.REG
[0] = ATTR_instantiated_type_analysis___Program____ita(fra
.me
.REG
[0]);
16 stack_frame_head
= fra
.me
.prev
;
19 void instantiated_type_analysis___Program___ita__eq(val_t p0
, val_t p1
){
20 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
22 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
23 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
25 fra
.me
.meth
= LOCATE_instantiated_type_analysis___Program___ita__eq
;
28 fra
.me
.REG
[0] = NIT_NULL
;
29 fra
.me
.REG
[1] = NIT_NULL
;
32 /* ./analysis//instantiated_type_analysis.nit:23 */
33 ATTR_instantiated_type_analysis___Program____ita(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
34 stack_frame_head
= fra
.me
.prev
;
37 void instantiated_type_analysis___Program___dump_instantiated_types(val_t p0
, val_t p1
){
38 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
41 static val_t once_value_1
; /* Once value */
42 static val_t once_value_2
; /* Once value */
43 static val_t once_value_3
; /* Once value */
44 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
45 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
47 fra
.me
.meth
= LOCATE_instantiated_type_analysis___Program___dump_instantiated_types
;
50 fra
.me
.REG
[0] = NIT_NULL
;
51 fra
.me
.REG
[1] = NIT_NULL
;
52 fra
.me
.REG
[2] = NIT_NULL
;
53 fra
.me
.REG
[3] = NIT_NULL
;
56 /* ./analysis//instantiated_type_analysis.nit:28 */
58 fra
.me
.REG
[2] = NEW_Array_array___Array___with_capacity(REGB0
);
60 fra
.me
.REG
[3] = BOX_NativeString("");
62 fra
.me
.REG
[3] = NEW_String_string___String___with_native(fra
.me
.REG
[3], REGB0
);
63 once_value_1
= fra
.me
.REG
[3];
64 register_static_object(&once_value_1
);
65 } else fra
.me
.REG
[3] = once_value_1
;
66 fra
.me
.REG
[3] = fra
.me
.REG
[3];
67 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
68 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
70 fra
.me
.REG
[1] = BOX_NativeString("/");
72 fra
.me
.REG
[1] = NEW_String_string___String___with_native(fra
.me
.REG
[1], REGB0
);
73 once_value_2
= fra
.me
.REG
[1];
74 register_static_object(&once_value_2
);
75 } else fra
.me
.REG
[1] = once_value_2
;
76 fra
.me
.REG
[1] = fra
.me
.REG
[1];
77 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
78 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
79 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMModule___name(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
80 fra
.me
.REG
[1] = CALL_string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
81 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
83 fra
.me
.REG
[1] = BOX_NativeString(".instantiated_types.log");
85 fra
.me
.REG
[1] = NEW_String_string___String___with_native(fra
.me
.REG
[1], REGB0
);
86 once_value_3
= fra
.me
.REG
[1];
87 register_static_object(&once_value_3
);
88 } else fra
.me
.REG
[1] = once_value_3
;
89 fra
.me
.REG
[1] = fra
.me
.REG
[1];
90 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
91 fra
.me
.REG
[2] = CALL_string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
92 fra
.me
.REG
[2] = NEW_OFStream_file___OFStream___open(fra
.me
.REG
[2]);
93 CALL_program___Program___with_each_live_local_classes(fra
.me
.REG
[0])(fra
.me
.REG
[0], (&(fra
.me
)), ((fun_t
)OC_instantiated_type_analysis___Program___dump_instantiated_types_4
));
94 /* ./analysis//instantiated_type_analysis.nit:32 */
95 CALL_stream___IOS___close(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
96 stack_frame_head
= fra
.me
.prev
;
99 void OC_instantiated_type_analysis___Program___dump_instantiated_types_4(struct stack_frame_t
*closctx
, val_t p0
){
100 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
103 static val_t once_value_5
; /* Once value */
104 static val_t once_value_6
; /* Once value */
105 /* ./analysis//instantiated_type_analysis.nit:29 */
106 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
107 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
109 fra
.me
.meth
= LOCATE_instantiated_type_analysis___Program___dump_instantiated_types
;
110 fra
.me
.has_broke
= 0;
112 fra
.me
.REG
[0] = NIT_NULL
;
113 fra
.me
.REG
[1] = NIT_NULL
;
114 fra
.me
.REG
[2] = NIT_NULL
;
116 /* ./analysis//instantiated_type_analysis.nit:30 */
118 fra
.me
.REG
[1] = NEW_Array_array___Array___with_capacity(REGB0
);
120 fra
.me
.REG
[2] = BOX_NativeString("");
122 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
123 once_value_5
= fra
.me
.REG
[2];
124 register_static_object(&once_value_5
);
125 } else fra
.me
.REG
[2] = once_value_5
;
126 fra
.me
.REG
[2] = fra
.me
.REG
[2];
127 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
128 fra
.me
.REG
[0] = CALL_string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
129 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
131 fra
.me
.REG
[0] = BOX_NativeString("\n");
133 fra
.me
.REG
[0] = NEW_String_string___String___with_native(fra
.me
.REG
[0], REGB0
);
134 once_value_6
= fra
.me
.REG
[0];
135 register_static_object(&once_value_6
);
136 } else fra
.me
.REG
[0] = once_value_6
;
137 fra
.me
.REG
[0] = fra
.me
.REG
[0];
138 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
139 fra
.me
.REG
[1] = CALL_string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
140 CALL_stream___OStream___write(closctx
->REG
[2])(closctx
->REG
[2], fra
.me
.REG
[1]);
141 stack_frame_head
= fra
.me
.prev
;
144 void instantiated_type_analysis___Program___dump_not_instantiated_types(val_t p0
, val_t p1
){
145 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
148 static val_t once_value_1
; /* Once value */
149 static val_t once_value_2
; /* Once value */
150 static val_t once_value_3
; /* Once value */
151 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
152 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
154 fra
.me
.meth
= LOCATE_instantiated_type_analysis___Program___dump_not_instantiated_types
;
155 fra
.me
.has_broke
= 0;
157 fra
.me
.REG
[0] = NIT_NULL
;
158 fra
.me
.REG
[1] = NIT_NULL
;
159 fra
.me
.REG
[2] = NIT_NULL
;
160 fra
.me
.REG
[3] = NIT_NULL
;
163 /* ./analysis//instantiated_type_analysis.nit:37 */
165 fra
.me
.REG
[2] = NEW_Array_array___Array___with_capacity(REGB0
);
167 fra
.me
.REG
[3] = BOX_NativeString("");
169 fra
.me
.REG
[3] = NEW_String_string___String___with_native(fra
.me
.REG
[3], REGB0
);
170 once_value_1
= fra
.me
.REG
[3];
171 register_static_object(&once_value_1
);
172 } else fra
.me
.REG
[3] = once_value_1
;
173 fra
.me
.REG
[3] = fra
.me
.REG
[3];
174 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
175 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
177 fra
.me
.REG
[1] = BOX_NativeString("/");
179 fra
.me
.REG
[1] = NEW_String_string___String___with_native(fra
.me
.REG
[1], REGB0
);
180 once_value_2
= fra
.me
.REG
[1];
181 register_static_object(&once_value_2
);
182 } else fra
.me
.REG
[1] = once_value_2
;
183 fra
.me
.REG
[1] = fra
.me
.REG
[1];
184 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
185 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
186 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMModule___name(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
187 fra
.me
.REG
[1] = CALL_string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
188 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
190 fra
.me
.REG
[1] = BOX_NativeString(".not_instantiated_types.log");
192 fra
.me
.REG
[1] = NEW_String_string___String___with_native(fra
.me
.REG
[1], REGB0
);
193 once_value_3
= fra
.me
.REG
[1];
194 register_static_object(&once_value_3
);
195 } else fra
.me
.REG
[1] = once_value_3
;
196 fra
.me
.REG
[1] = fra
.me
.REG
[1];
197 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
198 fra
.me
.REG
[2] = CALL_string___Object___to_s(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
199 fra
.me
.REG
[2] = NEW_OFStream_file___OFStream___open(fra
.me
.REG
[2]);
200 /* ./analysis//instantiated_type_analysis.nit:39 */
201 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
202 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMModule___local_classes(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
203 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[1])(fra
.me
.REG
[1], (&(fra
.me
)), ((fun_t
)OC_instantiated_type_analysis___Program___dump_not_instantiated_types_4
));
204 /* ./analysis//instantiated_type_analysis.nit:44 */
205 CALL_stream___IOS___close(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
206 stack_frame_head
= fra
.me
.prev
;
209 void OC_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
){
210 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
214 static val_t once_value_5
; /* Once value */
215 static val_t once_value_6
; /* Once value */
216 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
217 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
219 fra
.me
.meth
= LOCATE_instantiated_type_analysis___Program___dump_not_instantiated_types
;
220 fra
.me
.has_broke
= 0;
222 fra
.me
.REG
[0] = NIT_NULL
;
223 fra
.me
.REG
[1] = NIT_NULL
;
224 fra
.me
.REG
[2] = NIT_NULL
;
225 fra
.me
.closure_ctx
= closctx_param
;
226 fra
.me
.closure_funs
= CREG
;
229 /* ./analysis//instantiated_type_analysis.nit:40 */
230 fra
.me
.REG
[1] = CALL_instantiated_type_analysis___Program___ita(closctx
->REG
[0])(closctx
->REG
[0]);
231 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
232 if (UNTAG_Bool(REGB0
)) {
233 nit_abort("Reciever is null", NULL
, LOCATE_instantiated_type_analysis
, 40);
235 REGB0
= CALL_instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
236 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
237 if (UNTAG_Bool(REGB0
)) {
238 /* ./analysis//instantiated_type_analysis.nit:41 */
240 fra
.me
.REG
[1] = NEW_Array_array___Array___with_capacity(REGB0
);
242 fra
.me
.REG
[2] = BOX_NativeString("");
244 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
245 once_value_5
= fra
.me
.REG
[2];
246 register_static_object(&once_value_5
);
247 } else fra
.me
.REG
[2] = once_value_5
;
248 fra
.me
.REG
[2] = fra
.me
.REG
[2];
249 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
250 fra
.me
.REG
[0] = CALL_string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
251 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
253 fra
.me
.REG
[0] = BOX_NativeString("\n");
255 fra
.me
.REG
[0] = NEW_String_string___String___with_native(fra
.me
.REG
[0], REGB0
);
256 once_value_6
= fra
.me
.REG
[0];
257 register_static_object(&once_value_6
);
258 } else fra
.me
.REG
[0] = once_value_6
;
259 fra
.me
.REG
[0] = fra
.me
.REG
[0];
260 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
261 fra
.me
.REG
[1] = CALL_string___Object___to_s(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
262 CALL_stream___OStream___write(closctx
->REG
[2])(closctx
->REG
[2], fra
.me
.REG
[1]);
264 stack_frame_head
= fra
.me
.prev
;
267 void instantiated_type_analysis___Program___with_each_live_local_classes(val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
268 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
271 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
272 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
274 fra
.me
.meth
= LOCATE_instantiated_type_analysis___Program___with_each_live_local_classes
;
275 fra
.me
.has_broke
= 0;
277 fra
.me
.REG
[0] = NIT_NULL
;
278 fra
.me
.REG
[1] = NIT_NULL
;
279 fra
.me
.closure_ctx
= closctx_param
;
280 fra
.me
.closure_funs
= CREG
;
283 /* ./analysis//instantiated_type_analysis.nit:51 */
284 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
285 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMModule___local_classes(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
286 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[1])(fra
.me
.REG
[1], (&(fra
.me
)), ((fun_t
)OC_instantiated_type_analysis___Program___with_each_live_local_classes_1
));
287 switch ((&(fra
.me
))->has_broke
) {
289 case 1: (&(fra
.me
))->has_broke
= 0; goto label3
;
292 stack_frame_head
= fra
.me
.prev
;
295 void OC_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
){
296 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
301 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
302 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
304 fra
.me
.meth
= LOCATE_instantiated_type_analysis___Program___with_each_live_local_classes
;
305 fra
.me
.has_broke
= 0;
307 fra
.me
.REG
[0] = NIT_NULL
;
308 fra
.me
.REG
[1] = NIT_NULL
;
309 fra
.me
.closure_ctx
= closctx_param
;
310 fra
.me
.closure_funs
= CREG
;
313 /* ./analysis//instantiated_type_analysis.nit:52 */
314 fra
.me
.REG
[1] = CALL_instantiated_type_analysis___Program___ita(closctx
->REG
[0])(closctx
->REG
[0]);
315 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
316 if (UNTAG_Bool(REGB0
)) {
318 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
319 if (UNTAG_Bool(REGB1
)) {
320 REGB1
= TAG_Bool(false);
323 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
327 if (UNTAG_Bool(REGB0
)) {
328 REGB0
= TAG_Bool(true);
330 fra
.me
.REG
[1] = CALL_instantiated_type_analysis___Program___ita(closctx
->REG
[0])(closctx
->REG
[0]);
331 REGB1
= TAG_Bool(fra
.me
.REG
[1]!=NIT_NULL
);
332 if (UNTAG_Bool(REGB1
)) {
334 nit_abort("Cast failed", NULL
, LOCATE_instantiated_type_analysis
, 52);
336 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
337 if (UNTAG_Bool(REGB1
)) {
338 nit_abort("Reciever is null", NULL
, LOCATE_instantiated_type_analysis
, 52);
340 REGB1
= CALL_instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
343 if (UNTAG_Bool(REGB0
)) {
344 ((void (*)(struct stack_frame_t
*, val_t
))(closctx
->closure_funs
[0]))(closctx
->closure_ctx
, fra
.me
.REG
[0]);
345 if (closctx
->closure_ctx
->has_broke
) {
346 closctx
->has_broke
= 1;
351 stack_frame_head
= fra
.me
.prev
;
354 val_t
instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(val_t p0
, val_t p1
){
355 struct {struct stack_frame_t me
;} fra
;
357 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
358 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
360 fra
.me
.meth
= LOCATE_instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated
;
361 fra
.me
.has_broke
= 0;
363 /* ./analysis//instantiated_type_analysis.nit:61 */
364 nit_abort("Deferred method called", NULL
, LOCATE_instantiated_type_analysis
, 61);
365 stack_frame_head
= fra
.me
.prev
;
368 void instantiated_type_analysis___InstantiatedTypeAnalysis___init(val_t p0
, int* init_table
){
369 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_InstantiatedTypeAnalysis
].i
;
370 struct {struct stack_frame_t me
;} fra
;
372 if (init_table
[itpos0
]) return;
373 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
374 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
376 fra
.me
.meth
= LOCATE_instantiated_type_analysis___InstantiatedTypeAnalysis___init
;
377 fra
.me
.has_broke
= 0;
379 stack_frame_head
= fra
.me
.prev
;
380 init_table
[itpos0
] = 1;
383 val_t
instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated(val_t p0
, val_t p1
){
384 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
387 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
388 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
390 fra
.me
.meth
= LOCATE_instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated
;
391 fra
.me
.has_broke
= 0;
393 fra
.me
.REG
[0] = NIT_NULL
;
394 fra
.me
.REG
[1] = NIT_NULL
;
397 /* ./analysis//instantiated_type_analysis.nit:67 */
398 REGB0
= TAG_Bool(true);
401 stack_frame_head
= fra
.me
.prev
;
404 void instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init(val_t p0
, int* init_table
){
405 int itpos1
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_DefaultInstantiatedTypeAnalysis
].i
;
406 struct {struct stack_frame_t me
;} fra
;
408 if (init_table
[itpos1
]) return;
409 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
410 fra
.me
.file
= LOCATE_instantiated_type_analysis
;
412 fra
.me
.meth
= LOCATE_instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init
;
413 fra
.me
.has_broke
= 0;
415 fra
.me
.REG
[0] = NIT_NULL
;
417 /* ./analysis//instantiated_type_analysis.nit:69 */
418 CALL_instantiated_type_analysis___InstantiatedTypeAnalysis___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
419 stack_frame_head
= fra
.me
.prev
;
420 init_table
[itpos1
] = 1;