Update c_src
[nit.git] / c_src / range._sep.c
index 747f23b..52332af 100644 (file)
@@ -1,36 +1,36 @@
 /* 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;
@@ -39,18 +39,18 @@ val_t range___Range___has(val_t  self, val_t  param0) {
   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;
@@ -59,7 +59,7 @@ val_t range___Range___has_only(val_t  self, val_t  param0) {
   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;
@@ -77,7 +77,7 @@ val_t range___Range___count(val_t  self, val_t  param0) {
   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]*/
@@ -87,7 +87,7 @@ val_t range___Range___iterator(val_t  self) {
   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;
@@ -109,20 +109,20 @@ val_t range___Range___length(val_t  self) {
   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;
@@ -139,7 +139,7 @@ void range___Range___init(val_t  self, val_t  param0, val_t  param1, int* init_t
   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;
@@ -156,27 +156,27 @@ void range___Range___without_last(val_t  self, val_t  param0, val_t  param1, int
   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*/;
@@ -186,7 +186,7 @@ void range___IteratorRange___next(val_t  self) {
   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;