c_src/range._sep.c

   1 /* This C file is generated by NIT to compile module range. */
   2 #include "range._sep.h"
   3 val_t range___Range___first(val_t p0){
   4   struct {struct stack_frame_t me;} fra;
   5   val_t REGB0;
   6   val_t tmp;
   7   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   8   fra.me.file = LOCATE_range;
   9   fra.me.line = 22;
  10   fra.me.meth = LOCATE_range___Range___first;
  11   fra.me.has_broke = 0;
  12   fra.me.REG_size = 1;
  13   fra.me.REG[0] = NIT_NULL;
  14   fra.me.REG[0] = p0;
  15   /* ./../lib/standard//collection//range.nit:22 */
  16   REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
  17   if (UNTAG_Bool(REGB0)) {
  18   } else {
  19     nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 22);
  20   }
  21   fra.me.REG[0] = ATTR_range___Range____first(fra.me.REG[0]);
  22   stack_frame_head = fra.me.prev;
  23   return fra.me.REG[0];
  24 }
  25 val_t range___Range___last(val_t p0){
  26   struct {struct stack_frame_t me;} fra;
  27   val_t REGB0;
  28   val_t tmp;
  29   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  30   fra.me.file = LOCATE_range;
  31   fra.me.line = 24;
  32   fra.me.meth = LOCATE_range___Range___last;
  33   fra.me.has_broke = 0;
  34   fra.me.REG_size = 1;
  35   fra.me.REG[0] = NIT_NULL;
  36   fra.me.REG[0] = p0;
  37   /* ./../lib/standard//collection//range.nit:24 */
  38   REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
  39   if (UNTAG_Bool(REGB0)) {
  40   } else {
  41     nit_abort("Uninitialized attribute %s", "_last", LOCATE_range, 24);
  42   }
  43   fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
  44   stack_frame_head = fra.me.prev;
  45   return fra.me.REG[0];
  46 }
  47 val_t range___Range___after(val_t p0){
  48   struct {struct stack_frame_t me;} fra;
  49   val_t REGB0;
  50   val_t tmp;
  51   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  52   fra.me.file = LOCATE_range;
  53   fra.me.line = 27;
  54   fra.me.meth = LOCATE_range___Range___after;
  55   fra.me.has_broke = 0;
  56   fra.me.REG_size = 1;
  57   fra.me.REG[0] = NIT_NULL;
  58   fra.me.REG[0] = p0;
  59   /* ./../lib/standard//collection//range.nit:27 */
  60   REGB0 = TAG_Bool(ATTR_range___Range____after(fra.me.REG[0])!=NIT_NULL);
  61   if (UNTAG_Bool(REGB0)) {
  62   } else {
  63     nit_abort("Uninitialized attribute %s", "_after", LOCATE_range, 27);
  64   }
  65   fra.me.REG[0] = ATTR_range___Range____after(fra.me.REG[0]);
  66   stack_frame_head = fra.me.prev;
  67   return fra.me.REG[0];
  68 }
  69 val_t range___Range___has(val_t p0, val_t p1){
  70   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
  71   val_t REGB0;
  72   val_t REGB1;
  73   val_t tmp;
  74   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  75   fra.me.file = LOCATE_range;
  76   fra.me.line = 30;
  77   fra.me.meth = LOCATE_range___Range___has;
  78   fra.me.has_broke = 0;
  79   fra.me.REG_size = 3;
  80   fra.me.REG[0] = NIT_NULL;
  81   fra.me.REG[1] = NIT_NULL;
  82   fra.me.REG[2] = NIT_NULL;
  83   fra.me.REG[0] = p0;
  84   fra.me.REG[1] = p1;
  85   /* ./../lib/standard//collection//range.nit:30 */
  86   REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
  87   if (UNTAG_Bool(REGB0)) {
  88   } else {
  89     nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 30);
  90   }
  91   fra.me.REG[2] = ATTR_range___Range____first(fra.me.REG[0]);
  92   REGB0 = CALL_kernel___Comparable_____geq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
  93   if (UNTAG_Bool(REGB0)) {
  94     REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
  95     if (UNTAG_Bool(REGB0)) {
  96     } else {
  97       nit_abort("Uninitialized attribute %s", "_last", LOCATE_range, 30);
  98     }
  99     fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
 100     REGB0 = CALL_kernel___Comparable_____leq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 101   } else {
 102     REGB1 = TAG_Bool(false);
 103     REGB0 = REGB1;
 104   }
 105   goto label1;
 106   label1: while(0);
 107   stack_frame_head = fra.me.prev;
 108   return REGB0;
 109 }
 110 val_t range___Range___has_only(val_t p0, val_t p1){
 111   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 112   val_t REGB0;
 113   val_t REGB1;
 114   val_t tmp;
 115   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 116   fra.me.file = LOCATE_range;
 117   fra.me.line = 32;
 118   fra.me.meth = LOCATE_range___Range___has_only;
 119   fra.me.has_broke = 0;
 120   fra.me.REG_size = 3;
 121   fra.me.REG[0] = NIT_NULL;
 122   fra.me.REG[1] = NIT_NULL;
 123   fra.me.REG[2] = NIT_NULL;
 124   fra.me.REG[0] = p0;
 125   fra.me.REG[1] = p1;
 126   /* ./../lib/standard//collection//range.nit:32 */
 127   REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
 128   if (UNTAG_Bool(REGB0)) {
 129   } else {
 130     nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 32);
 131   }
 132   fra.me.REG[2] = ATTR_range___Range____first(fra.me.REG[0]);
 133   REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[1]));
 134   if (UNTAG_Bool(REGB0)) {
 135   } else {
 136     REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 137     REGB0 = REGB1;
 138   }
 139   if (UNTAG_Bool(REGB0)) {
 140     REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
 141     if (UNTAG_Bool(REGB0)) {
 142     } else {
 143       nit_abort("Uninitialized attribute %s", "_last", LOCATE_range, 32);
 144     }
 145     fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
 146     REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[0]));
 147     if (UNTAG_Bool(REGB0)) {
 148     } else {
 149       REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 150       REGB0 = REGB1;
 151     }
 152   } else {
 153     REGB1 = TAG_Bool(false);
 154     REGB0 = REGB1;
 155   }
 156   goto label1;
 157   label1: while(0);
 158   stack_frame_head = fra.me.prev;
 159   return REGB0;
 160 }
 161 val_t range___Range___count(val_t p0, val_t p1){
 162   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 163   val_t REGB0;
 164   val_t REGB1;
 165   val_t tmp;
 166   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 167   fra.me.file = LOCATE_range;
 168   fra.me.line = 34;
 169   fra.me.meth = LOCATE_range___Range___count;
 170   fra.me.has_broke = 0;
 171   fra.me.REG_size = 2;
 172   fra.me.REG[0] = NIT_NULL;
 173   fra.me.REG[1] = NIT_NULL;
 174   fra.me.REG[0] = p0;
 175   fra.me.REG[1] = p1;
 176   /* ./../lib/standard//collection//range.nit:36 */
 177   REGB0 = CALL_abstract_collection___Collection___has(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 178   if (UNTAG_Bool(REGB0)) {
 179     /* ./../lib/standard//collection//range.nit:37 */
 180     REGB0 = TAG_Int(1);
 181     goto label1;
 182   } else {
 183     /* ./../lib/standard//collection//range.nit:39 */
 184     REGB1 = TAG_Int(0);
 185     REGB0 = REGB1;
 186     goto label1;
 187   }
 188   label1: while(0);
 189   stack_frame_head = fra.me.prev;
 190   return REGB0;
 191 }
 192 val_t range___Range___iterator(val_t p0){
 193   struct {struct stack_frame_t me;} fra;
 194   val_t tmp;
 195   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 196   fra.me.file = LOCATE_range;
 197   fra.me.line = 43;
 198   fra.me.meth = LOCATE_range___Range___iterator;
 199   fra.me.has_broke = 0;
 200   fra.me.REG_size = 1;
 201   fra.me.REG[0] = NIT_NULL;
 202   fra.me.REG[0] = p0;
 203   /* ./../lib/standard//collection//range.nit:43 */
 204   fra.me.REG[0] = NEW_IteratorRange_range___IteratorRange___init(fra.me.REG[0]);
 205   goto label1;
 206   label1: while(0);
 207   stack_frame_head = fra.me.prev;
 208   return fra.me.REG[0];
 209 }
 210 void range___Range___iterate(val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0){
 211   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 212   val_t REGB0;
 213   fun_t CREG[1];
 214   val_t tmp;
 215   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 216   fra.me.file = LOCATE_range;
 217   fra.me.line = 45;
 218   fra.me.meth = LOCATE_range___Range___iterate;
 219   fra.me.has_broke = 0;
 220   fra.me.REG_size = 3;
 221   fra.me.REG[0] = NIT_NULL;
 222   fra.me.REG[1] = NIT_NULL;
 223   fra.me.REG[2] = NIT_NULL;
 224   fra.me.closure_ctx = closctx_param;
 225   fra.me.closure_funs = CREG;
 226   fra.me.REG[0] = p0;
 227   CREG[0] = clos_fun0;
 228   /* ./../lib/standard//collection//range.nit:48 */
 229   REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
 230   if (UNTAG_Bool(REGB0)) {
 231   } else {
 232     nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 48);
 233   }
 234   fra.me.REG[1] = ATTR_range___Range____first(fra.me.REG[0]);
 235   /* ./../lib/standard//collection//range.nit:49 */
 236   REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
 237   if (UNTAG_Bool(REGB0)) {
 238   } else {
 239     nit_abort("Uninitialized attribute %s", "_last", LOCATE_range, 49);
 240   }
 241   fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
 242   /* ./../lib/standard//collection//range.nit:50 */
 243   while(1) {
 244     REGB0 = CALL_kernel___Comparable_____leq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 245     if (UNTAG_Bool(REGB0)) {
 246       /* ./../lib/standard//collection//range.nit:51 */
 247       ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, fra.me.REG[1]);
 248       if (closctx_param->has_broke) {
 249         goto label1;
 250       }
 251       /* ./../lib/standard//collection//range.nit:52 */
 252       fra.me.REG[2] = CALL_kernel___Discrete___succ(fra.me.REG[1])(fra.me.REG[1]);
 253       fra.me.REG[1] = fra.me.REG[2];
 254     } else {
 255       /* ./../lib/standard//collection//range.nit:50 */
 256       goto label2;
 257     }
 258   }
 259   label2: while(0);
 260   label1: while(0);
 261   stack_frame_head = fra.me.prev;
 262   return;
 263 }
 264 val_t range___Range___length(val_t p0){
 265   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 266   val_t REGB0;
 267   val_t REGB1;
 268   val_t tmp;
 269   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 270   fra.me.file = LOCATE_range;
 271   fra.me.line = 56;
 272   fra.me.meth = LOCATE_range___Range___length;
 273   fra.me.has_broke = 0;
 274   fra.me.REG_size = 2;
 275   fra.me.REG[0] = NIT_NULL;
 276   fra.me.REG[1] = NIT_NULL;
 277   fra.me.REG[0] = p0;
 278   /* ./../lib/standard//collection//range.nit:58 */
 279   REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
 280   if (UNTAG_Bool(REGB0)) {
 281   } else {
 282     nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 58);
 283   }
 284   fra.me.REG[1] = ATTR_range___Range____first(fra.me.REG[0]);
 285   REGB0 = TAG_Bool(ATTR_range___Range____after(fra.me.REG[0])!=NIT_NULL);
 286   if (UNTAG_Bool(REGB0)) {
 287   } else {
 288     nit_abort("Uninitialized attribute %s", "_after", LOCATE_range, 58);
 289   }
 290   fra.me.REG[0] = ATTR_range___Range____after(fra.me.REG[0]);
 291   REGB0 = CALL_kernel___Discrete___distance(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 292   /* ./../lib/standard//collection//range.nit:59 */
 293   REGB1 = TAG_Int(0);
 294   /* ./../lib/standard//kernel.nit:214 */
 295   REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
 296   /* ./../lib/standard//collection//range.nit:59 */
 297   if (UNTAG_Bool(REGB1)) {
 298     /* ./../lib/standard//collection//range.nit:60 */
 299     goto label1;
 300   } else {
 301     /* ./../lib/standard//collection//range.nit:62 */
 302     REGB1 = TAG_Int(0);
 303     REGB0 = REGB1;
 304     goto label1;
 305   }
 306   label1: while(0);
 307   stack_frame_head = fra.me.prev;
 308   return REGB0;
 309 }
 310 val_t range___Range___is_empty(val_t p0){
 311   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 312   val_t REGB0;
 313   val_t tmp;
 314   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 315   fra.me.file = LOCATE_range;
 316   fra.me.line = 66;
 317   fra.me.meth = LOCATE_range___Range___is_empty;
 318   fra.me.has_broke = 0;
 319   fra.me.REG_size = 2;
 320   fra.me.REG[0] = NIT_NULL;
 321   fra.me.REG[1] = NIT_NULL;
 322   fra.me.REG[0] = p0;
 323   /* ./../lib/standard//collection//range.nit:66 */
 324   REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
 325   if (UNTAG_Bool(REGB0)) {
 326   } else {
 327     nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 66);
 328   }
 329   fra.me.REG[1] = ATTR_range___Range____first(fra.me.REG[0]);
 330   REGB0 = TAG_Bool(ATTR_range___Range____after(fra.me.REG[0])!=NIT_NULL);
 331   if (UNTAG_Bool(REGB0)) {
 332   } else {
 333     nit_abort("Uninitialized attribute %s", "_after", LOCATE_range, 66);
 334   }
 335   fra.me.REG[0] = ATTR_range___Range____after(fra.me.REG[0]);
 336   REGB0 = CALL_kernel___Comparable_____geq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 337   goto label1;
 338   label1: while(0);
 339   stack_frame_head = fra.me.prev;
 340   return REGB0;
 341 }
 342 void range___Range___init(val_t p0, val_t p1, val_t p2, int* init_table){
 343   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Range].i;
 344   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 345   val_t tmp;
 346   if (init_table[itpos0]) return;
 347   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 348   fra.me.file = LOCATE_range;
 349   fra.me.line = 68;
 350   fra.me.meth = LOCATE_range___Range___init;
 351   fra.me.has_broke = 0;
 352   fra.me.REG_size = 3;
 353   fra.me.REG[0] = NIT_NULL;
 354   fra.me.REG[1] = NIT_NULL;
 355   fra.me.REG[2] = NIT_NULL;
 356   fra.me.REG[0] = p0;
 357   fra.me.REG[1] = p1;
 358   fra.me.REG[2] = p2;
 359   /* ./../lib/standard//collection//range.nit:72 */
 360   ATTR_range___Range____first(fra.me.REG[0]) = fra.me.REG[1];
 361   /* ./../lib/standard//collection//range.nit:73 */
 362   ATTR_range___Range____last(fra.me.REG[0]) = fra.me.REG[2];
 363   /* ./../lib/standard//collection//range.nit:74 */
 364   fra.me.REG[2] = CALL_kernel___Discrete___succ(fra.me.REG[2])(fra.me.REG[2]);
 365   ATTR_range___Range____after(fra.me.REG[0]) = fra.me.REG[2];
 366   stack_frame_head = fra.me.prev;
 367   init_table[itpos0] = 1;
 368   return;
 369 }
 370 void range___Range___without_last(val_t p0, val_t p1, val_t p2, int* init_table){
 371   int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Range].i;
 372   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 373   val_t tmp;
 374   if (init_table[itpos1]) return;
 375   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 376   fra.me.file = LOCATE_range;
 377   fra.me.line = 77;
 378   fra.me.meth = LOCATE_range___Range___without_last;
 379   fra.me.has_broke = 0;
 380   fra.me.REG_size = 3;
 381   fra.me.REG[0] = NIT_NULL;
 382   fra.me.REG[1] = NIT_NULL;
 383   fra.me.REG[2] = NIT_NULL;
 384   fra.me.REG[0] = p0;
 385   fra.me.REG[1] = p1;
 386   fra.me.REG[2] = p2;
 387   /* ./../lib/standard//collection//range.nit:81 */
 388   ATTR_range___Range____first(fra.me.REG[0]) = fra.me.REG[1];
 389   /* ./../lib/standard//collection//range.nit:82 */
 390   fra.me.REG[1] = CALL_kernel___Discrete___prec(fra.me.REG[2])(fra.me.REG[2]);
 391   ATTR_range___Range____last(fra.me.REG[0]) = fra.me.REG[1];
 392   /* ./../lib/standard//collection//range.nit:83 */
 393   ATTR_range___Range____after(fra.me.REG[0]) = fra.me.REG[2];
 394   stack_frame_head = fra.me.prev;
 395   init_table[itpos1] = 1;
 396   return;
 397 }
 398 val_t range___IteratorRange___item(val_t p0){
 399   struct {struct stack_frame_t me;} fra;
 400   val_t REGB0;
 401   val_t tmp;
 402   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 403   fra.me.file = LOCATE_range;
 404   fra.me.line = 91;
 405   fra.me.meth = LOCATE_range___IteratorRange___item;
 406   fra.me.has_broke = 0;
 407   fra.me.REG_size = 1;
 408   fra.me.REG[0] = NIT_NULL;
 409   fra.me.REG[0] = p0;
 410   /* ./../lib/standard//collection//range.nit:91 */
 411   REGB0 = TAG_Bool(ATTR_range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
 412   if (UNTAG_Bool(REGB0)) {
 413   } else {
 414     nit_abort("Uninitialized attribute %s", "_item", LOCATE_range, 91);
 415   }
 416   fra.me.REG[0] = ATTR_range___IteratorRange____item(fra.me.REG[0]);
 417   stack_frame_head = fra.me.prev;
 418   return fra.me.REG[0];
 419 }
 420 val_t range___IteratorRange___is_ok(val_t p0){
 421   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 422   val_t REGB0;
 423   val_t tmp;
 424   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 425   fra.me.file = LOCATE_range;
 426   fra.me.line = 93;
 427   fra.me.meth = LOCATE_range___IteratorRange___is_ok;
 428   fra.me.has_broke = 0;
 429   fra.me.REG_size = 2;
 430   fra.me.REG[0] = NIT_NULL;
 431   fra.me.REG[1] = NIT_NULL;
 432   fra.me.REG[0] = p0;
 433   /* ./../lib/standard//collection//range.nit:93 */
 434   REGB0 = TAG_Bool(ATTR_range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
 435   if (UNTAG_Bool(REGB0)) {
 436   } else {
 437     nit_abort("Uninitialized attribute %s", "_item", LOCATE_range, 93);
 438   }
 439   fra.me.REG[1] = ATTR_range___IteratorRange____item(fra.me.REG[0]);
 440   REGB0 = TAG_Bool(ATTR_range___IteratorRange____range(fra.me.REG[0])!=NIT_NULL);
 441   if (UNTAG_Bool(REGB0)) {
 442   } else {
 443     nit_abort("Uninitialized attribute %s", "_range", LOCATE_range, 93);
 444   }
 445   fra.me.REG[0] = ATTR_range___IteratorRange____range(fra.me.REG[0]);
 446   fra.me.REG[0] = CALL_range___Range___after(fra.me.REG[0])(fra.me.REG[0]);
 447   REGB0 = CALL_kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 448   goto label1;
 449   label1: while(0);
 450   stack_frame_head = fra.me.prev;
 451   return REGB0;
 452 }
 453 void range___IteratorRange___next(val_t p0){
 454   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 455   val_t REGB0;
 456   val_t tmp;
 457   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 458   fra.me.file = LOCATE_range;
 459   fra.me.line = 95;
 460   fra.me.meth = LOCATE_range___IteratorRange___next;
 461   fra.me.has_broke = 0;
 462   fra.me.REG_size = 2;
 463   fra.me.REG[0] = NIT_NULL;
 464   fra.me.REG[1] = NIT_NULL;
 465   fra.me.REG[0] = p0;
 466   /* ./../lib/standard//collection//range.nit:95 */
 467   REGB0 = TAG_Bool(ATTR_range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
 468   if (UNTAG_Bool(REGB0)) {
 469   } else {
 470     nit_abort("Uninitialized attribute %s", "_item", LOCATE_range, 95);
 471   }
 472   fra.me.REG[1] = ATTR_range___IteratorRange____item(fra.me.REG[0]);
 473   fra.me.REG[1] = CALL_kernel___Discrete___succ(fra.me.REG[1])(fra.me.REG[1]);
 474   ATTR_range___IteratorRange____item(fra.me.REG[0]) = fra.me.REG[1];
 475   stack_frame_head = fra.me.prev;
 476   return;
 477 }
 478 void range___IteratorRange___init(val_t p0, val_t p1, int* init_table){
 479   int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_IteratorRange].i;
 480   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 481   val_t tmp;
 482   if (init_table[itpos2]) return;
 483   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 484   fra.me.file = LOCATE_range;
 485   fra.me.line = 97;
 486   fra.me.meth = LOCATE_range___IteratorRange___init;
 487   fra.me.has_broke = 0;
 488   fra.me.REG_size = 2;
 489   fra.me.REG[0] = NIT_NULL;
 490   fra.me.REG[1] = NIT_NULL;
 491   fra.me.REG[0] = p0;
 492   fra.me.REG[1] = p1;
 493   /* ./../lib/standard//collection//range.nit:99 */
 494   ATTR_range___IteratorRange____range(fra.me.REG[0]) = fra.me.REG[1];
 495   /* ./../lib/standard//collection//range.nit:100 */
 496   fra.me.REG[1] = CALL_abstract_collection___Collection___first(fra.me.REG[1])(fra.me.REG[1]);
 497   ATTR_range___IteratorRange____item(fra.me.REG[0]) = fra.me.REG[1];
 498   stack_frame_head = fra.me.prev;
 499   init_table[itpos2] = 1;
 500   return;
 501 }