/* This C file is generated by NIT to compile module escape. */
#include "escape._sep.h"
-void escape___EscapableContext___push(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 27, LOCATE_escape___EscapableContext___push};
- val_t variable[4];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- /* Register variable[2]: Method return value and escape marker */
- /* Register variable[3]: Result */
- variable[3] = ATTR_escape___EscapableContext____stack(variable[0]) /*EscapableContext::_stack*/;
- CALL_abstract_collection___IndexedCollection___push(variable[3])(variable[3], variable[1] /*block*/) /*AbstractArray::push*/;
- return_label0: while(false);
- tracehead = trace.prev;
+void escape___EscapableContext___push(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me; val_t MORE_REG[8];} 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_escape;
+ fra.me.line = 32;
+ fra.me.meth = LOCATE_escape___EscapableContext___push;
+ 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;
+ REGB0 = TAG_Bool(ATTR_escape___EscapableContext____stack(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:36 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stack");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 36);
+ nit_exit(1);
+ }
+ fra.me.REG[3] = ATTR_escape___EscapableContext____stack(fra.me.REG[0]);
+ CALL_abstract_collection___Sequence___push(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
+ REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ /* ./syntax//escape.nit:37 */
+ 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;
+ }
+ }
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ /* ./syntax//escape.nit:38 */
+ if (UNTAG_Bool(REGB0)) {
+ fprintf(stderr, "Reciever is null");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 38);
+ nit_exit(1);
+ }
+ fra.me.REG[3] = CALL_parser_nodes___ALabel___n_id(fra.me.REG[2])(fra.me.REG[2]);
+ fra.me.REG[3] = CALL_syntax_base___Token___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
+ REGB0 = TAG_Bool(ATTR_escape___EscapableContext____labels(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:39 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_labels");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 39);
+ nit_exit(1);
+ }
+ fra.me.REG[4] = ATTR_escape___EscapableContext____labels(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 = TAG_Bool(IS_EQUAL_ON(fra.me.REG[5],fra.me.REG[2]));
+ /* ./syntax//escape.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], fra.me.REG[5]);
+ REGB0 = REGB1;
+ }
+ }
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ if (UNTAG_Bool(REGB0)) {
+ fra.me.REG[6] = CALL_parser_nodes___ALabel___n_id(fra.me.REG[5])(fra.me.REG[5]);
+ fra.me.REG[6] = CALL_syntax_base___Token___to_symbol(fra.me.REG[6])(fra.me.REG[6]);
+ REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[3],fra.me.REG[6]));
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[6]);
+ REGB0 = REGB1;
+ }
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ }
+ if (UNTAG_Bool(REGB0)) {
+ fra.me.REG[6] = CALL_escape___EscapableContext___visitor(fra.me.REG[0])(fra.me.REG[0]);
+ REGB0 = TAG_Int(5);
+ fra.me.REG[7] = NEW_Array_array___Array___with_capacity(REGB0);
+ /* ./syntax//escape.nit:41 */
+ if (!once_value_1) {
+ fra.me.REG[8] = BOX_NativeString("Syntax error: label ");
+ REGB0 = TAG_Int(20);
+ fra.me.REG[8] = NEW_String_string___String___with_native(fra.me.REG[8], REGB0);
+ once_value_1 = fra.me.REG[8];
+ register_static_object(&once_value_1);
+ } else fra.me.REG[8] = once_value_1;
+ array___Array___add(fra.me.REG[7], fra.me.REG[8]);
+ fra.me.REG[8] = CALL_string___Object___to_s(fra.me.REG[3])(fra.me.REG[3]);
+ array___Array___add(fra.me.REG[7], fra.me.REG[8]);
+ if (!once_value_2) {
+ fra.me.REG[8] = BOX_NativeString(" already defined at ");
+ REGB0 = TAG_Int(20);
+ fra.me.REG[8] = NEW_String_string___String___with_native(fra.me.REG[8], REGB0);
+ once_value_2 = fra.me.REG[8];
+ register_static_object(&once_value_2);
+ } else fra.me.REG[8] = once_value_2;
+ array___Array___add(fra.me.REG[7], fra.me.REG[8]);
+ fra.me.REG[5] = CALL_parser_nodes___ANode___location(fra.me.REG[5])(fra.me.REG[5]);
+ REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ fprintf(stderr, "Reciever is null");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 41);
+ nit_exit(1);
+ }
+ fra.me.REG[8] = CALL_parser_nodes___ANode___location(fra.me.REG[2])(fra.me.REG[2]);
+ fra.me.REG[8] = CALL_location___Location___relative_to(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[8]);
+ array___Array___add(fra.me.REG[7], fra.me.REG[8]);
+ if (!once_value_3) {
+ fra.me.REG[8] = BOX_NativeString(".");
+ REGB0 = TAG_Int(1);
+ fra.me.REG[8] = NEW_String_string___String___with_native(fra.me.REG[8], REGB0);
+ once_value_3 = fra.me.REG[8];
+ register_static_object(&once_value_3);
+ } else fra.me.REG[8] = once_value_3;
+ array___Array___add(fra.me.REG[7], fra.me.REG[8]);
+ fra.me.REG[7] = CALL_string___Object___to_s(fra.me.REG[7])(fra.me.REG[7]);
+ CALL_syntax_base___AbsSyntaxVisitor___error(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[2], fra.me.REG[7]);
+ /* ./syntax//escape.nit:42 */
+ goto label4;
+ }
+ } else {
+ /* ./syntax//escape.nit:39 */
+ goto label5;
+ }
+ CALL_abstract_collection___Iterator___next(fra.me.REG[4])(fra.me.REG[4]);
+ }
+ label5: while(0);
+ REGB0 = TAG_Bool(ATTR_escape___EscapableContext____labels(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:45 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_labels");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 45);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_escape___EscapableContext____labels(fra.me.REG[0]);
+ array___Array___add(fra.me.REG[0], fra.me.REG[2]);
+ /* ./syntax//escape.nit:46 */
+ ATTR_escape___EscapableBlock____lab(fra.me.REG[1]) = fra.me.REG[3];
+ }
+ label4: while(0);
+ stack_frame_head = fra.me.prev;
return;
}
-val_t escape___EscapableContext___is_empty(val_t self) {
- struct trace_t trace = {NULL, NULL, 33, LOCATE_escape___EscapableContext___is_empty};
- val_t variable[3];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Result */
- variable[2] = ATTR_escape___EscapableContext____stack(variable[0]) /*EscapableContext::_stack*/;
- /* Register variable[2]: Result */
- variable[2] = CALL_abstract_collection___Collection___is_empty(variable[2])(variable[2]) /*AbstractArrayRead::is_empty*/;
- variable[1] = variable[2];
- goto return_label1;
- return_label1: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t escape___EscapableContext___head(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t REGB2;
+ val_t REGB3;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 50;
+ fra.me.meth = LOCATE_escape___EscapableContext___head;
+ 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;
+ REGB0 = TAG_Bool(ATTR_escape___EscapableContext____stack(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:53 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stack");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 53);
+ nit_exit(1);
+ }
+ fra.me.REG[1] = ATTR_escape___EscapableContext____stack(fra.me.REG[0]);
+ REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+ /* ./../lib/standard//collection//array.nit:23 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_length");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_array, 23);
+ nit_exit(1);
+ }
+ REGB0 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+ REGB1 = TAG_Int(1);
+ REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
+ /* ./syntax//escape.nit:54 */
+ while(1) {
+ REGB0 = TAG_Int(0);
+ REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
+ /* ./syntax//escape.nit:54 */
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_escape___EscapableContext____stack(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:55 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stack");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 55);
+ nit_exit(1);
+ }
+ fra.me.REG[1] = ATTR_escape___EscapableContext____stack(fra.me.REG[0]);
+ REGB0 = REGB1;
+ REGB2 = TAG_Int(0);
+ REGB2 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB2));
+ /* ./../lib/standard//collection//array.nit:233 */
+ if (UNTAG_Bool(REGB2)) {
+ REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_length");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
+ nit_exit(1);
+ }
+ REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+ REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB2));
+ /* ./../lib/standard//collection//array.nit:233 */
+ } else {
+ REGB3 = TAG_Bool(false);
+ REGB2 = REGB3;
+ }
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ fprintf(stderr, "Assert %s failed", "'index'");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
+ nit_exit(1);
+ }
+ fra.me.REG[1] = ATTR_array___Array____items(fra.me.REG[1]);
+ REGB2 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+ /* ./../lib/standard//collection//array.nit:234 */
+ if (UNTAG_Bool(REGB2)) {
+ fprintf(stderr, "Reciever is null");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_array, 234);
+ nit_exit(1);
+ }
+ fra.me.REG[1] = ((Nit_NativeArray)fra.me.REG[1])->val[UNTAG_Int(REGB0)];
+ /* ./../lib/standard//collection//array.nit:234 */
+ goto label1;
+ label1: while(0);
+ REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], COLOR_BreakOnlyEscapableBlock, ID_BreakOnlyEscapableBlock)) /*cast BreakOnlyEscapableBlock*/;
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ /* ./syntax//escape.nit:56 */
+ if (UNTAG_Bool(REGB0)) {
+ goto label2;
+ }
+ REGB0 = TAG_Int(1);
+ REGB0 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB0));
+ REGB1 = REGB0;
+ /* ./syntax//escape.nit:57 */
+ } else {
+ /* ./syntax//escape.nit:54 */
+ goto label3;
+ }
+ }
+ label3: while(0);
+ fra.me.REG[1] = NIT_NULL;
+ /* ./syntax//escape.nit:59 */
+ goto label2;
+ label2: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[1];
}
-val_t escape___EscapableContext___head(val_t self) {
- struct trace_t trace = {NULL, NULL, 36, LOCATE_escape___EscapableContext___head};
- val_t variable[3];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Result */
- variable[2] = ATTR_escape___EscapableContext____stack(variable[0]) /*EscapableContext::_stack*/;
- /* Register variable[2]: Result */
- variable[2] = CALL_abstract_collection___IndexedCollectionRead___last(variable[2])(variable[2]) /*IndexedCollectionRead::last*/;
- variable[1] = variable[2];
- goto return_label2;
- return_label2: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t escape___EscapableContext___get_by_label(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 REGB2;
+ val_t REGB3;
+ val_t tmp;
+ static val_t once_value_4; /* Once value */
+ static val_t once_value_5; /* Once value */
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 62;
+ fra.me.meth = LOCATE_escape___EscapableContext___get_by_label;
+ 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 = TAG_Bool(ATTR_escape___EscapableContext____stack(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:66 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stack");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 66);
+ nit_exit(1);
+ }
+ fra.me.REG[2] = ATTR_escape___EscapableContext____stack(fra.me.REG[0]);
+ REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ /* ./../lib/standard//collection//array.nit:23 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_length");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_array, 23);
+ nit_exit(1);
+ }
+ REGB0 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ REGB1 = TAG_Int(1);
+ REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
+ fra.me.REG[2] = CALL_parser_nodes___ALabel___n_id(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[2] = CALL_syntax_base___Token___to_symbol(fra.me.REG[2])(fra.me.REG[2]);
+ /* ./syntax//escape.nit:69 */
+ while(1) {
+ REGB0 = TAG_Int(0);
+ REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
+ /* ./syntax//escape.nit:69 */
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(ATTR_escape___EscapableContext____stack(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:70 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stack");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 70);
+ nit_exit(1);
+ }
+ fra.me.REG[3] = ATTR_escape___EscapableContext____stack(fra.me.REG[0]);
+ REGB0 = REGB1;
+ REGB2 = TAG_Int(0);
+ REGB2 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB2));
+ /* ./../lib/standard//collection//array.nit:233 */
+ if (UNTAG_Bool(REGB2)) {
+ REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_length");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
+ nit_exit(1);
+ }
+ REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
+ REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB2));
+ /* ./../lib/standard//collection//array.nit:233 */
+ } else {
+ REGB3 = TAG_Bool(false);
+ REGB2 = REGB3;
+ }
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ fprintf(stderr, "Assert %s failed", "'index'");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_array, 233);
+ nit_exit(1);
+ }
+ fra.me.REG[3] = ATTR_array___Array____items(fra.me.REG[3]);
+ REGB2 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ /* ./../lib/standard//collection//array.nit:234 */
+ if (UNTAG_Bool(REGB2)) {
+ fprintf(stderr, "Reciever is null");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_array, 234);
+ nit_exit(1);
+ }
+ fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB0)];
+ /* ./../lib/standard//collection//array.nit:234 */
+ goto label1;
+ label1: while(0);
+ fra.me.REG[4] = CALL_escape___EscapableBlock___lab(fra.me.REG[3])(fra.me.REG[3]);
+ REGB0 = TAG_Bool(IS_EQUAL_ON(fra.me.REG[2],fra.me.REG[4]));
+ /* ./syntax//escape.nit:71 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB2 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ REGB2 = TAG_Bool(false);
+ REGB0 = REGB2;
+ } else {
+ REGB2 = CALL_kernel___Object_____eqeq(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]);
+ REGB0 = REGB2;
+ }
+ }
+ if (UNTAG_Bool(REGB0)) {
+ goto label2;
+ }
+ REGB0 = TAG_Int(1);
+ REGB0 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB0));
+ REGB1 = REGB0;
+ /* ./syntax//escape.nit:72 */
+ } else {
+ /* ./syntax//escape.nit:69 */
+ goto label3;
+ }
+ }
+ label3: while(0);
+ fra.me.REG[0] = CALL_escape___EscapableContext___visitor(fra.me.REG[0])(fra.me.REG[0]);
+ REGB1 = TAG_Int(3);
+ fra.me.REG[4] = NEW_Array_array___Array___with_capacity(REGB1);
+ /* ./syntax//escape.nit:74 */
+ if (!once_value_4) {
+ fra.me.REG[5] = BOX_NativeString("Syntax error: invalid label ");
+ REGB1 = TAG_Int(28);
+ fra.me.REG[5] = NEW_String_string___String___with_native(fra.me.REG[5], REGB1);
+ once_value_4 = fra.me.REG[5];
+ register_static_object(&once_value_4);
+ } else fra.me.REG[5] = once_value_4;
+ array___Array___add(fra.me.REG[4], fra.me.REG[5]);
+ 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_5) {
+ fra.me.REG[2] = BOX_NativeString(".");
+ REGB1 = TAG_Int(1);
+ fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB1);
+ once_value_5 = fra.me.REG[2];
+ register_static_object(&once_value_5);
+ } else fra.me.REG[2] = once_value_5;
+ 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]);
+ fra.me.REG[3] = NIT_NULL;
+ /* ./syntax//escape.nit:75 */
+ goto label2;
+ label2: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[3];
}
-void escape___EscapableContext___pop(val_t self) {
- struct trace_t trace = {NULL, NULL, 42, LOCATE_escape___EscapableContext___pop};
- val_t variable[4];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Local variable */
- /* Register variable[3]: Result */
- variable[3] = ATTR_escape___EscapableContext____stack(variable[0]) /*EscapableContext::_stack*/;
- /* Register variable[3]: Result */
- variable[3] = CALL_abstract_collection___IndexedCollection___pop(variable[3])(variable[3]) /*AbstractArray::pop*/;
- variable[2] = variable[3];
- return_label3: while(false);
- tracehead = trace.prev;
+void escape___EscapableContext___pop(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_escape;
+ fra.me.line = 78;
+ fra.me.meth = LOCATE_escape___EscapableContext___pop;
+ 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_escape___EscapableContext____stack(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:81 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_stack");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 81);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_escape___EscapableContext____stack(fra.me.REG[0]);
+ fra.me.REG[0] = CALL_abstract_collection___Sequence___pop(fra.me.REG[0])(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
return;
}
-val_t escape___EscapableContext___visitor(val_t self) {
- struct trace_t trace = {NULL, NULL, 48, LOCATE_escape___EscapableContext___visitor};
- val_t *variable = NULL;
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- tracehead = trace.prev;
- return ATTR_escape___EscapableContext____visitor( self) /*EscapableContext::_visitor*/;
+val_t escape___EscapableContext___visitor(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_escape;
+ fra.me.line = 84;
+ fra.me.meth = LOCATE_escape___EscapableContext___visitor;
+ 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_escape___EscapableContext____visitor(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:84 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_visitor");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 84);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_escape___EscapableContext____visitor(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-void escape___EscapableContext___init(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, NULL, 49, LOCATE_escape___EscapableContext___init};
- val_t variable[3];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_EscapableContext].i]) return;
- /* Register variable[2]: Method return value and escape marker */
- ATTR_escape___EscapableContext____visitor(variable[0]) /*EscapableContext::_visitor*/ = variable[1] /*v*/;
- return_label4: while(false);
- init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_EscapableContext].i] = 1;
- tracehead = trace.prev;
+void escape___EscapableContext___init(val_t p0, val_t p1, int* init_table){
+ int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_EscapableContext].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t tmp;
+ if (init_table[itpos0]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 85;
+ fra.me.meth = LOCATE_escape___EscapableContext___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./syntax//escape.nit:87 */
+ ATTR_escape___EscapableContext____visitor(fra.me.REG[0]) = fra.me.REG[1];
+ stack_frame_head = fra.me.prev;
+ init_table[itpos0] = 1;
return;
}
-val_t escape___EscapableBlock___node(val_t self) {
- struct trace_t trace = {NULL, NULL, 60, LOCATE_escape___EscapableBlock___node};
- val_t *variable = NULL;
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- tracehead = trace.prev;
- return ATTR_escape___EscapableBlock____node( self) /*EscapableBlock::_node*/;
+val_t escape___EscapableBlock___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_escape;
+ fra.me.line = 98;
+ fra.me.meth = LOCATE_escape___EscapableBlock___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_escape___EscapableBlock____node(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:98 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_node");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 98);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_escape___EscapableBlock____node(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
+}
+val_t escape___EscapableBlock___lab(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 101;
+ fra.me.meth = LOCATE_escape___EscapableBlock___lab;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[0] = ATTR_escape___EscapableBlock____lab(fra.me.REG[0]);
+ /* ./syntax//escape.nit:101 */
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t escape___EscapableBlock___is_break_block(val_t self) {
- struct trace_t trace = {NULL, NULL, 63, LOCATE_escape___EscapableBlock___is_break_block};
- val_t variable[2];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- variable[1] = TAG_Bool(false);
- goto return_label5;
- return_label5: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t escape___EscapableBlock___is_break_block(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_escape;
+ fra.me.line = 105;
+ fra.me.meth = LOCATE_escape___EscapableBlock___is_break_block;
+ 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//escape.nit:106 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t escape___EscapableBlock___break_list(val_t self) {
- struct trace_t trace = {NULL, NULL, 66, LOCATE_escape___EscapableBlock___break_list};
- val_t variable[2];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- variable[1] = NIT_NULL /*null*/;
- goto return_label6;
- return_label6: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t escape___EscapableBlock___break_list(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 108;
+ fra.me.meth = LOCATE_escape___EscapableBlock___break_list;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[0] = NIT_NULL;
+ /* ./syntax//escape.nit:111 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t escape___EscapableBlock___continue_stype(val_t self) {
- struct trace_t trace = {NULL, NULL, 71, LOCATE_escape___EscapableBlock___continue_stype};
- val_t variable[2];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- variable[1] = NIT_NULL /*null*/;
- goto return_label7;
- return_label7: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t escape___EscapableBlock___continue_stype(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 113;
+ fra.me.meth = LOCATE_escape___EscapableBlock___continue_stype;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[0] = NIT_NULL;
+ /* ./syntax//escape.nit:114 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-void escape___EscapableBlock___init(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, NULL, 74, LOCATE_escape___EscapableBlock___init};
- val_t variable[3];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_EscapableBlock].i]) return;
- /* Register variable[2]: Method return value and escape marker */
- ATTR_escape___EscapableBlock____node(variable[0]) /*EscapableBlock::_node*/ = variable[1] /*node*/;
- return_label8: while(false);
- init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_EscapableBlock].i] = 1;
- tracehead = trace.prev;
+void escape___EscapableBlock___init(val_t p0, val_t p1, int* init_table){
+ int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_EscapableBlock].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t tmp;
+ if (init_table[itpos1]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 116;
+ fra.me.meth = LOCATE_escape___EscapableBlock___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./syntax//escape.nit:118 */
+ ATTR_escape___EscapableBlock____node(fra.me.REG[0]) = fra.me.REG[1];
+ stack_frame_head = fra.me.prev;
+ init_table[itpos1] = 1;
return;
}
-val_t escape___EscapableClosure___is_break_block(val_t self) {
- struct trace_t trace = {NULL, NULL, 86, LOCATE_escape___EscapableClosure___is_break_block};
- val_t variable[3];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Result */
- variable[2] = ATTR_escape___EscapableClosure____closure(variable[0]) /*EscapableClosure::_closure*/;
- /* Register variable[2]: Result */
- variable[2] = CALL_static_type___MMClosure___is_break(variable[2])(variable[2]) /*MMClosure::is_break*/;
- variable[1] = variable[2];
- goto return_label9;
- return_label9: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t escape___BreakOnlyEscapableBlock___is_break_block(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_escape;
+ fra.me.line = 125;
+ fra.me.meth = LOCATE_escape___BreakOnlyEscapableBlock___is_break_block;
+ 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//escape.nit:125 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t escape___EscapableClosure___break_list(val_t self) {
- struct trace_t trace = {NULL, NULL, 88, LOCATE_escape___EscapableClosure___break_list};
- val_t *variable = NULL;
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- tracehead = trace.prev;
- return ATTR_escape___EscapableClosure____break_list( self) /*EscapableClosure::_break_list*/;
+void escape___BreakOnlyEscapableBlock___init(val_t p0, val_t p1, int* init_table){
+ int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_BreakOnlyEscapableBlock].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t tmp;
+ if (init_table[itpos2]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 127;
+ fra.me.meth = LOCATE_escape___BreakOnlyEscapableBlock___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./syntax//escape.nit:127 */
+ CALL_escape___EscapableBlock___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], init_table);
+ stack_frame_head = fra.me.prev;
+ init_table[itpos2] = 1;
+ return;
}
-val_t escape___EscapableClosure___continue_stype(val_t self) {
- struct trace_t trace = {NULL, NULL, 90, LOCATE_escape___EscapableClosure___continue_stype};
- val_t variable[3];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Result */
- variable[2] = ATTR_escape___EscapableClosure____closure(variable[0]) /*EscapableClosure::_closure*/;
- /* Register variable[2]: Result */
- variable[2] = CALL_static_type___MMClosure___signature(variable[2])(variable[2]) /*MMClosure::signature*/;
- /* Register variable[2]: Result */
- variable[2] = CALL_static_type___MMSignature___return_type(variable[2])(variable[2]) /*MMSignature::return_type*/;
- variable[1] = variable[2];
- goto return_label10;
- return_label10: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t escape___EscapableClosure___is_break_block(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_escape;
+ fra.me.line = 136;
+ fra.me.meth = LOCATE_escape___EscapableClosure___is_break_block;
+ 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_escape___EscapableClosure____closure(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:136 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_closure");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 136);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_escape___EscapableClosure____closure(fra.me.REG[0]);
+ REGB0 = CALL_static_type___MMClosure___is_break(fra.me.REG[0])(fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t escape___EscapableClosure___closure(val_t self) {
- struct trace_t trace = {NULL, NULL, 83, LOCATE_escape___EscapableClosure___closure};
- val_t *variable = NULL;
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- tracehead = trace.prev;
- return ATTR_escape___EscapableClosure____closure( self) /*EscapableClosure::_closure*/;
+val_t escape___EscapableClosure___break_list(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 138;
+ fra.me.meth = LOCATE_escape___EscapableClosure___break_list;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[0] = ATTR_escape___EscapableClosure____break_list(fra.me.REG[0]);
+ /* ./syntax//escape.nit:138 */
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-void escape___EscapableClosure___init(val_t self, val_t param0, val_t param1, val_t param2, int* init_table) {
- struct trace_t trace = {NULL, NULL, 92, LOCATE_escape___EscapableClosure___init};
- val_t variable[5];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- /* Register variable[2]: Local variable */
- variable[2] = param1;
- /* Register variable[3]: Local variable */
- variable[3] = param2;
- if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_EscapableClosure].i]) return;
- /* Register variable[4]: Method return value and escape marker */
- CALL_escape___EscapableBlock___init(variable[0])(variable[0], variable[1] /*node*/, init_table /*YYY*/) /*EscapableBlock::init*/;
- ATTR_escape___EscapableClosure____closure(variable[0]) /*EscapableClosure::_closure*/ = variable[2] /*closure*/;
- ATTR_escape___EscapableClosure____break_list(variable[0]) /*EscapableClosure::_break_list*/ = variable[3] /*break_list*/;
- return_label11: while(false);
- init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_EscapableClosure].i] = 1;
- tracehead = trace.prev;
+val_t escape___EscapableClosure___continue_stype(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_escape;
+ fra.me.line = 140;
+ fra.me.meth = LOCATE_escape___EscapableClosure___continue_stype;
+ 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_escape___EscapableClosure____closure(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:140 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_closure");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 140);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_escape___EscapableClosure____closure(fra.me.REG[0]);
+ fra.me.REG[0] = CALL_static_type___MMClosure___signature(fra.me.REG[0])(fra.me.REG[0]);
+ fra.me.REG[0] = CALL_static_type___MMSignature___return_type(fra.me.REG[0])(fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
+}
+val_t escape___EscapableClosure___closure(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_escape;
+ fra.me.line = 133;
+ fra.me.meth = LOCATE_escape___EscapableClosure___closure;
+ 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_escape___EscapableClosure____closure(fra.me.REG[0])!=NIT_NULL);
+ /* ./syntax//escape.nit:133 */
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ fprintf(stderr, "Uninitialized attribute %s", "_closure");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 133);
+ nit_exit(1);
+ }
+ fra.me.REG[0] = ATTR_escape___EscapableClosure____closure(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
+}
+void escape___EscapableClosure___init(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){
+ int itpos3 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_EscapableClosure].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
+ val_t tmp;
+ if (init_table[itpos3]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 142;
+ fra.me.meth = LOCATE_escape___EscapableClosure___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 5;
+ 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[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ fra.me.REG[3] = p3;
+ fra.me.REG[4] = fra.me.REG[0];
+ /* ./syntax//escape.nit:144 */
+ CALL_escape___EscapableBlock___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], init_table);
+ /* ./syntax//escape.nit:145 */
+ ATTR_escape___EscapableClosure____closure(fra.me.REG[4]) = fra.me.REG[2];
+ /* ./syntax//escape.nit:146 */
+ ATTR_escape___EscapableClosure____break_list(fra.me.REG[4]) = fra.me.REG[3];
+ stack_frame_head = fra.me.prev;
+ init_table[itpos3] = 1;
return;
}
-val_t escape___AEscapeExpr___escapable_block(val_t self) {
- struct trace_t trace = {NULL, NULL, 104, LOCATE_escape___AEscapeExpr___escapable_block};
- val_t *variable = NULL;
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- tracehead = trace.prev;
- return ATTR_escape___AEscapeExpr____escapable_block( self) /*AEscapeExpr::_escapable_block*/;
+val_t escape___AEscapeExpr___escapable(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 154;
+ fra.me.meth = LOCATE_escape___AEscapeExpr___escapable;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[0] = ATTR_escape___AEscapeExpr____escapable(fra.me.REG[0]);
+ /* ./syntax//escape.nit:154 */
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t escape___AEscapeExpr___kwname(val_t self) {
- struct trace_t trace = {NULL, NULL, 107, LOCATE_escape___AEscapeExpr___kwname};
- val_t *variable = NULL;
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
+val_t escape___AEscapeExpr___kwname(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 157;
+ fra.me.meth = LOCATE_escape___AEscapeExpr___kwname;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 0;
+ /* ./syntax//escape.nit:157 */
fprintf(stderr, "Deferred method called");
- fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 107);
+ fprintf(stderr, " (%s:%d)\n", LOCATE_escape, 157);
nit_exit(1);
- tracehead = trace.prev;
+ stack_frame_head = fra.me.prev;
return NIT_NULL;
}
-val_t escape___AEscapeExpr___compute_escapable_block(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 110, LOCATE_escape___AEscapeExpr___compute_escapable_block};
- static val_t once_value_13 = NIT_NULL; /* Once value for string variable[6]*/
- static val_t once_value_14 = NIT_NULL; /* Once value for string variable[6]*/
- val_t variable[7];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Local variable */
- variable[1] = param0;
- /* Register variable[2]: Method return value and escape marker */
- /* Register variable[3]: Local variable */
- /*variable[3] is variable block*/
- /* Register variable[4]: Result */
- variable[4] = CALL_escape___EscapableContext___is_empty( variable[1] /*lctx*/)( variable[1] /*lctx*/) /*EscapableContext::is_empty*/;
- if (UNTAG_Bool(variable[4])) { /*if*/
- /* Register variable[4]: Result */
- variable[4] = CALL_escape___EscapableContext___visitor( variable[1] /*lctx*/)( variable[1] /*lctx*/) /*EscapableContext::visitor*/;
- variable[5] = NEW_Array_array___Array___with_capacity(TAG_Int(3)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/;
- /* Register variable[6]: Once String constant */
- if (once_value_13 != NIT_NULL) variable[6] = once_value_13;
- else {
- variable[6] = NEW_String_string___String___with_native(BOX_NativeString("Syntax Error: '"), TAG_Int(15)) /*new String*/;
- once_value_13 = variable[6];
+val_t escape___AEscapeExpr___compute_escapable_block(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[4];} 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 */
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 160;
+ fra.me.meth = LOCATE_escape___AEscapeExpr___compute_escapable_block;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 5;
+ 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[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = CALL_parser_nodes___ALabelable___n_label(fra.me.REG[0])(fra.me.REG[0]);
+ REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ /* ./syntax//escape.nit:165 */
+ 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;
}
- /* Register variable[6]: Result */
- /* Ensure var variable[6]: super-string element*/
- CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
- /* Register variable[6]: Result */
- variable[6] = CALL_escape___AEscapeExpr___kwname(variable[0])(variable[0]) /*AEscapeExpr::kwname*/;
- /* Ensure var variable[6]: super-string element*/
- CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
- /* Register variable[6]: Once String constant */
- if (once_value_14 != NIT_NULL) variable[6] = once_value_14;
- else {
- variable[6] = NEW_String_string___String___with_native(BOX_NativeString("' statment outside block."), TAG_Int(25)) /*new String*/;
- once_value_14 = variable[6];
+ }
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ if (UNTAG_Bool(REGB0)) {
+ fra.me.REG[2] = CALL_escape___EscapableContext___get_by_label(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+ /* ./syntax//escape.nit:166 */
+ } else {
+ fra.me.REG[3] = CALL_escape___EscapableContext___head(fra.me.REG[1])(fra.me.REG[1]);
+ fra.me.REG[2] = fra.me.REG[3];
+ REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ /* ./syntax//escape.nit:169 */
+ 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;
+ }
+ }
+ if (UNTAG_Bool(REGB0)) {
+ fra.me.REG[1] = CALL_escape___EscapableContext___visitor(fra.me.REG[1])(fra.me.REG[1]);
+ REGB0 = TAG_Int(3);
+ fra.me.REG[3] = NEW_Array_array___Array___with_capacity(REGB0);
+ /* ./syntax//escape.nit:170 */
+ if (!once_value_1) {
+ fra.me.REG[4] = BOX_NativeString("Syntax Error: '");
+ REGB0 = TAG_Int(15);
+ fra.me.REG[4] = NEW_String_string___String___with_native(fra.me.REG[4], REGB0);
+ once_value_1 = fra.me.REG[4];
+ register_static_object(&once_value_1);
+ } else fra.me.REG[4] = once_value_1;
+ array___Array___add(fra.me.REG[3], fra.me.REG[4]);
+ fra.me.REG[4] = CALL_escape___AEscapeExpr___kwname(fra.me.REG[0])(fra.me.REG[0]);
+ array___Array___add(fra.me.REG[3], fra.me.REG[4]);
+ if (!once_value_2) {
+ fra.me.REG[4] = BOX_NativeString("' statment outside block.");
+ REGB0 = TAG_Int(25);
+ fra.me.REG[4] = NEW_String_string___String___with_native(fra.me.REG[4], REGB0);
+ once_value_2 = fra.me.REG[4];
+ register_static_object(&once_value_2);
+ } else fra.me.REG[4] = once_value_2;
+ array___Array___add(fra.me.REG[3], fra.me.REG[4]);
+ fra.me.REG[3] = CALL_string___Object___to_s(fra.me.REG[3])(fra.me.REG[3]);
+ CALL_syntax_base___AbsSyntaxVisitor___error(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0], fra.me.REG[3]);
}
- /* Register variable[6]: Result */
- /* Ensure var variable[6]: super-string element*/
- CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
- /* Register variable[5]: Result */
- variable[5] = CALL_string___Object___to_s(variable[5])(variable[5]) /*Object::to_s*/;
- CALL_syntax_base___AbsSyntaxVisitor___error(variable[4])(variable[4], variable[0], variable[5]) /*AbsSyntaxVisitor::error*/;
- variable[2] = NIT_NULL /*null*/;
- goto return_label12;
}
- /* Register variable[4]: Result */
- variable[4] = CALL_escape___EscapableContext___head( variable[1] /*lctx*/)( variable[1] /*lctx*/) /*EscapableContext::head*/;
- variable[3] = variable[4] /*block=*/;
- ATTR_escape___AEscapeExpr____escapable_block(variable[0]) /*AEscapeExpr::_escapable_block*/ = variable[3] /*block*/;
- variable[2] = variable[3] /*block*/;
- goto return_label12;
- return_label12: while(false);
- tracehead = trace.prev;
- return variable[2];
+ /* ./syntax//escape.nit:173 */
+ ATTR_escape___AEscapeExpr____escapable(fra.me.REG[0]) = fra.me.REG[2];
+ /* ./syntax//escape.nit:174 */
+ goto label3;
+ label3: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[2];
}
-val_t escape___AContinueExpr___kwname(val_t self) {
- struct trace_t trace = {NULL, NULL, 126, LOCATE_escape___AContinueExpr___kwname};
- static val_t once_value_16 = NIT_NULL; /* Once value for string variable[2]*/
- val_t variable[3];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Once String constant */
- if (once_value_16 != NIT_NULL) variable[2] = once_value_16;
- else {
- variable[2] = NEW_String_string___String___with_native(BOX_NativeString("continue"), TAG_Int(8)) /*new String*/;
- once_value_16 = variable[2];
- }
- /* Register variable[2]: Result */
- variable[1] = variable[2];
- goto return_label15;
- return_label15: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t escape___AContinueExpr___kwname(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ static val_t once_value_1; /* Once value */
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 180;
+ fra.me.meth = LOCATE_escape___AContinueExpr___kwname;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./syntax//escape.nit:180 */
+ if (!once_value_1) {
+ fra.me.REG[0] = BOX_NativeString("continue");
+ REGB0 = TAG_Int(8);
+ fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
+ once_value_1 = fra.me.REG[0];
+ register_static_object(&once_value_1);
+ } else fra.me.REG[0] = once_value_1;
+ goto label2;
+ label2: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t escape___ABreakExpr___kwname(val_t self) {
- struct trace_t trace = {NULL, NULL, 131, LOCATE_escape___ABreakExpr___kwname};
- static val_t once_value_18 = NIT_NULL; /* Once value for string variable[2]*/
- val_t variable[3];
- struct WBT_ **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_escape;
- /* Register variable[0]: Local variable */
- variable[0] = self;
- /* Register variable[1]: Method return value and escape marker */
- /* Register variable[2]: Once String constant */
- if (once_value_18 != NIT_NULL) variable[2] = once_value_18;
- else {
- variable[2] = NEW_String_string___String___with_native(BOX_NativeString("break"), TAG_Int(5)) /*new String*/;
- once_value_18 = variable[2];
- }
- /* Register variable[2]: Result */
- variable[1] = variable[2];
- goto return_label17;
- return_label17: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t escape___ABreakExpr___kwname(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ static val_t once_value_1; /* Once value */
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_escape;
+ fra.me.line = 185;
+ fra.me.meth = LOCATE_escape___ABreakExpr___kwname;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./syntax//escape.nit:185 */
+ if (!once_value_1) {
+ fra.me.REG[0] = BOX_NativeString("break");
+ REGB0 = TAG_Int(5);
+ fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
+ once_value_1 = fra.me.REG[0];
+ register_static_object(&once_value_1);
+ } else fra.me.REG[0] = once_value_1;
+ goto label2;
+ label2: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
nitlanguage / nit.git / blobdiff