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 static const char LOCATE_global___instantiated_type_analysis___Program___ita[] = "instantiated_type_analysis::Program::ita";
   4 val_t global___instantiated_type_analysis___Program___ita(val_t p0){
   5   struct {struct stack_frame_t me;} fra;
   6   val_t tmp;
   7   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   8   fra.me.file = LOCATE_global___instantiated_type_analysis;
   9   fra.me.line = 23;
  10   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___ita;
  11   fra.me.has_broke = 0;
  12   fra.me.REG_size = 1;
  13   fra.me.nitni_local_ref_head = NULL;
  14   fra.me.REG[0] = NIT_NULL;
  15   fra.me.REG[0] = p0;
  16   /* global/instantiated_type_analysis.nit:23 */
  17   fra.me.REG[0] = ATTR_global___instantiated_type_analysis___Program____ita(fra.me.REG[0]);
  18   stack_frame_head = fra.me.prev;
  19   return fra.me.REG[0];
  20 }
  21 static const char LOCATE_global___instantiated_type_analysis___Program___ita__eq[] = "instantiated_type_analysis::Program::ita=";
  22 void global___instantiated_type_analysis___Program___ita__eq(val_t p0, val_t p1){
  23   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
  24   val_t tmp;
  25   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  26   fra.me.file = LOCATE_global___instantiated_type_analysis;
  27   fra.me.line = 23;
  28   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___ita__eq;
  29   fra.me.has_broke = 0;
  30   fra.me.REG_size = 2;
  31   fra.me.nitni_local_ref_head = NULL;
  32   fra.me.REG[0] = NIT_NULL;
  33   fra.me.REG[1] = NIT_NULL;
  34   fra.me.REG[0] = p0;
  35   fra.me.REG[1] = p1;
  36   /* global/instantiated_type_analysis.nit:23 */
  37   ATTR_global___instantiated_type_analysis___Program____ita(fra.me.REG[0]) = fra.me.REG[1];
  38   stack_frame_head = fra.me.prev;
  39   return;
  40 }
  41 static const char LOCATE_global___instantiated_type_analysis___Program___dump_instantiated_types[] = "instantiated_type_analysis::Program::dump_instantiated_types";
  42 void global___instantiated_type_analysis___Program___dump_instantiated_types(val_t p0, val_t p1){
  43   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
  44   val_t REGB0;
  45   val_t tmp;
  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___instantiated_type_analysis;
  51   fra.me.line = 26;
  52   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_instantiated_types;
  53   fra.me.has_broke = 0;
  54   fra.me.REG_size = 4;
  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;
  60   fra.me.REG[0] = p0;
  61   fra.me.REG[1] = p1;
  62   /* global/instantiated_type_analysis.nit:28 */
  63   REGB0 = TAG_Int(5);
  64   fra.me.REG[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
  65   if (!once_value_1) {
  66     fra.me.REG[3] = BOX_NativeString("");
  67     REGB0 = TAG_Int(0);
  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]);
  75   if (!once_value_2) {
  76     fra.me.REG[1] = BOX_NativeString("/");
  77     REGB0 = TAG_Int(1);
  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]);
  88   if (!once_value_3) {
  89     fra.me.REG[1] = BOX_NativeString(".instantiated_types.log");
  90     REGB0 = TAG_Int(23);
  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_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));
 100   /* global/instantiated_type_analysis.nit:32 */
 101   CALL_standard___stream___IOS___close(fra.me.REG[2])(fra.me.REG[2]);
 102   stack_frame_head = fra.me.prev;
 103   return;
 104 }
 105   void OC_global___instantiated_type_analysis___Program___dump_instantiated_types_4(struct stack_frame_t *closctx, val_t p0){
 106     struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 107     val_t REGB0;
 108     val_t tmp;
 109     static val_t once_value_5; /* Once value */
 110     static val_t once_value_6; /* Once value */
 111     /* global/instantiated_type_analysis.nit:29 */
 112     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 113     fra.me.file = LOCATE_global___instantiated_type_analysis;
 114     fra.me.line = 29;
 115     fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_instantiated_types;
 116     fra.me.has_broke = 0;
 117     fra.me.REG_size = 3;
 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;
 122     fra.me.REG[0] = p0;
 123     /* global/instantiated_type_analysis.nit:30 */
 124     REGB0 = TAG_Int(3);
 125     fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 126     if (!once_value_5) {
 127       fra.me.REG[2] = BOX_NativeString("");
 128       REGB0 = TAG_Int(0);
 129       fra.me.REG[2] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[2])(fra.me.REG[2], REGB0);
 130       once_value_5 = fra.me.REG[2];
 131       register_static_object(&once_value_5);
 132     } else fra.me.REG[2] = once_value_5;
 133     fra.me.REG[2] = fra.me.REG[2];
 134     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
 135     fra.me.REG[0] = CALL_standard___string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
 136     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 137     if (!once_value_6) {
 138       fra.me.REG[0] = BOX_NativeString("\n");
 139       REGB0 = TAG_Int(1);
 140       fra.me.REG[0] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[0])(fra.me.REG[0], REGB0);
 141       once_value_6 = fra.me.REG[0];
 142       register_static_object(&once_value_6);
 143     } else fra.me.REG[0] = once_value_6;
 144     fra.me.REG[0] = fra.me.REG[0];
 145     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 146     fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 147     CALL_standard___stream___OStream___write(closctx->REG[2])(closctx->REG[2], fra.me.REG[1]);
 148     stack_frame_head = fra.me.prev;
 149     return;
 150   }
 151 static const char LOCATE_global___instantiated_type_analysis___Program___dump_not_instantiated_types[] = "instantiated_type_analysis::Program::dump_not_instantiated_types";
 152 void global___instantiated_type_analysis___Program___dump_not_instantiated_types(val_t p0, val_t p1){
 153   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
 154   val_t REGB0;
 155   val_t tmp;
 156   static val_t once_value_1; /* Once value */
 157   static val_t once_value_2; /* Once value */
 158   static val_t once_value_3; /* Once value */
 159   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 160   fra.me.file = LOCATE_global___instantiated_type_analysis;
 161   fra.me.line = 35;
 162   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_not_instantiated_types;
 163   fra.me.has_broke = 0;
 164   fra.me.REG_size = 4;
 165   fra.me.nitni_local_ref_head = NULL;
 166   fra.me.REG[0] = NIT_NULL;
 167   fra.me.REG[1] = NIT_NULL;
 168   fra.me.REG[2] = NIT_NULL;
 169   fra.me.REG[3] = NIT_NULL;
 170   fra.me.REG[0] = p0;
 171   fra.me.REG[1] = p1;
 172   /* global/instantiated_type_analysis.nit:37 */
 173   REGB0 = TAG_Int(5);
 174   fra.me.REG[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 175   if (!once_value_1) {
 176     fra.me.REG[3] = BOX_NativeString("");
 177     REGB0 = TAG_Int(0);
 178     fra.me.REG[3] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[3])(fra.me.REG[3], REGB0);
 179     once_value_1 = fra.me.REG[3];
 180     register_static_object(&once_value_1);
 181   } else fra.me.REG[3] = once_value_1;
 182   fra.me.REG[3] = fra.me.REG[3];
 183   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
 184   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 185   if (!once_value_2) {
 186     fra.me.REG[1] = BOX_NativeString("/");
 187     REGB0 = TAG_Int(1);
 188     fra.me.REG[1] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[1])(fra.me.REG[1], REGB0);
 189     once_value_2 = fra.me.REG[1];
 190     register_static_object(&once_value_2);
 191   } else fra.me.REG[1] = once_value_2;
 192   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   fra.me.REG[1] = CALL_program___Program___main_module(fra.me.REG[0])(fra.me.REG[0]);
 195   fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMModule___name(fra.me.REG[1])(fra.me.REG[1]);
 196   fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 197   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 198   if (!once_value_3) {
 199     fra.me.REG[1] = BOX_NativeString(".not_instantiated_types.log");
 200     REGB0 = TAG_Int(27);
 201     fra.me.REG[1] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[1])(fra.me.REG[1], REGB0);
 202     once_value_3 = fra.me.REG[1];
 203     register_static_object(&once_value_3);
 204   } else fra.me.REG[1] = once_value_3;
 205   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]);
 207   fra.me.REG[2] = CALL_standard___string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
 208   fra.me.REG[2] = NEW_OFStream_standard___file___OFStream___open(fra.me.REG[2]);
 209   /* global/instantiated_type_analysis.nit:39 */
 210   fra.me.REG[1] = CALL_program___Program___main_module(fra.me.REG[0])(fra.me.REG[0]);
 211   fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMModule___local_classes(fra.me.REG[1])(fra.me.REG[1]);
 212   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));
 213   /* global/instantiated_type_analysis.nit:44 */
 214   CALL_standard___stream___IOS___close(fra.me.REG[2])(fra.me.REG[2]);
 215   stack_frame_head = fra.me.prev;
 216   return;
 217 }
 218   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){
 219     struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 220     val_t REGB0;
 221     fun_t CREG[1];
 222     val_t tmp;
 223       static val_t once_value_5; /* Once value */
 224       static val_t once_value_6; /* Once value */
 225     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 226     fra.me.file = LOCATE_global___instantiated_type_analysis;
 227     fra.me.line = 0;
 228     fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_not_instantiated_types;
 229     fra.me.has_broke = 0;
 230     fra.me.REG_size = 3;
 231     fra.me.nitni_local_ref_head = NULL;
 232     fra.me.REG[0] = NIT_NULL;
 233     fra.me.REG[1] = NIT_NULL;
 234     fra.me.REG[2] = NIT_NULL;
 235     fra.me.closure_ctx = closctx_param;
 236     fra.me.closure_funs = CREG;
 237     fra.me.REG[0] = p0;
 238     CREG[0] = clos_fun0;
 239     /* global/instantiated_type_analysis.nit:40 */
 240     fra.me.REG[1] = CALL_global___instantiated_type_analysis___Program___ita(closctx->REG[0])(closctx->REG[0]);
 241     REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 242     if (UNTAG_Bool(REGB0)) {
 243       nit_abort("Reciever is null", NULL, LOCATE_global___instantiated_type_analysis, 40);
 244     }
 245     REGB0 = CALL_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 246     REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 247     if (UNTAG_Bool(REGB0)) {
 248       /* global/instantiated_type_analysis.nit:41 */
 249       REGB0 = TAG_Int(3);
 250       fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 251       if (!once_value_5) {
 252         fra.me.REG[2] = BOX_NativeString("");
 253         REGB0 = TAG_Int(0);
 254         fra.me.REG[2] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[2])(fra.me.REG[2], REGB0);
 255         once_value_5 = fra.me.REG[2];
 256         register_static_object(&once_value_5);
 257       } else fra.me.REG[2] = once_value_5;
 258       fra.me.REG[2] = fra.me.REG[2];
 259       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
 260       fra.me.REG[0] = CALL_standard___string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
 261       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 262       if (!once_value_6) {
 263         fra.me.REG[0] = BOX_NativeString("\n");
 264         REGB0 = TAG_Int(1);
 265         fra.me.REG[0] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[0])(fra.me.REG[0], REGB0);
 266         once_value_6 = fra.me.REG[0];
 267         register_static_object(&once_value_6);
 268       } else fra.me.REG[0] = once_value_6;
 269       fra.me.REG[0] = fra.me.REG[0];
 270       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 271       fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 272       CALL_standard___stream___OStream___write(closctx->REG[2])(closctx->REG[2], fra.me.REG[1]);
 273     }
 274     stack_frame_head = fra.me.prev;
 275     return;
 276   }
 277 static const char LOCATE_global___instantiated_type_analysis___Program___with_each_live_local_classes[] = "instantiated_type_analysis::Program::(program::Program::with_each_live_local_classes)";
 278 void global___instantiated_type_analysis___Program___with_each_live_local_classes(val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0){
 279   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 280   fun_t CREG[1];
 281   val_t tmp;
 282   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 283   fra.me.file = LOCATE_global___instantiated_type_analysis;
 284   fra.me.line = 47;
 285   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___with_each_live_local_classes;
 286   fra.me.has_broke = 0;
 287   fra.me.REG_size = 3;
 288   fra.me.nitni_local_ref_head = NULL;
 289   fra.me.REG[0] = NIT_NULL;
 290   fra.me.REG[1] = NIT_NULL;
 291   fra.me.REG[2] = NIT_NULL;
 292   fra.me.closure_ctx = closctx_param;
 293   fra.me.closure_funs = CREG;
 294   fra.me.REG[0] = p0;
 295   CREG[0] = clos_fun0;
 296   /* global/instantiated_type_analysis.nit:47 */
 297   fra.me.REG[1] = fra.me.REG[0];
 298   /* global/instantiated_type_analysis.nit:51 */
 299   fra.me.REG[2] = CALL_program___Program___main_module(fra.me.REG[1])(fra.me.REG[1]);
 300   fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMModule___local_classes(fra.me.REG[2])(fra.me.REG[2]);
 301   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));
 302   switch ((&(fra.me))->has_broke) {
 303     case 0: break;
 304     case 1: (&(fra.me))->has_broke = 0; goto label3;
 305   }
 306   label3: while(0);
 307   stack_frame_head = fra.me.prev;
 308   return;
 309 }
 310   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){
 311     struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 312     val_t REGB0;
 313     val_t REGB1;
 314     fun_t CREG[1];
 315     val_t tmp;
 316     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 317     fra.me.file = LOCATE_global___instantiated_type_analysis;
 318     fra.me.line = 0;
 319     fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___with_each_live_local_classes;
 320     fra.me.has_broke = 0;
 321     fra.me.REG_size = 2;
 322     fra.me.nitni_local_ref_head = NULL;
 323     fra.me.REG[0] = NIT_NULL;
 324     fra.me.REG[1] = NIT_NULL;
 325     fra.me.closure_ctx = closctx_param;
 326     fra.me.closure_funs = CREG;
 327     fra.me.REG[0] = p0;
 328     CREG[0] = clos_fun0;
 329     /* global/instantiated_type_analysis.nit:52 */
 330     fra.me.REG[1] = CALL_global___instantiated_type_analysis___Program___ita(closctx->REG[1])(closctx->REG[1]);
 331     REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 332     if (UNTAG_Bool(REGB0)) {
 333     } else {
 334       REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 335       if (UNTAG_Bool(REGB1)) {
 336         REGB1 = TAG_Bool(0);
 337         REGB0 = REGB1;
 338       } else {
 339         REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
 340         REGB0 = REGB1;
 341       }
 342     }
 343     if (UNTAG_Bool(REGB0)) {
 344       REGB0 = TAG_Bool(1);
 345     } else {
 346       fra.me.REG[1] = CALL_global___instantiated_type_analysis___Program___ita(closctx->REG[1])(closctx->REG[1]);
 347       REGB1 = TAG_Bool(fra.me.REG[1]!=NIT_NULL);
 348       if (UNTAG_Bool(REGB1)) {
 349       } else {
 350         nit_abort("Cast failed", NULL, LOCATE_global___instantiated_type_analysis, 52);
 351       }
 352       REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 353       if (UNTAG_Bool(REGB1)) {
 354         nit_abort("Reciever is null", NULL, LOCATE_global___instantiated_type_analysis, 52);
 355       }
 356       REGB1 = CALL_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 357       REGB0 = REGB1;
 358     }
 359     if (UNTAG_Bool(REGB0)) {
 360       ((void (*)(struct stack_frame_t *, val_t))(closctx->closure_funs[0]))(closctx->closure_ctx, fra.me.REG[0]);
 361       if (closctx->closure_ctx->has_broke) {
 362         closctx->has_broke = 1;
 363         goto label2;
 364       }
 365     }
 366     label2: while(0);
 367     stack_frame_head = fra.me.prev;
 368     return;
 369   }
 370 static const char LOCATE_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated[] = "instantiated_type_analysis::InstantiatedTypeAnalysis::is_class_instantiated";
 371 val_t global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(val_t p0, val_t p1){
 372   struct {struct stack_frame_t me;} fra;
 373   val_t tmp;
 374   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 375   fra.me.file = LOCATE_global___instantiated_type_analysis;
 376   fra.me.line = 61;
 377   fra.me.meth = LOCATE_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated;
 378   fra.me.has_broke = 0;
 379   fra.me.REG_size = 0;
 380   fra.me.nitni_local_ref_head = NULL;
 381   /* global/instantiated_type_analysis.nit:61 */
 382   nit_abort("Deferred method called", NULL, LOCATE_global___instantiated_type_analysis, 61);
 383   stack_frame_head = fra.me.prev;
 384   return NIT_NULL;
 385 }
 386 static const char LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated[] = "instantiated_type_analysis::DefaultInstantiatedTypeAnalysis::(instantiated_type_analysis::InstantiatedTypeAnalysis::is_class_instantiated)";
 387 val_t global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated(val_t p0, val_t p1){
 388   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 389   val_t REGB0;
 390   val_t tmp;
 391   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 392   fra.me.file = LOCATE_global___instantiated_type_analysis;
 393   fra.me.line = 67;
 394   fra.me.meth = LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated;
 395   fra.me.has_broke = 0;
 396   fra.me.REG_size = 2;
 397   fra.me.nitni_local_ref_head = NULL;
 398   fra.me.REG[0] = NIT_NULL;
 399   fra.me.REG[1] = NIT_NULL;
 400   fra.me.REG[0] = p0;
 401   fra.me.REG[1] = p1;
 402   /* global/instantiated_type_analysis.nit:67 */
 403   REGB0 = TAG_Bool(1);
 404   goto label1;
 405   label1: while(0);
 406   stack_frame_head = fra.me.prev;
 407   return REGB0;
 408 }
 409 static const char LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init[] = "instantiated_type_analysis::DefaultInstantiatedTypeAnalysis::init";
 410 void global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init(val_t p0, int* init_table){
 411   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis].i;
 412   struct {struct stack_frame_t me;} fra;
 413   val_t tmp;
 414   if (init_table[itpos0]) return;
 415   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 416   fra.me.file = LOCATE_global___instantiated_type_analysis;
 417   fra.me.line = 69;
 418   fra.me.meth = LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init;
 419   fra.me.has_broke = 0;
 420   fra.me.REG_size = 1;
 421   fra.me.nitni_local_ref_head = NULL;
 422   fra.me.REG[0] = NIT_NULL;
 423   fra.me.REG[0] = p0;
 424   stack_frame_head = fra.me.prev;
 425   init_table[itpos0] = 1;
 426   return;
 427 }