c_src/global___instantiated_type_analysis._sep.c

   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;
   5   val_t tmp;
   6   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   7   fra.me.file = LOCATE_global___instantiated_type_analysis;
   8   fra.me.line = 23;
   9   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___ita;
  10   fra.me.has_broke = 0;
  11   fra.me.REG_size = 1;
  12   fra.me.nitni_local_ref_head = NULL;
  13   fra.me.REG[0] = NIT_NULL;
  14   fra.me.REG[0] = p0;
  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;
  18   return fra.me.REG[0];
  19 }
  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;
  22   val_t tmp;
  23   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  24   fra.me.file = LOCATE_global___instantiated_type_analysis;
  25   fra.me.line = 23;
  26   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___ita__eq;
  27   fra.me.has_broke = 0;
  28   fra.me.REG_size = 2;
  29   fra.me.nitni_local_ref_head = NULL;
  30   fra.me.REG[0] = NIT_NULL;
  31   fra.me.REG[1] = NIT_NULL;
  32   fra.me.REG[0] = p0;
  33   fra.me.REG[1] = p1;
  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;
  37   return;
  38 }
  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;
  41   val_t REGB0;
  42   val_t tmp;
  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;
  48   fra.me.line = 26;
  49   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_instantiated_types;
  50   fra.me.has_broke = 0;
  51   fra.me.REG_size = 4;
  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;
  57   fra.me.REG[0] = p0;
  58   fra.me.REG[1] = p1;
  59   /* global/instantiated_type_analysis.nit:28 */
  60   REGB0 = TAG_Int(5);
  61   fra.me.REG[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
  62   if (!once_value_1) {
  63     fra.me.REG[3] = BOX_NativeString("");
  64     REGB0 = TAG_Int(0);
  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]);
  72   if (!once_value_2) {
  73     fra.me.REG[1] = BOX_NativeString("/");
  74     REGB0 = TAG_Int(1);
  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]);
  85   if (!once_value_3) {
  86     fra.me.REG[1] = BOX_NativeString(".instantiated_types.log");
  87     REGB0 = TAG_Int(23);
  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;
 100   return;
 101 }
 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;
 104     val_t REGB0;
 105     val_t tmp;
 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;
 111     fra.me.line = 29;
 112     fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_instantiated_types;
 113     fra.me.has_broke = 0;
 114     fra.me.REG_size = 3;
 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;
 119     fra.me.REG[0] = p0;
 120     /* global/instantiated_type_analysis.nit:30 */
 121     REGB0 = TAG_Int(3);
 122     fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 123     if (!once_value_5) {
 124       fra.me.REG[2] = BOX_NativeString("");
 125       REGB0 = TAG_Int(0);
 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]);
 134     if (!once_value_6) {
 135       fra.me.REG[0] = BOX_NativeString("\n");
 136       REGB0 = TAG_Int(1);
 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;
 146     return;
 147   }
 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;
 150   val_t REGB0;
 151   val_t tmp;
 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;
 157   fra.me.line = 35;
 158   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_not_instantiated_types;
 159   fra.me.has_broke = 0;
 160   fra.me.REG_size = 4;
 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;
 166   fra.me.REG[0] = p0;
 167   fra.me.REG[1] = p1;
 168   /* global/instantiated_type_analysis.nit:37 */
 169   REGB0 = TAG_Int(5);
 170   fra.me.REG[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 171   if (!once_value_1) {
 172     fra.me.REG[3] = BOX_NativeString("");
 173     REGB0 = TAG_Int(0);
 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]);
 181   if (!once_value_2) {
 182     fra.me.REG[1] = BOX_NativeString("/");
 183     REGB0 = TAG_Int(1);
 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]);
 194   if (!once_value_3) {
 195     fra.me.REG[1] = BOX_NativeString(".not_instantiated_types.log");
 196     REGB0 = TAG_Int(27);
 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;
 212   return;
 213 }
 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;
 216     val_t REGB0;
 217     fun_t CREG[1];
 218     val_t tmp;
 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;
 223     fra.me.line = 0;
 224     fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_not_instantiated_types;
 225     fra.me.has_broke = 0;
 226     fra.me.REG_size = 3;
 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;
 233     fra.me.REG[0] = p0;
 234     CREG[0] = clos_fun0;
 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);
 240     }
 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 */
 245       REGB0 = TAG_Int(3);
 246       fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 247       if (!once_value_5) {
 248         fra.me.REG[2] = BOX_NativeString("");
 249         REGB0 = TAG_Int(0);
 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]);
 258       if (!once_value_6) {
 259         fra.me.REG[0] = BOX_NativeString("\n");
 260         REGB0 = TAG_Int(1);
 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]);
 269     }
 270     stack_frame_head = fra.me.prev;
 271     return;
 272   }
 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;
 275   fun_t CREG[1];
 276   val_t tmp;
 277   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 278   fra.me.file = LOCATE_global___instantiated_type_analysis;
 279   fra.me.line = 47;
 280   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___with_each_live_local_classes;
 281   fra.me.has_broke = 0;
 282   fra.me.REG_size = 3;
 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;
 289   fra.me.REG[0] = p0;
 290   CREG[0] = clos_fun0;
 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) {
 298     case 0: break;
 299     case 1: (&(fra.me))->has_broke = 0; goto label3;
 300   }
 301   label3: while(0);
 302   stack_frame_head = fra.me.prev;
 303   return;
 304 }
 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;
 307     val_t REGB0;
 308     val_t REGB1;
 309     fun_t CREG[1];
 310     val_t tmp;
 311     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 312     fra.me.file = LOCATE_global___instantiated_type_analysis;
 313     fra.me.line = 0;
 314     fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___with_each_live_local_classes;
 315     fra.me.has_broke = 0;
 316     fra.me.REG_size = 2;
 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;
 322     fra.me.REG[0] = p0;
 323     CREG[0] = clos_fun0;
 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)) {
 328     } else {
 329       REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 330       if (UNTAG_Bool(REGB1)) {
 331         REGB1 = TAG_Bool(false);
 332         REGB0 = REGB1;
 333       } else {
 334         REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
 335         REGB0 = REGB1;
 336       }
 337     }
 338     if (UNTAG_Bool(REGB0)) {
 339       REGB0 = TAG_Bool(true);
 340     } else {
 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)) {
 344       } else {
 345         nit_abort("Cast failed", NULL, LOCATE_global___instantiated_type_analysis, 52);
 346       }
 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);
 350       }
 351       REGB1 = CALL_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 352       REGB0 = REGB1;
 353     }
 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;
 358         goto label2;
 359       }
 360     }
 361     label2: while(0);
 362     stack_frame_head = fra.me.prev;
 363     return;
 364   }
 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;
 367   val_t tmp;
 368   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 369   fra.me.file = LOCATE_global___instantiated_type_analysis;
 370   fra.me.line = 61;
 371   fra.me.meth = LOCATE_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated;
 372   fra.me.has_broke = 0;
 373   fra.me.REG_size = 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;
 378   return NIT_NULL;
 379 }
 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;
 382   val_t REGB0;
 383   val_t tmp;
 384   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 385   fra.me.file = LOCATE_global___instantiated_type_analysis;
 386   fra.me.line = 67;
 387   fra.me.meth = LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated;
 388   fra.me.has_broke = 0;
 389   fra.me.REG_size = 2;
 390   fra.me.nitni_local_ref_head = NULL;
 391   fra.me.REG[0] = NIT_NULL;
 392   fra.me.REG[1] = NIT_NULL;
 393   fra.me.REG[0] = p0;
 394   fra.me.REG[1] = p1;
 395   /* global/instantiated_type_analysis.nit:67 */
 396   REGB0 = TAG_Bool(true);
 397   goto label1;
 398   label1: while(0);
 399   stack_frame_head = fra.me.prev;
 400   return REGB0;
 401 }
 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;
 405   val_t tmp;
 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;
 409   fra.me.line = 69;
 410   fra.me.meth = LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init;
 411   fra.me.has_broke = 0;
 412   fra.me.REG_size = 1;
 413   fra.me.nitni_local_ref_head = NULL;
 414   fra.me.REG[0] = NIT_NULL;
 415   fra.me.REG[0] = p0;
 416   stack_frame_head = fra.me.prev;
 417   init_table[itpos0] = 1;
 418   return;
 419 }