c_src/instantiated_type_analysis._sep.c

   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;
   5   val_t tmp;
   6   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   7   fra.me.file = LOCATE_instantiated_type_analysis;
   8   fra.me.line = 23;
   9   fra.me.meth = LOCATE_instantiated_type_analysis___Program___ita;
  10   fra.me.has_broke = 0;
  11   fra.me.REG_size = 1;
  12   fra.me.REG[0] = NIT_NULL;
  13   fra.me.REG[0] = p0;
  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;
  17   return fra.me.REG[0];
  18 }
  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;
  21   val_t tmp;
  22   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  23   fra.me.file = LOCATE_instantiated_type_analysis;
  24   fra.me.line = 23;
  25   fra.me.meth = LOCATE_instantiated_type_analysis___Program___ita__eq;
  26   fra.me.has_broke = 0;
  27   fra.me.REG_size = 2;
  28   fra.me.REG[0] = NIT_NULL;
  29   fra.me.REG[1] = NIT_NULL;
  30   fra.me.REG[0] = p0;
  31   fra.me.REG[1] = p1;
  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;
  35   return;
  36 }
  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;
  39   val_t REGB0;
  40   val_t tmp;
  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;
  46   fra.me.line = 26;
  47   fra.me.meth = LOCATE_instantiated_type_analysis___Program___dump_instantiated_types;
  48   fra.me.has_broke = 0;
  49   fra.me.REG_size = 4;
  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;
  54   fra.me.REG[0] = p0;
  55   fra.me.REG[1] = p1;
  56   /* ./analysis//instantiated_type_analysis.nit:28 */
  57   REGB0 = TAG_Int(5);
  58   fra.me.REG[2] = NEW_Array_array___Array___with_capacity(REGB0);
  59   if (!once_value_1) {
  60     fra.me.REG[3] = BOX_NativeString("");
  61     REGB0 = TAG_Int(0);
  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]);
  69   if (!once_value_2) {
  70     fra.me.REG[1] = BOX_NativeString("/");
  71     REGB0 = TAG_Int(1);
  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]);
  82   if (!once_value_3) {
  83     fra.me.REG[1] = BOX_NativeString(".instantiated_types.log");
  84     REGB0 = TAG_Int(23);
  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;
  97   return;
  98 }
  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;
 101     val_t REGB0;
 102     val_t tmp;
 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;
 108     fra.me.line = 29;
 109     fra.me.meth = LOCATE_instantiated_type_analysis___Program___dump_instantiated_types;
 110     fra.me.has_broke = 0;
 111     fra.me.REG_size = 3;
 112     fra.me.REG[0] = NIT_NULL;
 113     fra.me.REG[1] = NIT_NULL;
 114     fra.me.REG[2] = NIT_NULL;
 115     fra.me.REG[0] = p0;
 116     /* ./analysis//instantiated_type_analysis.nit:30 */
 117     REGB0 = TAG_Int(3);
 118     fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB0);
 119     if (!once_value_5) {
 120       fra.me.REG[2] = BOX_NativeString("");
 121       REGB0 = TAG_Int(0);
 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]);
 130     if (!once_value_6) {
 131       fra.me.REG[0] = BOX_NativeString("\n");
 132       REGB0 = TAG_Int(1);
 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;
 142     return;
 143   }
 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;
 146   val_t REGB0;
 147   val_t tmp;
 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;
 153   fra.me.line = 35;
 154   fra.me.meth = LOCATE_instantiated_type_analysis___Program___dump_not_instantiated_types;
 155   fra.me.has_broke = 0;
 156   fra.me.REG_size = 4;
 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;
 161   fra.me.REG[0] = p0;
 162   fra.me.REG[1] = p1;
 163   /* ./analysis//instantiated_type_analysis.nit:37 */
 164   REGB0 = TAG_Int(5);
 165   fra.me.REG[2] = NEW_Array_array___Array___with_capacity(REGB0);
 166   if (!once_value_1) {
 167     fra.me.REG[3] = BOX_NativeString("");
 168     REGB0 = TAG_Int(0);
 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]);
 176   if (!once_value_2) {
 177     fra.me.REG[1] = BOX_NativeString("/");
 178     REGB0 = TAG_Int(1);
 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]);
 189   if (!once_value_3) {
 190     fra.me.REG[1] = BOX_NativeString(".not_instantiated_types.log");
 191     REGB0 = TAG_Int(27);
 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;
 207   return;
 208 }
 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;
 211     val_t REGB0;
 212     fun_t CREG[1];
 213     val_t tmp;
 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;
 218     fra.me.line = 0;
 219     fra.me.meth = LOCATE_instantiated_type_analysis___Program___dump_not_instantiated_types;
 220     fra.me.has_broke = 0;
 221     fra.me.REG_size = 3;
 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;
 227     fra.me.REG[0] = p0;
 228     CREG[0] = clos_fun0;
 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);
 234     }
 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 */
 239       REGB0 = TAG_Int(3);
 240       fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB0);
 241       if (!once_value_5) {
 242         fra.me.REG[2] = BOX_NativeString("");
 243         REGB0 = TAG_Int(0);
 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]);
 252       if (!once_value_6) {
 253         fra.me.REG[0] = BOX_NativeString("\n");
 254         REGB0 = TAG_Int(1);
 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]);
 263     }
 264     stack_frame_head = fra.me.prev;
 265     return;
 266   }
 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;
 269   fun_t CREG[1];
 270   val_t tmp;
 271   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 272   fra.me.file = LOCATE_instantiated_type_analysis;
 273   fra.me.line = 47;
 274   fra.me.meth = LOCATE_instantiated_type_analysis___Program___with_each_live_local_classes;
 275   fra.me.has_broke = 0;
 276   fra.me.REG_size = 2;
 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;
 281   fra.me.REG[0] = p0;
 282   CREG[0] = clos_fun0;
 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) {
 288     case 0: break;
 289     case 1: (&(fra.me))->has_broke = 0; goto label3;
 290   }
 291   label3: while(0);
 292   stack_frame_head = fra.me.prev;
 293   return;
 294 }
 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;
 297     val_t REGB0;
 298     val_t REGB1;
 299     fun_t CREG[1];
 300     val_t tmp;
 301     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 302     fra.me.file = LOCATE_instantiated_type_analysis;
 303     fra.me.line = 0;
 304     fra.me.meth = LOCATE_instantiated_type_analysis___Program___with_each_live_local_classes;
 305     fra.me.has_broke = 0;
 306     fra.me.REG_size = 2;
 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;
 311     fra.me.REG[0] = p0;
 312     CREG[0] = clos_fun0;
 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)) {
 317     } else {
 318       REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 319       if (UNTAG_Bool(REGB1)) {
 320         REGB1 = TAG_Bool(false);
 321         REGB0 = REGB1;
 322       } else {
 323         REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
 324         REGB0 = REGB1;
 325       }
 326     }
 327     if (UNTAG_Bool(REGB0)) {
 328       REGB0 = TAG_Bool(true);
 329     } else {
 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)) {
 333       } else {
 334         nit_abort("Cast failed", NULL, LOCATE_instantiated_type_analysis, 52);
 335       }
 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);
 339       }
 340       REGB1 = CALL_instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 341       REGB0 = REGB1;
 342     }
 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;
 347         goto label2;
 348       }
 349     }
 350     label2: while(0);
 351     stack_frame_head = fra.me.prev;
 352     return;
 353   }
 354 val_t instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(val_t p0, val_t p1){
 355   struct {struct stack_frame_t me;} fra;
 356   val_t tmp;
 357   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 358   fra.me.file = LOCATE_instantiated_type_analysis;
 359   fra.me.line = 61;
 360   fra.me.meth = LOCATE_instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated;
 361   fra.me.has_broke = 0;
 362   fra.me.REG_size = 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;
 366   return NIT_NULL;
 367 }
 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;
 371   val_t tmp;
 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;
 375   fra.me.line = 0;
 376   fra.me.meth = LOCATE_instantiated_type_analysis___InstantiatedTypeAnalysis___init;
 377   fra.me.has_broke = 0;
 378   fra.me.REG_size = 0;
 379   stack_frame_head = fra.me.prev;
 380   init_table[itpos0] = 1;
 381   return;
 382 }
 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;
 385   val_t REGB0;
 386   val_t tmp;
 387   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 388   fra.me.file = LOCATE_instantiated_type_analysis;
 389   fra.me.line = 67;
 390   fra.me.meth = LOCATE_instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated;
 391   fra.me.has_broke = 0;
 392   fra.me.REG_size = 2;
 393   fra.me.REG[0] = NIT_NULL;
 394   fra.me.REG[1] = NIT_NULL;
 395   fra.me.REG[0] = p0;
 396   fra.me.REG[1] = p1;
 397   /* ./analysis//instantiated_type_analysis.nit:67 */
 398   REGB0 = TAG_Bool(true);
 399   goto label1;
 400   label1: while(0);
 401   stack_frame_head = fra.me.prev;
 402   return REGB0;
 403 }
 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;
 407   val_t tmp;
 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;
 411   fra.me.line = 69;
 412   fra.me.meth = LOCATE_instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init;
 413   fra.me.has_broke = 0;
 414   fra.me.REG_size = 1;
 415   fra.me.REG[0] = NIT_NULL;
 416   fra.me.REG[0] = p0;
 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;
 421   return;
 422 }