/* This C file is generated by NIT to compile module range. */
#include "range._sep.h"
val_t range___Range___first(val_t self) {
- struct trace_t trace = {NULL, LOCATE_range___Range___first, 22};
+ struct trace_t trace = {NULL, LOCATE_range, 22, LOCATE_range___Range___first};
trace.prev = tracehead; tracehead = &trace;
tracehead = trace.prev;
return ATTR_range___Range____first( self) /*Range::_first*/;
}
val_t range___Range___last(val_t self) {
- struct trace_t trace = {NULL, LOCATE_range___Range___last, 24};
+ struct trace_t trace = {NULL, LOCATE_range, 24, LOCATE_range___Range___last};
trace.prev = tracehead; tracehead = &trace;
tracehead = trace.prev;
return ATTR_range___Range____last( self) /*Range::_last*/;
}
val_t range___Range___after(val_t self) {
- struct trace_t trace = {NULL, LOCATE_range___Range___after, 27};
+ struct trace_t trace = {NULL, LOCATE_range, 27, LOCATE_range___Range___after};
trace.prev = tracehead; tracehead = &trace;
tracehead = trace.prev;
return ATTR_range___Range____after( self) /*Range::_after*/;
}
val_t range___Range___has(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_range___Range___has, 30};
+ struct trace_t trace = {NULL, LOCATE_range, 30, LOCATE_range___Range___has};
val_t variable0;
val_t variable1;
val_t variable2;
trace.prev = tracehead; tracehead = &trace;
variable0 = param0;
variable1 = ATTR_range___Range____first( self) /*Range::_first*/;
- variable1 = ((kernel___Comparable_____geq_t)CALL( variable0 /*item*/,COLOR_kernel___Comparable_____geq))( variable0 /*item*/, variable1) /*Discrete::>=*/;
+ variable1 = ((kernel___Comparable_____geq_t)CALL( variable0 /*item*/,COLOR_kernel___Comparable_____geq))( variable0 /*item*/, variable1) /*Comparable::>=*/;
variable2 = variable1;
if (UNTAG_Bool(variable2)) { /* and */
variable2 = ATTR_range___Range____last( self) /*Range::_last*/;
- variable2 = ((kernel___Comparable_____leq_t)CALL( variable0 /*item*/,COLOR_kernel___Comparable_____leq))( variable0 /*item*/, variable2) /*Discrete::<=*/;
+ variable2 = ((kernel___Comparable_____leq_t)CALL( variable0 /*item*/,COLOR_kernel___Comparable_____leq))( variable0 /*item*/, variable2) /*Comparable::<=*/;
}
variable1 = variable2;
goto return_label0;
return variable1;
}
val_t range___Range___has_only(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_range___Range___has_only, 32};
+ struct trace_t trace = {NULL, LOCATE_range, 32, LOCATE_range___Range___has_only};
val_t variable0;
val_t variable1;
val_t variable2;
trace.prev = tracehead; tracehead = &trace;
variable0 = param0;
variable1 = ATTR_range___Range____first( self) /*Range::_first*/;
- variable1 = TAG_Bool((variable1 == variable0 /*item*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, variable0 /*item*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, variable0 /*item*/) /*Discrete::==*/)))));
+ variable1 = TAG_Bool((variable1 == variable0 /*item*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, variable0 /*item*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, variable0 /*item*/) /*Object::==*/)))));
variable2 = variable1;
if (UNTAG_Bool(variable2)) { /* and */
variable2 = ATTR_range___Range____last( self) /*Range::_last*/;
- variable2 = TAG_Bool(( variable0 /*item*/ == variable2) || (( variable0 /*item*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*item*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*item*/,variable2)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*item*/,COLOR_kernel___Object_____eqeq))( variable0 /*item*/, variable2) /*Discrete::==*/)))));
+ variable2 = TAG_Bool(( variable0 /*item*/ == variable2) || (( variable0 /*item*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*item*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*item*/,variable2)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*item*/,COLOR_kernel___Object_____eqeq))( variable0 /*item*/, variable2) /*Object::==*/)))));
}
variable1 = variable2;
goto return_label1;
return variable1;
}
val_t range___Range___count(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_range___Range___count, 34};
+ struct trace_t trace = {NULL, LOCATE_range, 34, LOCATE_range___Range___count};
val_t variable0;
val_t variable1;
trace.prev = tracehead; tracehead = &trace;
return variable1;
}
val_t range___Range___iterator(val_t self) {
- struct trace_t trace = {NULL, LOCATE_range___Range___iterator, 43};
+ struct trace_t trace = {NULL, LOCATE_range, 43, LOCATE_range___Range___iterator};
val_t variable0;
trace.prev = tracehead; tracehead = &trace;
variable0 = NEW_range___IteratorRange___init( self); /*new IteratorRange[E]*/
return variable0;
}
val_t range___Range___length(val_t self) {
- struct trace_t trace = {NULL, LOCATE_range___Range___length, 45};
+ struct trace_t trace = {NULL, LOCATE_range, 45, LOCATE_range___Range___length};
val_t variable0;
val_t variable1;
val_t variable2;
return variable0;
}
val_t range___Range___is_empty(val_t self) {
- struct trace_t trace = {NULL, LOCATE_range___Range___is_empty, 55};
+ struct trace_t trace = {NULL, LOCATE_range, 55, LOCATE_range___Range___is_empty};
val_t variable0;
val_t variable1;
trace.prev = tracehead; tracehead = &trace;
variable0 = ATTR_range___Range____first( self) /*Range::_first*/;
variable1 = ATTR_range___Range____after( self) /*Range::_after*/;
- variable0 = ((kernel___Comparable_____geq_t)CALL(variable0,COLOR_kernel___Comparable_____geq))(variable0, variable1) /*Discrete::>=*/;
+ variable0 = ((kernel___Comparable_____geq_t)CALL(variable0,COLOR_kernel___Comparable_____geq))(variable0, variable1) /*Comparable::>=*/;
goto return_label5;
return_label5: while(false);
tracehead = trace.prev;
return variable0;
}
void range___Range___init(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, LOCATE_range___Range___init, 57};
+ struct trace_t trace = {NULL, LOCATE_range, 57, LOCATE_range___Range___init};
val_t variable0;
val_t variable1;
val_t variable2;
return;
}
void range___Range___without_last(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, LOCATE_range___Range___without_last, 66};
+ struct trace_t trace = {NULL, LOCATE_range, 66, LOCATE_range___Range___without_last};
val_t variable0;
val_t variable1;
val_t variable2;
return;
}
val_t range___IteratorRange___item(val_t self) {
- struct trace_t trace = {NULL, LOCATE_range___IteratorRange___item, 80};
+ struct trace_t trace = {NULL, LOCATE_range, 80, LOCATE_range___IteratorRange___item};
trace.prev = tracehead; tracehead = &trace;
tracehead = trace.prev;
return ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/;
}
val_t range___IteratorRange___is_ok(val_t self) {
- struct trace_t trace = {NULL, LOCATE_range___IteratorRange___is_ok, 82};
+ struct trace_t trace = {NULL, LOCATE_range, 82, LOCATE_range___IteratorRange___is_ok};
val_t variable0;
val_t variable1;
trace.prev = tracehead; tracehead = &trace;
variable0 = ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/;
variable1 = ATTR_range___IteratorRange____range( self) /*IteratorRange::_range*/;
variable1 = ((range___Range___after_t)CALL(variable1,COLOR_range___Range___after))(variable1) /*Range::after*/;
- variable0 = ((kernel___Comparable_____l_t)CALL(variable0,COLOR_kernel___Comparable_____l))(variable0, variable1) /*Discrete::<*/;
+ variable0 = ((kernel___Comparable_____l_t)CALL(variable0,COLOR_kernel___Comparable_____l))(variable0, variable1) /*Comparable::<*/;
goto return_label8;
return_label8: while(false);
tracehead = trace.prev;
return variable0;
}
void range___IteratorRange___next(val_t self) {
- struct trace_t trace = {NULL, LOCATE_range___IteratorRange___next, 84};
+ struct trace_t trace = {NULL, LOCATE_range, 84, LOCATE_range___IteratorRange___next};
val_t variable0;
trace.prev = tracehead; tracehead = &trace;
variable0 = ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/;
return;
}
void range___IteratorRange___init(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, LOCATE_range___IteratorRange___init, 86};
+ struct trace_t trace = {NULL, LOCATE_range, 86, LOCATE_range___IteratorRange___init};
val_t variable0;
val_t variable1;
trace.prev = tracehead; tracehead = &trace;