c_src/global___reachable_method_analysis._sep.c

   1 /* This C file is generated by NIT to compile module global___reachable_method_analysis. */
   2 #include "global___reachable_method_analysis._sep.h"
   3 static const char LOCATE_global___reachable_method_analysis___Program___rma[] = "reachable_method_analysis::Program::rma";
   4 val_t global___reachable_method_analysis___Program___rma(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___reachable_method_analysis;
   9   fra.me.line = 24;
  10   fra.me.meth = LOCATE_global___reachable_method_analysis___Program___rma;
  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/reachable_method_analysis.nit:24 */
  17   fra.me.REG[0] = ATTR_global___reachable_method_analysis___Program____rma(fra.me.REG[0]);
  18   stack_frame_head = fra.me.prev;
  19   return fra.me.REG[0];
  20 }
  21 static const char LOCATE_global___reachable_method_analysis___Program___rma__eq[] = "reachable_method_analysis::Program::rma=";
  22 void global___reachable_method_analysis___Program___rma__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___reachable_method_analysis;
  27   fra.me.line = 24;
  28   fra.me.meth = LOCATE_global___reachable_method_analysis___Program___rma__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/reachable_method_analysis.nit:24 */
  37   ATTR_global___reachable_method_analysis___Program____rma(fra.me.REG[0]) = fra.me.REG[1];
  38   stack_frame_head = fra.me.prev;
  39   return;
  40 }
  41 static const char LOCATE_global___reachable_method_analysis___Program___dump_reachable_methods[] = "reachable_method_analysis::Program::dump_reachable_methods";
  42 void global___reachable_method_analysis___Program___dump_reachable_methods(val_t p0, val_t p1, val_t p2){
  43   struct {struct stack_frame_t me; val_t MORE_REG[4];} 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   static val_t once_value_4; /* Once value */
  50   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  51   fra.me.file = LOCATE_global___reachable_method_analysis;
  52   fra.me.line = 27;
  53   fra.me.meth = LOCATE_global___reachable_method_analysis___Program___dump_reachable_methods;
  54   fra.me.has_broke = 0;
  55   fra.me.REG_size = 5;
  56   fra.me.nitni_local_ref_head = NULL;
  57   fra.me.REG[0] = NIT_NULL;
  58   fra.me.REG[1] = NIT_NULL;
  59   fra.me.REG[2] = NIT_NULL;
  60   fra.me.REG[3] = NIT_NULL;
  61   fra.me.REG[4] = NIT_NULL;
  62   fra.me.REG[0] = p0;
  63   fra.me.REG[1] = p1;
  64   fra.me.REG[2] = p2;
  65   /* global/reachable_method_analysis.nit:29 */
  66   REGB0 = TAG_Int(7);
  67   fra.me.REG[3] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
  68   if (!once_value_1) {
  69     fra.me.REG[4] = BOX_NativeString("");
  70     REGB0 = TAG_Int(0);
  71     fra.me.REG[4] = NEW_String_standard___string___String___with_native(fra.me.REG[4], REGB0);
  72     once_value_1 = fra.me.REG[4];
  73     register_static_object(&once_value_1);
  74   } else fra.me.REG[4] = once_value_1;
  75   fra.me.REG[4] = fra.me.REG[4];
  76   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4]);
  77   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
  78   if (!once_value_2) {
  79     fra.me.REG[1] = BOX_NativeString("/");
  80     REGB0 = TAG_Int(1);
  81     fra.me.REG[1] = NEW_String_standard___string___String___with_native(fra.me.REG[1], REGB0);
  82     once_value_2 = fra.me.REG[1];
  83     register_static_object(&once_value_2);
  84   } else fra.me.REG[1] = once_value_2;
  85   fra.me.REG[1] = fra.me.REG[1];
  86   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
  87   fra.me.REG[1] = CALL_program___Program___main_module(fra.me.REG[0])(fra.me.REG[0]);
  88   fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMModule___name(fra.me.REG[1])(fra.me.REG[1]);
  89   fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
  90   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
  91   if (!once_value_3) {
  92     fra.me.REG[1] = BOX_NativeString(".reachable_methods.");
  93     REGB0 = TAG_Int(19);
  94     fra.me.REG[1] = NEW_String_standard___string___String___with_native(fra.me.REG[1], REGB0);
  95     once_value_3 = fra.me.REG[1];
  96     register_static_object(&once_value_3);
  97   } else fra.me.REG[1] = once_value_3;
  98   fra.me.REG[1] = fra.me.REG[1];
  99   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
 100   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[2]);
 101   if (!once_value_4) {
 102     fra.me.REG[2] = BOX_NativeString(".log");
 103     REGB0 = TAG_Int(4);
 104     fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
 105     once_value_4 = fra.me.REG[2];
 106     register_static_object(&once_value_4);
 107   } else fra.me.REG[2] = once_value_4;
 108   fra.me.REG[2] = fra.me.REG[2];
 109   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[2]);
 110   fra.me.REG[3] = CALL_standard___string___Object___to_s(fra.me.REG[3])(fra.me.REG[3]);
 111   fra.me.REG[3] = NEW_OFStream_standard___file___OFStream___open(fra.me.REG[3]);
 112   CALL_program___Program___with_each_methods(fra.me.REG[0])(fra.me.REG[0], (&(fra.me)), ((fun_t)OC_global___reachable_method_analysis___Program___dump_reachable_methods_5));
 113   /* global/reachable_method_analysis.nit:35 */
 114   CALL_standard___stream___IOS___close(fra.me.REG[3])(fra.me.REG[3]);
 115   stack_frame_head = fra.me.prev;
 116   return;
 117 }
 118   void OC_global___reachable_method_analysis___Program___dump_reachable_methods_5(struct stack_frame_t *closctx, val_t p0){
 119     struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 120     val_t REGB0;
 121     val_t tmp;
 122       static val_t once_value_6; /* Once value */
 123       static val_t once_value_7; /* Once value */
 124     /* global/reachable_method_analysis.nit:30 */
 125     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 126     fra.me.file = LOCATE_global___reachable_method_analysis;
 127     fra.me.line = 30;
 128     fra.me.meth = LOCATE_global___reachable_method_analysis___Program___dump_reachable_methods;
 129     fra.me.has_broke = 0;
 130     fra.me.REG_size = 3;
 131     fra.me.nitni_local_ref_head = NULL;
 132     fra.me.REG[0] = NIT_NULL;
 133     fra.me.REG[1] = NIT_NULL;
 134     fra.me.REG[2] = NIT_NULL;
 135     fra.me.REG[0] = p0;
 136     /* global/reachable_method_analysis.nit:31 */
 137     fra.me.REG[1] = CALL_global___reachable_method_analysis___Program___rma(closctx->REG[0])(closctx->REG[0]);
 138     REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 139     if (UNTAG_Bool(REGB0)) {
 140       nit_abort("Reciever is null", NULL, LOCATE_global___reachable_method_analysis, 31);
 141     }
 142     REGB0 = CALL_global___reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 143     if (UNTAG_Bool(REGB0)) {
 144       /* global/reachable_method_analysis.nit:32 */
 145       REGB0 = TAG_Int(3);
 146       fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 147       if (!once_value_6) {
 148         fra.me.REG[2] = BOX_NativeString("");
 149         REGB0 = TAG_Int(0);
 150         fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
 151         once_value_6 = fra.me.REG[2];
 152         register_static_object(&once_value_6);
 153       } else fra.me.REG[2] = once_value_6;
 154       fra.me.REG[2] = fra.me.REG[2];
 155       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
 156       fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
 157       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 158       if (!once_value_7) {
 159         fra.me.REG[0] = BOX_NativeString("\n");
 160         REGB0 = TAG_Int(1);
 161         fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
 162         once_value_7 = fra.me.REG[0];
 163         register_static_object(&once_value_7);
 164       } else fra.me.REG[0] = once_value_7;
 165       fra.me.REG[0] = fra.me.REG[0];
 166       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 167       fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 168       CALL_standard___stream___OStream___write(closctx->REG[3])(closctx->REG[3], fra.me.REG[1]);
 169     }
 170     stack_frame_head = fra.me.prev;
 171     return;
 172   }
 173 static const char LOCATE_global___reachable_method_analysis___Program___dump_unreachable_methods[] = "reachable_method_analysis::Program::dump_unreachable_methods";
 174 void global___reachable_method_analysis___Program___dump_unreachable_methods(val_t p0, val_t p1, val_t p2){
 175   struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
 176   val_t REGB0;
 177   val_t tmp;
 178   static val_t once_value_1; /* Once value */
 179   static val_t once_value_2; /* Once value */
 180   static val_t once_value_3; /* Once value */
 181   static val_t once_value_4; /* Once value */
 182   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 183   fra.me.file = LOCATE_global___reachable_method_analysis;
 184   fra.me.line = 38;
 185   fra.me.meth = LOCATE_global___reachable_method_analysis___Program___dump_unreachable_methods;
 186   fra.me.has_broke = 0;
 187   fra.me.REG_size = 5;
 188   fra.me.nitni_local_ref_head = NULL;
 189   fra.me.REG[0] = NIT_NULL;
 190   fra.me.REG[1] = NIT_NULL;
 191   fra.me.REG[2] = NIT_NULL;
 192   fra.me.REG[3] = NIT_NULL;
 193   fra.me.REG[4] = NIT_NULL;
 194   fra.me.REG[0] = p0;
 195   fra.me.REG[1] = p1;
 196   fra.me.REG[2] = p2;
 197   /* global/reachable_method_analysis.nit:40 */
 198   REGB0 = TAG_Int(7);
 199   fra.me.REG[3] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 200   if (!once_value_1) {
 201     fra.me.REG[4] = BOX_NativeString("");
 202     REGB0 = TAG_Int(0);
 203     fra.me.REG[4] = NEW_String_standard___string___String___with_native(fra.me.REG[4], REGB0);
 204     once_value_1 = fra.me.REG[4];
 205     register_static_object(&once_value_1);
 206   } else fra.me.REG[4] = once_value_1;
 207   fra.me.REG[4] = fra.me.REG[4];
 208   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4]);
 209   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
 210   if (!once_value_2) {
 211     fra.me.REG[1] = BOX_NativeString("/");
 212     REGB0 = TAG_Int(1);
 213     fra.me.REG[1] = NEW_String_standard___string___String___with_native(fra.me.REG[1], REGB0);
 214     once_value_2 = fra.me.REG[1];
 215     register_static_object(&once_value_2);
 216   } else fra.me.REG[1] = once_value_2;
 217   fra.me.REG[1] = fra.me.REG[1];
 218   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
 219   fra.me.REG[1] = CALL_program___Program___main_module(fra.me.REG[0])(fra.me.REG[0]);
 220   fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMModule___name(fra.me.REG[1])(fra.me.REG[1]);
 221   fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 222   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
 223   if (!once_value_3) {
 224     fra.me.REG[1] = BOX_NativeString(".unreachable_methods.");
 225     REGB0 = TAG_Int(21);
 226     fra.me.REG[1] = NEW_String_standard___string___String___with_native(fra.me.REG[1], REGB0);
 227     once_value_3 = fra.me.REG[1];
 228     register_static_object(&once_value_3);
 229   } else fra.me.REG[1] = once_value_3;
 230   fra.me.REG[1] = fra.me.REG[1];
 231   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
 232   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[2]);
 233   if (!once_value_4) {
 234     fra.me.REG[2] = BOX_NativeString(".log");
 235     REGB0 = TAG_Int(4);
 236     fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
 237     once_value_4 = fra.me.REG[2];
 238     register_static_object(&once_value_4);
 239   } else fra.me.REG[2] = once_value_4;
 240   fra.me.REG[2] = fra.me.REG[2];
 241   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[2]);
 242   fra.me.REG[3] = CALL_standard___string___Object___to_s(fra.me.REG[3])(fra.me.REG[3]);
 243   fra.me.REG[3] = NEW_OFStream_standard___file___OFStream___open(fra.me.REG[3]);
 244   CALL_program___Program___with_each_methods(fra.me.REG[0])(fra.me.REG[0], (&(fra.me)), ((fun_t)OC_global___reachable_method_analysis___Program___dump_unreachable_methods_5));
 245   /* global/reachable_method_analysis.nit:46 */
 246   CALL_standard___stream___IOS___close(fra.me.REG[3])(fra.me.REG[3]);
 247   stack_frame_head = fra.me.prev;
 248   return;
 249 }
 250   void OC_global___reachable_method_analysis___Program___dump_unreachable_methods_5(struct stack_frame_t *closctx, val_t p0){
 251     struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 252     val_t REGB0;
 253     val_t tmp;
 254       static val_t once_value_6; /* Once value */
 255       static val_t once_value_7; /* Once value */
 256     /* global/reachable_method_analysis.nit:41 */
 257     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 258     fra.me.file = LOCATE_global___reachable_method_analysis;
 259     fra.me.line = 41;
 260     fra.me.meth = LOCATE_global___reachable_method_analysis___Program___dump_unreachable_methods;
 261     fra.me.has_broke = 0;
 262     fra.me.REG_size = 3;
 263     fra.me.nitni_local_ref_head = NULL;
 264     fra.me.REG[0] = NIT_NULL;
 265     fra.me.REG[1] = NIT_NULL;
 266     fra.me.REG[2] = NIT_NULL;
 267     fra.me.REG[0] = p0;
 268     /* global/reachable_method_analysis.nit:42 */
 269     fra.me.REG[1] = CALL_global___reachable_method_analysis___Program___rma(closctx->REG[0])(closctx->REG[0]);
 270     REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 271     if (UNTAG_Bool(REGB0)) {
 272       nit_abort("Reciever is null", NULL, LOCATE_global___reachable_method_analysis, 42);
 273     }
 274     REGB0 = CALL_global___reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 275     REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 276     if (UNTAG_Bool(REGB0)) {
 277       /* global/reachable_method_analysis.nit:43 */
 278       REGB0 = TAG_Int(3);
 279       fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
 280       if (!once_value_6) {
 281         fra.me.REG[2] = BOX_NativeString("");
 282         REGB0 = TAG_Int(0);
 283         fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
 284         once_value_6 = fra.me.REG[2];
 285         register_static_object(&once_value_6);
 286       } else fra.me.REG[2] = once_value_6;
 287       fra.me.REG[2] = fra.me.REG[2];
 288       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
 289       fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
 290       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 291       if (!once_value_7) {
 292         fra.me.REG[0] = BOX_NativeString("\n");
 293         REGB0 = TAG_Int(1);
 294         fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
 295         once_value_7 = fra.me.REG[0];
 296         register_static_object(&once_value_7);
 297       } else fra.me.REG[0] = once_value_7;
 298       fra.me.REG[0] = fra.me.REG[0];
 299       CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 300       fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 301       CALL_standard___stream___OStream___write(closctx->REG[3])(closctx->REG[3], fra.me.REG[1]);
 302     }
 303     stack_frame_head = fra.me.prev;
 304     return;
 305   }
 306 static const char LOCATE_global___reachable_method_analysis___ReachableMethodAnalysis___is_iroutine_reachable[] = "reachable_method_analysis::ReachableMethodAnalysis::is_iroutine_reachable";
 307 val_t global___reachable_method_analysis___ReachableMethodAnalysis___is_iroutine_reachable(val_t p0, val_t p1){
 308   struct {struct stack_frame_t me;} fra;
 309   val_t tmp;
 310   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 311   fra.me.file = LOCATE_global___reachable_method_analysis;
 312   fra.me.line = 54;
 313   fra.me.meth = LOCATE_global___reachable_method_analysis___ReachableMethodAnalysis___is_iroutine_reachable;
 314   fra.me.has_broke = 0;
 315   fra.me.REG_size = 0;
 316   fra.me.nitni_local_ref_head = NULL;
 317   /* global/reachable_method_analysis.nit:54 */
 318   nit_abort("Deferred method called", NULL, LOCATE_global___reachable_method_analysis, 54);
 319   stack_frame_head = fra.me.prev;
 320   return NIT_NULL;
 321 }
 322 static const char LOCATE_global___reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable[] = "reachable_method_analysis::ReachableMethodAnalysis::is_method_reachable";
 323 val_t global___reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable(val_t p0, val_t p1){
 324   struct {struct stack_frame_t me;} fra;
 325   val_t tmp;
 326   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 327   fra.me.file = LOCATE_global___reachable_method_analysis;
 328   fra.me.line = 55;
 329   fra.me.meth = LOCATE_global___reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable;
 330   fra.me.has_broke = 0;
 331   fra.me.REG_size = 0;
 332   fra.me.nitni_local_ref_head = NULL;
 333   /* global/reachable_method_analysis.nit:55 */
 334   nit_abort("Deferred method called", NULL, LOCATE_global___reachable_method_analysis, 55);
 335   stack_frame_head = fra.me.prev;
 336   return NIT_NULL;
 337 }
 338 static const char LOCATE_global___reachable_method_analysis___DefaultReachableMethodAnalysis___is_iroutine_reachable[] = "reachable_method_analysis::DefaultReachableMethodAnalysis::(reachable_method_analysis::ReachableMethodAnalysis::is_iroutine_reachable)";
 339 val_t global___reachable_method_analysis___DefaultReachableMethodAnalysis___is_iroutine_reachable(val_t p0, val_t p1){
 340   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 341   val_t REGB0;
 342   val_t tmp;
 343   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 344   fra.me.file = LOCATE_global___reachable_method_analysis;
 345   fra.me.line = 61;
 346   fra.me.meth = LOCATE_global___reachable_method_analysis___DefaultReachableMethodAnalysis___is_iroutine_reachable;
 347   fra.me.has_broke = 0;
 348   fra.me.REG_size = 2;
 349   fra.me.nitni_local_ref_head = NULL;
 350   fra.me.REG[0] = NIT_NULL;
 351   fra.me.REG[1] = NIT_NULL;
 352   fra.me.REG[0] = p0;
 353   fra.me.REG[1] = p1;
 354   /* global/reachable_method_analysis.nit:61 */
 355   REGB0 = TAG_Bool(1);
 356   goto label1;
 357   label1: while(0);
 358   stack_frame_head = fra.me.prev;
 359   return REGB0;
 360 }
 361 static const char LOCATE_global___reachable_method_analysis___DefaultReachableMethodAnalysis___is_method_reachable[] = "reachable_method_analysis::DefaultReachableMethodAnalysis::(reachable_method_analysis::ReachableMethodAnalysis::is_method_reachable)";
 362 val_t global___reachable_method_analysis___DefaultReachableMethodAnalysis___is_method_reachable(val_t p0, val_t p1){
 363   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 364   val_t REGB0;
 365   val_t tmp;
 366   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 367   fra.me.file = LOCATE_global___reachable_method_analysis;
 368   fra.me.line = 62;
 369   fra.me.meth = LOCATE_global___reachable_method_analysis___DefaultReachableMethodAnalysis___is_method_reachable;
 370   fra.me.has_broke = 0;
 371   fra.me.REG_size = 2;
 372   fra.me.nitni_local_ref_head = NULL;
 373   fra.me.REG[0] = NIT_NULL;
 374   fra.me.REG[1] = NIT_NULL;
 375   fra.me.REG[0] = p0;
 376   fra.me.REG[1] = p1;
 377   /* global/reachable_method_analysis.nit:62 */
 378   REGB0 = TAG_Bool(1);
 379   goto label1;
 380   label1: while(0);
 381   stack_frame_head = fra.me.prev;
 382   return REGB0;
 383 }
 384 static const char LOCATE_global___reachable_method_analysis___DefaultReachableMethodAnalysis___init[] = "reachable_method_analysis::DefaultReachableMethodAnalysis::init";
 385 void global___reachable_method_analysis___DefaultReachableMethodAnalysis___init(val_t p0, int* init_table){
 386   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___reachable_method_analysis___DefaultReachableMethodAnalysis].i;
 387   struct {struct stack_frame_t me;} fra;
 388   val_t tmp;
 389   if (init_table[itpos0]) return;
 390   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 391   fra.me.file = LOCATE_global___reachable_method_analysis;
 392   fra.me.line = 64;
 393   fra.me.meth = LOCATE_global___reachable_method_analysis___DefaultReachableMethodAnalysis___init;
 394   fra.me.has_broke = 0;
 395   fra.me.REG_size = 1;
 396   fra.me.nitni_local_ref_head = NULL;
 397   fra.me.REG[0] = NIT_NULL;
 398   fra.me.REG[0] = p0;
 399   stack_frame_head = fra.me.prev;
 400   init_table[itpos0] = 1;
 401   return;
 402 }