/* This C file is generated by NIT to compile module range. */
#include "range._sep.h"
-val_t range___Range___first(val_t self) {
- struct trace_t trace = {NULL, "range::Range::first (bin/../lib/standard//range.nit:22,2--30)"};
+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 ATTR_range___Range____first( self) /*Range::_first*/;
+ return variable[1];
}
-val_t range___Range___last(val_t self) {
- struct trace_t trace = {NULL, "range::Range::last (bin/../lib/standard//range.nit:24,2--25:23)"};
+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 ATTR_range___Range____last( self) /*Range::_last*/;
+ return variable[1];
}
-val_t range___Range___after(val_t self) {
- struct trace_t trace = {NULL, "range::Range::after (bin/../lib/standard//range.nit:27,2--28:24)"};
+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;
+ }
+ return_label2: while(false);
tracehead = trace.prev;
- return ATTR_range___Range____after( self) /*Range::_after*/;
+ return variable[1];
}
val_t range___Range___has(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "range::Range::has (bin/../lib/standard//range.nit:30,2--64)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+ struct trace_t trace = {NULL, NULL, 30, LOCATE_range___Range___has};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ATTR_range___Range____first( self) /*Range::_first*/;
- variable1 = ((kernel___Comparable_____geq_t)CALL( variable0 /*item*/,COLOR_kernel___Comparable_____geq))( variable0 /*item*/, variable1) /*Discrete::>=*/;
- variable2 = variable1;
- if (UNTAG_Bool(variable2)) { /* and */
- variable2 = ATTR_range___Range____last( self) /*Range::_last*/;
- variable2 = ((kernel___Comparable_____leq_t)CALL( variable0 /*item*/,COLOR_kernel___Comparable_____leq))( variable0 /*item*/, variable2) /*Discrete::<=*/;
+ 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::<=*/;
}
- variable1 = variable2;
- goto return_label0;
- return_label0: while(false);
+ /* Register variable[3]: Result */
+ variable[2] = variable[3];
+ goto return_label3;
+ return_label3: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t range___Range___has_only(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "range::Range::has_only (bin/../lib/standard//range.nit:32,2--69)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+ 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;
- variable0 = param0;
- variable1 = ATTR_range___Range____first( self) /*Range::_first*/;
- variable1 = TAG_Bool((variable1 == variable0 /*item*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, variable0 /*item*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, variable0 /*item*/) /*Discrete::==*/)))));
- variable2 = variable1;
- if (UNTAG_Bool(variable2)) { /* and */
- variable2 = ATTR_range___Range____last( self) /*Range::_last*/;
- variable2 = TAG_Bool(( variable0 /*item*/ == variable2) || (( variable0 /*item*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*item*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*item*/,variable2)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*item*/,COLOR_kernel___Object_____eqeq))( variable0 /*item*/, variable2) /*Discrete::==*/)))));
+ 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::==*/)))));
}
- variable1 = variable2;
- goto return_label1;
- return_label1: while(false);
+ /* Register variable[3]: Result */
+ variable[2] = variable[3];
+ goto return_label4;
+ return_label4: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t range___Range___count(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "range::Range::count (bin/../lib/standard//range.nit:34,2--39:11)"};
- val_t variable0;
- val_t variable1;
+ struct trace_t trace = {NULL, NULL, 34, LOCATE_range___Range___count};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((range___Range___has_t)CALL( self,COLOR_abstract_collection___Collection___has))( self, variable0 /*item*/) /*Range::has*/;
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = TAG_Int(1);
- goto return_label2;
+ 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*/
- variable1 = TAG_Int(0);
- goto return_label2;
+ variable[2] = TAG_Int(0);
+ goto return_label5;
}
- return_label2: while(false);
+ return_label5: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
-val_t range___Range___iterator(val_t self) {
- struct trace_t trace = {NULL, "range::Range::iterator (bin/../lib/standard//range.nit:43,2--56)"};
- val_t variable0;
+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;
- variable0 = NEW_range___IteratorRange___init( self); /*new IteratorRange[E]*/
- goto return_label3;
- return_label3: while(false);
+ trace.file = LOCATE_range;
tracehead = trace.prev;
- return variable0;
+ return ATTR_range___Range____first( self) /*Range::_first*/;
}
-val_t range___Range___length(val_t self) {
- struct trace_t trace = {NULL, "range::Range::length (bin/../lib/standard//range.nit:45,2--51:11)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+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;
- variable1 = ATTR_range___Range____first( self) /*Range::_first*/;
- variable2 = ATTR_range___Range____after( self) /*Range::_after*/;
- variable1 = ((kernel___Discrete___distance_t)CALL(variable1,COLOR_kernel___Discrete___distance))(variable1, variable2) /*Discrete::distance*/;
- variable0 = variable1;
- variable1 = TAG_Bool(UNTAG_Int( variable0 /*nb*/)>UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable0 = variable0 /*nb*/;
- goto return_label4;
- } else { /*if*/
- variable0 = TAG_Int(0);
- goto return_label4;
- }
- return_label4: while(false);
+ trace.file = LOCATE_range;
tracehead = trace.prev;
- return variable0;
+ return ATTR_range___Range____last( self) /*Range::_last*/;
}
-val_t range___Range___is_empty(val_t self) {
- struct trace_t trace = {NULL, "range::Range::is_empty (bin/../lib/standard//range.nit:55,2--47)"};
- val_t variable0;
- val_t variable1;
+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;
- variable0 = ATTR_range___Range____first( self) /*Range::_first*/;
- variable1 = ATTR_range___Range____after( self) /*Range::_after*/;
- variable0 = ((kernel___Comparable_____geq_t)CALL(variable0,COLOR_kernel___Comparable_____geq))(variable0, variable1) /*Discrete::>=*/;
- goto return_label5;
- return_label5: while(false);
+ trace.file = LOCATE_range;
tracehead = trace.prev;
- return variable0;
+ return ATTR_range___Range____after( self) /*Range::_after*/;
}
void range___Range___init(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, "range::Range::init (bin/../lib/standard//range.nit:57,2--63:18)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+ struct trace_t trace = {NULL, NULL, 57, LOCATE_range___Range___init};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = param1;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Range].i]) return;
- ATTR_range___Range____first( self) /*Range::_first*/ = variable0 /*from*/;
- ATTR_range___Range____last( self) /*Range::_last*/ = variable1 /*to*/;
- variable2 = ((kernel___Discrete___succ_t)CALL( variable1 /*to*/,COLOR_kernel___Discrete___succ))( variable1 /*to*/) /*Discrete::succ*/;
- ATTR_range___Range____after( self) /*Range::_after*/ = variable2;
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Range].i] = 1;
+ 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;
return;
}
void range___Range___without_last(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, "range::Range::without_last (bin/../lib/standard//range.nit:66,2--72:13)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+ 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;
- variable0 = param0;
- variable1 = param1;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Range].i]) return;
- ATTR_range___Range____first( self) /*Range::_first*/ = variable0 /*from*/;
- variable2 = ((kernel___Discrete___prec_t)CALL( variable1 /*to*/,COLOR_kernel___Discrete___prec))( variable1 /*to*/) /*Discrete::prec*/;
- ATTR_range___Range____last( self) /*Range::_last*/ = variable2;
- ATTR_range___Range____after( self) /*Range::_after*/ = variable1 /*to*/;
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Range].i] = 1;
+ 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;
return;
}
val_t range___IteratorRange___item(val_t self) {
- struct trace_t trace = {NULL, "range::IteratorRange::item (bin/../lib/standard//range.nit:80,2--29)"};
+ 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___is_ok(val_t self) {
- struct trace_t trace = {NULL, "range::IteratorRange::is_ok (bin/../lib/standard//range.nit:82,2--48)"};
- val_t variable0;
- val_t variable1;
+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;
- variable0 = ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/;
- variable1 = ATTR_range___IteratorRange____range( self) /*IteratorRange::_range*/;
- variable1 = ((range___Range___after_t)CALL(variable1,COLOR_range___Range___after))(variable1) /*Range::after*/;
- variable0 = ((kernel___Comparable_____l_t)CALL(variable0,COLOR_kernel___Comparable_____l))(variable0, variable1) /*Discrete::<*/;
- goto return_label8;
+ 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;
- return variable0;
+ return;
}
-void range___IteratorRange___next(val_t self) {
- struct trace_t trace = {NULL, "range::IteratorRange::next (bin/../lib/standard//range.nit:84,2--38)"};
- val_t variable0;
+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;
- variable0 = ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/;
- variable0 = ((kernel___Discrete___succ_t)CALL(variable0,COLOR_kernel___Discrete___succ))(variable0) /*Discrete::succ*/;
- ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/ = variable0;
+ 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;
+ return variable[1];
}
void range___IteratorRange___init(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, "range::IteratorRange::init (bin/../lib/standard//range.nit:86,2--89:17)"};
- val_t variable0;
- val_t variable1;
+ struct trace_t trace = {NULL, NULL, 86, LOCATE_range___IteratorRange___init};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_IteratorRange].i]) return;
- ATTR_range___IteratorRange____range( self) /*IteratorRange::_range*/ = variable0 /*r*/;
- variable1 = ((range___Range___first_t)CALL( variable0 /*r*/,COLOR_abstract_collection___Collection___first))( variable0 /*r*/) /*Range::first*/;
- ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/ = variable1;
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_IteratorRange].i] = 1;
+ 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;
return;
}