/* This C file is generated by NIT to compile module control_flow. */
#include "control_flow._sep.h"
-void control_flow___MMSrcModule___do_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___MMSrcModule___do_control_flow, 23};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+val_t control_flow___VariableContext___to_s(val_t self) {
+ struct trace_t trace = {NULL, NULL, 183, LOCATE_control_flow___VariableContext___to_s};
+ static val_t once_value_2 = NIT_NULL; /* Once value for string variable[8]*/
+ static val_t once_value_3 = NIT_NULL; /* Once value for string variable[8]*/
+ static val_t once_value_4 = NIT_NULL; /* Once value for string variable[8]*/
+ val_t variable[9];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable2 = NEW_control_flow___ControlFlowVisitor___init( variable0 /*tc*/, self); /*new ControlFlowVisitor*/
- variable1 = variable2;
- variable2 = ((syntax_base___MMSrcModule___node_t)CALL( self,COLOR_syntax_base___MMSrcModule___node))( self) /*MMSrcModule::node*/;
- ((control_flow___ControlFlowVisitor___visit_t)CALL( variable1 /*tv*/,COLOR_parser_prod___Visitor___visit))( variable1 /*tv*/, variable2) /*ControlFlowVisitor::visit*/;
- tracehead = trace.prev;
- return;
-}
-void control_flow___ControlFlowVisitor___visit(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowVisitor___visit, 38};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable0 /*n*/ == NIT_NULL /*null*/) || (( variable0 /*n*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*n*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*n*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*n*/,COLOR_kernel___Object_____eqeq))( variable0 /*n*/, NIT_NULL /*null*/) /*PNode::==*/)))))));
- if (UNTAG_Bool(variable1)) { /*if*/
- ((control_flow___PNode___accept_control_flow_t)CALL( variable0 /*n*/,COLOR_control_flow___PNode___accept_control_flow))( variable0 /*n*/, self) /*PNode::accept_control_flow*/;
+ trace.file = LOCATE_control_flow;
+ /* 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] = NEW_Buffer_string___Buffer___init() /*new Buffer*/;
+ variable[2] = variable[3];
+ /* Register variable[3]: Result */
+ variable[3] = CALL_control_flow___VariableContext___node(variable[0])(variable[0]) /*VariableContext::node*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_parser_prod___PNode___locate(variable[3])(variable[3]) /*PNode::locate*/;
+ CALL_abstract_collection___IndexedCollection___append( variable[2] /*s*/)( variable[2] /*s*/, variable[3]) /*Buffer::append*/;
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_control_flow___VariableContext____all_variables(variable[0]) /*VariableContext::_all_variables*/;
+ /* Register variable[3]: For iterator */
+ variable[3] = CALL_abstract_collection___Collection___iterator(variable[3])(variable[3]) /*Collection::iterator*/;
+ while (true) { /*for*/
+ /* Register variable[4]: For 'is_ok' result */
+ variable[4] = CALL_abstract_collection___Iterator___is_ok(variable[3])(variable[3]) /*Iterator::is_ok*/;
+ if (!UNTAG_Bool(variable[4])) break; /*for*/
+ variable[4] = CALL_abstract_collection___Iterator___item(variable[3])(variable[3]) /*Iterator::item*/ /* Ensure var: For item*/;
+ /* Register variable[5]: Local variable */
+ variable[5] = variable[4];
+ /* Register variable[6]: Local variable */
+ /* Register variable[7]: Result */
+ variable[7] = CALL_control_flow___VariableContext___stype(variable[0])(variable[0], variable[5] /*v*/) /*VariableContext::stype*/;
+ variable[6] = variable[7];
+ /* Register variable[7]: Result */
+ variable[7] = TAG_Bool(( variable[6] /*t*/ == NIT_NULL /*null*/) || (( variable[6] /*t*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[6] /*t*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[6] /*t*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[6] /*t*/)( variable[6] /*t*/, NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[7])) { /*if*/
+ goto continue_1;
+ }
+ variable[7] = NEW_Array_array___Array___with_capacity(TAG_Int(5)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/;
+ /* Register variable[8]: Once String constant */
+ if (once_value_2 != NIT_NULL) variable[8] = once_value_2;
+ else {
+ variable[8] = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)) /*new String*/;
+ once_value_2 = variable[8];
+ }
+ /* Register variable[8]: Result */
+ /* Ensure var variable[8]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[7])(variable[7], variable[8]) /*AbstractArray::add*/;
+ variable[8] = variable[5] /*v*/ /* Ensure var: super-string element*/;
+ CALL_abstract_collection___SimpleCollection___add(variable[7])(variable[7], CALL_string___Object___to_s(variable[8])(variable[8]) /*Object::to_s*/) /*AbstractArray::add*/;
+ /* Register variable[8]: Once String constant */
+ if (once_value_3 != NIT_NULL) variable[8] = once_value_3;
+ else {
+ variable[8] = NEW_String_string___String___with_native(BOX_NativeString(":"), TAG_Int(1)) /*new String*/;
+ once_value_3 = variable[8];
+ }
+ /* Register variable[8]: Result */
+ /* Ensure var variable[8]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[7])(variable[7], variable[8]) /*AbstractArray::add*/;
+ variable[8] = variable[6] /*t*/ /* Ensure var: super-string element*/;
+ CALL_abstract_collection___SimpleCollection___add(variable[7])(variable[7], CALL_string___Object___to_s(variable[8])(variable[8]) /*Object::to_s*/) /*AbstractArray::add*/;
+ /* Register variable[8]: Once String constant */
+ if (once_value_4 != NIT_NULL) variable[8] = once_value_4;
+ else {
+ variable[8] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)) /*new String*/;
+ once_value_4 = variable[8];
+ }
+ /* Register variable[8]: Result */
+ /* Ensure var variable[8]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[7])(variable[7], variable[8]) /*AbstractArray::add*/;
+ /* Register variable[7]: Result */
+ variable[7] = CALL_string___Object___to_s(variable[7])(variable[7]) /*Object::to_s*/;
+ CALL_abstract_collection___IndexedCollection___append( variable[2] /*s*/)( variable[2] /*s*/, variable[7]) /*Buffer::append*/;
+ continue_1: while(0);
+ CALL_abstract_collection___Iterator___next(variable[3])(variable[3]) /*Iterator::next*/;
}
+ break_1: while(0);
+ /* Register variable[3]: Result */
+ variable[3] = CALL_string___Object___to_s( variable[2] /*s*/)( variable[2] /*s*/) /*Buffer::to_s*/;
+ variable[1] = variable[3];
+ goto return_label0;
+ return_label0: while(false);
tracehead = trace.prev;
- return;
+ return variable[1];
}
-val_t control_flow___ControlFlowVisitor___once_count(val_t self) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowVisitor___once_count, 43};
+val_t control_flow___VariableContext_____bra(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 25, LOCATE_control_flow___VariableContext_____bra};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_control_flow;
+ /* 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_control_flow___VariableContext____dico(variable[0]) /*VariableContext::_dico*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___MapRead___has_key(variable[3])(variable[3], variable[1] /*s*/) /*MapRead::has_key*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_control_flow___VariableContext____dico(variable[0]) /*VariableContext::_dico*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___MapRead_____bra(variable[3])(variable[3], variable[1] /*s*/) /*MapRead::[]*/;
+ variable[2] = variable[3];
+ goto return_label5;
+ } else { /*if*/
+ variable[2] = NIT_NULL /*null*/;
+ goto return_label5;
+ }
+ return_label5: while(false);
tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowVisitor____once_count( self) /*ControlFlowVisitor::_once_count*/;
+ return variable[2];
}
-void control_flow___ControlFlowVisitor___once_count__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowVisitor___once_count__eq, 43};
+void control_flow___VariableContext___add(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 36, LOCATE_control_flow___VariableContext___add};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- ATTR_control_flow___ControlFlowVisitor____once_count( self) /*ControlFlowVisitor::_once_count*/ = param0;
+ trace.file = LOCATE_control_flow;
+ /* 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_control_flow___VariableContext____dico(variable[0]) /*VariableContext::_dico*/;
+ /* Register variable[4]: Result */
+ variable[4] = CALL_syntax_base___Variable___name( variable[1] /*v*/)( variable[1] /*v*/) /*Variable::name*/;
+ CALL_abstract_collection___Map_____braeq(variable[3])(variable[3], variable[4], variable[1] /*v*/) /*Map::[]=*/;
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_control_flow___VariableContext____all_variables(variable[0]) /*VariableContext::_all_variables*/;
+ CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3], variable[1] /*v*/) /*SimpleCollection::add*/;
+ return_label6: while(false);
tracehead = trace.prev;
return;
}
-val_t control_flow___ControlFlowVisitor___control_flow_ctx(val_t self) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowVisitor___control_flow_ctx, 46};
- trace.prev = tracehead; tracehead = &trace;
- tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowVisitor____control_flow_ctx( self) /*ControlFlowVisitor::_control_flow_ctx*/;
-}
-void control_flow___ControlFlowVisitor___control_flow_ctx__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowVisitor___control_flow_ctx__eq, 46};
+void control_flow___VariableContext___mark_is_set(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 43, LOCATE_control_flow___VariableContext___mark_is_set};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- ATTR_control_flow___ControlFlowVisitor____control_flow_ctx( self) /*ControlFlowVisitor::_control_flow_ctx*/ = param0;
+ trace.file = LOCATE_control_flow;
+ /* 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_control_flow___VariableContext____set_variables(variable[0]) /*VariableContext::_set_variables*/;
+ CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3], variable[1] /*v*/) /*HashSet::add*/;
+ return_label7: while(false);
tracehead = trace.prev;
return;
}
-void control_flow___ControlFlowVisitor___init(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowVisitor___init, 49};
- val_t variable0;
- val_t variable1;
+void control_flow___VariableContext___check_is_set(val_t self, val_t param0, val_t param1) {
+ struct trace_t trace = {NULL, NULL, 48, LOCATE_control_flow___VariableContext___check_is_set};
+ static val_t once_value_9 = NIT_NULL; /* Once value for string variable[6]*/
+ static val_t once_value_10 = NIT_NULL; /* Once value for string variable[6]*/
+ static val_t once_value_12 = NIT_NULL; /* Once value for string variable[6]*/
+ static val_t once_value_13 = NIT_NULL; /* Once value for string variable[6]*/
+ static val_t once_value_14 = NIT_NULL; /* Once value for string variable[7]*/
+ static val_t once_value_15 = NIT_NULL; /* Once value for string variable[6]*/
+ static val_t once_value_16 = NIT_NULL; /* Once value for string variable[7]*/
+ static val_t once_value_17 = NIT_NULL; /* Once value for string variable[6]*/
+ val_t variable[8];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = param1;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ControlFlowVisitor].i]) return;
- ((syntax_base___AbsSyntaxVisitor___init_t)CALL( self,COLOR_syntax_base___AbsSyntaxVisitor___init))( self, param0, param1, init_table /*YYY*/) /*AbsSyntaxVisitor::init*/;
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ControlFlowVisitor].i] = 1;
+ trace.file = LOCATE_control_flow;
+ /* 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_control_flow___Variable___must_be_set( variable[2] /*v*/)( variable[2] /*v*/) /*Variable::must_be_set*/;
+ /* Ensure var variable[4]: Left 'and' operand*/
+ if (UNTAG_Bool(variable[4])) { /* and */
+ /* Register variable[4]: Result */
+ variable[4] = CALL_control_flow___VariableContext___is_set(variable[0])(variable[0], variable[2] /*v*/) /*VariableContext::is_set*/;
+ variable[4] = TAG_Bool(!UNTAG_Bool(variable[4]));
+ }
+ /* Register variable[4]: Result */
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_control_flow___VariableContext____visitor(variable[0]) /*VariableContext::_visitor*/;
+ variable[5] = NEW_Array_array___Array___with_capacity(TAG_Int(3)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/;
+ /* Register variable[6]: Once String constant */
+ if (once_value_9 != NIT_NULL) variable[6] = once_value_9;
+ else {
+ variable[6] = NEW_String_string___String___with_native(BOX_NativeString("Error: variable '"), TAG_Int(17)) /*new String*/;
+ once_value_9 = variable[6];
+ }
+ /* Register variable[6]: Result */
+ /* Ensure var variable[6]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
+ variable[6] = variable[2] /*v*/ /* Ensure var: super-string element*/;
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], CALL_string___Object___to_s(variable[6])(variable[6]) /*Object::to_s*/) /*AbstractArray::add*/;
+ /* Register variable[6]: Once String constant */
+ if (once_value_10 != NIT_NULL) variable[6] = once_value_10;
+ else {
+ variable[6] = NEW_String_string___String___with_native(BOX_NativeString("' is possibly unset."), TAG_Int(20)) /*new String*/;
+ once_value_10 = variable[6];
+ }
+ /* Register variable[6]: Result */
+ /* Ensure var variable[6]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
+ /* Register variable[5]: Result */
+ variable[5] = CALL_string___Object___to_s(variable[5])(variable[5]) /*Object::to_s*/;
+ CALL_syntax_base___AbsSyntaxVisitor___error(variable[4])(variable[4], variable[1] /*n*/, variable[5]) /*AbsSyntaxVisitor::error*/;
+ /* Register variable[4]: Local variable */
+ variable[4] = variable[0];
+ while (true) { /*while*/
+ if (!UNTAG_Bool( TAG_Bool(true))) break; /* while*/
+ variable[5] = NEW_Array_array___Array___with_capacity(TAG_Int(7)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/;
+ /* Register variable[6]: Once String constant */
+ if (once_value_12 != NIT_NULL) variable[6] = once_value_12;
+ else {
+ variable[6] = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(2)) /*new String*/;
+ once_value_12 = variable[6];
+ }
+ /* Register variable[6]: Result */
+ /* Ensure var variable[6]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
+ /* Register variable[6]: Result */
+ variable[6] = CALL_control_flow___VariableContext___node( variable[4] /*x*/)( variable[4] /*x*/) /*VariableContext::node*/;
+ /* Register variable[6]: Result */
+ variable[6] = CALL_parser_prod___PNode___locate(variable[6])(variable[6]) /*PNode::locate*/;
+ /* Ensure var variable[6]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
+ /* Register variable[6]: Once String constant */
+ if (once_value_13 != NIT_NULL) variable[6] = once_value_13;
+ else {
+ variable[6] = NEW_String_string___String___with_native(BOX_NativeString(": "), TAG_Int(2)) /*new String*/;
+ once_value_13 = variable[6];
+ }
+ /* Register variable[6]: Result */
+ /* Ensure var variable[6]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
+ /* Register variable[6]: Result */
+ variable[6] = ATTR_control_flow___VariableContext____set_variables( variable[4] /*x*/) /*VariableContext::_set_variables*/;
+ /* Register variable[7]: Once String constant */
+ if (once_value_14 != NIT_NULL) variable[7] = once_value_14;
+ else {
+ variable[7] = NEW_String_string___String___with_native(BOX_NativeString(", "), TAG_Int(2)) /*new String*/;
+ once_value_14 = variable[7];
+ }
+ /* Register variable[7]: Result */
+ /* Register variable[6]: Result */
+ variable[6] = CALL_string___Collection___join(variable[6])(variable[6], variable[7]) /*Collection::join*/;
+ /* Ensure var variable[6]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
+ /* Register variable[6]: Once String constant */
+ if (once_value_15 != NIT_NULL) variable[6] = once_value_15;
+ else {
+ variable[6] = NEW_String_string___String___with_native(BOX_NativeString(" ; "), TAG_Int(3)) /*new String*/;
+ once_value_15 = variable[6];
+ }
+ /* Register variable[6]: Result */
+ /* Ensure var variable[6]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
+ /* Register variable[6]: Result */
+ variable[6] = ATTR_control_flow___VariableContext____dico( variable[4] /*x*/) /*VariableContext::_dico*/;
+ /* Register variable[7]: Once String constant */
+ if (once_value_16 != NIT_NULL) variable[7] = once_value_16;
+ else {
+ variable[7] = NEW_String_string___String___with_native(BOX_NativeString(", "), TAG_Int(2)) /*new String*/;
+ once_value_16 = variable[7];
+ }
+ /* Register variable[7]: Result */
+ /* Register variable[6]: Result */
+ variable[6] = CALL_string___Collection___join(variable[6])(variable[6], variable[7]) /*Collection::join*/;
+ /* Ensure var variable[6]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
+ /* Register variable[6]: Once String constant */
+ if (once_value_17 != NIT_NULL) variable[6] = once_value_17;
+ else {
+ variable[6] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)) /*new String*/;
+ once_value_17 = variable[6];
+ }
+ /* Register variable[6]: Result */
+ /* Ensure var variable[6]: super-string element*/
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
+ /* Register variable[5]: Result */
+ variable[5] = CALL_string___Object___to_s(variable[5])(variable[5]) /*Object::to_s*/;
+ CALL_file___Object___print(variable[0])(variable[0], variable[5]) /*Object::print*/;
+ /* Register variable[5]: Local variable */
+ variable[5] = variable[4] /*x*/;
+ /* Register variable[6]: Result */
+ variable[6] = TAG_Bool(( variable[5] /*x0*/==NIT_NULL) || VAL_ISA( variable[5] /*x0*/, COLOR_SubVariableContext, ID_SubVariableContext)) /*cast SubVariableContext*/;
+ if (UNTAG_Bool(variable[6])) { /*if*/
+ /* Register variable[6]: Result */
+ variable[6] = CALL_control_flow___SubVariableContext___prev( variable[5] /*x0*/)( variable[5] /*x0*/) /*SubVariableContext::prev*/;
+ variable[4] = variable[6] /*x=*/;
+ } else { /*if*/
+ goto break_11;
+ }
+ continue_11: while(0);
+ }
+ break_11: while(0);
+ }
+ return_label8: while(false);
tracehead = trace.prev;
return;
}
-val_t control_flow___ControlFlowContext___prev(val_t self) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___prev, 53};
- trace.prev = tracehead; tracehead = &trace;
- tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowContext____prev( self) /*ControlFlowContext::_prev*/;
-}
-val_t control_flow___ControlFlowContext___has_return(val_t self) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___has_return, 56};
+val_t control_flow___VariableContext___stype(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 65, LOCATE_control_flow___VariableContext___stype};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_control_flow;
+ /* 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_control_flow___VariableContext____stypes(variable[0]) /*VariableContext::_stypes*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___MapRead___has_key(variable[3])(variable[3], variable[1] /*v*/) /*MapRead::has_key*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_control_flow___VariableContext____stypes(variable[0]) /*VariableContext::_stypes*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___MapRead_____bra(variable[3])(variable[3], variable[1] /*v*/) /*MapRead::[]*/;
+ variable[2] = variable[3];
+ goto return_label18;
+ } else { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = CALL_syntax_base___Variable___stype( variable[1] /*v*/)( variable[1] /*v*/) /*Variable::stype*/;
+ variable[2] = variable[3];
+ goto return_label18;
+ }
+ return_label18: while(false);
tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowContext____has_return( self) /*ControlFlowContext::_has_return*/;
+ return variable[2];
}
-void control_flow___ControlFlowContext___has_return__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___has_return__eq, 56};
+void control_flow___VariableContext___stype__eq(val_t self, val_t param0, val_t param1) {
+ struct trace_t trace = {NULL, NULL, 76, LOCATE_control_flow___VariableContext___stype__eq};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- ATTR_control_flow___ControlFlowContext____has_return( self) /*ControlFlowContext::_has_return*/ = param0;
+ trace.file = LOCATE_control_flow;
+ /* 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] = ATTR_control_flow___VariableContext____stypes(variable[0]) /*VariableContext::_stypes*/;
+ CALL_abstract_collection___Map_____braeq(variable[4])(variable[4], variable[1] /*v*/, variable[2] /*t*/) /*Map::[]=*/;
+ return_label19: while(false);
tracehead = trace.prev;
return;
}
-val_t control_flow___ControlFlowContext___unreash(val_t self) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___unreash, 59};
+val_t control_flow___VariableContext___sub(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 92, LOCATE_control_flow___VariableContext___sub};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_control_flow;
+ /* 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] = NEW_SubVariableContext_control_flow___SubVariableContext___with_prev(variable[0], variable[1] /*node*/) /*new SubVariableContext*/;
+ variable[2] = variable[3];
+ goto return_label20;
+ return_label20: while(false);
tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowContext____unreash( self) /*ControlFlowContext::_unreash*/;
+ return variable[2];
}
-void control_flow___ControlFlowContext___unreash__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___unreash__eq, 59};
+val_t control_flow___VariableContext___sub_with(val_t self, val_t param0, val_t param1, val_t param2) {
+ struct trace_t trace = {NULL, NULL, 98, LOCATE_control_flow___VariableContext___sub_with};
+ val_t variable[7];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- ATTR_control_flow___ControlFlowContext____unreash( self) /*ControlFlowContext::_unreash*/ = param0;
+ trace.file = LOCATE_control_flow;
+ /* 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]: Local variable */
+ variable[3] = param2;
+ /* Register variable[4]: Method return value and escape marker */
+ /* Register variable[5]: Local variable */
+ /* Register variable[6]: Result */
+ variable[6] = CALL_control_flow___VariableContext___sub(variable[0])(variable[0], variable[1] /*node*/) /*VariableContext::sub*/;
+ variable[5] = variable[6];
+ CALL_control_flow___VariableContext___stype__eq( variable[5] /*ctx*/)( variable[5] /*ctx*/, variable[2] /*v*/, variable[3] /*t*/) /*VariableContext::stype=*/;
+ variable[4] = variable[5] /*ctx*/;
+ goto return_label21;
+ return_label21: while(false);
tracehead = trace.prev;
- return;
+ return variable[4];
}
-val_t control_flow___ControlFlowContext___already_unreash(val_t self) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___already_unreash, 62};
+val_t control_flow___VariableContext___node(val_t self) {
+ struct trace_t trace = {NULL, NULL, 109, LOCATE_control_flow___VariableContext___node};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_control_flow;
tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowContext____already_unreash( self) /*ControlFlowContext::_already_unreash*/;
+ return ATTR_control_flow___VariableContext____node( self) /*VariableContext::_node*/;
}
-void control_flow___ControlFlowContext___already_unreash__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___already_unreash__eq, 62};
+void control_flow___VariableContext___init(val_t self, val_t param0, val_t param1, int* init_table) {
+ struct trace_t trace = {NULL, NULL, 112, LOCATE_control_flow___VariableContext___init};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- ATTR_control_flow___ControlFlowContext____already_unreash( self) /*ControlFlowContext::_already_unreash*/ = param0;
+ trace.file = LOCATE_control_flow;
+ /* 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_VariableContext].i]) return;
+ /* Register variable[3]: Method return value and escape marker */
+ ATTR_control_flow___VariableContext____visitor(variable[0]) /*VariableContext::_visitor*/ = variable[1] /*visitor*/;
+ ATTR_control_flow___VariableContext____node(variable[0]) /*VariableContext::_node*/ = variable[2] /*node*/;
+ /* Register variable[4]: Result */
+ variable[4] = NEW_HashMap_hash___HashMap___init() /*new HashMap[Symbol, Variable]*/;
+ ATTR_control_flow___VariableContext____dico(variable[0]) /*VariableContext::_dico*/ = variable[4];
+ return_label22: while(false);
+ init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_VariableContext].i] = 1;
tracehead = trace.prev;
return;
}
-val_t control_flow___ControlFlowContext___base_block(val_t self) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___base_block, 66};
+val_t control_flow___VariableContext___unreash(val_t self) {
+ struct trace_t trace = {NULL, NULL, 119, LOCATE_control_flow___VariableContext___unreash};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_control_flow;
tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowContext____base_block( self) /*ControlFlowContext::_base_block*/;
+ return ATTR_control_flow___VariableContext____unreash( self) /*VariableContext::_unreash*/;
}
-void control_flow___ControlFlowContext___base_block__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___base_block__eq, 66};
+void control_flow___VariableContext___unreash__eq(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 119, LOCATE_control_flow___VariableContext___unreash__eq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- ATTR_control_flow___ControlFlowContext____base_block( self) /*ControlFlowContext::_base_block*/ = param0;
+ trace.file = LOCATE_control_flow;
+ ATTR_control_flow___VariableContext____unreash( self) /*VariableContext::_unreash*/ = param0;
tracehead = trace.prev;
return;
}
-val_t control_flow___ControlFlowContext___sub(val_t self) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___sub, 69};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = NEW_control_flow___ControlFlowContext___with( self); /*new ControlFlowContext*/
- goto return_label3;
- return_label3: while(false);
- tracehead = trace.prev;
- return variable0;
-}
-void control_flow___ControlFlowContext___init(val_t self, int* init_table) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___init, 74};
+val_t control_flow___VariableContext___already_unreash(val_t self) {
+ struct trace_t trace = {NULL, NULL, 122, LOCATE_control_flow___VariableContext___already_unreash};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ControlFlowContext].i]) return;
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ControlFlowContext].i] = 1;
+ trace.file = LOCATE_control_flow;
tracehead = trace.prev;
- return;
+ return ATTR_control_flow___VariableContext____already_unreash( self) /*VariableContext::_already_unreash*/;
}
-void control_flow___ControlFlowContext___with(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ControlFlowContext___with, 78};
- val_t variable0;
- val_t variable1;
+void control_flow___VariableContext___already_unreash__eq(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 122, LOCATE_control_flow___VariableContext___already_unreash__eq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ControlFlowContext].i]) return;
- ATTR_control_flow___ControlFlowContext____prev( self) /*ControlFlowContext::_prev*/ = variable0 /*p*/;
- variable1 = ((control_flow___ControlFlowContext___has_return_t)CALL( variable0 /*p*/,COLOR_control_flow___ControlFlowContext___has_return))( variable0 /*p*/) /*ControlFlowContext::has_return*/;
- ATTR_control_flow___ControlFlowContext____has_return( self) /*ControlFlowContext::_has_return*/ = variable1;
- variable1 = ((control_flow___ControlFlowContext___unreash_t)CALL( variable0 /*p*/,COLOR_control_flow___ControlFlowContext___unreash))( variable0 /*p*/) /*ControlFlowContext::unreash*/;
- ATTR_control_flow___ControlFlowContext____unreash( self) /*ControlFlowContext::_unreash*/ = variable1;
- variable1 = ((control_flow___ControlFlowContext___already_unreash_t)CALL( variable0 /*p*/,COLOR_control_flow___ControlFlowContext___already_unreash))( variable0 /*p*/) /*ControlFlowContext::already_unreash*/;
- ATTR_control_flow___ControlFlowContext____already_unreash( self) /*ControlFlowContext::_already_unreash*/ = variable1;
- variable1 = ((control_flow___ControlFlowContext___base_block_t)CALL( variable0 /*p*/,COLOR_control_flow___ControlFlowContext___base_block))( variable0 /*p*/) /*ControlFlowContext::base_block*/;
- ATTR_control_flow___ControlFlowContext____base_block( self) /*ControlFlowContext::_base_block*/ = variable1;
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_ControlFlowContext].i] = 1;
+ trace.file = LOCATE_control_flow;
+ ATTR_control_flow___VariableContext____already_unreash( self) /*VariableContext::_already_unreash*/ = param0;
tracehead = trace.prev;
return;
}
-void control_flow___PNode___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___PNode___accept_control_flow, 91};
- val_t variable0;
+val_t control_flow___VariableContext___set_variables(val_t self) {
+ struct trace_t trace = {NULL, NULL, 126, LOCATE_control_flow___VariableContext___set_variables};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- ((syntax_base___PNode___accept_abs_syntax_visitor_t)CALL( self,COLOR_syntax_base___PNode___accept_abs_syntax_visitor))( self, variable0 /*v*/) /*PNode::accept_abs_syntax_visitor*/;
+ trace.file = LOCATE_control_flow;
tracehead = trace.prev;
- return;
+ return ATTR_control_flow___VariableContext____set_variables( self) /*VariableContext::_set_variables*/;
}
-void control_flow___AMethPropdef___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___AMethPropdef___accept_control_flow, 98};
- val_t variable0;
- val_t variable1;
+val_t control_flow___VariableContext___is_set(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 129, LOCATE_control_flow___VariableContext___is_set};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = NEW_control_flow___ControlFlowContext___init(); /*new ControlFlowContext*/
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable0 /*v*/, variable1) /*ControlFlowVisitor::control_flow_ctx=*/;
- ((control_flow___AMethPropdef___accept_control_flow_t)CALL( self,COLOR_SUPER_control_flow___AMethPropdef___accept_control_flow))( self, param0) /*super AMethPropdef::accept_control_flow*/;
+ trace.file = LOCATE_control_flow;
+ /* 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_control_flow___VariableContext____set_variables(variable[0]) /*VariableContext::_set_variables*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___Collection___has(variable[3])(variable[3], variable[1] /*v*/) /*HashSet::has*/;
+ variable[2] = variable[3];
+ goto return_label23;
+ return_label23: while(false);
tracehead = trace.prev;
- return;
+ return variable[2];
}
-void control_flow___AConcreteMethPropdef___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___AConcreteMethPropdef___accept_control_flow, 106};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+void control_flow___VariableContext___merge(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 135, LOCATE_control_flow___VariableContext___merge};
+ val_t variable[9];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- ((control_flow___AConcreteMethPropdef___accept_control_flow_t)CALL( self,COLOR_SUPER_control_flow___AConcreteMethPropdef___accept_control_flow))( self, param0) /*super AConcreteMethPropdef::accept_control_flow*/;
- variable1 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable1 = ((control_flow___ControlFlowContext___has_return_t)CALL(variable1,COLOR_control_flow___ControlFlowContext___has_return))(variable1) /*ControlFlowContext::has_return*/;
- variable1 = TAG_Bool((variable1)==( TAG_Bool(false)));
- variable2 = variable1;
- if (UNTAG_Bool(variable2)) { /* and */
- variable2 = ((syntax_base___AMethPropdef___method_t)CALL( self,COLOR_syntax_base___AMethPropdef___method))( self) /*AConcreteMethPropdef::method*/;
- variable2 = ((genericity___MMLocalProperty___signature_t)CALL(variable2,COLOR_static_type___MMLocalProperty___signature))(variable2) /*MMMethSrcMethod::signature*/;
- variable2 = ((static_type___MMSignature___return_type_t)CALL(variable2,COLOR_static_type___MMSignature___return_type))(variable2) /*MMSignature::return_type*/;
- variable2 = TAG_Bool(!UNTAG_Bool(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*/) /*MMType::==*/)))))));
+ trace.file = LOCATE_control_flow;
+ /* 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_control_flow___VariableContext___unreash( variable[1] /*ctx*/)( variable[1] /*ctx*/) /*VariableContext::unreash*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ CALL_control_flow___VariableContext___unreash__eq(variable[0])(variable[0], TAG_Bool(true)) /*VariableContext::unreash=*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_control_flow___VariableContext___already_unreash( variable[1] /*ctx*/)( variable[1] /*ctx*/) /*VariableContext::already_unreash*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ CALL_control_flow___VariableContext___already_unreash__eq(variable[0])(variable[0], TAG_Bool(true)) /*VariableContext::already_unreash=*/;
+ }
+ goto return_label24;
}
- variable1 = variable2;
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = NEW_string___String___with_native(BOX_NativeString("Control error: Reached end of function."), TAG_Int(39)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL( variable0 /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error))( variable0 /*v*/, self, variable1) /*ControlFlowVisitor::error*/;
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_control_flow___VariableContext____all_variables(variable[0]) /*VariableContext::_all_variables*/;
+ /* Register variable[3]: For iterator */
+ variable[3] = CALL_abstract_collection___Collection___iterator(variable[3])(variable[3]) /*Collection::iterator*/;
+ while (true) { /*for*/
+ /* Register variable[4]: For 'is_ok' result */
+ variable[4] = CALL_abstract_collection___Iterator___is_ok(variable[3])(variable[3]) /*Iterator::is_ok*/;
+ if (!UNTAG_Bool(variable[4])) break; /*for*/
+ variable[4] = CALL_abstract_collection___Iterator___item(variable[3])(variable[3]) /*Iterator::item*/ /* Ensure var: For item*/;
+ /* Register variable[5]: Local variable */
+ variable[5] = variable[4];
+ /* Register variable[6]: Result */
+ variable[6] = CALL_control_flow___VariableContext___is_set(variable[0])(variable[0], variable[5] /*v*/) /*VariableContext::is_set*/;
+ variable[6] = TAG_Bool(!UNTAG_Bool(variable[6])) /* Ensure var: Left 'and' operand*/;
+ if (UNTAG_Bool(variable[6])) { /* and */
+ /* Register variable[6]: Result */
+ variable[6] = CALL_control_flow___VariableContext___is_set( variable[1] /*ctx*/)( variable[1] /*ctx*/, variable[5] /*v*/) /*VariableContext::is_set*/;
+ }
+ /* Register variable[6]: Result */
+ if (UNTAG_Bool(variable[6])) { /*if*/
+ CALL_control_flow___VariableContext___mark_is_set(variable[0])(variable[0], variable[5] /*v*/) /*VariableContext::mark_is_set*/;
+ }
+ /* Register variable[6]: Local variable */
+ /* Register variable[7]: Result */
+ variable[7] = CALL_control_flow___VariableContext___stype(variable[0])(variable[0], variable[5] /*v*/) /*VariableContext::stype*/;
+ variable[6] = variable[7];
+ /* Register variable[7]: Local variable */
+ /* Register variable[8]: Result */
+ variable[8] = CALL_control_flow___VariableContext___stype( variable[1] /*ctx*/)( variable[1] /*ctx*/, variable[5] /*v*/) /*VariableContext::stype*/;
+ variable[7] = variable[8];
+ /* Register variable[8]: Result */
+ variable[8] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[7] /*s1*/ == variable[6] /*s*/) || (( variable[7] /*s1*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[7] /*s1*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[7] /*s1*/, variable[6] /*s*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[7] /*s1*/)( variable[7] /*s1*/, variable[6] /*s*/) /*Object::==*/)))))));
+ if (UNTAG_Bool(variable[8])) { /*if*/
+ CALL_control_flow___VariableContext___stype__eq(variable[0])(variable[0], variable[5] /*v*/, variable[7] /*s1*/) /*VariableContext::stype=*/;
+ }
+ continue_25: while(0);
+ CALL_abstract_collection___Iterator___next(variable[3])(variable[3]) /*Iterator::next*/;
}
+ break_25: while(0);
+ return_label24: while(false);
tracehead = trace.prev;
return;
}
-void control_flow___ABlockExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ABlockExpr___accept_control_flow, 116};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- val_t variable4;
+void control_flow___VariableContext___merge2(val_t self, val_t param0, val_t param1, val_t param2) {
+ struct trace_t trace = {NULL, NULL, 153, LOCATE_control_flow___VariableContext___merge2};
+ val_t variable[12];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((parser_nodes___ABlockExpr___n_expr_t)CALL( self,COLOR_parser_nodes___ABlockExpr___n_expr))( self) /*ABlockExpr::n_expr*/;
- variable1 = ((list___List___iterator_t)CALL(variable1,COLOR_abstract_collection___Collection___iterator))(variable1) /*List::iterator*/;
+ trace.file = LOCATE_control_flow;
+ /* 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]: Local variable */
+ variable[3] = param2;
+ /* Register variable[4]: Method return value and escape marker */
+ /* Register variable[5]: Result */
+ variable[5] = CALL_control_flow___VariableContext___unreash( variable[1] /*ctx1*/)( variable[1] /*ctx1*/) /*VariableContext::unreash*/;
+ if (UNTAG_Bool(variable[5])) { /*if*/
+ CALL_control_flow___VariableContext___merge(variable[0])(variable[0], variable[2] /*ctx2*/) /*VariableContext::merge*/;
+ } else { /*if*/
+ /* Register variable[5]: Result */
+ variable[5] = CALL_control_flow___VariableContext___unreash( variable[2] /*ctx2*/)( variable[2] /*ctx2*/) /*VariableContext::unreash*/;
+ if (UNTAG_Bool(variable[5])) { /*if*/
+ CALL_control_flow___VariableContext___merge(variable[0])(variable[0], variable[1] /*ctx1*/) /*VariableContext::merge*/;
+ }
+ }
+ /* Register variable[5]: Result */
+ variable[5] = ATTR_control_flow___VariableContext____all_variables(variable[0]) /*VariableContext::_all_variables*/;
+ /* Register variable[5]: For iterator */
+ variable[5] = CALL_abstract_collection___Collection___iterator(variable[5])(variable[5]) /*Collection::iterator*/;
while (true) { /*for*/
- variable2 = ((list___ListIterator___is_ok_t)CALL(variable1,COLOR_abstract_collection___Iterator___is_ok))(variable1) /*ListIterator::is_ok*/;
- if (!UNTAG_Bool(variable2)) break; /*for*/
- variable2 = ((list___ListIterator___item_t)CALL(variable1,COLOR_abstract_collection___Iterator___item))(variable1) /*ListIterator::item*/;
- variable3 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable3 = ((control_flow___ControlFlowContext___unreash_t)CALL(variable3,COLOR_control_flow___ControlFlowContext___unreash))(variable3) /*ControlFlowContext::unreash*/;
- variable4 = variable3;
- if (UNTAG_Bool(variable4)) { /* and */
- variable4 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable4 = ((control_flow___ControlFlowContext___already_unreash_t)CALL(variable4,COLOR_control_flow___ControlFlowContext___already_unreash))(variable4) /*ControlFlowContext::already_unreash*/;
- variable4 = TAG_Bool(!UNTAG_Bool(variable4));
+ /* Register variable[6]: For 'is_ok' result */
+ variable[6] = CALL_abstract_collection___Iterator___is_ok(variable[5])(variable[5]) /*Iterator::is_ok*/;
+ if (!UNTAG_Bool(variable[6])) break; /*for*/
+ variable[6] = CALL_abstract_collection___Iterator___item(variable[5])(variable[5]) /*Iterator::item*/ /* Ensure var: For item*/;
+ /* Register variable[7]: Local variable */
+ variable[7] = variable[6];
+ /* Register variable[8]: Result */
+ variable[8] = CALL_control_flow___VariableContext___is_set(variable[0])(variable[0], variable[7] /*v*/) /*VariableContext::is_set*/;
+ variable[8] = TAG_Bool(!UNTAG_Bool(variable[8])) /* Ensure var: Left 'and' operand*/;
+ if (UNTAG_Bool(variable[8])) { /* and */
+ /* Register variable[8]: Result */
+ variable[8] = CALL_control_flow___VariableContext___is_set( variable[1] /*ctx1*/)( variable[1] /*ctx1*/, variable[7] /*v*/) /*VariableContext::is_set*/;
+ }
+ /* Register variable[8]: Result */
+ /* Ensure var variable[8]: Left 'and' operand*/
+ if (UNTAG_Bool(variable[8])) { /* and */
+ /* Register variable[8]: Result */
+ variable[8] = CALL_control_flow___VariableContext___is_set( variable[2] /*ctx2*/)( variable[2] /*ctx2*/, variable[7] /*v*/) /*VariableContext::is_set*/;
+ }
+ /* Register variable[8]: Result */
+ if (UNTAG_Bool(variable[8])) { /*if*/
+ CALL_control_flow___VariableContext___mark_is_set(variable[0])(variable[0], variable[7] /*v*/) /*VariableContext::mark_is_set*/;
}
- variable3 = variable4;
- if (UNTAG_Bool(variable3)) { /*if*/
- variable3 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___already_unreash__eq_t)CALL(variable3,COLOR_control_flow___ControlFlowContext___already_unreash__eq))(variable3, TAG_Bool(true)) /*ControlFlowContext::already_unreash=*/;
- variable3 = NEW_string___String___with_native(BOX_NativeString("Warning: unreachable statement."), TAG_Int(31)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___warning_t)CALL( variable0 /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___warning))( variable0 /*v*/, variable2 /*e*/, variable3) /*ControlFlowVisitor::warning*/;
+ /* Register variable[8]: Local variable */
+ /* Register variable[9]: Result */
+ variable[9] = CALL_control_flow___VariableContext___stype(variable[0])(variable[0], variable[7] /*v*/) /*VariableContext::stype*/;
+ variable[8] = variable[9];
+ /* Register variable[9]: Local variable */
+ /* Register variable[10]: Result */
+ variable[10] = CALL_control_flow___VariableContext___stype( variable[1] /*ctx1*/)( variable[1] /*ctx1*/, variable[7] /*v*/) /*VariableContext::stype*/;
+ variable[9] = variable[10];
+ /* Register variable[10]: Local variable */
+ /* Register variable[11]: Result */
+ variable[11] = CALL_control_flow___VariableContext___stype( variable[2] /*ctx2*/)( variable[2] /*ctx2*/, variable[7] /*v*/) /*VariableContext::stype*/;
+ variable[10] = variable[11];
+ /* Register variable[11]: Result */
+ variable[11] = TAG_Bool(( variable[9] /*s1*/ == variable[8] /*s*/) || (( variable[9] /*s1*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[9] /*s1*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[9] /*s1*/, variable[8] /*s*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[9] /*s1*/)( variable[9] /*s1*/, variable[8] /*s*/) /*Object::==*/)))));
+ /* Ensure var variable[11]: Left 'and' operand*/
+ if (UNTAG_Bool(variable[11])) { /* and */
+ /* Register variable[11]: Result */
+ variable[11] = TAG_Bool(( variable[10] /*s2*/ == variable[8] /*s*/) || (( variable[10] /*s2*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[10] /*s2*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[10] /*s2*/, variable[8] /*s*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[10] /*s2*/)( variable[10] /*s2*/, variable[8] /*s*/) /*Object::==*/)))));
}
- ((control_flow___ControlFlowVisitor___visit_t)CALL( variable0 /*v*/,COLOR_parser_prod___Visitor___visit))( variable0 /*v*/, variable2 /*e*/) /*ControlFlowVisitor::visit*/;
- continue_10: while(0);
- ((list___ListIterator___next_t)CALL(variable1,COLOR_abstract_collection___Iterator___next))(variable1) /*ListIterator::next*/;
+ /* Register variable[11]: Result */
+ if (UNTAG_Bool(variable[11])) { /*if*/
+ } else { /*if*/
+ /* Register variable[11]: Result */
+ variable[11] = TAG_Bool(( variable[9] /*s1*/ == variable[10] /*s2*/) || (( variable[9] /*s1*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[9] /*s1*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[9] /*s1*/, variable[10] /*s2*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[9] /*s1*/)( variable[9] /*s1*/, variable[10] /*s2*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[11])) { /*if*/
+ CALL_control_flow___VariableContext___stype__eq(variable[0])(variable[0], variable[7] /*v*/, variable[9] /*s1*/) /*VariableContext::stype=*/;
+ } else { /*if*/
+ /* Register variable[11]: Result */
+ variable[11] = CALL_static_type___MMType_____l( variable[9] /*s1*/)( variable[9] /*s1*/, variable[10] /*s2*/) /*MMType::<*/;
+ if (UNTAG_Bool(variable[11])) { /*if*/
+ CALL_control_flow___VariableContext___stype__eq(variable[0])(variable[0], variable[7] /*v*/, variable[10] /*s2*/) /*VariableContext::stype=*/;
+ } else { /*if*/
+ /* Register variable[11]: Result */
+ variable[11] = CALL_static_type___MMType_____l( variable[10] /*s2*/)( variable[10] /*s2*/, variable[9] /*s1*/) /*MMType::<*/;
+ if (UNTAG_Bool(variable[11])) { /*if*/
+ CALL_control_flow___VariableContext___stype__eq(variable[0])(variable[0], variable[7] /*v*/, variable[9] /*s1*/) /*VariableContext::stype=*/;
+ } else { /*if*/
+ /* Register variable[11]: Result */
+ variable[11] = CALL_control_flow___VariableContext___stype( variable[3] /*basectx*/)( variable[3] /*basectx*/, variable[7] /*v*/) /*VariableContext::stype*/;
+ CALL_control_flow___VariableContext___stype__eq(variable[0])(variable[0], variable[7] /*v*/, variable[11]) /*VariableContext::stype=*/;
+ }
+ }
+ }
+ }
+ continue_27: while(0);
+ CALL_abstract_collection___Iterator___next(variable[5])(variable[5]) /*Iterator::next*/;
}
- break_10: while(0);
+ break_27: while(0);
+ return_label26: while(false);
tracehead = trace.prev;
return;
}
-void control_flow___AReturnExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___AReturnExpr___accept_control_flow, 129};
- val_t variable0;
- val_t variable1;
+void control_flow___RootVariableContext___init(val_t self, val_t param0, val_t param1, int* init_table) {
+ struct trace_t trace = {NULL, NULL, 198, LOCATE_control_flow___RootVariableContext___init};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- ((control_flow___AReturnExpr___accept_control_flow_t)CALL( self,COLOR_SUPER_control_flow___AReturnExpr___accept_control_flow))( self, param0) /*super AReturnExpr::accept_control_flow*/;
- variable1 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___has_return__eq_t)CALL(variable1,COLOR_control_flow___ControlFlowContext___has_return__eq))(variable1, TAG_Bool(true)) /*ControlFlowContext::has_return=*/;
- variable1 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL(variable1,COLOR_control_flow___ControlFlowContext___unreash__eq))(variable1, TAG_Bool(true)) /*ControlFlowContext::unreash=*/;
+ trace.file = LOCATE_control_flow;
+ /* 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_RootVariableContext].i]) return;
+ /* Register variable[3]: Method return value and escape marker */
+ CALL_control_flow___VariableContext___init(variable[0])(variable[0], variable[1] /*visitor*/, variable[2] /*node*/, init_table /*YYY*/) /*VariableContext::init*/;
+ /* Register variable[4]: Result */
+ variable[4] = NEW_HashSet_hash___HashSet___init() /*new HashSet[Variable]*/;
+ ATTR_control_flow___VariableContext____all_variables(variable[0]) /*VariableContext::_all_variables*/ = variable[4];
+ return_label28: while(false);
+ init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_RootVariableContext].i] = 1;
tracehead = trace.prev;
return;
}
-val_t control_flow___ABlockControler___block(val_t self) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ABlockControler___block, 139};
+val_t control_flow___SubVariableContext_____bra(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 209, LOCATE_control_flow___SubVariableContext_____bra};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_control_flow;
+ /* 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_control_flow___VariableContext____dico(variable[0]) /*VariableContext::_dico*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___MapRead___has_key(variable[3])(variable[3], variable[1] /*s*/) /*MapRead::has_key*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_control_flow___VariableContext____dico(variable[0]) /*VariableContext::_dico*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___MapRead_____bra(variable[3])(variable[3], variable[1] /*s*/) /*MapRead::[]*/;
+ variable[2] = variable[3];
+ goto return_label29;
+ } else { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = CALL_control_flow___SubVariableContext___prev(variable[0])(variable[0]) /*SubVariableContext::prev*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_control_flow___VariableContext_____bra(variable[3])(variable[3], variable[1] /*s*/) /*VariableContext::[]*/;
+ variable[2] = variable[3];
+ goto return_label29;
+ }
+ return_label29: while(false);
tracehead = trace.prev;
- return ATTR_control_flow___ABlockControler____block( self) /*ABlockControler::_block*/;
+ return variable[2];
}
-void control_flow___ABreakExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___ABreakExpr___accept_control_flow, 144};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+val_t control_flow___SubVariableContext___stype(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 218, LOCATE_control_flow___SubVariableContext___stype};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- ((control_flow___ABreakExpr___accept_control_flow_t)CALL( self,COLOR_SUPER_control_flow___ABreakExpr___accept_control_flow))( self, param0) /*super ABreakExpr::accept_control_flow*/;
- variable2 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable2 = ((control_flow___ControlFlowContext___base_block_t)CALL(variable2,COLOR_control_flow___ControlFlowContext___base_block))(variable2) /*ControlFlowContext::base_block*/;
- variable1 = variable2;
- variable2 = TAG_Bool(( variable1 /*block*/ == NIT_NULL /*null*/) || (( variable1 /*block*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*block*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*block*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*block*/,COLOR_kernel___Object_____eqeq))( variable1 /*block*/, NIT_NULL /*null*/) /*AControlableBlock::==*/)))));
- if (UNTAG_Bool(variable2)) { /*if*/
- variable2 = NEW_string___String___with_native(BOX_NativeString("Syntax Error: 'break' statment outside block."), TAG_Int(45)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL( variable0 /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error))( variable0 /*v*/, self, variable2) /*ControlFlowVisitor::error*/;
- goto return_label12;
+ trace.file = LOCATE_control_flow;
+ /* 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_control_flow___VariableContext____stypes(variable[0]) /*VariableContext::_stypes*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___MapRead___has_key(variable[3])(variable[3], variable[1] /*v*/) /*MapRead::has_key*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_control_flow___VariableContext____stypes(variable[0]) /*VariableContext::_stypes*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___MapRead_____bra(variable[3])(variable[3], variable[1] /*v*/) /*MapRead::[]*/;
+ variable[2] = variable[3];
+ goto return_label30;
+ } else { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = CALL_control_flow___SubVariableContext___prev(variable[0])(variable[0]) /*SubVariableContext::prev*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_control_flow___VariableContext___stype(variable[3])(variable[3], variable[1] /*v*/) /*VariableContext::stype*/;
+ variable[2] = variable[3];
+ goto return_label30;
}
- ATTR_control_flow___ABlockControler____block( self) /*ABreakExpr::_block*/ = variable1 /*block*/;
- variable2 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL(variable2,COLOR_control_flow___ControlFlowContext___unreash__eq))(variable2, TAG_Bool(true)) /*ControlFlowContext::unreash=*/;
- return_label12: while(false);
+ return_label30: while(false);
tracehead = trace.prev;
- return;
+ return variable[2];
}
-void control_flow___AContinueExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___AContinueExpr___accept_control_flow, 158};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+val_t control_flow___SubVariableContext___is_set(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 234, LOCATE_control_flow___SubVariableContext___is_set};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- ((control_flow___AContinueExpr___accept_control_flow_t)CALL( self,COLOR_SUPER_control_flow___AContinueExpr___accept_control_flow))( self, param0) /*super AContinueExpr::accept_control_flow*/;
- variable2 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable2 = ((control_flow___ControlFlowContext___base_block_t)CALL(variable2,COLOR_control_flow___ControlFlowContext___base_block))(variable2) /*ControlFlowContext::base_block*/;
- variable1 = variable2;
- variable2 = TAG_Bool(( variable1 /*block*/ == NIT_NULL /*null*/) || (( variable1 /*block*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*block*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*block*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*block*/,COLOR_kernel___Object_____eqeq))( variable1 /*block*/, NIT_NULL /*null*/) /*AControlableBlock::==*/)))));
- if (UNTAG_Bool(variable2)) { /*if*/
- variable2 = NEW_string___String___with_native(BOX_NativeString("Syntax Error: 'continue' outside block."), TAG_Int(39)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL( variable0 /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error))( variable0 /*v*/, self, variable2) /*ControlFlowVisitor::error*/;
- goto return_label13;
+ trace.file = LOCATE_control_flow;
+ /* 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_control_flow___VariableContext____set_variables(variable[0]) /*VariableContext::_set_variables*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___Collection___has(variable[3])(variable[3], variable[1] /*v*/) /*HashSet::has*/;
+ /* Ensure var variable[3]: Left 'or' operand*/
+ if (!UNTAG_Bool(variable[3])) { /* or */
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_control_flow___SubVariableContext____prev(variable[0]) /*SubVariableContext::_prev*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_control_flow___VariableContext___is_set(variable[3])(variable[3], variable[1] /*v*/) /*VariableContext::is_set*/;
}
- ATTR_control_flow___ABlockControler____block( self) /*AContinueExpr::_block*/ = variable1 /*block*/;
- variable2 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL(variable2,COLOR_control_flow___ControlFlowContext___unreash__eq))(variable2, TAG_Bool(true)) /*ControlFlowContext::unreash=*/;
- return_label13: while(false);
+ /* Register variable[3]: Result */
+ variable[2] = variable[3];
+ goto return_label31;
+ return_label31: while(false);
tracehead = trace.prev;
- return;
+ return variable[2];
}
-void control_flow___AAbortExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___AAbortExpr___accept_control_flow, 172};
- val_t variable0;
- val_t variable1;
+val_t control_flow___SubVariableContext___prev(val_t self) {
+ struct trace_t trace = {NULL, NULL, 207, LOCATE_control_flow___SubVariableContext___prev};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- ((control_flow___AAbortExpr___accept_control_flow_t)CALL( self,COLOR_SUPER_control_flow___AAbortExpr___accept_control_flow))( self, param0) /*super AAbortExpr::accept_control_flow*/;
- variable1 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___has_return__eq_t)CALL(variable1,COLOR_control_flow___ControlFlowContext___has_return__eq))(variable1, TAG_Bool(true)) /*ControlFlowContext::has_return=*/;
- variable1 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL(variable1,COLOR_control_flow___ControlFlowContext___unreash__eq))(variable1, TAG_Bool(true)) /*ControlFlowContext::unreash=*/;
+ trace.file = LOCATE_control_flow;
tracehead = trace.prev;
- return;
+ return ATTR_control_flow___SubVariableContext____prev( self) /*SubVariableContext::_prev*/;
}
-void control_flow___AIfExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___AIfExpr___accept_control_flow, 181};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- val_t variable4;
- val_t variable5;
+void control_flow___SubVariableContext___with_prev(val_t self, val_t param0, val_t param1, int* init_table) {
+ struct trace_t trace = {NULL, NULL, 227, LOCATE_control_flow___SubVariableContext___with_prev};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((parser_nodes___AIfExpr___n_expr_t)CALL( self,COLOR_parser_nodes___AIfExpr___n_expr))( self) /*AIfExpr::n_expr*/;
- ((control_flow___ControlFlowVisitor___visit_t)CALL( variable0 /*v*/,COLOR_parser_prod___Visitor___visit))( variable0 /*v*/, variable1) /*ControlFlowVisitor::visit*/;
- variable2 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable1 = variable2;
- variable2 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable2 = ((control_flow___ControlFlowContext___sub_t)CALL(variable2,COLOR_control_flow___ControlFlowContext___sub))(variable2) /*ControlFlowContext::sub*/;
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable0 /*v*/, variable2) /*ControlFlowVisitor::control_flow_ctx=*/;
- variable2 = ((parser_nodes___AIfExpr___n_then_t)CALL( self,COLOR_parser_nodes___AIfExpr___n_then))( self) /*AIfExpr::n_then*/;
- ((control_flow___ControlFlowVisitor___visit_t)CALL( variable0 /*v*/,COLOR_parser_prod___Visitor___visit))( variable0 /*v*/, variable2) /*ControlFlowVisitor::visit*/;
- variable2 = ((parser_nodes___AIfExpr___n_else_t)CALL( self,COLOR_parser_nodes___AIfExpr___n_else))( self) /*AIfExpr::n_else*/;
- 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*/) /*PExpr::==*/)))));
- if (UNTAG_Bool(variable2)) { /*if*/
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable0 /*v*/, variable1 /*old_control_flow_ctx*/) /*ControlFlowVisitor::control_flow_ctx=*/;
- } else { /*if*/
- variable3 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable2 = variable3;
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable0 /*v*/, variable1 /*old_control_flow_ctx*/) /*ControlFlowVisitor::control_flow_ctx=*/;
- variable3 = ((parser_nodes___AIfExpr___n_else_t)CALL( self,COLOR_parser_nodes___AIfExpr___n_else))( self) /*AIfExpr::n_else*/;
- ((control_flow___ControlFlowVisitor___visit_t)CALL( variable0 /*v*/,COLOR_parser_prod___Visitor___visit))( variable0 /*v*/, variable3) /*ControlFlowVisitor::visit*/;
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable0 /*v*/, variable1 /*old_control_flow_ctx*/) /*ControlFlowVisitor::control_flow_ctx=*/;
- variable3 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable4 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable4 = ((control_flow___ControlFlowContext___has_return_t)CALL(variable4,COLOR_control_flow___ControlFlowContext___has_return))(variable4) /*ControlFlowContext::has_return*/;
- variable5 = variable4;
- if (UNTAG_Bool(variable5)) { /* and */
- variable5 = ((control_flow___ControlFlowContext___has_return_t)CALL( variable2 /*then_control_flow_ctx*/,COLOR_control_flow___ControlFlowContext___has_return))( variable2 /*then_control_flow_ctx*/) /*ControlFlowContext::has_return*/;
- }
- variable4 = variable5;
- ((control_flow___ControlFlowContext___has_return__eq_t)CALL(variable3,COLOR_control_flow___ControlFlowContext___has_return__eq))(variable3, variable4) /*ControlFlowContext::has_return=*/;
- variable3 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable4 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable4 = ((control_flow___ControlFlowContext___unreash_t)CALL(variable4,COLOR_control_flow___ControlFlowContext___unreash))(variable4) /*ControlFlowContext::unreash*/;
- variable5 = variable4;
- if (UNTAG_Bool(variable5)) { /* and */
- variable5 = ((control_flow___ControlFlowContext___unreash_t)CALL( variable2 /*then_control_flow_ctx*/,COLOR_control_flow___ControlFlowContext___unreash))( variable2 /*then_control_flow_ctx*/) /*ControlFlowContext::unreash*/;
- }
- variable4 = variable5;
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL(variable3,COLOR_control_flow___ControlFlowContext___unreash__eq))(variable3, variable4) /*ControlFlowContext::unreash=*/;
- }
+ trace.file = LOCATE_control_flow;
+ /* 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_SubVariableContext].i]) return;
+ /* Register variable[3]: Method return value and escape marker */
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_control_flow___VariableContext____visitor( variable[1] /*p*/) /*VariableContext::_visitor*/;
+ CALL_control_flow___VariableContext___init(variable[0])(variable[0], variable[4], variable[2] /*node*/, init_table /*YYY*/) /*VariableContext::init*/;
+ ATTR_control_flow___SubVariableContext____prev(variable[0]) /*SubVariableContext::_prev*/ = variable[1] /*p*/;
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_control_flow___VariableContext____all_variables( variable[1] /*p*/) /*VariableContext::_all_variables*/;
+ ATTR_control_flow___VariableContext____all_variables(variable[0]) /*VariableContext::_all_variables*/ = variable[4];
+ return_label32: while(false);
+ init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_SubVariableContext].i] = 1;
tracehead = trace.prev;
return;
}
-void control_flow___AControlableBlock___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___AControlableBlock___accept_control_flow, 211};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+val_t control_flow___Variable___must_be_set(val_t self) {
+ struct trace_t trace = {NULL, NULL, 241, LOCATE_control_flow___Variable___must_be_set};
+ val_t variable[2];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable2 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable1 = variable2;
- variable2 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable2 = ((control_flow___ControlFlowContext___sub_t)CALL(variable2,COLOR_control_flow___ControlFlowContext___sub))(variable2) /*ControlFlowContext::sub*/;
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable0 /*v*/, variable2) /*ControlFlowVisitor::control_flow_ctx=*/;
- variable2 = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable0 /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___base_block__eq_t)CALL(variable2,COLOR_control_flow___ControlFlowContext___base_block__eq))(variable2, self) /*ControlFlowContext::base_block=*/;
- ((control_flow___AControlableBlock___accept_control_flow_t)CALL( self,COLOR_SUPER_control_flow___AControlableBlock___accept_control_flow))( self, param0) /*super AControlableBlock::accept_control_flow*/;
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable0 /*v*/, variable1 /*old_control_flow_ctx*/) /*ControlFlowVisitor::control_flow_ctx=*/;
+ trace.file = LOCATE_control_flow;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ variable[1] = TAG_Bool(false);
+ goto return_label33;
+ return_label33: while(false);
tracehead = trace.prev;
- return;
+ return variable[1];
}
-void control_flow___AOnceExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_control_flow___AOnceExpr___accept_control_flow, 236};
- val_t variable0;
- val_t variable1;
+val_t control_flow___VarVariable___must_be_set(val_t self) {
+ struct trace_t trace = {NULL, NULL, 246, LOCATE_control_flow___VarVariable___must_be_set};
+ val_t variable[2];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((control_flow___ControlFlowVisitor___once_count_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___once_count))( variable0 /*v*/) /*ControlFlowVisitor::once_count*/;
- variable1 = TAG_Bool(UNTAG_Int(variable1)>UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = NEW_string___String___with_native(BOX_NativeString("Useless once in a once expression."), TAG_Int(34)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___warning_t)CALL( variable0 /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___warning))( variable0 /*v*/, self, variable1) /*ControlFlowVisitor::warning*/;
- }
- variable1 = ((control_flow___ControlFlowVisitor___once_count_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___once_count))( variable0 /*v*/) /*ControlFlowVisitor::once_count*/;
- variable1 = TAG_Int(UNTAG_Int(variable1)+UNTAG_Int( TAG_Int(1)));
- ((control_flow___ControlFlowVisitor___once_count__eq_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___once_count__eq))( variable0 /*v*/, variable1) /*ControlFlowVisitor::once_count=*/;
- ((control_flow___AOnceExpr___accept_control_flow_t)CALL( self,COLOR_SUPER_control_flow___AOnceExpr___accept_control_flow))( self, param0) /*super AOnceExpr::accept_control_flow*/;
- variable1 = ((control_flow___ControlFlowVisitor___once_count_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___once_count))( variable0 /*v*/) /*ControlFlowVisitor::once_count*/;
- variable1 = TAG_Int(UNTAG_Int(variable1)-UNTAG_Int( TAG_Int(1)));
- ((control_flow___ControlFlowVisitor___once_count__eq_t)CALL( variable0 /*v*/,COLOR_control_flow___ControlFlowVisitor___once_count__eq))( variable0 /*v*/, variable1) /*ControlFlowVisitor::once_count=*/;
+ trace.file = LOCATE_control_flow;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ variable[1] = TAG_Bool(true);
+ goto return_label34;
+ return_label34: while(false);
tracehead = trace.prev;
- return;
+ return variable[1];
}