c_src/analysis___reachable_from_init_method_analysis._sep.c

   1 /* This C file is generated by NIT to compile module analysis___reachable_from_init_method_analysis. */
   2 #include "analysis___reachable_from_init_method_analysis._sep.h"
   3 val_t analysis___reachable_from_init_method_analysis___Program___rfima(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_analysis___reachable_from_init_method_analysis;
   8   fra.me.line = 25;
   9   fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___Program___rfima;
  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   /* ./analysis//reachable_from_init_method_analysis.nit:25 */
  16   fra.me.REG[0] = ATTR_analysis___reachable_from_init_method_analysis___Program____rfima(fra.me.REG[0]);
  17   stack_frame_head = fra.me.prev;
  18   return fra.me.REG[0];
  19 }
  20 void analysis___reachable_from_init_method_analysis___Program___rfima__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_analysis___reachable_from_init_method_analysis;
  25   fra.me.line = 25;
  26   fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___Program___rfima__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   /* ./analysis//reachable_from_init_method_analysis.nit:25 */
  35   ATTR_analysis___reachable_from_init_method_analysis___Program____rfima(fra.me.REG[0]) = fra.me.REG[1];
  36   stack_frame_head = fra.me.prev;
  37   return;
  38 }
  39 void analysis___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init(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_analysis___reachable_from_init_method_analysis;
  48   fra.me.line = 28;
  49   fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init;
  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   /* ./analysis//reachable_from_init_method_analysis.nit:31 */
  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(".reachable_methods_from_init.log");
  87     REGB0 = TAG_Int(32);
  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_methods(fra.me.REG[0])(fra.me.REG[0], (&(fra.me)), ((fun_t)OC_analysis___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init_4));
  97   /* ./analysis//reachable_from_init_method_analysis.nit:37 */
  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_analysis___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init_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     /* ./analysis//reachable_from_init_method_analysis.nit:32 */
 109     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 110     fra.me.file = LOCATE_analysis___reachable_from_init_method_analysis;
 111     fra.me.line = 32;
 112     fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init;
 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     /* ./analysis//reachable_from_init_method_analysis.nit:33 */
 121     fra.me.REG[1] = CALL_analysis___reachable_from_init_method_analysis___Program___rfima(closctx->REG[0])(closctx->REG[0]);
 122     REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 123     if (UNTAG_Bool(REGB0)) {
 124       nit_abort("Reciever is null", NULL, LOCATE_analysis___reachable_from_init_method_analysis, 33);
 125     }
 126     REGB0 = CALL_analysis___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 127     if (UNTAG_Bool(REGB0)) {
 128       /* ./analysis//reachable_from_init_method_analysis.nit:34 */
 129       REGB0 = TAG_Int(3);
 130       fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 131       if (!once_value_5) {
 132         fra.me.REG[2] = BOX_NativeString("");
 133         REGB0 = TAG_Int(0);
 134         fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
 135         once_value_5 = fra.me.REG[2];
 136         register_static_object(&once_value_5);
 137       } else fra.me.REG[2] = once_value_5;
 138       fra.me.REG[2] = fra.me.REG[2];
 139       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
 140       fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
 141       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 142       if (!once_value_6) {
 143         fra.me.REG[0] = BOX_NativeString("\n");
 144         REGB0 = TAG_Int(1);
 145         fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
 146         once_value_6 = fra.me.REG[0];
 147         register_static_object(&once_value_6);
 148       } else fra.me.REG[0] = once_value_6;
 149       fra.me.REG[0] = fra.me.REG[0];
 150       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 151       fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 152       CALL_standard___stream___OStream___write(closctx->REG[2])(closctx->REG[2], fra.me.REG[1]);
 153     }
 154     stack_frame_head = fra.me.prev;
 155     return;
 156   }
 157 void analysis___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init(val_t p0, val_t p1){
 158   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
 159   val_t REGB0;
 160   val_t tmp;
 161   static val_t once_value_1; /* Once value */
 162   static val_t once_value_2; /* Once value */
 163   static val_t once_value_3; /* Once value */
 164   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 165   fra.me.file = LOCATE_analysis___reachable_from_init_method_analysis;
 166   fra.me.line = 40;
 167   fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init;
 168   fra.me.has_broke = 0;
 169   fra.me.REG_size = 4;
 170   fra.me.nitni_local_ref_head = NULL;
 171   fra.me.REG[0] = NIT_NULL;
 172   fra.me.REG[1] = NIT_NULL;
 173   fra.me.REG[2] = NIT_NULL;
 174   fra.me.REG[3] = NIT_NULL;
 175   fra.me.REG[0] = p0;
 176   fra.me.REG[1] = p1;
 177   /* ./analysis//reachable_from_init_method_analysis.nit:43 */
 178   REGB0 = TAG_Int(5);
 179   fra.me.REG[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 180   if (!once_value_1) {
 181     fra.me.REG[3] = BOX_NativeString("");
 182     REGB0 = TAG_Int(0);
 183     fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB0);
 184     once_value_1 = fra.me.REG[3];
 185     register_static_object(&once_value_1);
 186   } else fra.me.REG[3] = once_value_1;
 187   fra.me.REG[3] = fra.me.REG[3];
 188   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
 189   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 190   if (!once_value_2) {
 191     fra.me.REG[1] = BOX_NativeString("/");
 192     REGB0 = TAG_Int(1);
 193     fra.me.REG[1] = NEW_String_standard___string___String___with_native(fra.me.REG[1], REGB0);
 194     once_value_2 = fra.me.REG[1];
 195     register_static_object(&once_value_2);
 196   } else fra.me.REG[1] = once_value_2;
 197   fra.me.REG[1] = fra.me.REG[1];
 198   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 199   fra.me.REG[1] = CALL_program___Program___main_module(fra.me.REG[0])(fra.me.REG[0]);
 200   fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMModule___name(fra.me.REG[1])(fra.me.REG[1]);
 201   fra.me.REG[1] = CALL_standard___string___Object___to_s(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   if (!once_value_3) {
 204     fra.me.REG[1] = BOX_NativeString(".unreachable_methods_from_init.log");
 205     REGB0 = TAG_Int(34);
 206     fra.me.REG[1] = NEW_String_standard___string___String___with_native(fra.me.REG[1], REGB0);
 207     once_value_3 = fra.me.REG[1];
 208     register_static_object(&once_value_3);
 209   } else fra.me.REG[1] = once_value_3;
 210   fra.me.REG[1] = fra.me.REG[1];
 211   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 212   fra.me.REG[2] = CALL_standard___string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
 213   fra.me.REG[2] = NEW_OFStream_standard___file___OFStream___open(fra.me.REG[2]);
 214   CALL_program___Program___with_each_methods(fra.me.REG[0])(fra.me.REG[0], (&(fra.me)), ((fun_t)OC_analysis___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init_4));
 215   /* ./analysis//reachable_from_init_method_analysis.nit:49 */
 216   CALL_standard___stream___IOS___close(fra.me.REG[2])(fra.me.REG[2]);
 217   stack_frame_head = fra.me.prev;
 218   return;
 219 }
 220   void OC_analysis___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init_4(struct stack_frame_t *closctx, val_t p0){
 221     struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 222     val_t REGB0;
 223     val_t REGB1;
 224     val_t tmp;
 225       static val_t once_value_5; /* Once value */
 226       static val_t once_value_6; /* Once value */
 227     /* ./analysis//reachable_from_init_method_analysis.nit:44 */
 228     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 229     fra.me.file = LOCATE_analysis___reachable_from_init_method_analysis;
 230     fra.me.line = 44;
 231     fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init;
 232     fra.me.has_broke = 0;
 233     fra.me.REG_size = 3;
 234     fra.me.nitni_local_ref_head = NULL;
 235     fra.me.REG[0] = NIT_NULL;
 236     fra.me.REG[1] = NIT_NULL;
 237     fra.me.REG[2] = NIT_NULL;
 238     fra.me.REG[0] = p0;
 239     /* ./analysis//reachable_from_init_method_analysis.nit:45 */
 240     fra.me.REG[1] = CALL_analysis___reachable_from_init_method_analysis___Program___rfima(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_analysis___reachable_from_init_method_analysis, 45);
 244     }
 245     REGB0 = CALL_analysis___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init(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       fra.me.REG[1] = CALL_analysis___reachable_method_analysis___Program___rma(closctx->REG[0])(closctx->REG[0]);
 249       REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 250       if (UNTAG_Bool(REGB0)) {
 251         nit_abort("Reciever is null", NULL, LOCATE_analysis___reachable_from_init_method_analysis, 45);
 252       }
 253       REGB0 = CALL_analysis___reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 254     } else {
 255       REGB1 = TAG_Bool(false);
 256       REGB0 = REGB1;
 257     }
 258     if (UNTAG_Bool(REGB0)) {
 259       /* ./analysis//reachable_from_init_method_analysis.nit:46 */
 260       REGB0 = TAG_Int(3);
 261       fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 262       if (!once_value_5) {
 263         fra.me.REG[2] = BOX_NativeString("");
 264         REGB0 = TAG_Int(0);
 265         fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
 266         once_value_5 = fra.me.REG[2];
 267         register_static_object(&once_value_5);
 268       } else fra.me.REG[2] = once_value_5;
 269       fra.me.REG[2] = fra.me.REG[2];
 270       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
 271       fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
 272       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 273       if (!once_value_6) {
 274         fra.me.REG[0] = BOX_NativeString("\n");
 275         REGB0 = TAG_Int(1);
 276         fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
 277         once_value_6 = fra.me.REG[0];
 278         register_static_object(&once_value_6);
 279       } else fra.me.REG[0] = once_value_6;
 280       fra.me.REG[0] = fra.me.REG[0];
 281       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 282       fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 283       CALL_standard___stream___OStream___write(closctx->REG[2])(closctx->REG[2], fra.me.REG[1]);
 284     }
 285     stack_frame_head = fra.me.prev;
 286     return;
 287   }
 288 val_t analysis___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init(val_t p0, val_t p1){
 289   struct {struct stack_frame_t me;} fra;
 290   val_t tmp;
 291   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 292   fra.me.file = LOCATE_analysis___reachable_from_init_method_analysis;
 293   fra.me.line = 57;
 294   fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init;
 295   fra.me.has_broke = 0;
 296   fra.me.REG_size = 0;
 297   fra.me.nitni_local_ref_head = NULL;
 298   /* ./analysis//reachable_from_init_method_analysis.nit:57 */
 299   nit_abort("Deferred method called", NULL, LOCATE_analysis___reachable_from_init_method_analysis, 57);
 300   stack_frame_head = fra.me.prev;
 301   return NIT_NULL;
 302 }
 303 val_t analysis___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init(val_t p0, val_t p1){
 304   struct {struct stack_frame_t me;} fra;
 305   val_t tmp;
 306   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 307   fra.me.file = LOCATE_analysis___reachable_from_init_method_analysis;
 308   fra.me.line = 58;
 309   fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init;
 310   fra.me.has_broke = 0;
 311   fra.me.REG_size = 0;
 312   fra.me.nitni_local_ref_head = NULL;
 313   /* ./analysis//reachable_from_init_method_analysis.nit:58 */
 314   nit_abort("Deferred method called", NULL, LOCATE_analysis___reachable_from_init_method_analysis, 58);
 315   stack_frame_head = fra.me.prev;
 316   return NIT_NULL;
 317 }
 318 void analysis___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___init(val_t p0, int* init_table){
 319   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_analysis___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis].i;
 320   struct {struct stack_frame_t me;} fra;
 321   val_t tmp;
 322   if (init_table[itpos0]) return;
 323   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 324   fra.me.file = LOCATE_analysis___reachable_from_init_method_analysis;
 325   fra.me.line = 0;
 326   fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___init;
 327   fra.me.has_broke = 0;
 328   fra.me.REG_size = 0;
 329   fra.me.nitni_local_ref_head = NULL;
 330   stack_frame_head = fra.me.prev;
 331   init_table[itpos0] = 1;
 332   return;
 333 }
 334 val_t analysis___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init(val_t p0, val_t p1){
 335   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 336   val_t REGB0;
 337   val_t tmp;
 338   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 339   fra.me.file = LOCATE_analysis___reachable_from_init_method_analysis;
 340   fra.me.line = 65;
 341   fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init;
 342   fra.me.has_broke = 0;
 343   fra.me.REG_size = 2;
 344   fra.me.nitni_local_ref_head = NULL;
 345   fra.me.REG[0] = NIT_NULL;
 346   fra.me.REG[1] = NIT_NULL;
 347   fra.me.REG[0] = p0;
 348   fra.me.REG[1] = p1;
 349   /* ./analysis//reachable_from_init_method_analysis.nit:65 */
 350   REGB0 = TAG_Bool(true);
 351   goto label1;
 352   label1: while(0);
 353   stack_frame_head = fra.me.prev;
 354   return REGB0;
 355 }
 356 val_t analysis___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_method_reachable_from_init(val_t p0, val_t p1){
 357   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 358   val_t REGB0;
 359   val_t tmp;
 360   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 361   fra.me.file = LOCATE_analysis___reachable_from_init_method_analysis;
 362   fra.me.line = 66;
 363   fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_method_reachable_from_init;
 364   fra.me.has_broke = 0;
 365   fra.me.REG_size = 2;
 366   fra.me.nitni_local_ref_head = NULL;
 367   fra.me.REG[0] = NIT_NULL;
 368   fra.me.REG[1] = NIT_NULL;
 369   fra.me.REG[0] = p0;
 370   fra.me.REG[1] = p1;
 371   /* ./analysis//reachable_from_init_method_analysis.nit:66 */
 372   REGB0 = TAG_Bool(true);
 373   goto label1;
 374   label1: while(0);
 375   stack_frame_head = fra.me.prev;
 376   return REGB0;
 377 }
 378 void analysis___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___init(val_t p0, int* init_table){
 379   int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_analysis___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis].i;
 380   struct {struct stack_frame_t me;} fra;
 381   val_t tmp;
 382   if (init_table[itpos1]) return;
 383   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 384   fra.me.file = LOCATE_analysis___reachable_from_init_method_analysis;
 385   fra.me.line = 68;
 386   fra.me.meth = LOCATE_analysis___reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___init;
 387   fra.me.has_broke = 0;
 388   fra.me.REG_size = 1;
 389   fra.me.nitni_local_ref_head = NULL;
 390   fra.me.REG[0] = NIT_NULL;
 391   fra.me.REG[0] = p0;
 392   /* ./analysis//reachable_from_init_method_analysis.nit:68 */
 393   CALL_analysis___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___init(fra.me.REG[0])(fra.me.REG[0], init_table);
 394   stack_frame_head = fra.me.prev;
 395   init_table[itpos1] = 1;
 396   return;
 397 }