/* This C file is generated by NIT to compile module range. */
#include "range._sep.h"
-val_t range___Range___iterator(val_t self) {
- struct trace_t trace = {NULL, NULL, 43, LOCATE_range___Range___iterator};
- val_t variable[3];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Result */
- variable[2] = NEW_IteratorRange_range___IteratorRange___init(variable[0]) /*new IteratorRange[E]*/;
- variable[1] = variable[2];
- goto return_label0;
- return_label0: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t range___Range___first(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 22;
+ fra.me.meth = LOCATE_range___Range___first;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//collection//range.nit:22 */
+ REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 22);
+ }
+ fra.me.REG[0] = ATTR_range___Range____first(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t range___Range___is_empty(val_t self) {
- struct trace_t trace = {NULL, NULL, 55, LOCATE_range___Range___is_empty};
- val_t variable[4];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Result */
- variable[2] = ATTR_range___Range____first(variable[0]) /*Range::_first*/;
- /* Register variable[3]: Result */
- variable[3] = ATTR_range___Range____after(variable[0]) /*Range::_after*/;
- /* Register variable[2]: Result */
- variable[2] = CALL_kernel___Comparable_____geq(variable[2])(variable[2], variable[3]) /*Comparable::>=*/;
- variable[1] = variable[2];
- goto return_label1;
- return_label1: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t range___Range___last(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 24;
+ fra.me.meth = LOCATE_range___Range___last;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//collection//range.nit:24 */
+ REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_last", LOCATE_range, 24);
+ }
+ fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t range___Range___length(val_t self) {
- struct trace_t trace = {NULL, NULL, 45, LOCATE_range___Range___length};
- val_t variable[5];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Local variable */
- /* Register variable[3]: Result */
- variable[3] = ATTR_range___Range____first(variable[0]) /*Range::_first*/;
- /* Register variable[4]: Result */
- variable[4] = ATTR_range___Range____after(variable[0]) /*Range::_after*/;
- /* Register variable[3]: Result */
- variable[3] = CALL_kernel___Discrete___distance(variable[3])(variable[3], variable[4]) /*Discrete::distance*/;
- variable[2] = variable[3];
- /* Register variable[3]: Result */
- variable[3] = TAG_Bool(UNTAG_Int( variable[2] /*nb*/)>UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[1] = variable[2] /*nb*/;
- goto return_label2;
- } else { /*if*/
- variable[1] = TAG_Int(0);
- goto return_label2;
+val_t range___Range___after(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 27;
+ fra.me.meth = LOCATE_range___Range___after;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//collection//range.nit:27 */
+ REGB0 = TAG_Bool(ATTR_range___Range____after(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_after", LOCATE_range, 27);
}
- return_label2: while(false);
- tracehead = trace.prev;
- return variable[1];
+ fra.me.REG[0] = ATTR_range___Range____after(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t range___Range___has(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 30, LOCATE_range___Range___has};
- val_t variable[4];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- /* Register variable[2]: Method return value and escape marker */
- /* Register variable[3]: Result */
- variable[3] = ATTR_range___Range____first(variable[0]) /*Range::_first*/;
- /* Register variable[3]: Result */
- variable[3] = CALL_kernel___Comparable_____geq( variable[1] /*item*/)( variable[1] /*item*/, variable[3]) /*Comparable::>=*/;
- /* Ensure var variable[3]: Left 'and' operand*/
- if (UNTAG_Bool(variable[3])) { /* and */
- /* Register variable[3]: Result */
- variable[3] = ATTR_range___Range____last(variable[0]) /*Range::_last*/;
- /* Register variable[3]: Result */
- variable[3] = CALL_kernel___Comparable_____leq( variable[1] /*item*/)( variable[1] /*item*/, variable[3]) /*Comparable::<=*/;
+val_t range___Range___has(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 30;
+ fra.me.meth = LOCATE_range___Range___has;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./../lib/standard//collection//range.nit:30 */
+ REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 30);
+ }
+ fra.me.REG[2] = ATTR_range___Range____first(fra.me.REG[0]);
+ REGB0 = CALL_kernel___Comparable_____geq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_last", LOCATE_range, 30);
+ }
+ fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
+ REGB0 = CALL_kernel___Comparable_____leq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
}
- /* Register variable[3]: Result */
- variable[2] = variable[3];
- goto return_label3;
- return_label3: while(false);
- tracehead = trace.prev;
- return variable[2];
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t range___Range___has_only(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 32, LOCATE_range___Range___has_only};
- val_t variable[4];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- /* Register variable[2]: Method return value and escape marker */
- /* Register variable[3]: Result */
- variable[3] = ATTR_range___Range____first(variable[0]) /*Range::_first*/;
- /* Register variable[3]: Result */
- variable[3] = TAG_Bool((variable[3] == variable[1] /*item*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], variable[1] /*item*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], variable[1] /*item*/) /*Object::==*/)))));
- /* Ensure var variable[3]: Left 'and' operand*/
- if (UNTAG_Bool(variable[3])) { /* and */
- /* Register variable[3]: Result */
- variable[3] = ATTR_range___Range____last(variable[0]) /*Range::_last*/;
- /* Register variable[3]: Result */
- variable[3] = TAG_Bool(( variable[1] /*item*/ == variable[3]) || (( variable[1] /*item*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[1] /*item*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*item*/,variable[3])):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[1] /*item*/)( variable[1] /*item*/, variable[3]) /*Object::==*/)))));
+val_t range___Range___has_only(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 32;
+ fra.me.meth = LOCATE_range___Range___has_only;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./../lib/standard//collection//range.nit:32 */
+ REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 32);
}
- /* Register variable[3]: Result */
- variable[2] = variable[3];
- goto return_label4;
- return_label4: while(false);
- tracehead = trace.prev;
- return variable[2];
+ fra.me.REG[2] = ATTR_range___Range____first(fra.me.REG[0]);
+ REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[1]));
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_last", LOCATE_range, 32);
+ }
+ fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
+ REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[0]));
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ REGB0 = REGB1;
+ }
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ }
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t range___Range___count(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 34, LOCATE_range___Range___count};
- val_t variable[4];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- /* Register variable[2]: Method return value and escape marker */
- /* Register variable[3]: Result */
- variable[3] = CALL_abstract_collection___Collection___has(variable[0])(variable[0], variable[1] /*item*/) /*Range::has*/;
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[2] = TAG_Int(1);
- goto return_label5;
- } else { /*if*/
- variable[2] = TAG_Int(0);
- goto return_label5;
+val_t range___Range___count(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 34;
+ fra.me.meth = LOCATE_range___Range___count;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./../lib/standard//collection//range.nit:36 */
+ REGB0 = CALL_abstract_collection___Collection___has(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ if (UNTAG_Bool(REGB0)) {
+ /* ./../lib/standard//collection//range.nit:37 */
+ REGB0 = TAG_Int(1);
+ goto label1;
+ } else {
+ /* ./../lib/standard//collection//range.nit:39 */
+ REGB1 = TAG_Int(0);
+ REGB0 = REGB1;
+ goto label1;
}
- return_label5: while(false);
- tracehead = trace.prev;
- return variable[2];
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t range___Range___first(val_t self) {
- struct trace_t trace = {NULL, NULL, 22, LOCATE_range___Range___first};
- val_t *variable = NULL;
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- tracehead = trace.prev;
- return ATTR_range___Range____first( self) /*Range::_first*/;
+val_t range___Range___iterator(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 43;
+ fra.me.meth = LOCATE_range___Range___iterator;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//collection//range.nit:43 */
+ fra.me.REG[0] = NEW_IteratorRange_range___IteratorRange___init(fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t range___Range___last(val_t self) {
- struct trace_t trace = {NULL, NULL, 24, LOCATE_range___Range___last};
- val_t *variable = NULL;
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- tracehead = trace.prev;
- return ATTR_range___Range____last( self) /*Range::_last*/;
+void range___Range___iterate(val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ fun_t CREG[1];
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 45;
+ fra.me.meth = LOCATE_range___Range___iterate;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.closure_ctx = closctx_param;
+ fra.me.closure_funs = CREG;
+ fra.me.REG[0] = p0;
+ CREG[0] = clos_fun0;
+ /* ./../lib/standard//collection//range.nit:48 */
+ REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 48);
+ }
+ fra.me.REG[1] = ATTR_range___Range____first(fra.me.REG[0]);
+ /* ./../lib/standard//collection//range.nit:49 */
+ REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_last", LOCATE_range, 49);
+ }
+ fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
+ /* ./../lib/standard//collection//range.nit:50 */
+ while(1) {
+ REGB0 = CALL_kernel___Comparable_____leq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ if (UNTAG_Bool(REGB0)) {
+ /* ./../lib/standard//collection//range.nit:51 */
+ ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, fra.me.REG[1]);
+ if (closctx_param->has_broke) {
+ goto label1;
+ }
+ /* ./../lib/standard//collection//range.nit:52 */
+ fra.me.REG[2] = CALL_kernel___Discrete___succ(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[1] = fra.me.REG[2];
+ } else {
+ /* ./../lib/standard//collection//range.nit:50 */
+ goto label2;
+ }
+ }
+ label2: while(0);
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return;
}
-val_t range___Range___after(val_t self) {
- struct trace_t trace = {NULL, NULL, 27, LOCATE_range___Range___after};
- val_t *variable = NULL;
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- tracehead = trace.prev;
- return ATTR_range___Range____after( self) /*Range::_after*/;
+val_t range___Range___length(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 56;
+ fra.me.meth = LOCATE_range___Range___length;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//collection//range.nit:58 */
+ REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 58);
+ }
+ fra.me.REG[1] = ATTR_range___Range____first(fra.me.REG[0]);
+ REGB0 = TAG_Bool(ATTR_range___Range____after(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_after", LOCATE_range, 58);
+ }
+ fra.me.REG[0] = ATTR_range___Range____after(fra.me.REG[0]);
+ REGB0 = CALL_kernel___Discrete___distance(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ /* ./../lib/standard//collection//range.nit:59 */
+ REGB1 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:214 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//range.nit:59 */
+ if (UNTAG_Bool(REGB1)) {
+ /* ./../lib/standard//collection//range.nit:60 */
+ goto label1;
+ } else {
+ /* ./../lib/standard//collection//range.nit:62 */
+ REGB1 = TAG_Int(0);
+ REGB0 = REGB1;
+ goto label1;
+ }
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-void range___Range___init(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, NULL, 57, LOCATE_range___Range___init};
- val_t variable[5];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- /* Register variable[2]: Local variable */
- variable[2] = param1;
- if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Range].i]) return;
- /* Register variable[3]: Method return value and escape marker */
- ATTR_range___Range____first(variable[0]) /*Range::_first*/ = variable[1] /*from*/;
- ATTR_range___Range____last(variable[0]) /*Range::_last*/ = variable[2] /*to*/;
- /* Register variable[4]: Result */
- variable[4] = CALL_kernel___Discrete___succ( variable[2] /*to*/)( variable[2] /*to*/) /*Discrete::succ*/;
- ATTR_range___Range____after(variable[0]) /*Range::_after*/ = variable[4];
- return_label6: while(false);
- init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Range].i] = 1;
- tracehead = trace.prev;
+val_t range___Range___is_empty(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 66;
+ fra.me.meth = LOCATE_range___Range___is_empty;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//collection//range.nit:66 */
+ REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_first", LOCATE_range, 66);
+ }
+ fra.me.REG[1] = ATTR_range___Range____first(fra.me.REG[0]);
+ REGB0 = TAG_Bool(ATTR_range___Range____after(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_after", LOCATE_range, 66);
+ }
+ fra.me.REG[0] = ATTR_range___Range____after(fra.me.REG[0]);
+ REGB0 = CALL_kernel___Comparable_____geq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
+}
+void range___Range___init(val_t p0, val_t p1, val_t p2, int* init_table){
+ int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Range].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t tmp;
+ if (init_table[itpos0]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 68;
+ fra.me.meth = LOCATE_range___Range___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ /* ./../lib/standard//collection//range.nit:72 */
+ ATTR_range___Range____first(fra.me.REG[0]) = fra.me.REG[1];
+ /* ./../lib/standard//collection//range.nit:73 */
+ ATTR_range___Range____last(fra.me.REG[0]) = fra.me.REG[2];
+ /* ./../lib/standard//collection//range.nit:74 */
+ fra.me.REG[2] = CALL_kernel___Discrete___succ(fra.me.REG[2])(fra.me.REG[2]);
+ ATTR_range___Range____after(fra.me.REG[0]) = fra.me.REG[2];
+ stack_frame_head = fra.me.prev;
+ init_table[itpos0] = 1;
return;
}
-void range___Range___without_last(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, NULL, 66, LOCATE_range___Range___without_last};
- val_t variable[5];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- /* Register variable[2]: Local variable */
- variable[2] = param1;
- if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Range].i]) return;
- /* Register variable[3]: Method return value and escape marker */
- ATTR_range___Range____first(variable[0]) /*Range::_first*/ = variable[1] /*from*/;
- /* Register variable[4]: Result */
- variable[4] = CALL_kernel___Discrete___prec( variable[2] /*to*/)( variable[2] /*to*/) /*Discrete::prec*/;
- ATTR_range___Range____last(variable[0]) /*Range::_last*/ = variable[4];
- ATTR_range___Range____after(variable[0]) /*Range::_after*/ = variable[2] /*to*/;
- return_label7: while(false);
- init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Range].i] = 1;
- tracehead = trace.prev;
+void range___Range___without_last(val_t p0, val_t p1, val_t p2, int* init_table){
+ int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Range].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t tmp;
+ if (init_table[itpos1]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 77;
+ fra.me.meth = LOCATE_range___Range___without_last;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ /* ./../lib/standard//collection//range.nit:81 */
+ ATTR_range___Range____first(fra.me.REG[0]) = fra.me.REG[1];
+ /* ./../lib/standard//collection//range.nit:82 */
+ fra.me.REG[1] = CALL_kernel___Discrete___prec(fra.me.REG[2])(fra.me.REG[2]);
+ ATTR_range___Range____last(fra.me.REG[0]) = fra.me.REG[1];
+ /* ./../lib/standard//collection//range.nit:83 */
+ ATTR_range___Range____after(fra.me.REG[0]) = fra.me.REG[2];
+ stack_frame_head = fra.me.prev;
+ init_table[itpos1] = 1;
return;
}
-val_t range___IteratorRange___item(val_t self) {
- struct trace_t trace = {NULL, NULL, 80, LOCATE_range___IteratorRange___item};
- val_t *variable = NULL;
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- tracehead = trace.prev;
- return ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/;
+val_t range___IteratorRange___item(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 91;
+ fra.me.meth = LOCATE_range___IteratorRange___item;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//collection//range.nit:91 */
+ REGB0 = TAG_Bool(ATTR_range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_item", LOCATE_range, 91);
+ }
+ fra.me.REG[0] = ATTR_range___IteratorRange____item(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
+}
+val_t range___IteratorRange___is_ok(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 93;
+ fra.me.meth = LOCATE_range___IteratorRange___is_ok;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//collection//range.nit:93 */
+ REGB0 = TAG_Bool(ATTR_range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_item", LOCATE_range, 93);
+ }
+ fra.me.REG[1] = ATTR_range___IteratorRange____item(fra.me.REG[0]);
+ REGB0 = TAG_Bool(ATTR_range___IteratorRange____range(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_range", LOCATE_range, 93);
+ }
+ fra.me.REG[0] = ATTR_range___IteratorRange____range(fra.me.REG[0]);
+ fra.me.REG[0] = CALL_range___Range___after(fra.me.REG[0])(fra.me.REG[0]);
+ REGB0 = CALL_kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-void range___IteratorRange___next(val_t self) {
- struct trace_t trace = {NULL, NULL, 84, LOCATE_range___IteratorRange___next};
- val_t variable[3];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Result */
- variable[2] = ATTR_range___IteratorRange____item(variable[0]) /*IteratorRange::_item*/;
- /* Register variable[2]: Result */
- variable[2] = CALL_kernel___Discrete___succ(variable[2])(variable[2]) /*Discrete::succ*/;
- ATTR_range___IteratorRange____item(variable[0]) /*IteratorRange::_item*/ = variable[2];
- return_label8: while(false);
- tracehead = trace.prev;
+void range___IteratorRange___next(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 95;
+ fra.me.meth = LOCATE_range___IteratorRange___next;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//collection//range.nit:95 */
+ REGB0 = TAG_Bool(ATTR_range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_item", LOCATE_range, 95);
+ }
+ fra.me.REG[1] = ATTR_range___IteratorRange____item(fra.me.REG[0]);
+ fra.me.REG[1] = CALL_kernel___Discrete___succ(fra.me.REG[1])(fra.me.REG[1]);
+ ATTR_range___IteratorRange____item(fra.me.REG[0]) = fra.me.REG[1];
+ stack_frame_head = fra.me.prev;
return;
}
-val_t range___IteratorRange___is_ok(val_t self) {
- struct trace_t trace = {NULL, NULL, 82, LOCATE_range___IteratorRange___is_ok};
- val_t variable[4];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Result */
- variable[2] = ATTR_range___IteratorRange____item(variable[0]) /*IteratorRange::_item*/;
- /* Register variable[3]: Result */
- variable[3] = ATTR_range___IteratorRange____range(variable[0]) /*IteratorRange::_range*/;
- /* Register variable[3]: Result */
- variable[3] = CALL_range___Range___after(variable[3])(variable[3]) /*Range::after*/;
- /* Register variable[2]: Result */
- variable[2] = CALL_kernel___Comparable_____l(variable[2])(variable[2], variable[3]) /*Comparable::<*/;
- variable[1] = variable[2];
- goto return_label9;
- return_label9: while(false);
- tracehead = trace.prev;
- return variable[1];
-}
-void range___IteratorRange___init(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, NULL, 86, LOCATE_range___IteratorRange___init};
- val_t variable[4];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_range;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_IteratorRange].i]) return;
- /* Register variable[2]: Method return value and escape marker */
- ATTR_range___IteratorRange____range(variable[0]) /*IteratorRange::_range*/ = variable[1] /*r*/;
- /* Register variable[3]: Result */
- variable[3] = CALL_abstract_collection___Collection___first( variable[1] /*r*/)( variable[1] /*r*/) /*Range::first*/;
- ATTR_range___IteratorRange____item(variable[0]) /*IteratorRange::_item*/ = variable[3];
- return_label10: while(false);
- init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_IteratorRange].i] = 1;
- tracehead = trace.prev;
+void range___IteratorRange___init(val_t p0, val_t p1, int* init_table){
+ int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_IteratorRange].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t tmp;
+ if (init_table[itpos2]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_range;
+ fra.me.line = 97;
+ fra.me.meth = LOCATE_range___IteratorRange___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./../lib/standard//collection//range.nit:99 */
+ ATTR_range___IteratorRange____range(fra.me.REG[0]) = fra.me.REG[1];
+ /* ./../lib/standard//collection//range.nit:100 */
+ fra.me.REG[1] = CALL_abstract_collection___Collection___first(fra.me.REG[1])(fra.me.REG[1]);
+ ATTR_range___IteratorRange____item(fra.me.REG[0]) = fra.me.REG[1];
+ stack_frame_head = fra.me.prev;
+ init_table[itpos2] = 1;
return;
}