/* This C file is generated by NIT to compile module list. */
#include "list._sep.h"
-val_t list___List_____bra(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List_____bra, 21};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((list___List___get_node_t)CALL( self,COLOR_list___List___get_node))( self, variable0 /*index*/) /*List::get_node*/;
- variable1 = ((abstract_collection___Container___item_t)CALL(variable1,COLOR_abstract_collection___Container___item))(variable1) /*ListNode::item*/;
+val_t list___List___iterator(val_t self) {
+ struct trace_t trace = {NULL, NULL, 173, LOCATE_list___List___iterator};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ /* Register variable[2]: Result */
+ variable[2] = NEW_ListIterator_list___ListIterator___init(variable[2]) /*new ListIterator[E]*/;
+ variable[1] = variable[2];
goto return_label0;
return_label0: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[1];
}
-void list___List_____braeq(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, LOCATE_list___List_____braeq, 24};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = param1;
- variable2 = ((list___List___get_node_t)CALL( self,COLOR_list___List___get_node))( self, variable0 /*index*/) /*List::get_node*/;
- ((abstract_collection___Container___item__eq_t)CALL(variable2,COLOR_abstract_collection___Container___item__eq))(variable2, variable1 /*item*/) /*ListNode::item=*/;
- tracehead = trace.prev;
- return;
+val_t list___List___is_empty(val_t self) {
+ struct trace_t trace = {NULL, NULL, 40, LOCATE_list___List___is_empty};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool((variable[2] == NIT_NULL /*null*/) || ((variable[2] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[2])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[2], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[2])(variable[2], NIT_NULL /*null*/) /*Object::==*/)))));
+ variable[1] = variable[2];
+ goto return_label1;
+ return_label1: while(false);
+ tracehead = trace.prev;
+ return variable[1];
}
-val_t list___List___first(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___List___first, 26};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = ATTR_list___List____head( self) /*List::_head*/;
- variable0 = ((abstract_collection___Container___item_t)CALL(variable0,COLOR_abstract_collection___Container___item))(variable0) /*ListNode::item*/;
+val_t list___List___length(val_t self) {
+ struct trace_t trace = {NULL, NULL, 43, LOCATE_list___List___length};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Local variable */
+ variable[2] = TAG_Int(0);
+ /* Register variable[3]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ variable[3] = variable[4];
+ while (true) { /*while*/
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[3] /*t*/ == NIT_NULL /*null*/) || (( variable[3] /*t*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[3] /*t*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*t*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[3] /*t*/)( variable[3] /*t*/, NIT_NULL /*null*/) /*Object::==*/)))))));
+ if (!UNTAG_Bool(variable[4])) break; /* while*/
+ variable[2] = TAG_Int(UNTAG_Int(variable[2])+UNTAG_Int( TAG_Int(1))) /*l*/;
+ /* Register variable[4]: Result */
+ variable[4] = CALL_list___ListNode___next( variable[3] /*t*/)( variable[3] /*t*/) /*ListNode::next*/;
+ variable[3] = variable[4] /*t=*/;
+ continue_3: while(0);
+ }
+ break_3: while(0);
+ variable[1] = variable[2] /*l*/;
goto return_label2;
return_label2: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}
-void list___List___first__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___first__eq, 29};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ATTR_list___List____head( self) /*List::_head*/;
- ((abstract_collection___Container___item__eq_t)CALL(variable1,COLOR_abstract_collection___Container___item__eq))(variable1, variable0 /*e*/) /*ListNode::item=*/;
- tracehead = trace.prev;
- return;
-}
-val_t list___List___last(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___List___last, 32};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = ATTR_list___List____tail( self) /*List::_tail*/;
- variable0 = ((abstract_collection___Container___item_t)CALL(variable0,COLOR_abstract_collection___Container___item))(variable0) /*ListNode::item*/;
+val_t list___List___has(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 55, LOCATE_list___List___has};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_list___List____head(variable[0]) /*List::_head*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___List___search_node_after(variable[0])(variable[0], variable[1] /*e*/, variable[3]) /*List::search_node_after*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/)))))));
+ variable[2] = variable[3];
goto return_label4;
return_label4: while(false);
tracehead = trace.prev;
- return variable0;
-}
-void list___List___last__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___last__eq, 35};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ATTR_list___List____tail( self) /*List::_tail*/;
- ((abstract_collection___Container___item__eq_t)CALL(variable1,COLOR_abstract_collection___Container___item__eq))(variable1, variable0 /*e*/) /*ListNode::item=*/;
- tracehead = trace.prev;
- return;
+ return variable[2];
}
-val_t list___List___is_empty(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___List___is_empty, 40};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = ATTR_list___List____head( self) /*List::_head*/;
- variable0 = TAG_Bool((variable0 == NIT_NULL /*null*/) || ((variable0 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable0, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))(variable0, NIT_NULL /*null*/) /*ListNode::==*/)))));
- goto return_label6;
- return_label6: while(false);
+val_t list___List___has_only(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 58, LOCATE_list___List___has_only};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ variable[3] = variable[4];
+ while (true) { /*while*/
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[3] /*node*/ == NIT_NULL /*null*/) || (( variable[3] /*node*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[3] /*node*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[3] /*node*/)( variable[3] /*node*/, NIT_NULL /*null*/) /*Object::==*/)))))));
+ if (!UNTAG_Bool(variable[4])) break; /* while*/
+ /* Register variable[4]: Result */
+ variable[4] = CALL_abstract_collection___Container___item( variable[3] /*node*/)( variable[3] /*node*/) /*Container::item*/;
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[4] == variable[1] /*e*/) || ((variable[4] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[4])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[4], variable[1] /*e*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[4])(variable[4], variable[1] /*e*/) /*Object::==*/)))))));
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ variable[2] = TAG_Bool(false);
+ goto return_label5;
+ }
+ /* Register variable[4]: Result */
+ variable[4] = CALL_list___ListNode___next( variable[3] /*node*/)( variable[3] /*node*/) /*ListNode::next*/;
+ variable[3] = variable[4] /*node=*/;
+ continue_6: while(0);
+ }
+ break_6: while(0);
+ variable[2] = TAG_Bool(true);
+ goto return_label5;
+ return_label5: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[2];
}
-val_t list___List___length(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___List___length, 43};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = TAG_Int(0);
- variable2 = ATTR_list___List____head( self) /*List::_head*/;
- variable1 = variable2;
+val_t list___List___count(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 68, LOCATE_list___List___count};
+ val_t variable[6];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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]: Local variable */
+ variable[3] = TAG_Int(0);
+ /* Register variable[4]: Local variable */
+ /* Register variable[5]: Result */
+ variable[5] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ variable[4] = variable[5];
while (true) { /*while*/
- variable2 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable1 /*t*/ == NIT_NULL /*null*/) || (( variable1 /*t*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*t*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*t*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*t*/,COLOR_kernel___Object_____eqeq))( variable1 /*t*/, NIT_NULL /*null*/) /*ListNode::==*/)))))));
- if (!UNTAG_Bool(variable2)) break; /* while*/
- variable0 = TAG_Int(UNTAG_Int(variable0)+UNTAG_Int( TAG_Int(1))) /*l*/;
- variable2 = ((list___ListNode___next_t)CALL( variable1 /*t*/,COLOR_list___ListNode___next))( variable1 /*t*/) /*ListNode::next*/;
- variable1 = variable2 /*t=*/;
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[4] /*node*/ == NIT_NULL /*null*/) || (( variable[4] /*node*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[4] /*node*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[4] /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[4] /*node*/)( variable[4] /*node*/, NIT_NULL /*null*/) /*Object::==*/)))))));
+ if (!UNTAG_Bool(variable[5])) break; /* while*/
+ /* Register variable[5]: Result */
+ variable[5] = CALL_abstract_collection___Container___item( variable[4] /*node*/)( variable[4] /*node*/) /*Container::item*/;
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[5] == variable[1] /*e*/) || ((variable[5] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[5])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[5], variable[1] /*e*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[5])(variable[5], variable[1] /*e*/) /*Object::==*/)))))));
+ if (UNTAG_Bool(variable[5])) { /*if*/
+ variable[3] = TAG_Int(UNTAG_Int(variable[3])+UNTAG_Int( TAG_Int(1))) /*nb*/;
+ }
+ /* Register variable[5]: Result */
+ variable[5] = CALL_list___ListNode___next( variable[4] /*node*/)( variable[4] /*node*/) /*ListNode::next*/;
+ variable[4] = variable[5] /*node=*/;
continue_8: while(0);
}
break_8: while(0);
- variable0 = variable0 /*l*/;
+ variable[2] = variable[3] /*nb*/;
goto return_label7;
return_label7: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[2];
}
-val_t list___List___has(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___has, 55};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ATTR_list___List____head( self) /*List::_head*/;
- variable1 = ((list___List___search_node_after_t)CALL( self,COLOR_list___List___search_node_after))( self, variable0 /*e*/, variable1) /*List::search_node_after*/;
- variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable1 == NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, NIT_NULL /*null*/) /*ListNode::==*/)))))));
+val_t list___List___first(val_t self) {
+ struct trace_t trace = {NULL, NULL, 26, LOCATE_list___List___first};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ /* Register variable[2]: Result */
+ variable[2] = CALL_abstract_collection___Container___item(variable[2])(variable[2]) /*Container::item*/;
+ variable[1] = variable[2];
goto return_label9;
return_label9: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[1];
}
-val_t list___List___has_only(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___has_only, 58};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable2 = ATTR_list___List____head( self) /*List::_head*/;
- variable1 = variable2;
- while (true) { /*while*/
- variable2 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable1 /*node*/ == NIT_NULL /*null*/) || (( variable1 /*node*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*node*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*node*/,COLOR_kernel___Object_____eqeq))( variable1 /*node*/, NIT_NULL /*null*/) /*ListNode::==*/)))))));
- if (!UNTAG_Bool(variable2)) break; /* while*/
- variable2 = ((abstract_collection___Container___item_t)CALL( variable1 /*node*/,COLOR_abstract_collection___Container___item))( variable1 /*node*/) /*ListNode::item*/;
- variable2 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable2 == variable0 /*e*/) || ((variable2 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable2,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable2, variable0 /*e*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable2,COLOR_kernel___Object_____eqeq))(variable2, variable0 /*e*/) /*Object::==*/)))))));
- if (UNTAG_Bool(variable2)) { /*if*/
- variable1 = TAG_Bool(false);
- goto return_label10;
- }
- variable2 = ((list___ListNode___next_t)CALL( variable1 /*node*/,COLOR_list___ListNode___next))( variable1 /*node*/) /*ListNode::next*/;
- variable1 = variable2 /*node=*/;
- continue_11: while(0);
- }
- break_11: while(0);
- variable1 = TAG_Bool(true);
+val_t list___List_____bra(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 21, LOCATE_list___List_____bra};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_list___List___get_node(variable[0])(variable[0], variable[1] /*index*/) /*List::get_node*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___Container___item(variable[3])(variable[3]) /*Container::item*/;
+ variable[2] = variable[3];
goto return_label10;
return_label10: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
-val_t list___List___count(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___count, 68};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = TAG_Int(0);
- variable3 = ATTR_list___List____head( self) /*List::_head*/;
- variable2 = variable3;
- while (true) { /*while*/
- variable3 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable2 /*node*/ == NIT_NULL /*null*/) || (( variable2 /*node*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable2 /*node*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable2 /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable2 /*node*/,COLOR_kernel___Object_____eqeq))( variable2 /*node*/, NIT_NULL /*null*/) /*ListNode::==*/)))))));
- if (!UNTAG_Bool(variable3)) break; /* while*/
- variable3 = ((abstract_collection___Container___item_t)CALL( variable2 /*node*/,COLOR_abstract_collection___Container___item))( variable2 /*node*/) /*ListNode::item*/;
- variable3 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable3 == variable0 /*e*/) || ((variable3 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable3,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable3, variable0 /*e*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable3,COLOR_kernel___Object_____eqeq))(variable3, variable0 /*e*/) /*Object::==*/)))))));
- if (UNTAG_Bool(variable3)) { /*if*/
- variable1 = TAG_Int(UNTAG_Int(variable1)+UNTAG_Int( TAG_Int(1))) /*nb*/;
- }
- variable3 = ((list___ListNode___next_t)CALL( variable2 /*node*/,COLOR_list___ListNode___next))( variable2 /*node*/) /*ListNode::next*/;
- variable2 = variable3 /*node=*/;
- continue_13: while(0);
- }
- break_13: while(0);
- variable1 = variable1 /*nb*/;
+val_t list___List___has_key(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 79, LOCATE_list___List___has_key};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_list___List___get_node(variable[0])(variable[0], variable[1] /*index*/) /*List::get_node*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/)))))));
+ variable[2] = variable[3];
+ goto return_label11;
+ return_label11: while(false);
+ tracehead = trace.prev;
+ return variable[2];
+}
+val_t list___List___last(val_t self) {
+ struct trace_t trace = {NULL, NULL, 32, LOCATE_list___List___last};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = ATTR_list___List____tail(variable[0]) /*List::_tail*/;
+ /* Register variable[2]: Result */
+ variable[2] = CALL_abstract_collection___Container___item(variable[2])(variable[2]) /*Container::item*/;
+ variable[1] = variable[2];
goto return_label12;
return_label12: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[1];
}
-val_t list___List___has_key(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___has_key, 79};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((list___List___get_node_t)CALL( self,COLOR_list___List___get_node))( self, variable0 /*index*/) /*List::get_node*/;
- variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable1 == NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, NIT_NULL /*null*/) /*ListNode::==*/)))))));
- goto return_label14;
- return_label14: while(false);
+void list___List___clear(val_t self) {
+ struct trace_t trace = {NULL, NULL, 166, LOCATE_list___List___clear};
+ val_t variable[2];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ ATTR_list___List____head(variable[0]) /*List::_head*/ = NIT_NULL /*null*/;
+ ATTR_list___List____tail(variable[0]) /*List::_tail*/ = NIT_NULL /*null*/;
+ return_label13: while(false);
tracehead = trace.prev;
- return variable1;
+ return;
}
-void list___List___push(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___push, 83};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable2 = NEW_list___ListNode___init( variable0 /*e*/); /*new ListNode[E]*/
- variable1 = variable2;
- variable2 = ATTR_list___List____tail( self) /*List::_tail*/;
- variable2 = TAG_Bool((variable2 == NIT_NULL /*null*/) || ((variable2 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable2,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable2, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable2,COLOR_kernel___Object_____eqeq))(variable2, NIT_NULL /*null*/) /*ListNode::==*/)))));
- if (UNTAG_Bool(variable2)) { /*if*/
- ATTR_list___List____head( self) /*List::_head*/ = variable1 /*node*/;
- } else { /*if*/
- variable2 = ATTR_list___List____tail( self) /*List::_tail*/;
- ((list___ListNode___next__eq_t)CALL(variable2,COLOR_list___ListNode___next__eq))(variable2, variable1 /*node*/) /*ListNode::next=*/;
- variable2 = ATTR_list___List____tail( self) /*List::_tail*/;
- ((list___ListNode___prev__eq_t)CALL( variable1 /*node*/,COLOR_list___ListNode___prev__eq))( variable1 /*node*/, variable2) /*ListNode::prev=*/;
+void list___List___remove(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 154, LOCATE_list___List___remove};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ /* Register variable[4]: Result */
+ variable[4] = CALL_list___List___search_node_after(variable[0])(variable[0], variable[1] /*e*/, variable[4]) /*List::search_node_after*/;
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[3] /*node*/ == NIT_NULL /*null*/) || (( variable[3] /*node*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[3] /*node*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[3] /*node*/)( variable[3] /*node*/, NIT_NULL /*null*/) /*Object::==*/)))))));
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ CALL_list___List___remove_node(variable[0])(variable[0], variable[3] /*node*/) /*List::remove_node*/;
}
- ATTR_list___List____tail( self) /*List::_tail*/ = variable1 /*node*/;
+ return_label14: while(false);
tracehead = trace.prev;
return;
}
-void list___List___unshift(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___unshift, 96};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable2 = NEW_list___ListNode___init( variable0 /*e*/); /*new ListNode[E]*/
- variable1 = variable2;
- variable2 = ATTR_list___List____head( self) /*List::_head*/;
- variable2 = TAG_Bool((variable2 == NIT_NULL /*null*/) || ((variable2 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable2,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable2, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable2,COLOR_kernel___Object_____eqeq))(variable2, NIT_NULL /*null*/) /*ListNode::==*/)))));
- if (UNTAG_Bool(variable2)) { /*if*/
- ATTR_list___List____tail( self) /*List::_tail*/ = variable1 /*node*/;
- } else { /*if*/
- variable2 = ATTR_list___List____head( self) /*List::_head*/;
- ((list___ListNode___next__eq_t)CALL( variable1 /*node*/,COLOR_list___ListNode___next__eq))( variable1 /*node*/, variable2) /*ListNode::next=*/;
- variable2 = ATTR_list___List____head( self) /*List::_head*/;
- ((list___ListNode___prev__eq_t)CALL(variable2,COLOR_list___ListNode___prev__eq))(variable2, variable1 /*node*/) /*ListNode::prev=*/;
- }
- ATTR_list___List____head( self) /*List::_head*/ = variable1 /*node*/;
+void list___List_____braeq(val_t self, val_t param0, val_t param1) {
+ struct trace_t trace = {NULL, NULL, 24, LOCATE_list___List_____braeq};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Local variable */
+ variable[2] = param1;
+ /* Register variable[3]: Method return value and escape marker */
+ /* Register variable[4]: Result */
+ variable[4] = CALL_list___List___get_node(variable[0])(variable[0], variable[1] /*index*/) /*List::get_node*/;
+ CALL_abstract_collection___Container___item__eq(variable[4])(variable[4], variable[2] /*item*/) /*Container::item=*/;
+ return_label15: while(false);
tracehead = trace.prev;
return;
}
-void list___List___link(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___link, 109};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ATTR_list___List____tail( self) /*List::_tail*/;
- variable1 = TAG_Bool((variable1 == NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, NIT_NULL /*null*/) /*ListNode::==*/)))));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = ATTR_list___List____head( variable0 /*l*/) /*List::_head*/;
- ATTR_list___List____head( self) /*List::_head*/ = variable1;
- } else { /*if*/
- variable1 = ATTR_list___List____head( variable0 /*l*/) /*List::_head*/;
- variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable1 == NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, NIT_NULL /*null*/) /*ListNode::==*/)))))));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = ATTR_list___List____tail( self) /*List::_tail*/;
- variable2 = ATTR_list___List____head( variable0 /*l*/) /*List::_head*/;
- ((list___ListNode___next__eq_t)CALL(variable1,COLOR_list___ListNode___next__eq))(variable1, variable2) /*ListNode::next=*/;
- variable1 = ATTR_list___List____tail( self) /*List::_tail*/;
- variable1 = ((list___ListNode___next_t)CALL(variable1,COLOR_list___ListNode___next))(variable1) /*ListNode::next*/;
- variable2 = ATTR_list___List____tail( self) /*List::_tail*/;
- ((list___ListNode___prev__eq_t)CALL(variable1,COLOR_list___ListNode___prev__eq))(variable1, variable2) /*ListNode::prev=*/;
- }
+void list___List___remove_at(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 160, LOCATE_list___List___remove_at};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = CALL_list___List___get_node(variable[0])(variable[0], variable[1] /*i*/) /*List::get_node*/;
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[3] /*node*/ == NIT_NULL /*null*/) || (( variable[3] /*node*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[3] /*node*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[3] /*node*/)( variable[3] /*node*/, NIT_NULL /*null*/) /*Object::==*/)))))));
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ CALL_list___List___remove_node(variable[0])(variable[0], variable[3] /*node*/) /*List::remove_node*/;
}
- variable1 = ATTR_list___List____tail( variable0 /*l*/) /*List::_tail*/;
- ATTR_list___List____tail( self) /*List::_tail*/ = variable1;
- ((list___List___clear_t)CALL( variable0 /*l*/,COLOR_abstract_collection___RemovableCollection___clear))( variable0 /*l*/) /*List::clear*/;
+ return_label16: while(false);
tracehead = trace.prev;
return;
}
-val_t list___List___pop(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___List___pop, 126};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable1 = ATTR_list___List____tail( self) /*List::_tail*/;
- variable0 = variable1;
- variable1 = ((list___ListNode___prev_t)CALL( variable0 /*node*/,COLOR_list___ListNode___prev))( variable0 /*node*/) /*ListNode::prev*/;
- ATTR_list___List____tail( self) /*List::_tail*/ = variable1;
- ((list___ListNode___prev__eq_t)CALL( variable0 /*node*/,COLOR_list___ListNode___prev__eq))( variable0 /*node*/, NIT_NULL /*null*/) /*ListNode::prev=*/;
- variable1 = ATTR_list___List____tail( self) /*List::_tail*/;
- variable1 = TAG_Bool((variable1 == NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, NIT_NULL /*null*/) /*ListNode::==*/)))));
- if (UNTAG_Bool(variable1)) { /*if*/
- ATTR_list___List____head( self) /*List::_head*/ = NIT_NULL /*null*/;
- } else { /*if*/
- variable1 = ATTR_list___List____tail( self) /*List::_tail*/;
- ((list___ListNode___next__eq_t)CALL(variable1,COLOR_list___ListNode___next__eq))(variable1, NIT_NULL /*null*/) /*ListNode::next=*/;
- }
- variable1 = ((abstract_collection___Container___item_t)CALL( variable0 /*node*/,COLOR_abstract_collection___Container___item))( variable0 /*node*/) /*ListNode::item*/;
- variable0 = variable1;
- goto return_label18;
+void list___List___first__eq(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 29, LOCATE_list___List___first__eq};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_list___List____head(variable[0]) /*List::_head*/;
+ CALL_abstract_collection___Container___item__eq(variable[3])(variable[3], variable[1] /*e*/) /*Container::item=*/;
+ return_label17: while(false);
+ tracehead = trace.prev;
+ return;
+}
+void list___List___last__eq(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 35, LOCATE_list___List___last__eq};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_list___List____tail(variable[0]) /*List::_tail*/;
+ CALL_abstract_collection___Container___item__eq(variable[3])(variable[3], variable[1] /*e*/) /*Container::item=*/;
return_label18: while(false);
tracehead = trace.prev;
- return variable0;
+ return;
}
-val_t list___List___shift(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___List___shift, 140};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable1 = ATTR_list___List____head( self) /*List::_head*/;
- variable0 = variable1;
- variable1 = ((list___ListNode___next_t)CALL( variable0 /*node*/,COLOR_list___ListNode___next))( variable0 /*node*/) /*ListNode::next*/;
- ATTR_list___List____head( self) /*List::_head*/ = variable1;
- ((list___ListNode___next__eq_t)CALL( variable0 /*node*/,COLOR_list___ListNode___next__eq))( variable0 /*node*/, NIT_NULL /*null*/) /*ListNode::next=*/;
- variable1 = ATTR_list___List____head( self) /*List::_head*/;
- variable1 = TAG_Bool((variable1 == NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, NIT_NULL /*null*/) /*ListNode::==*/)))));
- if (UNTAG_Bool(variable1)) { /*if*/
- ATTR_list___List____tail( self) /*List::_tail*/ = NIT_NULL /*null*/;
+void list___List___push(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 83, LOCATE_list___List___push};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = NEW_ListNode_list___ListNode___init( variable[1] /*e*/) /*new ListNode[E]*/;
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____tail(variable[0]) /*List::_tail*/;
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool((variable[4] == NIT_NULL /*null*/) || ((variable[4] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[4])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[4], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[4])(variable[4], NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ ATTR_list___List____head(variable[0]) /*List::_head*/ = variable[3] /*node*/;
} else { /*if*/
- variable1 = ATTR_list___List____head( self) /*List::_head*/;
- ((list___ListNode___prev__eq_t)CALL(variable1,COLOR_list___ListNode___prev__eq))(variable1, NIT_NULL /*null*/) /*ListNode::prev=*/;
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____tail(variable[0]) /*List::_tail*/;
+ CALL_list___ListNode___next__eq(variable[4])(variable[4], variable[3] /*node*/) /*ListNode::next=*/;
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____tail(variable[0]) /*List::_tail*/;
+ CALL_list___ListNode___prev__eq( variable[3] /*node*/)( variable[3] /*node*/, variable[4]) /*ListNode::prev=*/;
}
- variable1 = ((abstract_collection___Container___item_t)CALL( variable0 /*node*/,COLOR_abstract_collection___Container___item))( variable0 /*node*/) /*ListNode::item*/;
- variable0 = variable1;
- goto return_label19;
+ ATTR_list___List____tail(variable[0]) /*List::_tail*/ = variable[3] /*node*/;
return_label19: while(false);
tracehead = trace.prev;
- return variable0;
+ return;
}
-void list___List___remove(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___remove, 154};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable2 = ATTR_list___List____head( self) /*List::_head*/;
- variable2 = ((list___List___search_node_after_t)CALL( self,COLOR_list___List___search_node_after))( self, variable0 /*e*/, variable2) /*List::search_node_after*/;
- variable1 = variable2;
- variable2 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable1 /*node*/ == NIT_NULL /*null*/) || (( variable1 /*node*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*node*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*node*/,COLOR_kernel___Object_____eqeq))( variable1 /*node*/, NIT_NULL /*null*/) /*ListNode::==*/)))))));
- if (UNTAG_Bool(variable2)) { /*if*/
- ((list___List___remove_node_t)CALL( self,COLOR_list___List___remove_node))( self, variable1 /*node*/) /*List::remove_node*/;
+val_t list___List___pop(val_t self) {
+ struct trace_t trace = {NULL, NULL, 126, LOCATE_list___List___pop};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_list___List____tail(variable[0]) /*List::_tail*/;
+ variable[2] = variable[3];
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___prev( variable[2] /*node*/)( variable[2] /*node*/) /*ListNode::prev*/;
+ ATTR_list___List____tail(variable[0]) /*List::_tail*/ = variable[3];
+ CALL_list___ListNode___prev__eq( variable[2] /*node*/)( variable[2] /*node*/, NIT_NULL /*null*/) /*ListNode::prev=*/;
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_list___List____tail(variable[0]) /*List::_tail*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ ATTR_list___List____head(variable[0]) /*List::_head*/ = NIT_NULL /*null*/;
+ } else { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_list___List____tail(variable[0]) /*List::_tail*/;
+ CALL_list___ListNode___next__eq(variable[3])(variable[3], NIT_NULL /*null*/) /*ListNode::next=*/;
}
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___Container___item( variable[2] /*node*/)( variable[2] /*node*/) /*Container::item*/;
+ variable[1] = variable[3];
+ goto return_label20;
+ return_label20: while(false);
tracehead = trace.prev;
- return;
+ return variable[1];
}
-void list___List___remove_at(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___remove_at, 160};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable2 = ((list___List___get_node_t)CALL( self,COLOR_list___List___get_node))( self, variable0 /*i*/) /*List::get_node*/;
- variable1 = variable2;
- variable2 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable1 /*node*/ == NIT_NULL /*null*/) || (( variable1 /*node*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*node*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*node*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*node*/,COLOR_kernel___Object_____eqeq))( variable1 /*node*/, NIT_NULL /*null*/) /*ListNode::==*/)))))));
- if (UNTAG_Bool(variable2)) { /*if*/
- ((list___List___remove_node_t)CALL( self,COLOR_list___List___remove_node))( self, variable1 /*node*/) /*List::remove_node*/;
+void list___List___unshift(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 96, LOCATE_list___List___unshift};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = NEW_ListNode_list___ListNode___init( variable[1] /*e*/) /*new ListNode[E]*/;
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool((variable[4] == NIT_NULL /*null*/) || ((variable[4] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[4])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[4], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[4])(variable[4], NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ ATTR_list___List____tail(variable[0]) /*List::_tail*/ = variable[3] /*node*/;
+ } else { /*if*/
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ CALL_list___ListNode___next__eq( variable[3] /*node*/)( variable[3] /*node*/, variable[4]) /*ListNode::next=*/;
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ CALL_list___ListNode___prev__eq(variable[4])(variable[4], variable[3] /*node*/) /*ListNode::prev=*/;
}
+ ATTR_list___List____head(variable[0]) /*List::_head*/ = variable[3] /*node*/;
+ return_label21: while(false);
tracehead = trace.prev;
return;
}
-void list___List___clear(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___List___clear, 166};
- trace.prev = tracehead; tracehead = &trace;
- ATTR_list___List____head( self) /*List::_head*/ = NIT_NULL /*null*/;
- ATTR_list___List____tail( self) /*List::_tail*/ = NIT_NULL /*null*/;
+val_t list___List___shift(val_t self) {
+ struct trace_t trace = {NULL, NULL, 140, LOCATE_list___List___shift};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_list___List____head(variable[0]) /*List::_head*/;
+ variable[2] = variable[3];
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___next( variable[2] /*node*/)( variable[2] /*node*/) /*ListNode::next*/;
+ ATTR_list___List____head(variable[0]) /*List::_head*/ = variable[3];
+ CALL_list___ListNode___next__eq( variable[2] /*node*/)( variable[2] /*node*/, NIT_NULL /*null*/) /*ListNode::next=*/;
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ ATTR_list___List____tail(variable[0]) /*List::_tail*/ = NIT_NULL /*null*/;
+ } else { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ CALL_list___ListNode___prev__eq(variable[3])(variable[3], NIT_NULL /*null*/) /*ListNode::prev=*/;
+ }
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___Container___item( variable[2] /*node*/)( variable[2] /*node*/) /*Container::item*/;
+ variable[1] = variable[3];
+ goto return_label22;
+ return_label22: while(false);
tracehead = trace.prev;
- return;
+ return variable[1];
}
-val_t list___List___iterator(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___List___iterator, 173};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = ATTR_list___List____head( self) /*List::_head*/;
- variable1 = NEW_list___ListIterator___init(variable0); /*new ListIterator[E]*/
- variable0 = variable1;
- goto return_label23;
+void list___List___link(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 109, LOCATE_list___List___link};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_list___List____tail(variable[0]) /*List::_tail*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_list___List____head( variable[1] /*l*/) /*List::_head*/;
+ ATTR_list___List____head(variable[0]) /*List::_head*/ = variable[3];
+ } else { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_list___List____head( variable[1] /*l*/) /*List::_head*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/)))))));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_list___List____tail(variable[0]) /*List::_tail*/;
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____head( variable[1] /*l*/) /*List::_head*/;
+ CALL_list___ListNode___next__eq(variable[3])(variable[3], variable[4]) /*ListNode::next=*/;
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_list___List____tail(variable[0]) /*List::_tail*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___next(variable[3])(variable[3]) /*ListNode::next*/;
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____tail(variable[0]) /*List::_tail*/;
+ CALL_list___ListNode___prev__eq(variable[3])(variable[3], variable[4]) /*ListNode::prev=*/;
+ }
+ }
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_list___List____tail( variable[1] /*l*/) /*List::_tail*/;
+ ATTR_list___List____tail(variable[0]) /*List::_tail*/ = variable[3];
+ CALL_abstract_collection___RemovableCollection___clear( variable[1] /*l*/)( variable[1] /*l*/) /*List::clear*/;
return_label23: while(false);
tracehead = trace.prev;
- return variable0;
+ return;
}
void list___List___init(val_t self, int* init_table) {
- struct trace_t trace = {NULL, LOCATE_list___List___init, 175};
- trace.prev = tracehead; tracehead = &trace;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_List].i]) return;
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_List].i] = 1;
+ struct trace_t trace = {NULL, NULL, 175, LOCATE_list___List___init};
+ val_t variable[2];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_List].i]) return;
+ /* Register variable[1]: Method return value and escape marker */
+ return_label24: while(false);
+ init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_List].i] = 1;
tracehead = trace.prev;
return;
}
void list___List___from(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, LOCATE_list___List___from, 178};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_List].i]) return;
- ((abstract_collection___IndexedCollection___append_t)CALL( self,COLOR_abstract_collection___IndexedCollection___append))( self, variable0 /*coll*/) /*List::append*/;
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_List].i] = 1;
+ struct trace_t trace = {NULL, NULL, 178, LOCATE_list___List___from};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_List].i]) return;
+ /* Register variable[2]: Method return value and escape marker */
+ CALL_abstract_collection___IndexedCollection___append(variable[0])(variable[0], variable[1] /*coll*/) /*IndexedCollection::append*/;
+ return_label25: while(false);
+ init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_List].i] = 1;
tracehead = trace.prev;
return;
}
val_t list___List___get_node(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___get_node, 187};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable2 = ATTR_list___List____head( self) /*List::_head*/;
- variable1 = variable2;
- variable2 = TAG_Bool(UNTAG_Int( variable0 /*i*/)<UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable2)) { /*if*/
- variable1 = NIT_NULL /*null*/;
+ struct trace_t trace = {NULL, NULL, 187, LOCATE_list___List___get_node};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_list___List____head(variable[0]) /*List::_head*/;
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(UNTAG_Int( variable[1] /*i*/)<UNTAG_Int( TAG_Int(0)));
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ variable[2] = NIT_NULL /*null*/;
goto return_label26;
}
while (true) { /*while*/
- variable2 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable1 /*n*/ == NIT_NULL /*null*/) || (( variable1 /*n*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*n*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*n*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*n*/,COLOR_kernel___Object_____eqeq))( variable1 /*n*/, NIT_NULL /*null*/) /*ListNode::==*/)))))));
- variable3 = variable2;
- if (UNTAG_Bool(variable3)) { /* and */
- variable3 = TAG_Bool(UNTAG_Int( variable0 /*i*/)>UNTAG_Int( TAG_Int(0)));
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[3] /*n*/ == NIT_NULL /*null*/) || (( variable[3] /*n*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[3] /*n*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*n*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[3] /*n*/)( variable[3] /*n*/, NIT_NULL /*null*/) /*Object::==*/)))))));
+ /* Ensure var variable[4]: Left 'and' operand*/
+ if (UNTAG_Bool(variable[4])) { /* and */
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(UNTAG_Int( variable[1] /*i*/)>UNTAG_Int( TAG_Int(0)));
}
- variable2 = variable3;
- if (!UNTAG_Bool(variable2)) break; /* while*/
- variable2 = ((list___ListNode___next_t)CALL( variable1 /*n*/,COLOR_list___ListNode___next))( variable1 /*n*/) /*ListNode::next*/;
- variable1 = variable2 /*n=*/;
- variable0 = TAG_Int(UNTAG_Int(variable0)-UNTAG_Int( TAG_Int(1))) /*i*/;
+ /* Register variable[4]: Result */
+ if (!UNTAG_Bool(variable[4])) break; /* while*/
+ /* Register variable[4]: Result */
+ variable[4] = CALL_list___ListNode___next( variable[3] /*n*/)( variable[3] /*n*/) /*ListNode::next*/;
+ variable[3] = variable[4] /*n=*/;
+ variable[1] = TAG_Int(UNTAG_Int(variable[1])-UNTAG_Int( TAG_Int(1))) /*i*/;
continue_27: while(0);
}
break_27: while(0);
- variable1 = variable1 /*n*/;
+ variable[2] = variable[3] /*n*/;
goto return_label26;
return_label26: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t list___List___search_node_after(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, LOCATE_list___List___search_node_after, 201};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- val_t variable4;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = param1;
- variable2 = variable1 /*after*/;
+ struct trace_t trace = {NULL, NULL, 201, LOCATE_list___List___search_node_after};
+ val_t variable[6];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Local variable */
+ variable[2] = param1;
+ /* Register variable[3]: Method return value and escape marker */
+ /* Register variable[4]: Local variable */
+ variable[4] = variable[2] /*after*/;
while (true) { /*while*/
- variable3 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable2 /*n*/ == NIT_NULL /*null*/) || (( variable2 /*n*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable2 /*n*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable2 /*n*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable2 /*n*/,COLOR_kernel___Object_____eqeq))( variable2 /*n*/, NIT_NULL /*null*/) /*ListNode::==*/)))))));
- variable4 = variable3;
- if (UNTAG_Bool(variable4)) { /* and */
- variable4 = ((abstract_collection___Container___item_t)CALL( variable2 /*n*/,COLOR_abstract_collection___Container___item))( variable2 /*n*/) /*ListNode::item*/;
- variable4 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable4 == variable0 /*e*/) || ((variable4 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable4,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable4, variable0 /*e*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable4,COLOR_kernel___Object_____eqeq))(variable4, variable0 /*e*/) /*Object::==*/)))))));
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[4] /*n*/ == NIT_NULL /*null*/) || (( variable[4] /*n*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[4] /*n*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[4] /*n*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[4] /*n*/)( variable[4] /*n*/, NIT_NULL /*null*/) /*Object::==*/)))))));
+ /* Ensure var variable[5]: Left 'and' operand*/
+ if (UNTAG_Bool(variable[5])) { /* and */
+ /* Register variable[5]: Result */
+ variable[5] = CALL_abstract_collection___Container___item( variable[4] /*n*/)( variable[4] /*n*/) /*Container::item*/;
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[5] == variable[1] /*e*/) || ((variable[5] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[5])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[5], variable[1] /*e*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[5])(variable[5], variable[1] /*e*/) /*Object::==*/)))))));
}
- variable3 = variable4;
- if (!UNTAG_Bool(variable3)) break; /* while*/
- variable3 = ((list___ListNode___next_t)CALL( variable2 /*n*/,COLOR_list___ListNode___next))( variable2 /*n*/) /*ListNode::next*/;
- variable2 = variable3 /*n=*/;
+ /* Register variable[5]: Result */
+ if (!UNTAG_Bool(variable[5])) break; /* while*/
+ /* Register variable[5]: Result */
+ variable[5] = CALL_list___ListNode___next( variable[4] /*n*/)( variable[4] /*n*/) /*ListNode::next*/;
+ variable[4] = variable[5] /*n=*/;
continue_29: while(0);
}
break_29: while(0);
- variable2 = variable2 /*n*/;
+ variable[3] = variable[4] /*n*/;
goto return_label28;
return_label28: while(false);
tracehead = trace.prev;
- return variable2;
+ return variable[3];
}
void list___List___remove_node(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___List___remove_node, 209};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((list___ListNode___prev_t)CALL( variable0 /*node*/,COLOR_list___ListNode___prev))( variable0 /*node*/) /*ListNode::prev*/;
- variable1 = TAG_Bool((variable1 == NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, NIT_NULL /*null*/) /*ListNode::==*/)))));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = ((list___ListNode___next_t)CALL( variable0 /*node*/,COLOR_list___ListNode___next))( variable0 /*node*/) /*ListNode::next*/;
- ATTR_list___List____head( self) /*List::_head*/ = variable1;
- variable1 = ((list___ListNode___next_t)CALL( variable0 /*node*/,COLOR_list___ListNode___next))( variable0 /*node*/) /*ListNode::next*/;
- variable1 = TAG_Bool((variable1 == NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, NIT_NULL /*null*/) /*ListNode::==*/)))));
- if (UNTAG_Bool(variable1)) { /*if*/
- ATTR_list___List____tail( self) /*List::_tail*/ = NIT_NULL /*null*/;
+ struct trace_t trace = {NULL, NULL, 209, LOCATE_list___List___remove_node};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_list___ListNode___prev( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::prev*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___next( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::next*/;
+ ATTR_list___List____head(variable[0]) /*List::_head*/ = variable[3];
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___next( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::next*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ ATTR_list___List____tail(variable[0]) /*List::_tail*/ = NIT_NULL /*null*/;
} else { /*if*/
- variable1 = ((list___ListNode___next_t)CALL( variable0 /*node*/,COLOR_list___ListNode___next))( variable0 /*node*/) /*ListNode::next*/;
- ((list___ListNode___prev__eq_t)CALL(variable1,COLOR_list___ListNode___prev__eq))(variable1, NIT_NULL /*null*/) /*ListNode::prev=*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___next( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::next*/;
+ CALL_list___ListNode___prev__eq(variable[3])(variable[3], NIT_NULL /*null*/) /*ListNode::prev=*/;
}
} else { /*if*/
- variable1 = ((list___ListNode___next_t)CALL( variable0 /*node*/,COLOR_list___ListNode___next))( variable0 /*node*/) /*ListNode::next*/;
- variable1 = TAG_Bool((variable1 == NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, NIT_NULL /*null*/) /*ListNode::==*/)))));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = ((list___ListNode___prev_t)CALL( variable0 /*node*/,COLOR_list___ListNode___prev))( variable0 /*node*/) /*ListNode::prev*/;
- ATTR_list___List____tail( self) /*List::_tail*/ = variable1;
- variable1 = ((list___ListNode___prev_t)CALL( variable0 /*node*/,COLOR_list___ListNode___prev))( variable0 /*node*/) /*ListNode::prev*/;
- ((list___ListNode___next__eq_t)CALL(variable1,COLOR_list___ListNode___next__eq))(variable1, NIT_NULL /*null*/) /*ListNode::next=*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___next( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::next*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___prev( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::prev*/;
+ ATTR_list___List____tail(variable[0]) /*List::_tail*/ = variable[3];
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___prev( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::prev*/;
+ CALL_list___ListNode___next__eq(variable[3])(variable[3], NIT_NULL /*null*/) /*ListNode::next=*/;
} else { /*if*/
- variable1 = ((list___ListNode___prev_t)CALL( variable0 /*node*/,COLOR_list___ListNode___prev))( variable0 /*node*/) /*ListNode::prev*/;
- variable2 = ((list___ListNode___next_t)CALL( variable0 /*node*/,COLOR_list___ListNode___next))( variable0 /*node*/) /*ListNode::next*/;
- ((list___ListNode___next__eq_t)CALL(variable1,COLOR_list___ListNode___next__eq))(variable1, variable2) /*ListNode::next=*/;
- variable1 = ((list___ListNode___next_t)CALL( variable0 /*node*/,COLOR_list___ListNode___next))( variable0 /*node*/) /*ListNode::next*/;
- variable2 = ((list___ListNode___prev_t)CALL( variable0 /*node*/,COLOR_list___ListNode___prev))( variable0 /*node*/) /*ListNode::prev*/;
- ((list___ListNode___prev__eq_t)CALL(variable1,COLOR_list___ListNode___prev__eq))(variable1, variable2) /*ListNode::prev=*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___prev( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::prev*/;
+ /* Register variable[4]: Result */
+ variable[4] = CALL_list___ListNode___next( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::next*/;
+ CALL_list___ListNode___next__eq(variable[3])(variable[3], variable[4]) /*ListNode::next=*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_list___ListNode___next( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::next*/;
+ /* Register variable[4]: Result */
+ variable[4] = CALL_list___ListNode___prev( variable[1] /*node*/)( variable[1] /*node*/) /*ListNode::prev*/;
+ CALL_list___ListNode___prev__eq(variable[3])(variable[3], variable[4]) /*ListNode::prev=*/;
}
}
+ return_label30: while(false);
tracehead = trace.prev;
return;
}
void list___List___insert_before(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, LOCATE_list___List___insert_before, 228};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- val_t variable4;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = param1;
- variable3 = NEW_list___ListNode___init( variable0 /*element*/); /*new ListNode[E]*/
- variable2 = variable3;
- variable4 = ((list___ListNode___prev_t)CALL( variable1 /*node*/,COLOR_list___ListNode___prev))( variable1 /*node*/) /*ListNode::prev*/;
- variable3 = variable4;
- variable4 = TAG_Bool(( variable3 /*prev*/ == NIT_NULL /*null*/) || (( variable3 /*prev*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable3 /*prev*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable3 /*prev*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable3 /*prev*/,COLOR_kernel___Object_____eqeq))( variable3 /*prev*/, NIT_NULL /*null*/) /*ListNode::==*/)))));
- if (UNTAG_Bool(variable4)) { /*if*/
- ATTR_list___List____head( self) /*List::_head*/ = variable2 /*nnode*/;
+ struct trace_t trace = {NULL, NULL, 228, LOCATE_list___List___insert_before};
+ val_t variable[7];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Local variable */
+ variable[2] = param1;
+ /* Register variable[3]: Method return value and escape marker */
+ /* Register variable[4]: Local variable */
+ /* Register variable[5]: Result */
+ variable[5] = NEW_ListNode_list___ListNode___init( variable[1] /*element*/) /*new ListNode[E]*/;
+ variable[4] = variable[5];
+ /* Register variable[5]: Local variable */
+ /* Register variable[6]: Result */
+ variable[6] = CALL_list___ListNode___prev( variable[2] /*node*/)( variable[2] /*node*/) /*ListNode::prev*/;
+ variable[5] = variable[6];
+ /* Register variable[6]: Result */
+ variable[6] = TAG_Bool(( variable[5] /*prev*/ == NIT_NULL /*null*/) || (( variable[5] /*prev*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[5] /*prev*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[5] /*prev*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[5] /*prev*/)( variable[5] /*prev*/, NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[6])) { /*if*/
+ ATTR_list___List____head(variable[0]) /*List::_head*/ = variable[4] /*nnode*/;
} else { /*if*/
- ((list___ListNode___next__eq_t)CALL( variable3 /*prev*/,COLOR_list___ListNode___next__eq))( variable3 /*prev*/, variable2 /*nnode*/) /*ListNode::next=*/;
+ CALL_list___ListNode___next__eq( variable[5] /*prev*/)( variable[5] /*prev*/, variable[4] /*nnode*/) /*ListNode::next=*/;
}
- ((list___ListNode___prev__eq_t)CALL( variable2 /*nnode*/,COLOR_list___ListNode___prev__eq))( variable2 /*nnode*/, variable3 /*prev*/) /*ListNode::prev=*/;
- ((list___ListNode___next__eq_t)CALL( variable2 /*nnode*/,COLOR_list___ListNode___next__eq))( variable2 /*nnode*/, variable1 /*node*/) /*ListNode::next=*/;
- ((list___ListNode___prev__eq_t)CALL( variable1 /*node*/,COLOR_list___ListNode___prev__eq))( variable1 /*node*/, variable2 /*nnode*/) /*ListNode::prev=*/;
+ CALL_list___ListNode___prev__eq( variable[4] /*nnode*/)( variable[4] /*nnode*/, variable[5] /*prev*/) /*ListNode::prev=*/;
+ CALL_list___ListNode___next__eq( variable[4] /*nnode*/)( variable[4] /*nnode*/, variable[2] /*node*/) /*ListNode::next=*/;
+ CALL_list___ListNode___prev__eq( variable[2] /*node*/)( variable[2] /*node*/, variable[4] /*nnode*/) /*ListNode::prev=*/;
+ return_label31: while(false);
tracehead = trace.prev;
return;
}
val_t list___ListIterator___item(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___ListIterator___item, 246};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = ATTR_list___ListIterator____node( self) /*ListIterator::_node*/;
- variable0 = ((abstract_collection___Container___item_t)CALL(variable0,COLOR_abstract_collection___Container___item))(variable0) /*ListNode::item*/;
+ struct trace_t trace = {NULL, NULL, 246, LOCATE_list___ListIterator___item};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = ATTR_list___ListIterator____node(variable[0]) /*ListIterator::_node*/;
+ /* Register variable[2]: Result */
+ variable[2] = CALL_abstract_collection___Container___item(variable[2])(variable[2]) /*Container::item*/;
+ variable[1] = variable[2];
goto return_label32;
return_label32: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}
-void list___ListIterator___item__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___ListIterator___item__eq, 248};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ATTR_list___ListIterator____node( self) /*ListIterator::_node*/;
- ((abstract_collection___Container___item__eq_t)CALL(variable1,COLOR_abstract_collection___Container___item__eq))(variable1, variable0 /*e*/) /*ListNode::item=*/;
+void list___ListIterator___next(val_t self) {
+ struct trace_t trace = {NULL, NULL, 252, LOCATE_list___ListIterator___next};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = ATTR_list___ListIterator____node(variable[0]) /*ListIterator::_node*/;
+ /* Register variable[2]: Result */
+ variable[2] = CALL_list___ListNode___next(variable[2])(variable[2]) /*ListNode::next*/;
+ ATTR_list___ListIterator____node(variable[0]) /*ListIterator::_node*/ = variable[2];
+ ATTR_list___ListIterator____index(variable[0]) /*ListIterator::_index*/ = TAG_Int(UNTAG_Int(ATTR_list___ListIterator____index(variable[0]) /*ListIterator::_index*/)+UNTAG_Int( TAG_Int(1)));
+ return_label33: while(false);
tracehead = trace.prev;
return;
}
val_t list___ListIterator___is_ok(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___ListIterator___is_ok, 250};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = ATTR_list___ListIterator____node( self) /*ListIterator::_node*/;
- variable0 = TAG_Bool((variable0 == NIT_NULL /*null*/) || ((variable0 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable0, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))(variable0, NIT_NULL /*null*/) /*ListNode::==*/)))));
- variable0 = TAG_Bool(!UNTAG_Bool(variable0));
+ struct trace_t trace = {NULL, NULL, 250, LOCATE_list___ListIterator___is_ok};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = ATTR_list___ListIterator____node(variable[0]) /*ListIterator::_node*/;
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool((variable[2] == NIT_NULL /*null*/) || ((variable[2] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[2])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[2], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[2])(variable[2], NIT_NULL /*null*/) /*Object::==*/)))));
+ variable[1] = TAG_Bool(!UNTAG_Bool(variable[2]));
goto return_label34;
return_label34: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}
-void list___ListIterator___next(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___ListIterator___next, 252};
- val_t variable0;
+val_t list___ListIterator___index(val_t self) {
+ struct trace_t trace = {NULL, NULL, 268, LOCATE_list___ListIterator___index};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = ATTR_list___ListIterator____node( self) /*ListIterator::_node*/;
- variable0 = ((list___ListNode___next_t)CALL(variable0,COLOR_list___ListNode___next))(variable0) /*ListNode::next*/;
- ATTR_list___ListIterator____node( self) /*ListIterator::_node*/ = variable0;
- ATTR_list___ListIterator____index( self) /*ListIterator::_index*/ = TAG_Int(UNTAG_Int(ATTR_list___ListIterator____index( self) /*ListIterator::_index*/)+UNTAG_Int( TAG_Int(1)));
+ trace.file = LOCATE_list;
tracehead = trace.prev;
- return;
+ return ATTR_list___ListIterator____index( self) /*ListIterator::_index*/;
}
void list___ListIterator___init(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, LOCATE_list___ListIterator___init, 258};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ListIterator].i]) return;
- ATTR_list___ListIterator____node( self) /*ListIterator::_node*/ = variable0 /*node*/;
- ATTR_list___ListIterator____index( self) /*ListIterator::_index*/ = TAG_Int(0);
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ListIterator].i] = 1;
+ struct trace_t trace = {NULL, NULL, 258, LOCATE_list___ListIterator___init};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_ListIterator].i]) return;
+ /* Register variable[2]: Method return value and escape marker */
+ ATTR_list___ListIterator____node(variable[0]) /*ListIterator::_node*/ = variable[1] /*node*/;
+ ATTR_list___ListIterator____index(variable[0]) /*ListIterator::_index*/ = TAG_Int(0);
+ return_label35: while(false);
+ init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_ListIterator].i] = 1;
tracehead = trace.prev;
return;
}
-val_t list___ListIterator___index(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___ListIterator___index, 268};
- trace.prev = tracehead; tracehead = &trace;
- tracehead = trace.prev;
- return ATTR_list___ListIterator____index( self) /*ListIterator::_index*/;
-}
void list___ListNode___init(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, LOCATE_list___ListNode___init, 275};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ListNode].i]) return;
- ((abstract_collection___Container___item__eq_t)CALL( self,COLOR_abstract_collection___Container___item__eq))( self, variable0 /*i*/) /*ListNode::item=*/;
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ListNode].i] = 1;
+ struct trace_t trace = {NULL, NULL, 275, LOCATE_list___ListNode___init};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
+ /* 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_ListNode].i]) return;
+ /* Register variable[2]: Method return value and escape marker */
+ CALL_abstract_collection___Container___init(variable[0])(variable[0], variable[1], init_table /*YYY*/) /*Container::init*/;
+ CALL_abstract_collection___Container___item__eq(variable[0])(variable[0], variable[1] /*i*/) /*Container::item=*/;
+ return_label36: while(false);
+ init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_ListNode].i] = 1;
tracehead = trace.prev;
return;
}
val_t list___ListNode___next(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___ListNode___next, 280};
+ struct trace_t trace = {NULL, NULL, 280, LOCATE_list___ListNode___next};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
tracehead = trace.prev;
return ATTR_list___ListNode____next( self) /*ListNode::_next*/;
}
void list___ListNode___next__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___ListNode___next__eq, 280};
+ struct trace_t trace = {NULL, NULL, 280, LOCATE_list___ListNode___next__eq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
ATTR_list___ListNode____next( self) /*ListNode::_next*/ = param0;
tracehead = trace.prev;
return;
}
val_t list___ListNode___prev(val_t self) {
- struct trace_t trace = {NULL, LOCATE_list___ListNode___prev, 283};
+ struct trace_t trace = {NULL, NULL, 283, LOCATE_list___ListNode___prev};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
tracehead = trace.prev;
return ATTR_list___ListNode____prev( self) /*ListNode::_prev*/;
}
void list___ListNode___prev__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_list___ListNode___prev__eq, 283};
+ struct trace_t trace = {NULL, NULL, 283, LOCATE_list___ListNode___prev__eq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_list;
ATTR_list___ListNode____prev( self) /*ListNode::_prev*/ = param0;
tracehead = trace.prev;
return;