+/* This C file is generated by NIT to compile module kernel. */
#include "kernel._sep.h"
val_t kernel___Object___object_id(val_t self) {
- struct trace_t trace = {NULL, "kernel::Object::object_id (bin/../lib/standard//kernel.nit:26,2--27:20)"};
+ struct trace_t trace = {NULL, NULL, 26, LOCATE_kernel___Object___object_id};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
- return TAG_Int((int) self);
+ return TAG_Int((bigint) self);
}
val_t kernel___Object___is_same_type(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Object::is_same_type (bin/../lib/standard//kernel.nit:29,2--30:39)"};
+ struct trace_t trace = {NULL, NULL, 29, LOCATE_kernel___Object___is_same_type};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool((VAL2VFT( self)==VAL2VFT( param0)));
}
val_t kernel___Object_____eqeq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Object::== (bin/../lib/standard//kernel.nit:32,2--35:53)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = TAG_Bool(IS_EQUAL_NN( self, variable0 /*other*/));
+ struct trace_t trace = {NULL, NULL, 32, LOCATE_kernel___Object_____eqeq};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* 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] = TAG_Bool(IS_EQUAL_NN(variable[0], variable[1] /*other*/));
+ variable[2] = variable[3];
goto return_label0;
return_label0: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t kernel___Object_____neq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Object::!= (bin/../lib/standard//kernel.nit:37,2--40:58)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = TAG_Bool(( self == variable0 /*other*/) || (( self != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( self,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( self, variable0 /*other*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( self,COLOR_kernel___Object_____eqeq))( self, variable0 /*other*/) /*Object::==*/)))));
- variable1 = TAG_Bool(!UNTAG_Bool(variable1));
+ struct trace_t trace = {NULL, NULL, 37, LOCATE_kernel___Object_____neq};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* 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] = TAG_Bool((variable[0] == variable[1] /*other*/) || ((variable[0] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[0])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[0], variable[1] /*other*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[0])(variable[0], variable[1] /*other*/) /*Object::==*/)))));
+ variable[2] = TAG_Bool(!UNTAG_Bool(variable[3]));
goto return_label1;
return_label1: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
void kernel___Object___output(val_t self) {
- struct trace_t trace = {NULL, "kernel::Object::output (bin/../lib/standard//kernel.nit:42,2--47:12)"};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
+ struct trace_t trace = {NULL, NULL, 42, LOCATE_kernel___Object___output};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
printf("%c", (unsigned char)UNTAG_Char( TAG_Char('<')));
- variable0 = TAG_Int((int) self);
- printf("%d\n", UNTAG_Int(variable0));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int((bigint)variable[0]);
+ printf("%ld\n", UNTAG_Int(variable[2]));
printf("%c", (unsigned char)UNTAG_Char( TAG_Char('>')));
+ return_label2: while(false);
tracehead = trace.prev;
return;
}
void kernel___Object___exit(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Object::exit (bin/../lib/standard//kernel.nit:50,2--36)"};
+ struct trace_t trace = {NULL, NULL, 50, LOCATE_kernel___Object___exit};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
exit(UNTAG_Int( param0));
tracehead = trace.prev;
return;
}
val_t kernel___Object___sys(val_t self) {
- struct trace_t trace = {NULL, "kernel::Object::sys (bin/../lib/standard//kernel.nit:51,2--24)"};
+ struct trace_t trace = {NULL, NULL, 51, LOCATE_kernel___Object___sys};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return (G_sys);
}
void kernel___Sys___main(val_t self) {
- struct trace_t trace = {NULL, "kernel::Sys::main (bin/../lib/standard//kernel.nit:56,2--57:10)"};
+ struct trace_t trace = {NULL, NULL, 56, LOCATE_kernel___Sys___main};
+ val_t variable[2];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ return_label3: while(false);
+ tracehead = trace.prev;
+ return;
+}
+void kernel___Sys___init(val_t self, int* init_table) {
+ struct trace_t trace = {NULL, NULL, 0, LOCATE_kernel___Sys___init};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return;
}
val_t kernel___Comparable_____l(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Comparable::< (bin/../lib/standard//kernel.nit:69,2--70:27)"};
+ struct trace_t trace = {NULL, NULL, 69, LOCATE_kernel___Comparable_____l};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- fprintf(stderr, "Deferred method < called (bin/../lib/standard//kernel.nit:69,2)\n");
+ trace.file = LOCATE_kernel;
+ fprintf(stderr, "Deferred method called");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_kernel, 69);
nit_exit(1);
tracehead = trace.prev;
return NIT_NULL;
}
val_t kernel___Comparable_____leq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Comparable::<= (bin/../lib/standard//kernel.nit:72,2--73:55)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((kernel___Comparable_____l_t)CALL( variable0 /*other*/,COLOR_kernel___Comparable_____l))( variable0 /*other*/, self) /*Comparable::<*/;
- variable1 = TAG_Bool(!UNTAG_Bool(variable1));
+ struct trace_t trace = {NULL, NULL, 72, LOCATE_kernel___Comparable_____leq};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Result */
+ variable[3] = CALL_kernel___Comparable_____l( variable[1] /*other*/)( variable[1] /*other*/, variable[0]) /*Comparable::<*/;
+ variable[2] = TAG_Bool(!UNTAG_Bool(variable[3]));
goto return_label4;
return_label4: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t kernel___Comparable_____geq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Comparable::>= (bin/../lib/standard//kernel.nit:75,2--76:55)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((kernel___Comparable_____l_t)CALL( self,COLOR_kernel___Comparable_____l))( self, variable0 /*other*/) /*Comparable::<*/;
- variable1 = TAG_Bool(!UNTAG_Bool(variable1));
+ struct trace_t trace = {NULL, NULL, 75, LOCATE_kernel___Comparable_____geq};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Result */
+ variable[3] = CALL_kernel___Comparable_____l(variable[0])(variable[0], variable[1] /*other*/) /*Comparable::<*/;
+ variable[2] = TAG_Bool(!UNTAG_Bool(variable[3]));
goto return_label5;
return_label5: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t kernel___Comparable_____g(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Comparable::> (bin/../lib/standard//kernel.nit:78,2--79:50)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((kernel___Comparable_____l_t)CALL( variable0 /*other*/,COLOR_kernel___Comparable_____l))( variable0 /*other*/, self) /*Comparable::<*/;
+ struct trace_t trace = {NULL, NULL, 78, LOCATE_kernel___Comparable_____g};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Result */
+ variable[3] = CALL_kernel___Comparable_____l( variable[1] /*other*/)( variable[1] /*other*/, variable[0]) /*Comparable::<*/;
+ variable[2] = variable[3];
goto return_label6;
return_label6: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t kernel___Comparable_____leqg(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Comparable::<=> (bin/../lib/standard//kernel.nit:81,2--89:11)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((kernel___Comparable_____l_t)CALL( self,COLOR_kernel___Comparable_____l))( self, variable0 /*other*/) /*Comparable::<*/;
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = TAG_Int(-UNTAG_Int( TAG_Int(1)));
+ struct trace_t trace = {NULL, NULL, 81, LOCATE_kernel___Comparable_____leqg};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Result */
+ variable[3] = CALL_kernel___Comparable_____l(variable[0])(variable[0], variable[1] /*other*/) /*Comparable::<*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Int(-UNTAG_Int( TAG_Int(1)));
+ variable[2] = variable[3];
goto return_label7;
} else { /*if*/
- variable1 = ((kernel___Comparable_____l_t)CALL( variable0 /*other*/,COLOR_kernel___Comparable_____l))( variable0 /*other*/, self) /*Comparable::<*/;
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = TAG_Int(1);
+ /* Register variable[3]: Result */
+ variable[3] = CALL_kernel___Comparable_____l( variable[1] /*other*/)( variable[1] /*other*/, variable[0]) /*Comparable::<*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = TAG_Int(1);
goto return_label7;
} else { /*if*/
- variable1 = TAG_Int(0);
+ variable[2] = TAG_Int(0);
goto return_label7;
}
}
return_label7: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t kernel___Comparable___is_between(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, "kernel::Comparable::is_between (bin/../lib/standard//kernel.nit:93,2--96:32)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = param1;
- variable2 = ((kernel___Comparable_____leq_t)CALL( variable0 /*c*/,COLOR_kernel___Comparable_____leq))( variable0 /*c*/, self) /*Comparable::<=*/;
- variable3 = variable2;
- if (UNTAG_Bool(variable3)) { /* and */
- variable3 = ((kernel___Comparable_____leq_t)CALL( self,COLOR_kernel___Comparable_____leq))( self, variable1 /*d*/) /*Comparable::<=*/;
+ struct trace_t trace = {NULL, NULL, 93, LOCATE_kernel___Comparable___is_between};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Local variable */
+ variable[2] = param1;
+ /* Register variable[3]: Method return value and escape marker */
+ /* Register variable[4]: Result */
+ variable[4] = CALL_kernel___Comparable_____leq( variable[1] /*c*/)( variable[1] /*c*/, variable[0]) /*Comparable::<=*/;
+ /* Ensure var variable[4]: Left 'and' operand*/
+ if (UNTAG_Bool(variable[4])) { /* and */
+ /* Register variable[4]: Result */
+ variable[4] = CALL_kernel___Comparable_____leq(variable[0])(variable[0], variable[2] /*d*/) /*Comparable::<=*/;
}
- variable2 = variable3;
+ /* Register variable[4]: Result */
+ variable[3] = variable[4];
goto return_label8;
return_label8: while(false);
tracehead = trace.prev;
- return variable2;
+ return variable[3];
}
val_t kernel___Comparable___max(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Comparable::max (bin/../lib/standard//kernel.nit:99,2--105:14)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((kernel___Comparable_____l_t)CALL( self,COLOR_kernel___Comparable_____l))( self, variable0 /*other*/) /*Comparable::<*/;
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = variable0 /*other*/;
+ struct trace_t trace = {NULL, NULL, 99, LOCATE_kernel___Comparable___max};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Result */
+ variable[3] = CALL_kernel___Comparable_____l(variable[0])(variable[0], variable[1] /*other*/) /*Comparable::<*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = variable[1] /*other*/;
goto return_label9;
} else { /*if*/
- variable1 = self;
+ variable[2] = variable[0];
goto return_label9;
}
return_label9: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t kernel___Comparable___min(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Comparable::min (bin/../lib/standard//kernel.nit:109,2--115:14)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = ((kernel___Comparable_____l_t)CALL( variable0 /*c*/,COLOR_kernel___Comparable_____l))( variable0 /*c*/, self) /*Comparable::<*/;
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = variable0 /*c*/;
+ struct trace_t trace = {NULL, NULL, 109, LOCATE_kernel___Comparable___min};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Result */
+ variable[3] = CALL_kernel___Comparable_____l( variable[1] /*c*/)( variable[1] /*c*/, variable[0]) /*Comparable::<*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = variable[1] /*c*/;
goto return_label10;
} else { /*if*/
- variable1 = self;
+ variable[2] = variable[0];
goto return_label10;
}
return_label10: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t kernel___Discrete___succ(val_t self) {
- struct trace_t trace = {NULL, "kernel::Discrete::succ (bin/../lib/standard//kernel.nit:126,2--127:36)"};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = ((kernel___Discrete_____plus_t)CALL( self,COLOR_kernel___Discrete_____plus))( self, TAG_Int(1)) /*Discrete::+*/;
+ struct trace_t trace = {NULL, NULL, 126, LOCATE_kernel___Discrete___succ};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = CALL_kernel___Discrete_____plus(variable[0])(variable[0], TAG_Int(1)) /*Discrete::+*/;
+ variable[1] = variable[2];
goto return_label11;
return_label11: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}
val_t kernel___Discrete___prec(val_t self) {
- struct trace_t trace = {NULL, "kernel::Discrete::prec (bin/../lib/standard//kernel.nit:129,2--130:36)"};
- val_t variable0;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = ((kernel___Discrete_____minus_t)CALL( self,COLOR_kernel___Discrete_____minus))( self, TAG_Int(1)) /*Discrete::-*/;
+ struct trace_t trace = {NULL, NULL, 129, LOCATE_kernel___Discrete___prec};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = CALL_kernel___Discrete_____minus(variable[0])(variable[0], TAG_Int(1)) /*Discrete::-*/;
+ variable[1] = variable[2];
goto return_label12;
return_label12: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}
val_t kernel___Discrete_____plus(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Discrete::+ (bin/../lib/standard//kernel.nit:132,2--133:22)"};
+ struct trace_t trace = {NULL, NULL, 132, LOCATE_kernel___Discrete_____plus};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- fprintf(stderr, "Deferred method + called (bin/../lib/standard//kernel.nit:132,2)\n");
+ trace.file = LOCATE_kernel;
+ fprintf(stderr, "Deferred method called");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_kernel, 132);
nit_exit(1);
tracehead = trace.prev;
return NIT_NULL;
}
val_t kernel___Discrete_____minus(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Discrete::- (bin/../lib/standard//kernel.nit:135,2--136:22)"};
+ struct trace_t trace = {NULL, NULL, 135, LOCATE_kernel___Discrete_____minus};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- fprintf(stderr, "Deferred method - called (bin/../lib/standard//kernel.nit:135,2)\n");
+ trace.file = LOCATE_kernel;
+ fprintf(stderr, "Deferred method called");
+ fprintf(stderr, " (%s:%d)\n", LOCATE_kernel, 135);
nit_exit(1);
tracehead = trace.prev;
return NIT_NULL;
}
val_t kernel___Discrete___distance(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Discrete::distance (bin/../lib/standard//kernel.nit:138,2--160:11)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- val_t variable4;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = NIT_NULL /*decl variable cursor*/;
- variable2 = NIT_NULL /*decl variable stop*/;
- variable3 = ((kernel___Comparable_____l_t)CALL( self,COLOR_kernel___Comparable_____l))( self, variable0 /*d*/) /*Discrete::<*/;
- if (UNTAG_Bool(variable3)) { /*if*/
- variable1 = self /*cursor=*/;
- variable2 = variable0 /*d*/ /*stop=*/;
+ struct trace_t trace = {NULL, NULL, 138, LOCATE_kernel___Discrete___distance};
+ val_t variable[7];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* 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 cursor*/
+ /* Register variable[4]: Local variable */
+ /*variable[4] is variable stop*/
+ /* Register variable[5]: Result */
+ variable[5] = CALL_kernel___Comparable_____l(variable[0])(variable[0], variable[1] /*d*/) /*Comparable::<*/;
+ if (UNTAG_Bool(variable[5])) { /*if*/
+ variable[3] = variable[0] /*cursor=*/;
+ variable[4] = variable[1] /*d*/ /*stop=*/;
} else { /*if*/
- variable3 = ((kernel___Comparable_____g_t)CALL( self,COLOR_kernel___Comparable_____g))( self, variable0 /*d*/) /*Discrete::>*/;
- if (UNTAG_Bool(variable3)) { /*if*/
- variable1 = variable0 /*d*/ /*cursor=*/;
- variable2 = self /*stop=*/;
+ /* Register variable[5]: Result */
+ variable[5] = CALL_kernel___Comparable_____g(variable[0])(variable[0], variable[1] /*d*/) /*Comparable::>*/;
+ if (UNTAG_Bool(variable[5])) { /*if*/
+ variable[3] = variable[1] /*d*/ /*cursor=*/;
+ variable[4] = variable[0] /*stop=*/;
} else { /*if*/
- variable1 = TAG_Int(0);
+ variable[2] = TAG_Int(0);
goto return_label13;
}
}
- variable3 = TAG_Int(0);
+ /* Register variable[5]: Local variable */
+ variable[5] = TAG_Int(0);
while (true) { /*while*/
- variable4 = ((kernel___Comparable_____l_t)CALL( variable1 /*cursor*/,COLOR_kernel___Comparable_____l))( variable1 /*cursor*/, variable2 /*stop*/) /*Discrete::<*/;
- if (!UNTAG_Bool(variable4)) break; /* while*/
- variable4 = ((kernel___Discrete___succ_t)CALL( variable1 /*cursor*/,COLOR_kernel___Discrete___succ))( variable1 /*cursor*/) /*Discrete::succ*/;
- variable1 = variable4 /*cursor=*/;
- variable3 = TAG_Int(UNTAG_Int(variable3)+UNTAG_Int( TAG_Int(1))) /*nb*/;
+ /* Register variable[6]: Result */
+ variable[6] = CALL_kernel___Comparable_____l( variable[3] /*cursor*/)( variable[3] /*cursor*/, variable[4] /*stop*/) /*Comparable::<*/;
+ if (!UNTAG_Bool(variable[6])) break; /* while*/
+ /* Register variable[6]: Result */
+ variable[6] = CALL_kernel___Discrete___succ( variable[3] /*cursor*/)( variable[3] /*cursor*/) /*Discrete::succ*/;
+ variable[3] = variable[6] /*cursor=*/;
+ variable[5] = TAG_Int(UNTAG_Int(variable[5])+UNTAG_Int( TAG_Int(1))) /*nb*/;
continue_14: while(0);
}
break_14: while(0);
- variable1 = variable3 /*nb*/;
+ variable[2] = variable[5] /*nb*/;
goto return_label13;
return_label13: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t kernel___Bool___object_id(val_t self) {
- struct trace_t trace = {NULL, "kernel::Bool::object_id (bin/../lib/standard//kernel.nit:174,2--21)"};
+ struct trace_t trace = {NULL, NULL, 174, LOCATE_kernel___Bool___object_id};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Int(UNTAG_Bool( self));
}
val_t kernel___Bool_____eqeq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Bool::== (bin/../lib/standard//kernel.nit:175,2--16)"};
+ struct trace_t trace = {NULL, NULL, 175, LOCATE_kernel___Bool_____eqeq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(( self)==( param0));
}
val_t kernel___Bool_____neq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Bool::!= (bin/../lib/standard//kernel.nit:176,2--16)"};
+ struct trace_t trace = {NULL, NULL, 176, LOCATE_kernel___Bool_____neq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(( self)!=( param0));
}
void kernel___Bool___output(val_t self) {
- struct trace_t trace = {NULL, "kernel::Bool::output (bin/../lib/standard//kernel.nit:177,2--18)"};
+ struct trace_t trace = {NULL, NULL, 177, LOCATE_kernel___Bool___output};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
(void)printf(UNTAG_Bool( self)?"true\n":"false\n");
tracehead = trace.prev;
return;
}
val_t kernel___Float___object_id(val_t self) {
- struct trace_t trace = {NULL, "kernel::Float::object_id (bin/../lib/standard//kernel.nit:183,2--21)"};
+ struct trace_t trace = {NULL, NULL, 183, LOCATE_kernel___Float___object_id};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
- return TAG_Int((int)UNBOX_Float( self));
+ return TAG_Int((bigint)UNBOX_Float( self));
}
void kernel___Float___output(val_t self) {
- struct trace_t trace = {NULL, "kernel::Float::output (bin/../lib/standard//kernel.nit:184,2--18)"};
+ struct trace_t trace = {NULL, NULL, 184, LOCATE_kernel___Float___output};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
printf("%f\n", UNBOX_Float( self));
tracehead = trace.prev;
return;
}
val_t kernel___Float_____leq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Float::<= (bin/../lib/standard//kernel.nit:186,2--24)"};
+ struct trace_t trace = {NULL, NULL, 186, LOCATE_kernel___Float_____leq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(UNBOX_Float( self)<=UNBOX_Float( param0));
}
val_t kernel___Float_____l(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Float::< (bin/../lib/standard//kernel.nit:187,2--23)"};
+ struct trace_t trace = {NULL, NULL, 187, LOCATE_kernel___Float_____l};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(UNBOX_Float( self)<UNBOX_Float( param0));
}
val_t kernel___Float_____geq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Float::>= (bin/../lib/standard//kernel.nit:188,2--24)"};
+ struct trace_t trace = {NULL, NULL, 188, LOCATE_kernel___Float_____geq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(UNBOX_Float( self)>=UNBOX_Float( param0));
}
val_t kernel___Float_____g(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Float::> (bin/../lib/standard//kernel.nit:189,2--23)"};
+ struct trace_t trace = {NULL, NULL, 189, LOCATE_kernel___Float_____g};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(UNBOX_Float( self)>UNBOX_Float( param0));
}
val_t kernel___Float_____plus(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Float::+ (bin/../lib/standard//kernel.nit:190,2--24)"};
+ struct trace_t trace = {NULL, NULL, 190, LOCATE_kernel___Float_____plus};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return BOX_Float(UNBOX_Float( self)+UNBOX_Float( param0));
}
val_t kernel___Float___unary__minus(val_t self) {
- struct trace_t trace = {NULL, "kernel::Float::unary - (bin/../lib/standard//kernel.nit:191,2--14)"};
+ struct trace_t trace = {NULL, NULL, 191, LOCATE_kernel___Float___unary__minus};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return BOX_Float(-UNBOX_Float( self));
}
val_t kernel___Float_____minus(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Float::- (bin/../lib/standard//kernel.nit:192,2--24)"};
+ struct trace_t trace = {NULL, NULL, 192, LOCATE_kernel___Float_____minus};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return BOX_Float(UNBOX_Float( self)-UNBOX_Float( param0));
}
val_t kernel___Float_____star(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Float::* (bin/../lib/standard//kernel.nit:193,2--24)"};
+ struct trace_t trace = {NULL, NULL, 193, LOCATE_kernel___Float_____star};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return BOX_Float(UNBOX_Float( self)*UNBOX_Float( param0));
}
val_t kernel___Float_____slash(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Float::/ (bin/../lib/standard//kernel.nit:194,2--24)"};
+ struct trace_t trace = {NULL, NULL, 194, LOCATE_kernel___Float_____slash};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return BOX_Float(UNBOX_Float( self)/UNBOX_Float( param0));
}
val_t kernel___Float___to_i(val_t self) {
- struct trace_t trace = {NULL, "kernel::Float::to_i (bin/../lib/standard//kernel.nit:196,2--197:15)"};
+ struct trace_t trace = {NULL, NULL, 196, LOCATE_kernel___Float___to_i};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
- return TAG_Int((int)UNBOX_Float( self));
+ return TAG_Int((bigint)UNBOX_Float( self));
}
val_t kernel___Int___object_id(val_t self) {
- struct trace_t trace = {NULL, "kernel::Int::object_id (bin/../lib/standard//kernel.nit:206,2--21)"};
+ struct trace_t trace = {NULL, NULL, 206, LOCATE_kernel___Int___object_id};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return self;
}
val_t kernel___Int_____eqeq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::== (bin/../lib/standard//kernel.nit:207,2--16)"};
+ struct trace_t trace = {NULL, NULL, 207, LOCATE_kernel___Int_____eqeq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(( self)==( param0));
}
val_t kernel___Int_____neq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::!= (bin/../lib/standard//kernel.nit:208,2--16)"};
+ struct trace_t trace = {NULL, NULL, 208, LOCATE_kernel___Int_____neq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(( self)!=( param0));
}
void kernel___Int___output(val_t self) {
- struct trace_t trace = {NULL, "kernel::Int::output (bin/../lib/standard//kernel.nit:209,2--18)"};
+ struct trace_t trace = {NULL, NULL, 209, LOCATE_kernel___Int___output};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
- printf("%d\n", UNTAG_Int( self));
+ trace.file = LOCATE_kernel;
+ printf("%ld\n", UNTAG_Int( self));
tracehead = trace.prev;
return;
}
-val_t kernel___Int_____leq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::<= (bin/../lib/standard//kernel.nit:211,2--16)"};
+val_t kernel___Int_____l(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 212, LOCATE_kernel___Int_____l};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
- return TAG_Bool(UNTAG_Int( self)<=UNTAG_Int( param0));
+ return TAG_Bool(UNTAG_Int( self)<UNTAG_Int( param0));
}
-val_t kernel___Int_____l(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::< (bin/../lib/standard//kernel.nit:212,2--15)"};
+val_t kernel___Int_____leq(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 211, LOCATE_kernel___Int_____leq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
- return TAG_Bool(UNTAG_Int( self)<UNTAG_Int( param0));
+ return TAG_Bool(UNTAG_Int( self)<=UNTAG_Int( param0));
}
val_t kernel___Int_____geq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::>= (bin/../lib/standard//kernel.nit:213,2--16)"};
+ struct trace_t trace = {NULL, NULL, 213, LOCATE_kernel___Int_____geq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(UNTAG_Int( self)>=UNTAG_Int( param0));
}
val_t kernel___Int_____g(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::> (bin/../lib/standard//kernel.nit:214,2--15)"};
+ struct trace_t trace = {NULL, NULL, 214, LOCATE_kernel___Int_____g};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(UNTAG_Int( self)>UNTAG_Int( param0));
}
-val_t kernel___Int_____plus(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::+ (bin/../lib/standard//kernel.nit:215,2--15)"};
+val_t kernel___Int_____leqg(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 239, LOCATE_kernel___Int_____leqg};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* 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] = TAG_Bool(UNTAG_Int(variable[0])<UNTAG_Int( variable[1] /*other*/));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Int(-UNTAG_Int( TAG_Int(1)));
+ variable[2] = variable[3];
+ goto return_label15;
+ } else { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool(UNTAG_Int( variable[1] /*other*/)<UNTAG_Int(variable[0]));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = TAG_Int(1);
+ goto return_label15;
+ } else { /*if*/
+ variable[2] = TAG_Int(0);
+ goto return_label15;
+ }
+ }
+ return_label15: while(false);
+ tracehead = trace.prev;
+ return variable[2];
+}
+val_t kernel___Int___is_between(val_t self, val_t param0, val_t param1) {
+ struct trace_t trace = {NULL, NULL, 250, LOCATE_kernel___Int___is_between};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Local variable */
+ variable[2] = param1;
+ /* Register variable[3]: Method return value and escape marker */
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(UNTAG_Int(variable[0])<UNTAG_Int( variable[1] /*c*/));
+ /* Ensure var variable[4]: Left 'or' operand*/
+ if (!UNTAG_Bool(variable[4])) { /* or */
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(UNTAG_Int( variable[2] /*d*/)<UNTAG_Int(variable[0]));
+ }
+ /* Register variable[4]: Result */
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ variable[3] = TAG_Bool(false);
+ goto return_label16;
+ } else { /*if*/
+ variable[3] = TAG_Bool(true);
+ goto return_label16;
+ }
+ return_label16: while(false);
+ tracehead = trace.prev;
+ return variable[3];
+}
+val_t kernel___Int___max(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 259, LOCATE_kernel___Int___max};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* 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] = TAG_Bool(UNTAG_Int(variable[0])<UNTAG_Int( variable[1] /*other*/));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = variable[1] /*other*/;
+ goto return_label17;
+ } else { /*if*/
+ variable[2] = variable[0];
+ goto return_label17;
+ }
+ return_label17: while(false);
+ tracehead = trace.prev;
+ return variable[2];
+}
+val_t kernel___Int___min(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 268, LOCATE_kernel___Int___min};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* 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] = TAG_Bool(UNTAG_Int( variable[1] /*c*/)<UNTAG_Int(variable[0]));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = variable[1] /*c*/;
+ goto return_label18;
+ } else { /*if*/
+ variable[2] = variable[0];
+ goto return_label18;
+ }
+ return_label18: while(false);
+ tracehead = trace.prev;
+ return variable[2];
+}
+val_t kernel___Int___succ(val_t self) {
+ struct trace_t trace = {NULL, NULL, 227, LOCATE_kernel___Int___succ};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
- return TAG_Int(UNTAG_Int( self)+UNTAG_Int( param0));
+ return TAG_Int(UNTAG_Int( self)+1);
}
-val_t kernel___Int___unary__minus(val_t self) {
- struct trace_t trace = {NULL, "kernel::Int::unary - (bin/../lib/standard//kernel.nit:216,2--12)"};
+val_t kernel___Int___prec(val_t self) {
+ struct trace_t trace = {NULL, NULL, 228, LOCATE_kernel___Int___prec};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
- return TAG_Int(-UNTAG_Int( self));
+ return TAG_Int(UNTAG_Int( self)-1);
+}
+val_t kernel___Int_____plus(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 215, LOCATE_kernel___Int_____plus};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ tracehead = trace.prev;
+ return TAG_Int(UNTAG_Int( self)+UNTAG_Int( param0));
}
val_t kernel___Int_____minus(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::- (bin/../lib/standard//kernel.nit:217,2--15)"};
+ struct trace_t trace = {NULL, NULL, 217, LOCATE_kernel___Int_____minus};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Int(UNTAG_Int( self)-UNTAG_Int( param0));
}
+val_t kernel___Int___distance(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 229, LOCATE_kernel___Int___distance};
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Int(UNTAG_Int(variable[0])-UNTAG_Int( variable[1] /*i*/));
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(UNTAG_Int( variable[3] /*d*/)>=UNTAG_Int( TAG_Int(0)));
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ variable[2] = variable[3] /*d*/;
+ goto return_label19;
+ } else { /*if*/
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Int(-UNTAG_Int( variable[3] /*d*/));
+ variable[2] = variable[4];
+ goto return_label19;
+ }
+ return_label19: while(false);
+ tracehead = trace.prev;
+ return variable[2];
+}
+val_t kernel___Int___unary__minus(val_t self) {
+ struct trace_t trace = {NULL, NULL, 216, LOCATE_kernel___Int___unary__minus};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ tracehead = trace.prev;
+ return TAG_Int(-UNTAG_Int( self));
+}
val_t kernel___Int_____star(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::* (bin/../lib/standard//kernel.nit:218,2--20)"};
+ struct trace_t trace = {NULL, NULL, 218, LOCATE_kernel___Int_____star};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Int(UNTAG_Int( self)*UNTAG_Int( param0));
}
val_t kernel___Int_____slash(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::/ (bin/../lib/standard//kernel.nit:219,2--20)"};
+ struct trace_t trace = {NULL, NULL, 219, LOCATE_kernel___Int_____slash};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Int(UNTAG_Int( self)/UNTAG_Int( param0));
}
val_t kernel___Int_____percent(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::% (bin/../lib/standard//kernel.nit:220,2--20)"};
+ struct trace_t trace = {NULL, NULL, 220, LOCATE_kernel___Int_____percent};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Int(UNTAG_Int( self)%UNTAG_Int( param0));
}
val_t kernel___Int___lshift(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::lshift (bin/../lib/standard//kernel.nit:221,2--25)"};
+ struct trace_t trace = {NULL, NULL, 221, LOCATE_kernel___Int___lshift};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Int(UNTAG_Int( self)<<UNTAG_Int( param0));
}
val_t kernel___Int___rshift(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::rshift (bin/../lib/standard//kernel.nit:222,2--25)"};
+ struct trace_t trace = {NULL, NULL, 222, LOCATE_kernel___Int___rshift};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Int(UNTAG_Int( self)>>UNTAG_Int( param0));
}
val_t kernel___Int___to_f(val_t self) {
- struct trace_t trace = {NULL, "kernel::Int::to_f (bin/../lib/standard//kernel.nit:224,2--225:17)"};
+ struct trace_t trace = {NULL, NULL, 224, LOCATE_kernel___Int___to_f};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return BOX_Float((float)UNTAG_Int( self));
}
-val_t kernel___Int___succ(val_t self) {
- struct trace_t trace = {NULL, "kernel::Int::succ (bin/../lib/standard//kernel.nit:227,2--16)"};
- trace.prev = tracehead; tracehead = &trace;
- tracehead = trace.prev;
- return TAG_Int(UNTAG_Int( self)+1);
-}
-val_t kernel___Int___prec(val_t self) {
- struct trace_t trace = {NULL, "kernel::Int::prec (bin/../lib/standard//kernel.nit:228,2--16)"};
- trace.prev = tracehead; tracehead = &trace;
- tracehead = trace.prev;
- return TAG_Int(UNTAG_Int( self)-1);
-}
-val_t kernel___Int___distance(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::distance (bin/../lib/standard//kernel.nit:229,2--235:12)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable2 = TAG_Int(UNTAG_Int( self)-UNTAG_Int( variable0 /*i*/));
- variable1 = variable2;
- variable2 = TAG_Bool(UNTAG_Int( variable1 /*d*/)>=UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable2)) { /*if*/
- variable1 = variable1 /*d*/;
- goto return_label15;
- } else { /*if*/
- variable2 = TAG_Int(-UNTAG_Int( variable1 /*d*/));
- variable1 = variable2;
- goto return_label15;
- }
- return_label15: while(false);
- tracehead = trace.prev;
- return variable1;
-}
-val_t kernel___Int_____leqg(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::<=> (bin/../lib/standard//kernel.nit:239,2--246:11)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = TAG_Bool(UNTAG_Int( self)<UNTAG_Int( variable0 /*other*/));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = TAG_Int(-UNTAG_Int( TAG_Int(1)));
- goto return_label16;
- } else { /*if*/
- variable1 = TAG_Bool(UNTAG_Int( variable0 /*other*/)<UNTAG_Int( self));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = TAG_Int(1);
- goto return_label16;
- } else { /*if*/
- variable1 = TAG_Int(0);
- goto return_label16;
- }
- }
- return_label16: while(false);
- tracehead = trace.prev;
- return variable1;
-}
-val_t kernel___Int___is_between(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, "kernel::Int::is_between (bin/../lib/standard//kernel.nit:250,2--255:14)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = param1;
- variable2 = TAG_Bool(UNTAG_Int( self)<UNTAG_Int( variable0 /*c*/));
- variable3 = variable2;
- if (!UNTAG_Bool(variable3)) { /* or */
- variable3 = TAG_Bool(UNTAG_Int( variable1 /*d*/)<UNTAG_Int( self));
- }
- variable2 = variable3;
- if (UNTAG_Bool(variable2)) { /*if*/
- variable2 = TAG_Bool(false);
- goto return_label17;
- } else { /*if*/
- variable2 = TAG_Bool(true);
- goto return_label17;
- }
- return_label17: while(false);
- tracehead = trace.prev;
- return variable2;
-}
-val_t kernel___Int___max(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::max (bin/../lib/standard//kernel.nit:259,2--264:14)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = TAG_Bool(UNTAG_Int( self)<UNTAG_Int( variable0 /*other*/));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = variable0 /*other*/;
- goto return_label18;
- } else { /*if*/
- variable1 = self;
- goto return_label18;
- }
- return_label18: while(false);
- tracehead = trace.prev;
- return variable1;
-}
-val_t kernel___Int___min(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::min (bin/../lib/standard//kernel.nit:268,2--273:14)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = TAG_Bool(UNTAG_Int( variable0 /*c*/)<UNTAG_Int( self));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = variable0 /*c*/;
- goto return_label19;
- } else { /*if*/
- variable1 = self;
- goto return_label19;
- }
- return_label19: while(false);
- tracehead = trace.prev;
- return variable1;
-}
val_t kernel___Int___ascii(val_t self) {
- struct trace_t trace = {NULL, "kernel::Int::ascii (bin/../lib/standard//kernel.nit:277,2--278:17)"};
+ struct trace_t trace = {NULL, NULL, 277, LOCATE_kernel___Int___ascii};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Char(UNTAG_Int( self));
}
val_t kernel___Int___digit_count(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Int::digit_count (bin/../lib/standard//kernel.nit:280,2--300:10)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = TAG_Int((int)0) /*decl variable d*/;
- variable2 = TAG_Int((int)0) /*decl variable n*/;
- variable3 = TAG_Bool(UNTAG_Int( self)<UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable3)) { /*if*/
- variable1 = TAG_Int(1) /*d=*/;
- variable3 = TAG_Int(-UNTAG_Int( self));
- variable2 = variable3 /*n=*/;
+ struct trace_t trace = {NULL, NULL, 280, LOCATE_kernel___Int___digit_count};
+ val_t variable[6];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* 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 d*/
+ /* Register variable[4]: Local variable */
+ /*variable[4] is variable n*/
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Bool(UNTAG_Int(variable[0])<UNTAG_Int( TAG_Int(0)));
+ if (UNTAG_Bool(variable[5])) { /*if*/
+ variable[3] = TAG_Int(1) /*d=*/;
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Int(-UNTAG_Int(variable[0]));
+ variable[4] = variable[5] /*n=*/;
} else { /*if*/
- variable3 = TAG_Bool(( self)==( TAG_Int(0)));
- if (UNTAG_Bool(variable3)) { /*if*/
- variable1 = TAG_Int(1);
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Bool((variable[0])==( TAG_Int(0)));
+ if (UNTAG_Bool(variable[5])) { /*if*/
+ variable[2] = TAG_Int(1);
goto return_label20;
} else { /*if*/
- variable1 = TAG_Int(0) /*d=*/;
- variable2 = self /*n=*/;
+ variable[3] = TAG_Int(0) /*d=*/;
+ variable[4] = variable[0] /*n=*/;
}
}
while (true) { /*while*/
- variable3 = TAG_Bool(UNTAG_Int( variable2 /*n*/)>UNTAG_Int( TAG_Int(0)));
- if (!UNTAG_Bool(variable3)) break; /* while*/
- variable1 = TAG_Int(UNTAG_Int(variable1)+UNTAG_Int( TAG_Int(1))) /*d*/;
- variable3 = TAG_Int(UNTAG_Int( variable2 /*n*/)/UNTAG_Int( variable0 /*b*/));
- variable2 = variable3 /*n=*/;
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Bool(UNTAG_Int( variable[4] /*n*/)>UNTAG_Int( TAG_Int(0)));
+ if (!UNTAG_Bool(variable[5])) break; /* while*/
+ variable[3] = TAG_Int(UNTAG_Int(variable[3])+UNTAG_Int( TAG_Int(1))) /*d*/;
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Int(UNTAG_Int( variable[4] /*n*/)/UNTAG_Int( variable[1] /*b*/));
+ variable[4] = variable[5] /*n=*/;
continue_21: while(0);
}
break_21: while(0);
- variable1 = variable1 /*d*/;
+ variable[2] = variable[3] /*d*/;
goto return_label20;
return_label20: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t kernel___Int___to_c(val_t self) {
- struct trace_t trace = {NULL, "kernel::Int::to_c (bin/../lib/standard//kernel.nit:303,2--312:41)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = TAG_Bool(UNTAG_Int( self)>=UNTAG_Int( TAG_Int(0)));
- variable1 = variable0;
- if (UNTAG_Bool(variable1)) { /* and */
- variable1 = TAG_Bool(UNTAG_Int( self)<=UNTAG_Int( TAG_Int(36)));
+ struct trace_t trace = {NULL, NULL, 303, LOCATE_kernel___Int___to_c};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool(UNTAG_Int(variable[0])>=UNTAG_Int( TAG_Int(0)));
+ /* Ensure var variable[2]: Left 'and' operand*/
+ if (UNTAG_Bool(variable[2])) { /* and */
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool(UNTAG_Int(variable[0])<=UNTAG_Int( TAG_Int(36)));
}
- variable0 = variable1;
- if (!UNTAG_Bool(variable0)) { fprintf(stderr, "Assert failed: bin/../lib/standard//kernel.nit:308,3--33\n"); nit_exit(1);}
- variable0 = TAG_Bool(UNTAG_Int( self)<UNTAG_Int( TAG_Int(10)));
- if (UNTAG_Bool(variable0)) { /*if*/
- variable0 = TAG_Int((unsigned char)UNTAG_Char( TAG_Char('0')));
- variable0 = TAG_Int(UNTAG_Int( self)+UNTAG_Int(variable0));
- variable0 = TAG_Char(UNTAG_Int(variable0));
+ /* Register variable[2]: Result */
+ if (!UNTAG_Bool(variable[2])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_kernel___Int___to_c, LOCATE_kernel, 308); nit_exit(1);}
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool(UNTAG_Int(variable[0])<UNTAG_Int( TAG_Int(10)));
+ if (UNTAG_Bool(variable[2])) { /*if*/
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int((unsigned char)UNTAG_Char( TAG_Char('0')));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int(UNTAG_Int(variable[0])+UNTAG_Int(variable[2]));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Char(UNTAG_Int(variable[2]));
+ variable[1] = variable[2];
goto return_label22;
} else { /*if*/
- variable0 = TAG_Int((unsigned char)UNTAG_Char( TAG_Char('a')));
- variable0 = TAG_Int(UNTAG_Int(variable0)-UNTAG_Int( TAG_Int(10)));
- variable0 = TAG_Int(UNTAG_Int( self)+UNTAG_Int(variable0));
- variable0 = TAG_Char(UNTAG_Int(variable0));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int((unsigned char)UNTAG_Char( TAG_Char('a')));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int(UNTAG_Int(variable[2])-UNTAG_Int( TAG_Int(10)));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int(UNTAG_Int(variable[0])+UNTAG_Int(variable[2]));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Char(UNTAG_Int(variable[2]));
+ variable[1] = variable[2];
goto return_label22;
}
return_label22: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}
val_t kernel___Char___object_id(val_t self) {
- struct trace_t trace = {NULL, "kernel::Char::object_id (bin/../lib/standard//kernel.nit:324,2--21)"};
+ struct trace_t trace = {NULL, NULL, 324, LOCATE_kernel___Char___object_id};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Int(UNTAG_Char( self));
}
val_t kernel___Char_____eqeq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Char::== (bin/../lib/standard//kernel.nit:325,2--16)"};
+ struct trace_t trace = {NULL, NULL, 325, LOCATE_kernel___Char_____eqeq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(( self)==( param0));
}
val_t kernel___Char_____neq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Char::!= (bin/../lib/standard//kernel.nit:326,2--16)"};
+ struct trace_t trace = {NULL, NULL, 326, LOCATE_kernel___Char_____neq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(( self)!=( param0));
}
void kernel___Char___output(val_t self) {
- struct trace_t trace = {NULL, "kernel::Char::output (bin/../lib/standard//kernel.nit:327,2--18)"};
+ struct trace_t trace = {NULL, NULL, 327, LOCATE_kernel___Char___output};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
printf("%c", (unsigned char)UNTAG_Char( self));
tracehead = trace.prev;
return;
}
-val_t kernel___Char_____leq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Char::<= (bin/../lib/standard//kernel.nit:329,2--16)"};
+val_t kernel___Char_____l(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 330, LOCATE_kernel___Char_____l};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
- return TAG_Bool(UNTAG_Char( self)<=UNTAG_Char( param0));
+ return TAG_Bool(UNTAG_Char( self)<UNTAG_Char( param0));
}
-val_t kernel___Char_____l(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Char::< (bin/../lib/standard//kernel.nit:330,2--15)"};
+val_t kernel___Char_____leq(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 329, LOCATE_kernel___Char_____leq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
- return TAG_Bool(UNTAG_Char( self)<UNTAG_Char( param0));
+ return TAG_Bool(UNTAG_Char( self)<=UNTAG_Char( param0));
}
val_t kernel___Char_____geq(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Char::>= (bin/../lib/standard//kernel.nit:331,2--16)"};
+ struct trace_t trace = {NULL, NULL, 331, LOCATE_kernel___Char_____geq};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(UNTAG_Char( self)>=UNTAG_Char( param0));
}
val_t kernel___Char_____g(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Char::> (bin/../lib/standard//kernel.nit:332,2--15)"};
+ struct trace_t trace = {NULL, NULL, 332, LOCATE_kernel___Char_____g};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Bool(UNTAG_Char( self)>UNTAG_Char( param0));
}
val_t kernel___Char___succ(val_t self) {
- struct trace_t trace = {NULL, "kernel::Char::succ (bin/../lib/standard//kernel.nit:334,2--16)"};
+ struct trace_t trace = {NULL, NULL, 334, LOCATE_kernel___Char___succ};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Char(UNTAG_Char( self)+1);
}
val_t kernel___Char___prec(val_t self) {
- struct trace_t trace = {NULL, "kernel::Char::prec (bin/../lib/standard//kernel.nit:335,2--16)"};
+ struct trace_t trace = {NULL, NULL, 335, LOCATE_kernel___Char___prec};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Char(UNTAG_Char( self)-1);
}
+val_t kernel___Char_____plus(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 363, LOCATE_kernel___Char_____plus};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ tracehead = trace.prev;
+ return TAG_Char(UNTAG_Char( self)+UNTAG_Char( param0));
+}
+val_t kernel___Char_____minus(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 364, LOCATE_kernel___Char_____minus};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ tracehead = trace.prev;
+ return TAG_Char(UNTAG_Char( self)-UNTAG_Char( param0));
+}
val_t kernel___Char___distance(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Char::distance (bin/../lib/standard//kernel.nit:337,2--343:12)"};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable2 = TAG_Int((unsigned char)UNTAG_Char( self));
- variable3 = TAG_Int((unsigned char)UNTAG_Char( variable0 /*c*/));
- variable2 = TAG_Int(UNTAG_Int(variable2)-UNTAG_Int(variable3));
- variable1 = variable2;
- variable2 = TAG_Bool(UNTAG_Int( variable1 /*d*/)>=UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable2)) { /*if*/
- variable1 = variable1 /*d*/;
+ struct trace_t trace = {NULL, NULL, 337, LOCATE_kernel___Char___distance};
+ val_t variable[6];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Int((unsigned char)UNTAG_Char(variable[0]));
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Int((unsigned char)UNTAG_Char( variable[1] /*c*/));
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Int(UNTAG_Int(variable[4])-UNTAG_Int(variable[5]));
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(UNTAG_Int( variable[3] /*d*/)>=UNTAG_Int( TAG_Int(0)));
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ variable[2] = variable[3] /*d*/;
goto return_label23;
} else { /*if*/
- variable2 = TAG_Int(-UNTAG_Int( variable1 /*d*/));
- variable1 = variable2;
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Int(-UNTAG_Int( variable[3] /*d*/));
+ variable[2] = variable[4];
goto return_label23;
}
return_label23: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t kernel___Char___to_i(val_t self) {
- struct trace_t trace = {NULL, "kernel::Char::to_i (bin/../lib/standard//kernel.nit:347,2--356:47)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = TAG_Bool(( self)==( TAG_Char('-')));
- if (UNTAG_Bool(variable0)) { /*if*/
- variable0 = TAG_Int(-UNTAG_Int( TAG_Int(1)));
+ struct trace_t trace = {NULL, NULL, 347, LOCATE_kernel___Char___to_i};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool((variable[0])==( TAG_Char('-')));
+ if (UNTAG_Bool(variable[2])) { /*if*/
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int(-UNTAG_Int( TAG_Int(1)));
+ variable[1] = variable[2];
goto return_label24;
} else { /*if*/
- variable0 = TAG_Bool(UNTAG_Char( self)>=UNTAG_Char( TAG_Char('0')));
- variable1 = variable0;
- if (UNTAG_Bool(variable1)) { /* and */
- variable1 = TAG_Bool(UNTAG_Char( self)<=UNTAG_Char( TAG_Char('9')));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool(UNTAG_Char(variable[0])>=UNTAG_Char( TAG_Char('0')));
+ /* Ensure var variable[2]: Left 'and' operand*/
+ if (UNTAG_Bool(variable[2])) { /* and */
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool(UNTAG_Char(variable[0])<=UNTAG_Char( TAG_Char('9')));
}
- variable0 = variable1;
- if (UNTAG_Bool(variable0)) { /*if*/
- variable0 = TAG_Int((unsigned char)UNTAG_Char( self));
- variable1 = TAG_Int((unsigned char)UNTAG_Char( TAG_Char('0')));
- variable0 = TAG_Int(UNTAG_Int(variable0)-UNTAG_Int(variable1));
+ /* Register variable[2]: Result */
+ if (UNTAG_Bool(variable[2])) { /*if*/
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int((unsigned char)UNTAG_Char(variable[0]));
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Int((unsigned char)UNTAG_Char( TAG_Char('0')));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int(UNTAG_Int(variable[2])-UNTAG_Int(variable[3]));
+ variable[1] = variable[2];
goto return_label24;
} else { /*if*/
- variable0 = ((kernel___Char___to_lower_t)CALL( self,COLOR_kernel___Char___to_lower))( self) /*Char::to_lower*/;
- variable0 = TAG_Int((unsigned char)UNTAG_Char(variable0));
- variable1 = TAG_Int((unsigned char)UNTAG_Char( TAG_Char('a')));
- variable1 = TAG_Int(UNTAG_Int(variable1)+UNTAG_Int( TAG_Int(10)));
- variable0 = TAG_Int(UNTAG_Int(variable0)-UNTAG_Int(variable1));
+ /* Register variable[2]: Result */
+ variable[2] = CALL_kernel___Char___to_lower(variable[0])(variable[0]) /*Char::to_lower*/;
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int((unsigned char)UNTAG_Char(variable[2]));
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Int((unsigned char)UNTAG_Char( TAG_Char('a')));
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Int(UNTAG_Int(variable[3])+UNTAG_Int( TAG_Int(10)));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int(UNTAG_Int(variable[2])-UNTAG_Int(variable[3]));
+ variable[1] = variable[2];
goto return_label24;
}
}
return_label24: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}
val_t kernel___Char___ascii(val_t self) {
- struct trace_t trace = {NULL, "kernel::Char::ascii (bin/../lib/standard//kernel.nit:360,2--361:16)"};
+ struct trace_t trace = {NULL, NULL, 360, LOCATE_kernel___Char___ascii};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
tracehead = trace.prev;
return TAG_Int((unsigned char)UNTAG_Char( self));
}
-val_t kernel___Char_____plus(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Char::+ (bin/../lib/standard//kernel.nit:363,2--15)"};
- trace.prev = tracehead; tracehead = &trace;
- tracehead = trace.prev;
- return TAG_Char(UNTAG_Char( self)+UNTAG_Char( param0));
-}
-val_t kernel___Char_____minus(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "kernel::Char::- (bin/../lib/standard//kernel.nit:364,2--15)"};
- trace.prev = tracehead; tracehead = &trace;
- tracehead = trace.prev;
- return TAG_Char(UNTAG_Char( self)-UNTAG_Char( param0));
-}
val_t kernel___Char___to_lower(val_t self) {
- struct trace_t trace = {NULL, "kernel::Char::to_lower (bin/../lib/standard//kernel.nit:366,2--372:14)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = TAG_Bool(UNTAG_Char( self)>=UNTAG_Char( TAG_Char('A')));
- variable1 = variable0;
- if (UNTAG_Bool(variable1)) { /* and */
- variable1 = TAG_Bool(UNTAG_Char( self)<=UNTAG_Char( TAG_Char('Z')));
+ struct trace_t trace = {NULL, NULL, 366, LOCATE_kernel___Char___to_lower};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool(UNTAG_Char(variable[0])>=UNTAG_Char( TAG_Char('A')));
+ /* Ensure var variable[2]: Left 'and' operand*/
+ if (UNTAG_Bool(variable[2])) { /* and */
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool(UNTAG_Char(variable[0])<=UNTAG_Char( TAG_Char('Z')));
}
- variable0 = variable1;
- if (UNTAG_Bool(variable0)) { /*if*/
- variable0 = TAG_Int((unsigned char)UNTAG_Char( self));
- variable1 = ((kernel___Char___distance_t)CALL( TAG_Char('a'),COLOR_kernel___Discrete___distance))( TAG_Char('a'), TAG_Char('A')) /*Char::distance*/;
- variable0 = TAG_Int(UNTAG_Int(variable0)+UNTAG_Int(variable1));
- variable0 = TAG_Char(UNTAG_Int(variable0));
+ /* Register variable[2]: Result */
+ if (UNTAG_Bool(variable[2])) { /*if*/
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int((unsigned char)UNTAG_Char(variable[0]));
+ /* Register variable[3]: Result */
+ variable[3] = CALL_kernel___Discrete___distance( TAG_Char('a'))( TAG_Char('a'), TAG_Char('A')) /*Char::distance*/;
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int(UNTAG_Int(variable[2])+UNTAG_Int(variable[3]));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Char(UNTAG_Int(variable[2]));
+ variable[1] = variable[2];
goto return_label25;
} else { /*if*/
- variable0 = self;
+ variable[1] = variable[0];
goto return_label25;
}
return_label25: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}
val_t kernel___Char___to_upper(val_t self) {
- struct trace_t trace = {NULL, "kernel::Char::to_upper (bin/../lib/standard//kernel.nit:376,2--382:14)"};
- val_t variable0;
- val_t variable1;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = TAG_Bool(UNTAG_Char( self)>=UNTAG_Char( TAG_Char('a')));
- variable1 = variable0;
- if (UNTAG_Bool(variable1)) { /* and */
- variable1 = TAG_Bool(UNTAG_Char( self)<=UNTAG_Char( TAG_Char('z')));
+ struct trace_t trace = {NULL, NULL, 376, LOCATE_kernel___Char___to_upper};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool(UNTAG_Char(variable[0])>=UNTAG_Char( TAG_Char('a')));
+ /* Ensure var variable[2]: Left 'and' operand*/
+ if (UNTAG_Bool(variable[2])) { /* and */
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool(UNTAG_Char(variable[0])<=UNTAG_Char( TAG_Char('z')));
}
- variable0 = variable1;
- if (UNTAG_Bool(variable0)) { /*if*/
- variable0 = TAG_Int((unsigned char)UNTAG_Char( self));
- variable1 = ((kernel___Char___distance_t)CALL( TAG_Char('a'),COLOR_kernel___Discrete___distance))( TAG_Char('a'), TAG_Char('A')) /*Char::distance*/;
- variable0 = TAG_Int(UNTAG_Int(variable0)-UNTAG_Int(variable1));
- variable0 = TAG_Char(UNTAG_Int(variable0));
+ /* Register variable[2]: Result */
+ if (UNTAG_Bool(variable[2])) { /*if*/
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int((unsigned char)UNTAG_Char(variable[0]));
+ /* Register variable[3]: Result */
+ variable[3] = CALL_kernel___Discrete___distance( TAG_Char('a'))( TAG_Char('a'), TAG_Char('A')) /*Char::distance*/;
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Int(UNTAG_Int(variable[2])-UNTAG_Int(variable[3]));
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Char(UNTAG_Int(variable[2]));
+ variable[1] = variable[2];
goto return_label26;
} else { /*if*/
- variable0 = self;
+ variable[1] = variable[0];
goto return_label26;
}
return_label26: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}