/* 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, NULL, 23, LOCATE_control_flow___MMSrcModule___do_control_flow};
- val_t variable[6];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[4] = variable[0];
- variable[5] = NEW_ControlFlowVisitor_control_flow___ControlFlowVisitor___init( variable[1] /*tc*/, variable[4]); /*new ControlFlowVisitor*/
- variable[4] = variable[5];
- variable[3] = variable[4];
- variable[4] = variable[0];
- variable[4] = ((syntax_base___MMSrcModule___node_t)CALL(variable[4],COLOR_syntax_base___MMSrcModule___node))(variable[4]) /*MMSrcModule::node*/;
- ((control_flow___ControlFlowVisitor___visit_t)CALL( variable[3] /*tv*/,COLOR_parser_prod___Visitor___visit))( variable[3] /*tv*/, variable[4]) /*ControlFlowVisitor::visit*/;
- return_label0: while(false);
- tracehead = trace.prev;
- return;
-}
-val_t control_flow___Variable___must_be_set(val_t self) {
- struct trace_t trace = {NULL, NULL, 33, LOCATE_control_flow___Variable___must_be_set};
- val_t variable[2];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = TAG_Bool(false);
- goto return_label1;
- return_label1: while(false);
- tracehead = trace.prev;
- return variable[1];
-}
-val_t control_flow___VarVariable___must_be_set(val_t self) {
- struct trace_t trace = {NULL, NULL, 38, LOCATE_control_flow___VarVariable___must_be_set};
- val_t variable[2];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = TAG_Bool(true);
- goto return_label2;
- return_label2: while(false);
- tracehead = trace.prev;
- return variable[1];
-}
-void control_flow___ControlFlowVisitor___visit(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 49, LOCATE_control_flow___ControlFlowVisitor___visit};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[1] /*n*/ == NIT_NULL /*null*/) || (( variable[1] /*n*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[1] /*n*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*n*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[1] /*n*/,COLOR_kernel___Object_____eqeq))( variable[1] /*n*/, NIT_NULL /*null*/) /*Object::==*/)))))));
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[3] = variable[0];
- ((control_flow___PNode___accept_control_flow_t)CALL( variable[1] /*n*/,COLOR_control_flow___PNode___accept_control_flow))( variable[1] /*n*/, variable[3]) /*PNode::accept_control_flow*/;
- }
- return_label3: while(false);
- tracehead = trace.prev;
- return;
-}
-val_t control_flow___ControlFlowVisitor___once_count(val_t self) {
- struct trace_t trace = {NULL, NULL, 54, LOCATE_control_flow___ControlFlowVisitor___once_count};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowVisitor____once_count( self) /*ControlFlowVisitor::_once_count*/;
-}
-void control_flow___ControlFlowVisitor___once_count__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 54, LOCATE_control_flow___ControlFlowVisitor___once_count__eq};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- ATTR_control_flow___ControlFlowVisitor____once_count( self) /*ControlFlowVisitor::_once_count*/ = param0;
- tracehead = trace.prev;
- return;
-}
-val_t control_flow___ControlFlowVisitor___control_flow_ctx(val_t self) {
- struct trace_t trace = {NULL, NULL, 57, LOCATE_control_flow___ControlFlowVisitor___control_flow_ctx};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowVisitor____control_flow_ctx( self) /*ControlFlowVisitor::_control_flow_ctx*/;
+val_t control_flow___VariableContext___to_s(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ static val_t once_value_2; /* Once value */
+ static val_t once_value_3; /* Once value */
+ static val_t once_value_4; /* Once value */
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 179;
+ fra.me.meth = LOCATE_control_flow___VariableContext___to_s;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 7;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[4] = NIT_NULL;
+ fra.me.REG[5] = NIT_NULL;
+ fra.me.REG[6] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = NEW_Buffer_string___Buffer___init();
+ fra.me.REG[2] = CALL_control_flow___VariableContext___node(fra.me.REG[0])(fra.me.REG[0]);
+ fra.me.REG[2] = CALL_parser_nodes___ANode___location(fra.me.REG[2])(fra.me.REG[2]);
+ fra.me.REG[2] = CALL_string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
+ /* ./syntax//control_flow.nit:182 */
+ CALL_abstract_collection___Sequence___append(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:183 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_all_variables");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 183);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0]);
+ fra.me.REG[2] = CALL_abstract_collection___Collection___iterator(fra.me.REG[2])(fra.me.REG[2]);
+ while(1) {
+ REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[2])(fra.me.REG[2]);
+ if (UNTAG_Bool(REGB0)) {
+ fra.me.REG[3] = CALL_abstract_collection___Iterator___item(fra.me.REG[2])(fra.me.REG[2]);
+ fra.me.REG[4] = CALL_control_flow___VariableContext___stype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
+ REGB0 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
+ /* ./syntax//control_flow.nit:185 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[4])(fra.me.REG[4], NIT_NULL);
+ REGB0 = REGB1;
+ }
+ }
+ if (UNTAG_Bool(REGB0)) {
+ goto label1;
+ }
+ REGB0 = TAG_Int(5);
+ fra.me.REG[5] = NEW_Array_array___Array___with_capacity(REGB0);
+ /* ./syntax//control_flow.nit:186 */
+ if (!once_value_2) {
+ fra.me.REG[6] = BOX_NativeString(" ");
+ REGB0 = TAG_Int(1);
+ fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB0);
+ once_value_2 = fra.me.REG[6];
+ register_static_object(&once_value_2);
+ } else fra.me.REG[6] = once_value_2;
+ array___Array___add(fra.me.REG[5], fra.me.REG[6]);
+ fra.me.REG[3] = CALL_string___Object___to_s(fra.me.REG[3])(fra.me.REG[3]);
+ array___Array___add(fra.me.REG[5], fra.me.REG[3]);
+ if (!once_value_3) {
+ fra.me.REG[3] = BOX_NativeString(":");
+ REGB0 = TAG_Int(1);
+ fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB0);
+ once_value_3 = fra.me.REG[3];
+ register_static_object(&once_value_3);
+ } else fra.me.REG[3] = once_value_3;
+ array___Array___add(fra.me.REG[5], fra.me.REG[3]);
+ fra.me.REG[4] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
+ array___Array___add(fra.me.REG[5], fra.me.REG[4]);
+ if (!once_value_4) {
+ fra.me.REG[4] = BOX_NativeString("");
+ REGB0 = TAG_Int(0);
+ fra.me.REG[4] = NEW_String_string___String___with_native(fra.me.REG[4], REGB0);
+ once_value_4 = fra.me.REG[4];
+ register_static_object(&once_value_4);
+ } else fra.me.REG[4] = once_value_4;
+ array___Array___add(fra.me.REG[5], fra.me.REG[4]);
+ fra.me.REG[5] = CALL_string___Object___to_s(fra.me.REG[5])(fra.me.REG[5]);
+ CALL_abstract_collection___Sequence___append(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[5]);
+ label1: while(0);
+ } else {
+ /* ./syntax//control_flow.nit:183 */
+ goto label5;
+ }
+ CALL_abstract_collection___Iterator___next(fra.me.REG[2])(fra.me.REG[2]);
+ }
+ label5: while(0);
+ fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
+ /* ./syntax//control_flow.nit:188 */
+ goto label6;
+ label6: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[1];
}
-void control_flow___ControlFlowVisitor___control_flow_ctx__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 57, LOCATE_control_flow___ControlFlowVisitor___control_flow_ctx__eq};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- ATTR_control_flow___ControlFlowVisitor____control_flow_ctx( self) /*ControlFlowVisitor::_control_flow_ctx*/ = param0;
- tracehead = trace.prev;
- return;
+val_t control_flow___VariableContext_____bra(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 25;
+ fra.me.meth = LOCATE_control_flow___VariableContext_____bra;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____dico(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:29 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_dico");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 29);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = ATTR_control_flow___VariableContext____dico(fra.me.REG[0]);
+ REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____dico(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:30 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_dico");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 30);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_control_flow___VariableContext____dico(fra.me.REG[0]);
+ fra.me.REG[1] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ goto label1;
+ } else {
+ fra.me.REG[1] = NIT_NULL;
+ /* ./syntax//control_flow.nit:32 */
+ goto label1;
+ }
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[1];
}
-void control_flow___ControlFlowVisitor___check_is_set(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, NULL, 60, LOCATE_control_flow___ControlFlowVisitor___check_is_set};
- val_t variable[11];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- variable[4] = ((control_flow___Variable___must_be_set_t)CALL( variable[2] /*v*/,COLOR_control_flow___Variable___must_be_set))( variable[2] /*v*/) /*Variable::must_be_set*/;
- variable[5] = variable[4];
- if (UNTAG_Bool(variable[5])) { /* and */
- variable[5] = variable[0];
- variable[5] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL(variable[5],COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))(variable[5]) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[5] = ((control_flow___ControlFlowContext___is_set_t)CALL(variable[5],COLOR_control_flow___ControlFlowContext___is_set))(variable[5], variable[2] /*v*/) /*ControlFlowContext::is_set*/;
- variable[5] = TAG_Bool(!UNTAG_Bool(variable[5]));
- }
- variable[4] = variable[5];
- if (UNTAG_Bool(variable[4])) { /*if*/
- variable[4] = variable[0];
- variable[5] = NEW_String_string___String___init(); /*new String*/
- variable[6] = NEW_String_string___String___with_native(BOX_NativeString("Error: variable '"), TAG_Int(17)); /*new String*/
- variable[7] = variable[6];
- ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[7]) /*String::append*/;
- variable[8] = variable[2] /*v*/;
- variable[8] = ((string___String___to_s_t)CALL(variable[8],COLOR_string___Object___to_s))(variable[8]) /*String::to_s*/;
- ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[8]) /*String::append*/;
- variable[9] = NEW_String_string___String___with_native(BOX_NativeString("' is possibly unset."), TAG_Int(20)); /*new String*/
- variable[10] = variable[9];
- ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[10]) /*String::append*/;
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL(variable[4],COLOR_syntax_base___AbsSyntaxVisitor___error))(variable[4], variable[1] /*n*/, variable[5]) /*AbsSyntaxVisitor::error*/;
- variable[5] = variable[0];
- variable[5] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL(variable[5],COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))(variable[5]) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[4] = variable[5];
- while (true) { /*while*/
- variable[5] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[4] /*cfc*/ == NIT_NULL /*null*/) || (( variable[4] /*cfc*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[4] /*cfc*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[4] /*cfc*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[4] /*cfc*/,COLOR_kernel___Object_____eqeq))( variable[4] /*cfc*/, NIT_NULL /*null*/) /*Object::==*/)))))));
- if (!UNTAG_Bool(variable[5])) break; /* while*/
- variable[5] = variable[0];
- variable[6] = NEW_String_string___String___with_native(BOX_NativeString("cfc: "), TAG_Int(5)); /*new String*/
- variable[7] = ((control_flow___ControlFlowContext___set_variables_t)CALL( variable[4] /*cfc*/,COLOR_control_flow___ControlFlowContext___set_variables))( variable[4] /*cfc*/) /*ControlFlowContext::set_variables*/;
- variable[8] = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)); /*new String*/
- variable[7] = ((string___Collection___join_t)CALL(variable[7],COLOR_string___Collection___join))(variable[7], variable[8]) /*Collection::join*/;
- variable[6] = ((string___String_____plus_t)CALL(variable[6],COLOR_string___String_____plus))(variable[6], variable[7]) /*String::+*/;
- ((file___Object___print_t)CALL(variable[5],COLOR_file___Object___print))(variable[5], variable[6]) /*Object::print*/;
- variable[5] = ((control_flow___ControlFlowContext___prev_t)CALL( variable[4] /*cfc*/,COLOR_control_flow___ControlFlowContext___prev))( variable[4] /*cfc*/) /*ControlFlowContext::prev*/;
- variable[4] = variable[5] /*cfc=*/;
- continue_5: while(0);
+void control_flow___VariableContext___add(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ static val_t once_value_1; /* Once value */
+ static val_t once_value_2; /* Once value */
+ static val_t once_value_3; /* Once value */
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 36;
+ fra.me.meth = LOCATE_control_flow___VariableContext___add;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 7;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[4] = NIT_NULL;
+ fra.me.REG[5] = NIT_NULL;
+ fra.me.REG[6] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = CALL_syntax_base___Variable___name(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[2] = CALL_control_flow___VariableContext_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
+ REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ /* ./syntax//control_flow.nit:40 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+ REGB0 = REGB1;
}
- break_5: while(0);
}
- return_label4: while(false);
- tracehead = trace.prev;
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:41 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_visitor");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 41);
+ nit_exit(1);
+ }
+ fra.me.REG[3] = ATTR_control_flow___VariableContext____visitor(fra.me.REG[0]);
+ fra.me.REG[4] = CALL_syntax_base___Variable___decl(fra.me.REG[1])(fra.me.REG[1]);
+ REGB0 = TAG_Int(5);
+ fra.me.REG[5] = NEW_Array_array___Array___with_capacity(REGB0);
+ if (!once_value_1) {
+ fra.me.REG[6] = BOX_NativeString("Error: '");
+ REGB0 = TAG_Int(8);
+ fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB0);
+ once_value_1 = fra.me.REG[6];
+ register_static_object(&once_value_1);
+ } else fra.me.REG[6] = once_value_1;
+ array___Array___add(fra.me.REG[5], fra.me.REG[6]);
+ fra.me.REG[6] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
+ array___Array___add(fra.me.REG[5], fra.me.REG[6]);
+ if (!once_value_2) {
+ fra.me.REG[6] = BOX_NativeString("' already defined at ");
+ REGB0 = TAG_Int(21);
+ fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB0);
+ once_value_2 = fra.me.REG[6];
+ register_static_object(&once_value_2);
+ } else fra.me.REG[6] = once_value_2;
+ array___Array___add(fra.me.REG[5], fra.me.REG[6]);
+ REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ fprintf(stderr, "Reciever is null");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 41);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = CALL_syntax_base___Variable___decl(fra.me.REG[2])(fra.me.REG[2]);
+ REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ fprintf(stderr, "Reciever is null");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 41);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = CALL_parser_nodes___ANode___location(fra.me.REG[2])(fra.me.REG[2]);
+ fra.me.REG[6] = CALL_syntax_base___Variable___decl(fra.me.REG[1])(fra.me.REG[1]);
+ REGB0 = TAG_Bool(fra.me.REG[6]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ fprintf(stderr, "Reciever is null");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 41);
+ nit_exit(1);
+ }
+ fra.me.REG[6] = CALL_parser_nodes___ANode___location(fra.me.REG[6])(fra.me.REG[6]);
+ fra.me.REG[6] = CALL_location___Location___relative_to(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[6]);
+ array___Array___add(fra.me.REG[5], fra.me.REG[6]);
+ if (!once_value_3) {
+ fra.me.REG[6] = BOX_NativeString(".");
+ REGB0 = TAG_Int(1);
+ fra.me.REG[6] = NEW_String_string___String___with_native(fra.me.REG[6], REGB0);
+ once_value_3 = fra.me.REG[6];
+ register_static_object(&once_value_3);
+ } else fra.me.REG[6] = once_value_3;
+ array___Array___add(fra.me.REG[5], fra.me.REG[6]);
+ fra.me.REG[5] = CALL_string___Object___to_s(fra.me.REG[5])(fra.me.REG[5]);
+ CALL_syntax_base___AbsSyntaxVisitor___error(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4], fra.me.REG[5]);
+ }
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____dico(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:43 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_dico");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 43);
+ nit_exit(1);
+ }
+ fra.me.REG[5] = ATTR_control_flow___VariableContext____dico(fra.me.REG[0]);
+ fra.me.REG[4] = CALL_syntax_base___Variable___name(fra.me.REG[1])(fra.me.REG[1]);
+ CALL_abstract_collection___Map_____braeq(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4], fra.me.REG[1]);
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:44 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_all_variables");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 44);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0]);
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ stack_frame_head = fra.me.prev;
return;
}
-void control_flow___ControlFlowVisitor___mark_is_set(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 72, LOCATE_control_flow___ControlFlowVisitor___mark_is_set};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- variable[3] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL(variable[3],COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))(variable[3]) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[3] = ((control_flow___ControlFlowContext___set_variables_t)CALL(variable[3],COLOR_control_flow___ControlFlowContext___set_variables))(variable[3]) /*ControlFlowContext::set_variables*/;
- ((hash___HashSet___add_t)CALL(variable[3],COLOR_abstract_collection___SimpleCollection___add))(variable[3], variable[1] /*v*/) /*HashSet::add*/;
- return_label6: while(false);
- tracehead = trace.prev;
+void control_flow___VariableContext___mark_is_set(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 47;
+ fra.me.meth = LOCATE_control_flow___VariableContext___mark_is_set;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:49 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_set_variables");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 49);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0]);
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ stack_frame_head = fra.me.prev;
return;
}
-void control_flow___ControlFlowVisitor___init(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, NULL, 77, LOCATE_control_flow___ControlFlowVisitor___init};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_ControlFlowVisitor].i]) return;
- ((syntax_base___AbsSyntaxVisitor___init_t)CALL(variable[0],COLOR_syntax_base___AbsSyntaxVisitor___init))(variable[0], variable[1], variable[2], init_table /*YYY*/) /*AbsSyntaxVisitor::init*/;
- return_label7: while(false);
- init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_ControlFlowVisitor].i] = 1;
- tracehead = trace.prev;
+void control_flow___VariableContext___check_is_set(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ static val_t once_value_1; /* Once value */
+ static val_t once_value_2; /* Once value */
+ static val_t once_value_3; /* Once value */
+ static val_t once_value_4; /* Once value */
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 52;
+ fra.me.meth = LOCATE_control_flow___VariableContext___check_is_set;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 6;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[4] = NIT_NULL;
+ fra.me.REG[5] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ REGB0 = CALL_control_flow___Variable___must_be_set(fra.me.REG[2])(fra.me.REG[2]);
+ /* ./syntax//control_flow.nit:54 */
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:55 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_visitor");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 55);
+ nit_exit(1);
+ }
+ fra.me.REG[3] = ATTR_control_flow___VariableContext____visitor(fra.me.REG[0]);
+ REGB0 = TAG_Int(3);
+ fra.me.REG[4] = NEW_Array_array___Array___with_capacity(REGB0);
+ if (!once_value_1) {
+ fra.me.REG[5] = BOX_NativeString("Error: variable '");
+ REGB0 = TAG_Int(17);
+ fra.me.REG[5] = NEW_String_string___String___with_native(fra.me.REG[5], REGB0);
+ once_value_1 = fra.me.REG[5];
+ register_static_object(&once_value_1);
+ } else fra.me.REG[5] = once_value_1;
+ array___Array___add(fra.me.REG[4], fra.me.REG[5]);
+ fra.me.REG[5] = CALL_string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
+ array___Array___add(fra.me.REG[4], fra.me.REG[5]);
+ if (!once_value_2) {
+ fra.me.REG[5] = BOX_NativeString("' is possibly unset.");
+ REGB0 = TAG_Int(20);
+ fra.me.REG[5] = NEW_String_string___String___with_native(fra.me.REG[5], REGB0);
+ once_value_2 = fra.me.REG[5];
+ register_static_object(&once_value_2);
+ } else fra.me.REG[5] = once_value_2;
+ array___Array___add(fra.me.REG[4], fra.me.REG[5]);
+ fra.me.REG[4] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
+ CALL_syntax_base___AbsSyntaxVisitor___error(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1], fra.me.REG[4]);
+ } else {
+ REGB0 = CALL_syntax_base___Variable___is_typed(fra.me.REG[2])(fra.me.REG[2]);
+ /* ./syntax//control_flow.nit:56 */
+ if (UNTAG_Bool(REGB0)) {
+ fra.me.REG[4] = CALL_control_flow___VariableContext___stype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
+ REGB0 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[4])(fra.me.REG[4], NIT_NULL);
+ REGB0 = REGB1;
+ }
+ }
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:57 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_visitor");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 57);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_control_flow___VariableContext____visitor(fra.me.REG[0]);
+ REGB0 = TAG_Int(3);
+ fra.me.REG[4] = NEW_Array_array___Array___with_capacity(REGB0);
+ if (!once_value_3) {
+ fra.me.REG[3] = BOX_NativeString("Error: variable '");
+ REGB0 = TAG_Int(17);
+ fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB0);
+ once_value_3 = fra.me.REG[3];
+ register_static_object(&once_value_3);
+ } else fra.me.REG[3] = once_value_3;
+ array___Array___add(fra.me.REG[4], fra.me.REG[3]);
+ fra.me.REG[2] = CALL_string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
+ array___Array___add(fra.me.REG[4], fra.me.REG[2]);
+ if (!once_value_4) {
+ fra.me.REG[2] = BOX_NativeString("' is untyped.");
+ REGB0 = TAG_Int(13);
+ fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0);
+ once_value_4 = fra.me.REG[2];
+ register_static_object(&once_value_4);
+ } else fra.me.REG[2] = once_value_4;
+ array___Array___add(fra.me.REG[4], fra.me.REG[2]);
+ fra.me.REG[4] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
+ CALL_syntax_base___AbsSyntaxVisitor___error(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[4]);
+ }
+ }
+ stack_frame_head = fra.me.prev;
return;
}
-val_t control_flow___ControlFlowContext___prev(val_t self) {
- struct trace_t trace = {NULL, NULL, 81, LOCATE_control_flow___ControlFlowContext___prev};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowContext____prev( self) /*ControlFlowContext::_prev*/;
-}
-val_t control_flow___ControlFlowContext___unreash(val_t self) {
- struct trace_t trace = {NULL, NULL, 84, LOCATE_control_flow___ControlFlowContext___unreash};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowContext____unreash( self) /*ControlFlowContext::_unreash*/;
+val_t control_flow___VariableContext___stype(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 61;
+ fra.me.meth = LOCATE_control_flow___VariableContext___stype;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:65 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stypes");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 65);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = ATTR_control_flow___VariableContext____stypes(fra.me.REG[0]);
+ REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:66 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stypes");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 66);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_control_flow___VariableContext____stypes(fra.me.REG[0]);
+ fra.me.REG[0] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ goto label1;
+ } else {
+ fra.me.REG[1] = CALL_syntax_base___Variable___stype(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[0] = fra.me.REG[1];
+ /* ./syntax//control_flow.nit:68 */
+ goto label1;
+ }
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-void control_flow___ControlFlowContext___unreash__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 84, LOCATE_control_flow___ControlFlowContext___unreash__eq};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- ATTR_control_flow___ControlFlowContext____unreash( self) /*ControlFlowContext::_unreash*/ = param0;
- tracehead = trace.prev;
+void control_flow___VariableContext___stype__eq(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 72;
+ fra.me.meth = LOCATE_control_flow___VariableContext___stype__eq;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:76 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stypes");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 76);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_control_flow___VariableContext____stypes(fra.me.REG[0]);
+ CALL_abstract_collection___Map_____braeq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2]);
+ stack_frame_head = fra.me.prev;
return;
}
-val_t control_flow___ControlFlowContext___already_unreash(val_t self) {
- struct trace_t trace = {NULL, NULL, 87, LOCATE_control_flow___ControlFlowContext___already_unreash};
- val_t *variable = NULL;
- void **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*/;
+val_t control_flow___VariableContext___sub(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 88;
+ fra.me.meth = LOCATE_control_flow___VariableContext___sub;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[1] = NEW_SubVariableContext_control_flow___SubVariableContext___with_prev(fra.me.REG[0], fra.me.REG[1]);
+ /* ./syntax//control_flow.nit:91 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[1];
}
-void control_flow___ControlFlowContext___already_unreash__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 87, LOCATE_control_flow___ControlFlowContext___already_unreash__eq};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- ATTR_control_flow___ControlFlowContext____already_unreash( self) /*ControlFlowContext::_already_unreash*/ = param0;
- tracehead = trace.prev;
- return;
+val_t control_flow___VariableContext___sub_with(val_t p0, val_t p1, val_t p2, val_t p3){
+ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 94;
+ fra.me.meth = LOCATE_control_flow___VariableContext___sub_with;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 4;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ fra.me.REG[3] = p3;
+ fra.me.REG[1] = CALL_control_flow___VariableContext___sub(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ /* ./syntax//control_flow.nit:98 */
+ CALL_control_flow___VariableContext___stype__eq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2], fra.me.REG[3]);
+ /* ./syntax//control_flow.nit:99 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[1];
}
-val_t control_flow___ControlFlowContext___base_block(val_t self) {
- struct trace_t trace = {NULL, NULL, 91, LOCATE_control_flow___ControlFlowContext___base_block};
- val_t *variable = NULL;
- void **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*/;
+val_t control_flow___VariableContext___node(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 105;
+ fra.me.meth = LOCATE_control_flow___VariableContext___node;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____node(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:105 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_node");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 105);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_control_flow___VariableContext____node(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-void control_flow___ControlFlowContext___base_block__eq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 91, LOCATE_control_flow___ControlFlowContext___base_block__eq};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- ATTR_control_flow___ControlFlowContext____base_block( self) /*ControlFlowContext::_base_block*/ = param0;
- tracehead = trace.prev;
+void control_flow___VariableContext___init(val_t p0, val_t p1, val_t p2, int* init_table){
+ int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_VariableContext].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t tmp;
+ if (init_table[itpos0]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 108;
+ fra.me.meth = LOCATE_control_flow___VariableContext___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ /* ./syntax//control_flow.nit:110 */
+ ATTR_control_flow___VariableContext____visitor(fra.me.REG[0]) = fra.me.REG[1];
+ /* ./syntax//control_flow.nit:111 */
+ ATTR_control_flow___VariableContext____node(fra.me.REG[0]) = fra.me.REG[2];
+ fra.me.REG[2] = NEW_HashMap_hash_collection___HashMap___init();
+ /* ./syntax//control_flow.nit:112 */
+ ATTR_control_flow___VariableContext____dico(fra.me.REG[0]) = fra.me.REG[2];
+ stack_frame_head = fra.me.prev;
+ init_table[itpos0] = 1;
return;
}
-val_t control_flow___ControlFlowContext___set_variables(val_t self) {
- struct trace_t trace = {NULL, NULL, 94, LOCATE_control_flow___ControlFlowContext___set_variables};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- tracehead = trace.prev;
- return ATTR_control_flow___ControlFlowContext____set_variables( self) /*ControlFlowContext::_set_variables*/;
-}
-val_t control_flow___ControlFlowContext___is_set(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 97, LOCATE_control_flow___ControlFlowContext___is_set};
- val_t variable[6];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- variable[3] = ATTR_control_flow___ControlFlowContext____set_variables(variable[3]) /*ControlFlowContext::_set_variables*/;
- variable[3] = ((hash___HashSet___has_t)CALL(variable[3],COLOR_abstract_collection___Collection___has))(variable[3], variable[1] /*v*/) /*HashSet::has*/;
- variable[4] = variable[3];
- if (!UNTAG_Bool(variable[4])) { /* or */
- variable[4] = variable[0];
- variable[4] = ATTR_control_flow___ControlFlowContext____prev(variable[4]) /*ControlFlowContext::_prev*/;
- variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[4] == NIT_NULL /*null*/) || ((variable[4] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[4], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))(variable[4], NIT_NULL /*null*/) /*Object::==*/)))))));
- variable[5] = variable[4];
- if (UNTAG_Bool(variable[5])) { /* and */
- variable[5] = variable[0];
- variable[5] = ATTR_control_flow___ControlFlowContext____prev(variable[5]) /*ControlFlowContext::_prev*/;
- variable[5] = ((control_flow___ControlFlowContext___is_set_t)CALL(variable[5],COLOR_control_flow___ControlFlowContext___is_set))(variable[5], variable[1] /*v*/) /*ControlFlowContext::is_set*/;
- }
- variable[4] = variable[5];
- }
- variable[3] = variable[4];
- variable[2] = variable[3];
- goto return_label8;
- return_label8: while(false);
- tracehead = trace.prev;
- return variable[2];
-}
-val_t control_flow___ControlFlowContext___sub(val_t self) {
- struct trace_t trace = {NULL, NULL, 103, LOCATE_control_flow___ControlFlowContext___sub};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[2] = variable[0];
- variable[3] = NEW_ControlFlowContext_control_flow___ControlFlowContext___with_prev(variable[2]); /*new ControlFlowContext*/
- variable[2] = variable[3];
- variable[1] = variable[2];
- goto return_label9;
- return_label9: while(false);
- tracehead = trace.prev;
- return variable[1];
-}
-void control_flow___ControlFlowContext___init(val_t self, int* init_table) {
- struct trace_t trace = {NULL, NULL, 108, LOCATE_control_flow___ControlFlowContext___init};
- val_t variable[2];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_ControlFlowContext].i]) return;
- return_label10: while(false);
- init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_ControlFlowContext].i] = 1;
- tracehead = trace.prev;
- return;
+val_t control_flow___VariableContext___unreash(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 115;
+ fra.me.meth = LOCATE_control_flow___VariableContext___unreash;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____unreash(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:115 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_unreash");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 115);
+ nit_exit(1);
+ }
+ REGB0 = ATTR_control_flow___VariableContext____unreash(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-void control_flow___ControlFlowContext___with_prev(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, NULL, 112, LOCATE_control_flow___ControlFlowContext___with_prev};
- val_t variable[5];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_ControlFlowContext].i]) return;
- variable[3] = variable[0];
- ATTR_control_flow___ControlFlowContext____prev(variable[3]) /*ControlFlowContext::_prev*/ = variable[1] /*p*/;
- variable[3] = variable[0];
- variable[4] = ((control_flow___ControlFlowContext___unreash_t)CALL( variable[1] /*p*/,COLOR_control_flow___ControlFlowContext___unreash))( variable[1] /*p*/) /*ControlFlowContext::unreash*/;
- ATTR_control_flow___ControlFlowContext____unreash(variable[3]) /*ControlFlowContext::_unreash*/ = variable[4];
- variable[3] = variable[0];
- variable[4] = ((control_flow___ControlFlowContext___already_unreash_t)CALL( variable[1] /*p*/,COLOR_control_flow___ControlFlowContext___already_unreash))( variable[1] /*p*/) /*ControlFlowContext::already_unreash*/;
- ATTR_control_flow___ControlFlowContext____already_unreash(variable[3]) /*ControlFlowContext::_already_unreash*/ = variable[4];
- variable[3] = variable[0];
- variable[4] = ((control_flow___ControlFlowContext___base_block_t)CALL( variable[1] /*p*/,COLOR_control_flow___ControlFlowContext___base_block))( variable[1] /*p*/) /*ControlFlowContext::base_block*/;
- ATTR_control_flow___ControlFlowContext____base_block(variable[3]) /*ControlFlowContext::_base_block*/ = variable[4];
- return_label11: while(false);
- init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_ControlFlowContext].i] = 1;
- tracehead = trace.prev;
+void control_flow___VariableContext___unreash__eq(val_t p0, val_t p1){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 115;
+ fra.me.meth = LOCATE_control_flow___VariableContext___unreash__eq;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = p1;
+ /* ./syntax//control_flow.nit:115 */
+ ATTR_control_flow___VariableContext____unreash(fra.me.REG[0]) = REGB0;
+ stack_frame_head = fra.me.prev;
return;
}
-void control_flow___PNode___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 124, LOCATE_control_flow___PNode___accept_control_flow};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- ((syntax_base___PNode___accept_abs_syntax_visitor_t)CALL(variable[3],COLOR_syntax_base___PNode___accept_abs_syntax_visitor))(variable[3], variable[1] /*v*/) /*PNode::accept_abs_syntax_visitor*/;
- return_label12: while(false);
- tracehead = trace.prev;
- return;
+val_t control_flow___VariableContext___already_unreash(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 118;
+ fra.me.meth = LOCATE_control_flow___VariableContext___already_unreash;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____already_unreash(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:118 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_already_unreash");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 118);
+ nit_exit(1);
+ }
+ REGB0 = ATTR_control_flow___VariableContext____already_unreash(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-void control_flow___AMethPropdef___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 131, LOCATE_control_flow___AMethPropdef___accept_control_flow};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = NEW_ControlFlowContext_control_flow___ControlFlowContext___init(); /*new ControlFlowContext*/
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable[1] /*v*/, variable[3]) /*ControlFlowVisitor::control_flow_ctx=*/;
- ((control_flow___AMethPropdef___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AMethPropdef___accept_control_flow))(variable[0], variable[1]) /*super AMethPropdef::accept_control_flow*/;
- return_label13: while(false);
- tracehead = trace.prev;
+void control_flow___VariableContext___already_unreash__eq(val_t p0, val_t p1){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 118;
+ fra.me.meth = LOCATE_control_flow___VariableContext___already_unreash__eq;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = p1;
+ /* ./syntax//control_flow.nit:118 */
+ ATTR_control_flow___VariableContext____already_unreash(fra.me.REG[0]) = REGB0;
+ stack_frame_head = fra.me.prev;
return;
}
-void control_flow___AConcreteMethPropdef___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 139, LOCATE_control_flow___AConcreteMethPropdef___accept_control_flow};
- val_t variable[5];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- ((control_flow___AConcreteMethPropdef___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AConcreteMethPropdef___accept_control_flow))(variable[0], variable[1]) /*super AConcreteMethPropdef::accept_control_flow*/;
- variable[3] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[3] = ((control_flow___ControlFlowContext___unreash_t)CALL(variable[3],COLOR_control_flow___ControlFlowContext___unreash))(variable[3]) /*ControlFlowContext::unreash*/;
- variable[3] = TAG_Bool((variable[3])==( TAG_Bool(false)));
- variable[4] = variable[3];
- if (UNTAG_Bool(variable[4])) { /* and */
- variable[4] = variable[0];
- variable[4] = ((syntax_base___AMethPropdef___method_t)CALL(variable[4],COLOR_syntax_base___AMethPropdef___method))(variable[4]) /*AMethPropdef::method*/;
- variable[4] = ((static_type___MMLocalProperty___signature_t)CALL(variable[4],COLOR_static_type___MMLocalProperty___signature))(variable[4]) /*MMLocalProperty::signature*/;
- variable[4] = ((static_type___MMSignature___return_type_t)CALL(variable[4],COLOR_static_type___MMSignature___return_type))(variable[4]) /*MMSignature::return_type*/;
- variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[4] == NIT_NULL /*null*/) || ((variable[4] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[4], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))(variable[4], NIT_NULL /*null*/) /*Object::==*/)))))));
- }
- variable[3] = variable[4];
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[3] = variable[0];
- variable[4] = NEW_String_string___String___with_native(BOX_NativeString("Control error: Reached end of function (a 'return' with a value was expected)."), TAG_Int(78)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL( variable[1] /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error))( variable[1] /*v*/, variable[3], variable[4]) /*AbsSyntaxVisitor::error*/;
- }
- return_label14: while(false);
- tracehead = trace.prev;
- return;
+val_t control_flow___VariableContext___set_variables(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 122;
+ fra.me.meth = LOCATE_control_flow___VariableContext___set_variables;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:122 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_set_variables");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 122);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-void control_flow___AVardeclExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 149, LOCATE_control_flow___AVardeclExpr___accept_control_flow};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- ((control_flow___AVardeclExpr___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AVardeclExpr___accept_control_flow))(variable[0], variable[1]) /*super AVardeclExpr::accept_control_flow*/;
- variable[3] = variable[0];
- variable[3] = ((parser_nodes___AVardeclExpr___n_expr_t)CALL(variable[3],COLOR_parser_nodes___AVardeclExpr___n_expr))(variable[3]) /*AVardeclExpr::n_expr*/;
- variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3], NIT_NULL /*null*/) /*Object::==*/)))))));
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[3] = variable[0];
- variable[3] = ((syntax_base___AVardeclExpr___variable_t)CALL(variable[3],COLOR_syntax_base___AVardeclExpr___variable))(variable[3]) /*AVardeclExpr::variable*/;
- ((control_flow___ControlFlowVisitor___mark_is_set_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___mark_is_set))( variable[1] /*v*/, variable[3]) /*ControlFlowVisitor::mark_is_set*/;
- }
- return_label15: while(false);
- tracehead = trace.prev;
- return;
+val_t control_flow___VariableContext___is_set(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 125;
+ fra.me.meth = LOCATE_control_flow___VariableContext___is_set;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:128 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_set_variables");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 128);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0]);
+ REGB0 = CALL_abstract_collection___Collection___has(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-void control_flow___ABlockExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 157, LOCATE_control_flow___ABlockExpr___accept_control_flow};
- val_t variable[8];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- variable[3] = ((parser_nodes___ABlockExpr___n_expr_t)CALL(variable[3],COLOR_parser_nodes___ABlockExpr___n_expr))(variable[3]) /*ABlockExpr::n_expr*/;
- variable[3] = ((list___List___iterator_t)CALL(variable[3],COLOR_abstract_collection___Collection___iterator))(variable[3]) /*List::iterator*/;
- while (true) { /*for*/
- variable[4] = ((list___ListIterator___is_ok_t)CALL(variable[3],COLOR_abstract_collection___Iterator___is_ok))(variable[3]) /*ListIterator::is_ok*/;
- if (!UNTAG_Bool(variable[4])) break; /*for*/
- variable[4] = ((list___ListIterator___item_t)CALL(variable[3],COLOR_abstract_collection___Iterator___item))(variable[3]) /*ListIterator::item*/;
- variable[5] = variable[4];
- variable[6] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[6] = ((control_flow___ControlFlowContext___unreash_t)CALL(variable[6],COLOR_control_flow___ControlFlowContext___unreash))(variable[6]) /*ControlFlowContext::unreash*/;
- variable[7] = variable[6];
- if (UNTAG_Bool(variable[7])) { /* and */
- variable[7] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[7] = ((control_flow___ControlFlowContext___already_unreash_t)CALL(variable[7],COLOR_control_flow___ControlFlowContext___already_unreash))(variable[7]) /*ControlFlowContext::already_unreash*/;
- variable[7] = TAG_Bool(!UNTAG_Bool(variable[7]));
+void control_flow___VariableContext___merge(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 131;
+ fra.me.meth = LOCATE_control_flow___VariableContext___merge;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 6;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[4] = NIT_NULL;
+ fra.me.REG[5] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = CALL_control_flow___VariableContext___unreash(fra.me.REG[1])(fra.me.REG[1]);
+ /* ./syntax//control_flow.nit:134 */
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(true);
+ /* ./syntax//control_flow.nit:135 */
+ CALL_control_flow___VariableContext___unreash__eq(fra.me.REG[0])(fra.me.REG[0], REGB0);
+ REGB0 = CALL_control_flow___VariableContext___already_unreash(fra.me.REG[1])(fra.me.REG[1]);
+ /* ./syntax//control_flow.nit:136 */
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(true);
+ CALL_control_flow___VariableContext___already_unreash__eq(fra.me.REG[0])(fra.me.REG[0], REGB0);
}
- variable[6] = variable[7];
- if (UNTAG_Bool(variable[6])) { /*if*/
- variable[6] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___already_unreash__eq_t)CALL(variable[6],COLOR_control_flow___ControlFlowContext___already_unreash__eq))(variable[6], TAG_Bool(true)) /*ControlFlowContext::already_unreash=*/;
- variable[6] = NEW_String_string___String___with_native(BOX_NativeString("Warning: unreachable statement."), TAG_Int(31)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___warning_t)CALL( variable[1] /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___warning))( variable[1] /*v*/, variable[5] /*e*/, variable[6]) /*AbsSyntaxVisitor::warning*/;
+ /* ./syntax//control_flow.nit:137 */
+ goto label1;
+ }
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:139 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_all_variables");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 139);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0]);
+ fra.me.REG[2] = CALL_abstract_collection___Collection___iterator(fra.me.REG[2])(fra.me.REG[2]);
+ while(1) {
+ REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[2])(fra.me.REG[2]);
+ if (UNTAG_Bool(REGB0)) {
+ fra.me.REG[3] = CALL_abstract_collection___Iterator___item(fra.me.REG[2])(fra.me.REG[2]);
+ REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ /* ./syntax//control_flow.nit:140 */
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ /* ./syntax//control_flow.nit:141 */
+ CALL_control_flow___VariableContext___mark_is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
+ }
+ fra.me.REG[4] = CALL_control_flow___VariableContext___stype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
+ fra.me.REG[5] = CALL_control_flow___VariableContext___stype(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
+ REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[5],fra.me.REG[4]));
+ /* ./syntax//control_flow.nit:145 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4]);
+ REGB0 = REGB1;
+ }
+ }
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ if (UNTAG_Bool(REGB0)) {
+ CALL_control_flow___VariableContext___stype__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3], fra.me.REG[5]);
+ }
+ } else {
+ /* ./syntax//control_flow.nit:139 */
+ goto label2;
}
- ((control_flow___ControlFlowVisitor___visit_t)CALL( variable[1] /*v*/,COLOR_parser_prod___Visitor___visit))( variable[1] /*v*/, variable[5] /*e*/) /*ControlFlowVisitor::visit*/;
- continue_17: while(0);
- ((list___ListIterator___next_t)CALL(variable[3],COLOR_abstract_collection___Iterator___next))(variable[3]) /*ListIterator::next*/;
+ CALL_abstract_collection___Iterator___next(fra.me.REG[2])(fra.me.REG[2]);
}
- break_17: while(0);
- return_label16: while(false);
- tracehead = trace.prev;
- return;
-}
-void control_flow___AReturnExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 170, LOCATE_control_flow___AReturnExpr___accept_control_flow};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- ((control_flow___AReturnExpr___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AReturnExpr___accept_control_flow))(variable[0], variable[1]) /*super AReturnExpr::accept_control_flow*/;
- variable[3] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL(variable[3],COLOR_control_flow___ControlFlowContext___unreash__eq))(variable[3], TAG_Bool(true)) /*ControlFlowContext::unreash=*/;
- return_label18: while(false);
- tracehead = trace.prev;
- return;
-}
-val_t control_flow___ABlockControler___block(val_t self) {
- struct trace_t trace = {NULL, NULL, 179, LOCATE_control_flow___ABlockControler___block};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- tracehead = trace.prev;
- return ATTR_control_flow___ABlockControler____block( self) /*ABlockControler::_block*/;
-}
-void control_flow___ABreakExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 184, LOCATE_control_flow___ABreakExpr___accept_control_flow};
- val_t variable[6];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- ((control_flow___ABreakExpr___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___ABreakExpr___accept_control_flow))(variable[0], variable[1]) /*super ABreakExpr::accept_control_flow*/;
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[4] = ((control_flow___ControlFlowContext___base_block_t)CALL(variable[4],COLOR_control_flow___ControlFlowContext___base_block))(variable[4]) /*ControlFlowContext::base_block*/;
- variable[3] = variable[4];
- variable[4] = TAG_Bool(( variable[3] /*block*/ == NIT_NULL /*null*/) || (( variable[3] /*block*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[3] /*block*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*block*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[3] /*block*/,COLOR_kernel___Object_____eqeq))( variable[3] /*block*/, NIT_NULL /*null*/) /*Object::==*/)))));
- if (UNTAG_Bool(variable[4])) { /*if*/
- variable[4] = variable[0];
- variable[5] = NEW_String_string___String___with_native(BOX_NativeString("Syntax Error: 'break' statment outside block."), TAG_Int(45)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL( variable[1] /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error))( variable[1] /*v*/, variable[4], variable[5]) /*AbsSyntaxVisitor::error*/;
- goto return_label19;
- }
- variable[4] = variable[0];
- ATTR_control_flow___ABlockControler____block(variable[4]) /*ABlockControler::_block*/ = variable[3] /*block*/;
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL(variable[4],COLOR_control_flow___ControlFlowContext___unreash__eq))(variable[4], TAG_Bool(true)) /*ControlFlowContext::unreash=*/;
- return_label19: while(false);
- tracehead = trace.prev;
- return;
-}
-void control_flow___AContinueExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 198, LOCATE_control_flow___AContinueExpr___accept_control_flow};
- val_t variable[6];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- ((control_flow___AContinueExpr___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AContinueExpr___accept_control_flow))(variable[0], variable[1]) /*super AContinueExpr::accept_control_flow*/;
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[4] = ((control_flow___ControlFlowContext___base_block_t)CALL(variable[4],COLOR_control_flow___ControlFlowContext___base_block))(variable[4]) /*ControlFlowContext::base_block*/;
- variable[3] = variable[4];
- variable[4] = TAG_Bool(( variable[3] /*block*/ == NIT_NULL /*null*/) || (( variable[3] /*block*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[3] /*block*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*block*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[3] /*block*/,COLOR_kernel___Object_____eqeq))( variable[3] /*block*/, NIT_NULL /*null*/) /*Object::==*/)))));
- if (UNTAG_Bool(variable[4])) { /*if*/
- variable[4] = variable[0];
- variable[5] = NEW_String_string___String___with_native(BOX_NativeString("Syntax Error: 'continue' outside block."), TAG_Int(39)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL( variable[1] /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error))( variable[1] /*v*/, variable[4], variable[5]) /*AbsSyntaxVisitor::error*/;
- goto return_label20;
- }
- variable[4] = variable[0];
- ATTR_control_flow___ABlockControler____block(variable[4]) /*ABlockControler::_block*/ = variable[3] /*block*/;
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL(variable[4],COLOR_control_flow___ControlFlowContext___unreash__eq))(variable[4], TAG_Bool(true)) /*ControlFlowContext::unreash=*/;
- return_label20: while(false);
- tracehead = trace.prev;
+ label2: while(0);
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
return;
}
-void control_flow___AAbortExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 212, LOCATE_control_flow___AAbortExpr___accept_control_flow};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- ((control_flow___AAbortExpr___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AAbortExpr___accept_control_flow))(variable[0], variable[1]) /*super AAbortExpr::accept_control_flow*/;
- variable[3] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL(variable[3],COLOR_control_flow___ControlFlowContext___unreash__eq))(variable[3], TAG_Bool(true)) /*ControlFlowContext::unreash=*/;
- return_label21: while(false);
- tracehead = trace.prev;
- return;
-}
-void control_flow___AClosureCallExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 220, LOCATE_control_flow___AClosureCallExpr___accept_control_flow};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- ((control_flow___AClosureCallExpr___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AClosureCallExpr___accept_control_flow))(variable[0], variable[1]) /*super AClosureCallExpr::accept_control_flow*/;
- variable[3] = variable[0];
- variable[3] = ((syntax_base___AClosureCallExpr___variable_t)CALL(variable[3],COLOR_syntax_base___AClosureCallExpr___variable))(variable[3]) /*AClosureCallExpr::variable*/;
- variable[3] = ((syntax_base___ClosureVariable___closure_t)CALL(variable[3],COLOR_syntax_base___ClosureVariable___closure))(variable[3]) /*ClosureVariable::closure*/;
- variable[3] = ((static_type___MMClosure___is_break_t)CALL(variable[3],COLOR_static_type___MMClosure___is_break))(variable[3]) /*MMClosure::is_break*/;
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[3] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL(variable[3],COLOR_control_flow___ControlFlowContext___unreash__eq))(variable[3], TAG_Bool(true)) /*ControlFlowContext::unreash=*/;
- }
- return_label22: while(false);
- tracehead = trace.prev;
- return;
-}
-void control_flow___AIfExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 228, LOCATE_control_flow___AIfExpr___accept_control_flow};
- val_t variable[9];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- variable[3] = ((parser_nodes___AIfExpr___n_expr_t)CALL(variable[3],COLOR_parser_nodes___AIfExpr___n_expr))(variable[3]) /*AIfExpr::n_expr*/;
- ((control_flow___ControlFlowVisitor___visit_t)CALL( variable[1] /*v*/,COLOR_parser_prod___Visitor___visit))( variable[1] /*v*/, variable[3]) /*ControlFlowVisitor::visit*/;
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[3] = variable[4];
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[4] = ((control_flow___ControlFlowContext___sub_t)CALL(variable[4],COLOR_control_flow___ControlFlowContext___sub))(variable[4]) /*ControlFlowContext::sub*/;
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable[1] /*v*/, variable[4]) /*ControlFlowVisitor::control_flow_ctx=*/;
- variable[4] = variable[0];
- variable[4] = ((parser_nodes___AIfExpr___n_then_t)CALL(variable[4],COLOR_parser_nodes___AIfExpr___n_then))(variable[4]) /*AIfExpr::n_then*/;
- ((control_flow___ControlFlowVisitor___visit_t)CALL( variable[1] /*v*/,COLOR_parser_prod___Visitor___visit))( variable[1] /*v*/, variable[4]) /*ControlFlowVisitor::visit*/;
- variable[4] = variable[0];
- variable[4] = ((parser_nodes___AIfExpr___n_else_t)CALL(variable[4],COLOR_parser_nodes___AIfExpr___n_else))(variable[4]) /*AIfExpr::n_else*/;
- variable[4] = TAG_Bool((variable[4] == NIT_NULL /*null*/) || ((variable[4] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[4], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))(variable[4], NIT_NULL /*null*/) /*Object::==*/)))));
- if (UNTAG_Bool(variable[4])) { /*if*/
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable[1] /*v*/, variable[3] /*old_control_flow_ctx*/) /*ControlFlowVisitor::control_flow_ctx=*/;
- } else { /*if*/
- variable[5] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[4] = variable[5];
- variable[5] = ((control_flow___ControlFlowContext___sub_t)CALL( variable[3] /*old_control_flow_ctx*/,COLOR_control_flow___ControlFlowContext___sub))( variable[3] /*old_control_flow_ctx*/) /*ControlFlowContext::sub*/;
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable[1] /*v*/, variable[5]) /*ControlFlowVisitor::control_flow_ctx=*/;
- variable[5] = variable[0];
- variable[5] = ((parser_nodes___AIfExpr___n_else_t)CALL(variable[5],COLOR_parser_nodes___AIfExpr___n_else))(variable[5]) /*AIfExpr::n_else*/;
- ((control_flow___ControlFlowVisitor___visit_t)CALL( variable[1] /*v*/,COLOR_parser_prod___Visitor___visit))( variable[1] /*v*/, variable[5]) /*ControlFlowVisitor::visit*/;
- variable[5] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[5] = ((control_flow___ControlFlowContext___unreash_t)CALL(variable[5],COLOR_control_flow___ControlFlowContext___unreash))(variable[5]) /*ControlFlowContext::unreash*/;
- variable[6] = variable[5];
- if (UNTAG_Bool(variable[6])) { /* and */
- variable[6] = ((control_flow___ControlFlowContext___unreash_t)CALL( variable[4] /*then_control_flow_ctx*/,COLOR_control_flow___ControlFlowContext___unreash))( variable[4] /*then_control_flow_ctx*/) /*ControlFlowContext::unreash*/;
+void control_flow___VariableContext___merge2(val_t p0, val_t p1, val_t p2, val_t p3){
+ struct {struct stack_frame_t me; val_t MORE_REG[8];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 149;
+ fra.me.meth = LOCATE_control_flow___VariableContext___merge2;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 9;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[4] = NIT_NULL;
+ fra.me.REG[5] = NIT_NULL;
+ fra.me.REG[6] = NIT_NULL;
+ fra.me.REG[7] = NIT_NULL;
+ fra.me.REG[8] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ fra.me.REG[3] = p3;
+ REGB0 = CALL_control_flow___VariableContext___unreash(fra.me.REG[1])(fra.me.REG[1]);
+ /* ./syntax//control_flow.nit:152 */
+ if (UNTAG_Bool(REGB0)) {
+ /* ./syntax//control_flow.nit:153 */
+ CALL_control_flow___VariableContext___merge(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
+ } else {
+ REGB0 = CALL_control_flow___VariableContext___unreash(fra.me.REG[2])(fra.me.REG[2]);
+ /* ./syntax//control_flow.nit:154 */
+ if (UNTAG_Bool(REGB0)) {
+ /* ./syntax//control_flow.nit:155 */
+ CALL_control_flow___VariableContext___merge(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
}
- variable[5] = variable[6];
- ((control_flow___ControlFlowContext___unreash__eq_t)CALL( variable[3] /*old_control_flow_ctx*/,COLOR_control_flow___ControlFlowContext___unreash__eq))( variable[3] /*old_control_flow_ctx*/, variable[5]) /*ControlFlowContext::unreash=*/;
- variable[5] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[5] = ((control_flow___ControlFlowContext___unreash_t)CALL(variable[5],COLOR_control_flow___ControlFlowContext___unreash))(variable[5]) /*ControlFlowContext::unreash*/;
- if (UNTAG_Bool(variable[5])) { /*if*/
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable[1] /*v*/, variable[4] /*then_control_flow_ctx*/) /*ControlFlowVisitor::control_flow_ctx=*/;
- }
- variable[5] = ((control_flow___ControlFlowContext___unreash_t)CALL( variable[4] /*then_control_flow_ctx*/,COLOR_control_flow___ControlFlowContext___unreash))( variable[4] /*then_control_flow_ctx*/) /*ControlFlowContext::unreash*/;
- if (UNTAG_Bool(variable[5])) { /*if*/
- variable[5] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[4] = variable[5] /*then_control_flow_ctx=*/;
- }
- variable[5] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[5] = ((control_flow___ControlFlowContext___set_variables_t)CALL(variable[5],COLOR_control_flow___ControlFlowContext___set_variables))(variable[5]) /*ControlFlowContext::set_variables*/;
- variable[5] = ((hash___HashSet___iterator_t)CALL(variable[5],COLOR_abstract_collection___Collection___iterator))(variable[5]) /*HashSet::iterator*/;
- while (true) { /*for*/
- variable[6] = ((abstract_collection___Iterator___is_ok_t)CALL(variable[5],COLOR_abstract_collection___Iterator___is_ok))(variable[5]) /*Iterator::is_ok*/;
- if (!UNTAG_Bool(variable[6])) break; /*for*/
- variable[6] = ((abstract_collection___Iterator___item_t)CALL(variable[5],COLOR_abstract_collection___Iterator___item))(variable[5]) /*Iterator::item*/;
- variable[7] = variable[6];
- variable[8] = ((control_flow___ControlFlowContext___is_set_t)CALL( variable[4] /*then_control_flow_ctx*/,COLOR_control_flow___ControlFlowContext___is_set))( variable[4] /*then_control_flow_ctx*/, variable[7] /*variable*/) /*ControlFlowContext::is_set*/;
- if (UNTAG_Bool(variable[8])) { /*if*/
- variable[8] = ((control_flow___ControlFlowContext___set_variables_t)CALL( variable[3] /*old_control_flow_ctx*/,COLOR_control_flow___ControlFlowContext___set_variables))( variable[3] /*old_control_flow_ctx*/) /*ControlFlowContext::set_variables*/;
- ((hash___HashSet___add_t)CALL(variable[8],COLOR_abstract_collection___SimpleCollection___add))(variable[8], variable[7] /*variable*/) /*HashSet::add*/;
+ }
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:157 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_all_variables");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 157);
+ nit_exit(1);
+ }
+ fra.me.REG[4] = ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0]);
+ fra.me.REG[4] = CALL_abstract_collection___Collection___iterator(fra.me.REG[4])(fra.me.REG[4]);
+ while(1) {
+ REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[4])(fra.me.REG[4]);
+ if (UNTAG_Bool(REGB0)) {
+ fra.me.REG[5] = CALL_abstract_collection___Iterator___item(fra.me.REG[4])(fra.me.REG[4]);
+ REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5]);
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ /* ./syntax//control_flow.nit:158 */
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[5]);
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = CALL_control_flow___VariableContext___is_set(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ /* ./syntax//control_flow.nit:159 */
+ CALL_control_flow___VariableContext___mark_is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5]);
+ }
+ fra.me.REG[6] = CALL_control_flow___VariableContext___stype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5]);
+ fra.me.REG[7] = CALL_control_flow___VariableContext___stype(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[5]);
+ fra.me.REG[8] = CALL_control_flow___VariableContext___stype(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
+ REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[7],fra.me.REG[6]));
+ /* ./syntax//control_flow.nit:165 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[6]);
+ REGB0 = REGB1;
+ }
+ }
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[8],fra.me.REG[6]));
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[8])(fra.me.REG[8], fra.me.REG[6]);
+ REGB0 = REGB1;
+ }
+ }
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB0 = TAG_Bool(IS_EQUAL_NN(fra.me.REG[7],fra.me.REG[8]));
+ /* ./syntax//control_flow.nit:167 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[8]);
+ REGB0 = REGB1;
+ }
+ }
+ if (UNTAG_Bool(REGB0)) {
+ /* ./syntax//control_flow.nit:168 */
+ CALL_control_flow___VariableContext___stype__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5], fra.me.REG[7]);
+ } else {
+ REGB0 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
+ /* ./syntax//control_flow.nit:169 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[8])(fra.me.REG[8], NIT_NULL);
+ REGB0 = REGB1;
+ }
+ }
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(true);
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ fprintf(stderr, "Reciever is null");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 169);
+ nit_exit(1);
+ }
+ REGB1 = CALL_static_type___MMType_____l(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[8]);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ /* ./syntax//control_flow.nit:170 */
+ CALL_control_flow___VariableContext___stype__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5], fra.me.REG[8]);
+ } else {
+ REGB0 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
+ /* ./syntax//control_flow.nit:171 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[7])(fra.me.REG[7], NIT_NULL);
+ REGB0 = REGB1;
+ }
+ }
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(true);
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ fprintf(stderr, "Reciever is null");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 171);
+ nit_exit(1);
+ }
+ REGB1 = CALL_static_type___MMType_____l(fra.me.REG[8])(fra.me.REG[8], fra.me.REG[7]);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ /* ./syntax//control_flow.nit:172 */
+ CALL_control_flow___VariableContext___stype__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5], fra.me.REG[7]);
+ } else {
+ fra.me.REG[7] = CALL_control_flow___VariableContext___stype(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
+ /* ./syntax//control_flow.nit:174 */
+ CALL_control_flow___VariableContext___stype__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[5], fra.me.REG[7]);
+ }
+ }
+ }
}
- continue_24: while(0);
- ((abstract_collection___Iterator___next_t)CALL(variable[5],COLOR_abstract_collection___Iterator___next))(variable[5]) /*Iterator::next*/;
+ } else {
+ /* ./syntax//control_flow.nit:157 */
+ goto label1;
}
- break_24: while(0);
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable[1] /*v*/, variable[3] /*old_control_flow_ctx*/) /*ControlFlowVisitor::control_flow_ctx=*/;
+ CALL_abstract_collection___Iterator___next(fra.me.REG[4])(fra.me.REG[4]);
}
- return_label23: while(false);
- tracehead = trace.prev;
- return;
-}
-void control_flow___AControlableBlock___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 265, LOCATE_control_flow___AControlableBlock___accept_control_flow};
- val_t variable[6];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[3] = variable[4];
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[4] = ((control_flow___ControlFlowContext___sub_t)CALL(variable[4],COLOR_control_flow___ControlFlowContext___sub))(variable[4]) /*ControlFlowContext::sub*/;
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable[1] /*v*/, variable[4]) /*ControlFlowVisitor::control_flow_ctx=*/;
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[5] = variable[0];
- ((control_flow___ControlFlowContext___base_block__eq_t)CALL(variable[4],COLOR_control_flow___ControlFlowContext___base_block__eq))(variable[4], variable[5]) /*ControlFlowContext::base_block=*/;
- ((control_flow___AControlableBlock___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AControlableBlock___accept_control_flow))(variable[0], variable[1]) /*super AControlableBlock::accept_control_flow*/;
- variable[4] = variable[0];
- ((control_flow___AControlableBlock___check_control_flow_t)CALL(variable[4],COLOR_control_flow___AControlableBlock___check_control_flow))(variable[4], variable[1] /*v*/) /*AControlableBlock::check_control_flow*/;
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable[1] /*v*/, variable[3] /*old_control_flow_ctx*/) /*ControlFlowVisitor::control_flow_ctx=*/;
- return_label25: while(false);
- tracehead = trace.prev;
- return;
-}
-void control_flow___AControlableBlock___check_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 283, LOCATE_control_flow___AControlableBlock___check_control_flow};
- val_t variable[3];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- return_label26: while(false);
- tracehead = trace.prev;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
return;
}
-void control_flow___AVarExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 295, LOCATE_control_flow___AVarExpr___accept_control_flow};
- val_t variable[5];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- ((control_flow___AVarExpr___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AVarExpr___accept_control_flow))(variable[0], variable[1]) /*super AVarExpr::accept_control_flow*/;
- variable[3] = variable[0];
- variable[4] = variable[0];
- variable[4] = ((syntax_base___AVarFormExpr___variable_t)CALL(variable[4],COLOR_syntax_base___AVarFormExpr___variable))(variable[4]) /*AVarFormExpr::variable*/;
- ((control_flow___ControlFlowVisitor___check_is_set_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___check_is_set))( variable[1] /*v*/, variable[3], variable[4]) /*ControlFlowVisitor::check_is_set*/;
- return_label27: while(false);
- tracehead = trace.prev;
+void control_flow___RootVariableContext___init(val_t p0, val_t p1, val_t p2, int* init_table){
+ int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_RootVariableContext].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+ val_t tmp;
+ if (init_table[itpos1]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 194;
+ fra.me.meth = LOCATE_control_flow___RootVariableContext___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 4;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ fra.me.REG[3] = fra.me.REG[0];
+ /* ./syntax//control_flow.nit:196 */
+ CALL_control_flow___VariableContext___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2], init_table);
+ fra.me.REG[2] = NEW_HashSet_hash_collection___HashSet___init();
+ /* ./syntax//control_flow.nit:197 */
+ ATTR_control_flow___VariableContext____all_variables(fra.me.REG[3]) = fra.me.REG[2];
+ stack_frame_head = fra.me.prev;
+ init_table[itpos1] = 1;
return;
}
-void control_flow___AVarAssignExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 303, LOCATE_control_flow___AVarAssignExpr___accept_control_flow};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- ((control_flow___AVarAssignExpr___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AVarAssignExpr___accept_control_flow))(variable[0], variable[1]) /*super AVarAssignExpr::accept_control_flow*/;
- variable[3] = variable[0];
- variable[3] = ((syntax_base___AVarFormExpr___variable_t)CALL(variable[3],COLOR_syntax_base___AVarFormExpr___variable))(variable[3]) /*AVarFormExpr::variable*/;
- ((control_flow___ControlFlowVisitor___mark_is_set_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___mark_is_set))( variable[1] /*v*/, variable[3]) /*ControlFlowVisitor::mark_is_set*/;
- return_label28: while(false);
- tracehead = trace.prev;
- return;
+val_t control_flow___SubVariableContext_____bra(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 205;
+ fra.me.meth = LOCATE_control_flow___SubVariableContext_____bra;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____dico(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:207 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_dico");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 207);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = ATTR_control_flow___VariableContext____dico(fra.me.REG[0]);
+ REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____dico(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:208 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_dico");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 208);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = ATTR_control_flow___VariableContext____dico(fra.me.REG[0]);
+ fra.me.REG[2] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+ goto label1;
+ } else {
+ fra.me.REG[0] = CALL_control_flow___SubVariableContext___prev(fra.me.REG[0])(fra.me.REG[0]);
+ fra.me.REG[1] = CALL_control_flow___VariableContext_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ fra.me.REG[2] = fra.me.REG[1];
+ /* ./syntax//control_flow.nit:210 */
+ goto label1;
+ }
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[2];
}
-void control_flow___AVarReassignExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 311, LOCATE_control_flow___AVarReassignExpr___accept_control_flow};
- val_t variable[5];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- ((control_flow___AVarReassignExpr___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AVarReassignExpr___accept_control_flow))(variable[0], variable[1]) /*super AVarReassignExpr::accept_control_flow*/;
- variable[3] = variable[0];
- variable[4] = variable[0];
- variable[4] = ((syntax_base___AVarFormExpr___variable_t)CALL(variable[4],COLOR_syntax_base___AVarFormExpr___variable))(variable[4]) /*AVarFormExpr::variable*/;
- ((control_flow___ControlFlowVisitor___check_is_set_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___check_is_set))( variable[1] /*v*/, variable[3], variable[4]) /*ControlFlowVisitor::check_is_set*/;
- variable[3] = variable[0];
- variable[3] = ((syntax_base___AVarFormExpr___variable_t)CALL(variable[3],COLOR_syntax_base___AVarFormExpr___variable))(variable[3]) /*AVarFormExpr::variable*/;
- ((control_flow___ControlFlowVisitor___mark_is_set_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___mark_is_set))( variable[1] /*v*/, variable[3]) /*ControlFlowVisitor::mark_is_set*/;
- return_label29: while(false);
- tracehead = trace.prev;
- return;
+val_t control_flow___SubVariableContext___stype(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 214;
+ fra.me.meth = LOCATE_control_flow___SubVariableContext___stype;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:216 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stypes");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 216);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = ATTR_control_flow___VariableContext____stypes(fra.me.REG[0]);
+ REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____stypes(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:217 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stypes");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 217);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = ATTR_control_flow___VariableContext____stypes(fra.me.REG[0]);
+ fra.me.REG[2] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+ goto label1;
+ } else {
+ fra.me.REG[0] = CALL_control_flow___SubVariableContext___prev(fra.me.REG[0])(fra.me.REG[0]);
+ fra.me.REG[1] = CALL_control_flow___VariableContext___stype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ fra.me.REG[2] = fra.me.REG[1];
+ /* ./syntax//control_flow.nit:219 */
+ goto label1;
+ }
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[2];
}
-void control_flow___AClosureDecl___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 320, LOCATE_control_flow___AClosureDecl___accept_control_flow};
- val_t variable[6];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- variable[3] = ((parser_nodes___AClosureDecl___n_expr_t)CALL(variable[3],COLOR_parser_nodes___AClosureDecl___n_expr))(variable[3]) /*AClosureDecl::n_expr*/;
- variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3], NIT_NULL /*null*/) /*Object::==*/)))))));
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[3] = variable[4];
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[4] = ((control_flow___ControlFlowContext___sub_t)CALL(variable[4],COLOR_control_flow___ControlFlowContext___sub))(variable[4]) /*ControlFlowContext::sub*/;
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable[1] /*v*/, variable[4]) /*ControlFlowVisitor::control_flow_ctx=*/;
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[5] = variable[0];
- variable[5] = ((parser_nodes___AClosureDecl___n_expr_t)CALL(variable[5],COLOR_parser_nodes___AClosureDecl___n_expr))(variable[5]) /*AClosureDecl::n_expr*/;
- ((control_flow___ControlFlowContext___base_block__eq_t)CALL(variable[4],COLOR_control_flow___ControlFlowContext___base_block__eq))(variable[4], variable[5]) /*ControlFlowContext::base_block=*/;
- ((control_flow___AClosureDecl___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AClosureDecl___accept_control_flow))(variable[0], variable[1]) /*super AClosureDecl::accept_control_flow*/;
- variable[4] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[4] = ((control_flow___ControlFlowContext___unreash_t)CALL(variable[4],COLOR_control_flow___ControlFlowContext___unreash))(variable[4]) /*ControlFlowContext::unreash*/;
- variable[4] = TAG_Bool((variable[4])==( TAG_Bool(false)));
- if (UNTAG_Bool(variable[4])) { /*if*/
- variable[4] = variable[0];
- variable[4] = ((syntax_base___PClosureDecl___variable_t)CALL(variable[4],COLOR_syntax_base___PClosureDecl___variable))(variable[4]) /*PClosureDecl::variable*/;
- variable[4] = ((syntax_base___ClosureVariable___closure_t)CALL(variable[4],COLOR_syntax_base___ClosureVariable___closure))(variable[4]) /*ClosureVariable::closure*/;
- variable[4] = ((static_type___MMClosure___signature_t)CALL(variable[4],COLOR_static_type___MMClosure___signature))(variable[4]) /*MMClosure::signature*/;
- variable[4] = ((static_type___MMSignature___return_type_t)CALL(variable[4],COLOR_static_type___MMSignature___return_type))(variable[4]) /*MMSignature::return_type*/;
- variable[4] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[4] == NIT_NULL /*null*/) || ((variable[4] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[4], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[4],COLOR_kernel___Object_____eqeq))(variable[4], NIT_NULL /*null*/) /*Object::==*/)))))));
- if (UNTAG_Bool(variable[4])) { /*if*/
- variable[4] = variable[0];
- variable[5] = NEW_String_string___String___with_native(BOX_NativeString("Control error: Reached end of bloc (a 'continue' with a value was expected)."), TAG_Int(76)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL( variable[1] /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error))( variable[1] /*v*/, variable[4], variable[5]) /*AbsSyntaxVisitor::error*/;
- } else { /*if*/
- variable[4] = variable[0];
- variable[4] = ((syntax_base___PClosureDecl___variable_t)CALL(variable[4],COLOR_syntax_base___PClosureDecl___variable))(variable[4]) /*PClosureDecl::variable*/;
- variable[4] = ((syntax_base___ClosureVariable___closure_t)CALL(variable[4],COLOR_syntax_base___ClosureVariable___closure))(variable[4]) /*ClosureVariable::closure*/;
- variable[4] = ((static_type___MMClosure___is_break_t)CALL(variable[4],COLOR_static_type___MMClosure___is_break))(variable[4]) /*MMClosure::is_break*/;
- if (UNTAG_Bool(variable[4])) { /*if*/
- variable[4] = variable[0];
- variable[5] = NEW_String_string___String___with_native(BOX_NativeString("Control error: Reached end of break bloc (an 'abort' was expected)."), TAG_Int(67)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL( variable[1] /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error))( variable[1] /*v*/, variable[4], variable[5]) /*AbsSyntaxVisitor::error*/;
- }
- }
+val_t control_flow___SubVariableContext___is_set(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 230;
+ fra.me.meth = LOCATE_control_flow___SubVariableContext___is_set;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:232 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_set_variables");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 232);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = ATTR_control_flow___VariableContext____set_variables(fra.me.REG[0]);
+ REGB0 = CALL_abstract_collection___Collection___has(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(true);
+ } else {
+ REGB1 = TAG_Bool(ATTR_control_flow___SubVariableContext____prev(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_prev");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 232);
+ nit_exit(1);
}
- ((control_flow___ControlFlowVisitor___control_flow_ctx__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx__eq))( variable[1] /*v*/, variable[3] /*old_control_flow_ctx*/) /*ControlFlowVisitor::control_flow_ctx=*/;
+ fra.me.REG[0] = ATTR_control_flow___SubVariableContext____prev(fra.me.REG[0]);
+ REGB1 = CALL_control_flow___VariableContext___is_set(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ REGB0 = REGB1;
}
- return_label30: while(false);
- tracehead = trace.prev;
- return;
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-void control_flow___AClosureDef___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 345, LOCATE_control_flow___AClosureDef___accept_control_flow};
- val_t variable[6];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- variable[3] = ((syntax_base___PClosureDef___variables_t)CALL(variable[3],COLOR_syntax_base___PClosureDef___variables))(variable[3]) /*PClosureDef::variables*/;
- variable[3] = ((array___AbstractArray___iterator_t)CALL(variable[3],COLOR_abstract_collection___Collection___iterator))(variable[3]) /*AbstractArray::iterator*/;
- while (true) { /*for*/
- variable[4] = ((array___ArrayIterator___is_ok_t)CALL(variable[3],COLOR_abstract_collection___Iterator___is_ok))(variable[3]) /*ArrayIterator::is_ok*/;
- if (!UNTAG_Bool(variable[4])) break; /*for*/
- variable[4] = ((array___ArrayIterator___item_t)CALL(variable[3],COLOR_abstract_collection___Iterator___item))(variable[3]) /*ArrayIterator::item*/;
- variable[5] = variable[4];
- ((control_flow___ControlFlowVisitor___mark_is_set_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___mark_is_set))( variable[1] /*v*/, variable[5] /*va*/) /*ControlFlowVisitor::mark_is_set*/;
- continue_32: while(0);
- ((array___ArrayIterator___next_t)CALL(variable[3],COLOR_abstract_collection___Iterator___next))(variable[3]) /*ArrayIterator::next*/;
- }
- break_32: while(0);
- ((control_flow___AClosureDef___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AClosureDef___accept_control_flow))(variable[0], variable[1]) /*super AClosureDef::accept_control_flow*/;
- return_label31: while(false);
- tracehead = trace.prev;
- return;
+val_t control_flow___SubVariableContext___prev(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 203;
+ fra.me.meth = LOCATE_control_flow___SubVariableContext___prev;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = TAG_Bool(ATTR_control_flow___SubVariableContext____prev(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:203 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_prev");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 203);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_control_flow___SubVariableContext____prev(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-void control_flow___AClosureDef___check_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 351, LOCATE_control_flow___AClosureDef___check_control_flow};
- val_t variable[5];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = ((control_flow___ControlFlowVisitor___control_flow_ctx_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___control_flow_ctx))( variable[1] /*v*/) /*ControlFlowVisitor::control_flow_ctx*/;
- variable[3] = ((control_flow___ControlFlowContext___unreash_t)CALL(variable[3],COLOR_control_flow___ControlFlowContext___unreash))(variable[3]) /*ControlFlowContext::unreash*/;
- variable[3] = TAG_Bool((variable[3])==( TAG_Bool(false)));
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[3] = variable[0];
- variable[3] = ((syntax_base___PClosureDef___closure_t)CALL(variable[3],COLOR_syntax_base___PClosureDef___closure))(variable[3]) /*PClosureDef::closure*/;
- variable[3] = ((static_type___MMClosure___signature_t)CALL(variable[3],COLOR_static_type___MMClosure___signature))(variable[3]) /*MMClosure::signature*/;
- variable[3] = ((static_type___MMSignature___return_type_t)CALL(variable[3],COLOR_static_type___MMSignature___return_type))(variable[3]) /*MMSignature::return_type*/;
- variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[3],COLOR_kernel___Object_____eqeq))(variable[3], NIT_NULL /*null*/) /*Object::==*/)))))));
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[3] = variable[0];
- variable[4] = NEW_String_string___String___with_native(BOX_NativeString("Control error: Reached end of bloc (a 'continue' with a value was expected)."), TAG_Int(76)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL( variable[1] /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error))( variable[1] /*v*/, variable[3], variable[4]) /*AbsSyntaxVisitor::error*/;
- } else { /*if*/
- variable[3] = variable[0];
- variable[3] = ((syntax_base___PClosureDef___closure_t)CALL(variable[3],COLOR_syntax_base___PClosureDef___closure))(variable[3]) /*PClosureDef::closure*/;
- variable[3] = ((static_type___MMClosure___is_break_t)CALL(variable[3],COLOR_static_type___MMClosure___is_break))(variable[3]) /*MMClosure::is_break*/;
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[3] = variable[0];
- variable[4] = NEW_String_string___String___with_native(BOX_NativeString("Control error: Reached end of break bloc (a 'break' was expected)."), TAG_Int(66)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___error_t)CALL( variable[1] /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error))( variable[1] /*v*/, variable[3], variable[4]) /*AbsSyntaxVisitor::error*/;
- }
- }
+void control_flow___SubVariableContext___with_prev(val_t p0, val_t p1, val_t p2, int* init_table){
+ int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_SubVariableContext].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+ val_t REGB0;
+ val_t tmp;
+ if (init_table[itpos2]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 223;
+ fra.me.meth = LOCATE_control_flow___SubVariableContext___with_prev;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 4;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____visitor(fra.me.REG[1])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:225 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_visitor");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 225);
+ nit_exit(1);
}
- return_label33: while(false);
- tracehead = trace.prev;
+ fra.me.REG[3] = ATTR_control_flow___VariableContext____visitor(fra.me.REG[1]);
+ CALL_control_flow___VariableContext___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3], fra.me.REG[2], init_table);
+ /* ./syntax//control_flow.nit:226 */
+ ATTR_control_flow___SubVariableContext____prev(fra.me.REG[0]) = fra.me.REG[1];
+ REGB0 = TAG_Bool(ATTR_control_flow___VariableContext____all_variables(fra.me.REG[1])!=NIT_NULL);
+ /* ./syntax//control_flow.nit:227 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_all_variables");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_control_flow, 227);
+ nit_exit(1);
+ }
+ fra.me.REG[1] = ATTR_control_flow___VariableContext____all_variables(fra.me.REG[1]);
+ ATTR_control_flow___VariableContext____all_variables(fra.me.REG[0]) = fra.me.REG[1];
+ stack_frame_head = fra.me.prev;
+ init_table[itpos2] = 1;
return;
}
-void control_flow___AOnceExpr___accept_control_flow(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 364, LOCATE_control_flow___AOnceExpr___accept_control_flow};
- val_t variable[5];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_control_flow;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = ((control_flow___ControlFlowVisitor___once_count_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___once_count))( variable[1] /*v*/) /*ControlFlowVisitor::once_count*/;
- variable[3] = TAG_Bool(UNTAG_Int(variable[3])>UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[3] = variable[0];
- variable[4] = NEW_String_string___String___with_native(BOX_NativeString("Useless once in a once expression."), TAG_Int(34)); /*new String*/
- ((syntax_base___AbsSyntaxVisitor___warning_t)CALL( variable[1] /*v*/,COLOR_syntax_base___AbsSyntaxVisitor___warning))( variable[1] /*v*/, variable[3], variable[4]) /*AbsSyntaxVisitor::warning*/;
- }
- variable[3] = ((control_flow___ControlFlowVisitor___once_count_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___once_count))( variable[1] /*v*/) /*ControlFlowVisitor::once_count*/;
- variable[3] = TAG_Int(UNTAG_Int(variable[3])+UNTAG_Int( TAG_Int(1)));
- ((control_flow___ControlFlowVisitor___once_count__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___once_count__eq))( variable[1] /*v*/, variable[3]) /*ControlFlowVisitor::once_count=*/;
- ((control_flow___AOnceExpr___accept_control_flow_t)CALL(variable[0],COLOR_SUPER_control_flow___AOnceExpr___accept_control_flow))(variable[0], variable[1]) /*super AOnceExpr::accept_control_flow*/;
- variable[3] = ((control_flow___ControlFlowVisitor___once_count_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___once_count))( variable[1] /*v*/) /*ControlFlowVisitor::once_count*/;
- variable[3] = TAG_Int(UNTAG_Int(variable[3])-UNTAG_Int( TAG_Int(1)));
- ((control_flow___ControlFlowVisitor___once_count__eq_t)CALL( variable[1] /*v*/,COLOR_control_flow___ControlFlowVisitor___once_count__eq))( variable[1] /*v*/, variable[3]) /*ControlFlowVisitor::once_count=*/;
- return_label34: while(false);
- tracehead = trace.prev;
- return;
+val_t control_flow___Variable___must_be_set(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 237;
+ fra.me.meth = LOCATE_control_flow___Variable___must_be_set;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = TAG_Bool(false);
+ /* ./syntax//control_flow.nit:238 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
+}
+val_t control_flow___VarVariable___must_be_set(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_control_flow;
+ fra.me.line = 242;
+ fra.me.meth = LOCATE_control_flow___VarVariable___must_be_set;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = TAG_Bool(true);
+ /* ./syntax//control_flow.nit:242 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
nitlanguage / nit.git / blobdiff