Update SCM ignore rules.
[nit.git] / c_src / stream._sep.c
index 9684b28..736751c 100644 (file)
@@ -1,17 +1,26 @@
 /* This C file is generated by NIT to compile module stream. */
 #include "stream._sep.h"
 void stream___IOS___close(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 20, LOCATE_stream___IOS___close};
+  struct trace_t trace = {NULL, NULL, 20, LOCATE_stream___IOS___close};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " (%s:%d)\n", LOCATE_stream, 20);
   nit_exit(1);
   tracehead = trace.prev;
   return;
 }
+void stream___IOS___init(val_t  self, int* init_table) {
+  struct trace_t trace = {NULL, NULL, 0, LOCATE_stream___IOS___init};
+  trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
+  tracehead = trace.prev;
+  return;
+}
 val_t stream___IStream___read_char(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 27, LOCATE_stream___IStream___read_char};
+  struct trace_t trace = {NULL, NULL, 27, LOCATE_stream___IStream___read_char};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " (%s:%d)\n", LOCATE_stream, 27);
   nit_exit(1);
@@ -19,14 +28,15 @@ val_t stream___IStream___read_char(val_t  self) {
   return NIT_NULL;
 }
 val_t stream___IStream___read(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_stream, 30, LOCATE_stream___IStream___read};
+  struct trace_t trace = {NULL, NULL, 30, LOCATE_stream___IStream___read};
   val_t variable0;
   val_t variable1;
   val_t variable2;
     val_t variable3;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 =  param0;
-  variable2 = NEW_string___String___with_capacity( variable0 /*i*/); /*new String*/
+  variable2 = NEW_String_string___String___with_capacity( variable0 /*i*/); /*new String*/
   variable1 = variable2;
   while (true) { /*while*/
     variable2 = TAG_Bool(UNTAG_Int( variable0 /*i*/)>UNTAG_Int( TAG_Int(0)));
@@ -55,13 +65,14 @@ val_t stream___IStream___read(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t stream___IStream___read_line(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 44, LOCATE_stream___IStream___read_line};
+  struct trace_t trace = {NULL, NULL, 44, LOCATE_stream___IStream___read_line};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 = ((stream___IStream___eof_t)CALL( self,COLOR_stream___IStream___eof))( self) /*IStream::eof*/;
   if (!UNTAG_Bool( TAG_Bool(!UNTAG_Bool(variable0)))) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_stream___IStream___read_line, LOCATE_stream, 47); nit_exit(1);}
-  variable1 = NEW_string___String___init(); /*new String*/
+  variable1 = NEW_String_string___String___init(); /*new String*/
   variable0 = variable1;
   ((stream___IStream___append_line_to_t)CALL( self,COLOR_stream___IStream___append_line_to))( self,  variable0 /*s*/) /*IStream::append_line_to*/;
   variable0 =  variable0 /*s*/;
@@ -71,12 +82,13 @@ val_t stream___IStream___read_line(val_t  self) {
   return variable0;
 }
 val_t stream___IStream___read_all(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 53, LOCATE_stream___IStream___read_all};
+  struct trace_t trace = {NULL, NULL, 53, LOCATE_stream___IStream___read_all};
   val_t variable0;
   val_t variable1;
     val_t variable2;
   trace.prev = tracehead; tracehead = &trace;
-  variable1 = NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
+  trace.file = LOCATE_stream;
+  variable1 = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
   variable0 = variable1;
   while (true) { /*while*/
     variable1 = ((stream___IStream___eof_t)CALL( self,COLOR_stream___IStream___eof))( self) /*IStream::eof*/;
@@ -98,12 +110,13 @@ val_t stream___IStream___read_all(val_t  self) {
   return variable0;
 }
 void stream___IStream___append_line_to(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_stream, 64, LOCATE_stream___IStream___append_line_to};
+  struct trace_t trace = {NULL, NULL, 64, LOCATE_stream___IStream___append_line_to};
   val_t variable0;
     val_t variable1;
     val_t variable2;
       val_t variable3;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 =  param0;
   while (true) { /*while*/
     if (!UNTAG_Bool( TAG_Bool(true))) break; /* while*/
@@ -133,8 +146,9 @@ void stream___IStream___append_line_to(val_t  self, val_t  param0) {
   return;
 }
 val_t stream___IStream___eof(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 79, LOCATE_stream___IStream___eof};
+  struct trace_t trace = {NULL, NULL, 79, LOCATE_stream___IStream___eof};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_stream___IStream___append_line_to, LOCATE_stream, 79);
   nit_exit(1);
@@ -142,8 +156,9 @@ val_t stream___IStream___eof(val_t  self) {
   return NIT_NULL;
 }
 void stream___OStream___write(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_stream, 86, LOCATE_stream___OStream___write};
+  struct trace_t trace = {NULL, NULL, 86, LOCATE_stream___OStream___write};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_stream___IStream___append_line_to, LOCATE_stream, 86);
   nit_exit(1);
@@ -151,8 +166,9 @@ void stream___OStream___write(val_t  self, val_t  param0) {
   return;
 }
 val_t stream___OStream___is_writable(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 89, LOCATE_stream___OStream___is_writable};
+  struct trace_t trace = {NULL, NULL, 89, LOCATE_stream___OStream___is_writable};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_stream___IStream___append_line_to, LOCATE_stream, 89);
   nit_exit(1);
@@ -160,11 +176,12 @@ val_t stream___OStream___is_writable(val_t  self) {
   return NIT_NULL;
 }
 val_t stream___BufferedIStream___read_char(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 96, LOCATE_stream___BufferedIStream___read_char};
+  struct trace_t trace = {NULL, NULL, 96, LOCATE_stream___BufferedIStream___read_char};
   val_t variable0;
   val_t variable1;
   val_t variable2;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 = ((stream___BufferedIStream___eof_t)CALL( self,COLOR_stream___IStream___eof))( self) /*BufferedIStream::eof*/;
   if (!UNTAG_Bool( TAG_Bool(!UNTAG_Bool(variable0)))) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_stream___BufferedIStream___read_char, LOCATE_stream, 98); nit_exit(1);}
   variable0 = ATTR_stream___BufferedIStream____buffer_pos( self) /*BufferedIStream::_buffer_pos*/;
@@ -195,7 +212,7 @@ val_t stream___BufferedIStream___read_char(val_t  self) {
   return variable0;
 }
 val_t stream___BufferedIStream___read(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_stream, 110, LOCATE_stream___BufferedIStream___read};
+  struct trace_t trace = {NULL, NULL, 110, LOCATE_stream___BufferedIStream___read};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -203,8 +220,9 @@ val_t stream___BufferedIStream___read(val_t  self, val_t  param0) {
   val_t variable4;
       val_t variable5;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 =  param0;
-  variable2 = NEW_string___String___with_capacity( variable0 /*i*/); /*new String*/
+  variable2 = NEW_String_string___String___with_capacity( variable0 /*i*/); /*new String*/
   variable1 = variable2;
   variable3 = ATTR_stream___BufferedIStream____buffer_pos( self) /*BufferedIStream::_buffer_pos*/;
   variable2 = variable3;
@@ -255,13 +273,14 @@ val_t stream___BufferedIStream___read(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t stream___BufferedIStream___read_all(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 132, LOCATE_stream___BufferedIStream___read_all};
+  struct trace_t trace = {NULL, NULL, 132, LOCATE_stream___BufferedIStream___read_all};
   val_t variable0;
   val_t variable1;
     val_t variable2;
     val_t variable3;
   trace.prev = tracehead; tracehead = &trace;
-  variable1 = NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
+  trace.file = LOCATE_stream;
+  variable1 = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
   variable0 = variable1;
   while (true) { /*while*/
     variable1 = ((stream___BufferedIStream___eof_t)CALL( self,COLOR_stream___IStream___eof))( self) /*BufferedIStream::eof*/;
@@ -293,12 +312,13 @@ val_t stream___BufferedIStream___read_all(val_t  self) {
   return variable0;
 }
 void stream___BufferedIStream___append_line_to(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_stream, 148, LOCATE_stream___BufferedIStream___append_line_to};
+  struct trace_t trace = {NULL, NULL, 148, LOCATE_stream___BufferedIStream___append_line_to};
   val_t variable0;
     val_t variable1;
     val_t variable2;
       val_t variable3;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 =  param0;
   while (true) { /*while*/
     if (!UNTAG_Bool( TAG_Bool(true))) break; /* while*/
@@ -365,10 +385,11 @@ void stream___BufferedIStream___append_line_to(val_t  self, val_t  param0) {
   return;
 }
 val_t stream___BufferedIStream___eof(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 184, LOCATE_stream___BufferedIStream___eof};
+  struct trace_t trace = {NULL, NULL, 184, LOCATE_stream___BufferedIStream___eof};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 = ATTR_stream___BufferedIStream____buffer_pos( self) /*BufferedIStream::_buffer_pos*/;
   variable1 = ATTR_stream___BufferedIStream____buffer( self) /*BufferedIStream::_buffer*/;
   variable1 = ((array___AbstractArray___length_t)CALL(variable1,COLOR_abstract_collection___Collection___length))(variable1) /*AbstractArray::length*/;
@@ -384,8 +405,9 @@ val_t stream___BufferedIStream___eof(val_t  self) {
   return variable0;
 }
 void stream___BufferedIStream___fill_buffer(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 192, LOCATE_stream___BufferedIStream___fill_buffer};
+  struct trace_t trace = {NULL, NULL, 192, LOCATE_stream___BufferedIStream___fill_buffer};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_stream___BufferedIStream___eof, LOCATE_stream, 192);
   nit_exit(1);
@@ -393,8 +415,9 @@ void stream___BufferedIStream___fill_buffer(val_t  self) {
   return;
 }
 val_t stream___BufferedIStream___end_reached(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 195, LOCATE_stream___BufferedIStream___end_reached};
+  struct trace_t trace = {NULL, NULL, 195, LOCATE_stream___BufferedIStream___end_reached};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_stream___BufferedIStream___eof, LOCATE_stream, 195);
   nit_exit(1);
@@ -402,54 +425,61 @@ val_t stream___BufferedIStream___end_reached(val_t  self) {
   return NIT_NULL;
 }
 void stream___BufferedIStream___prepare_buffer(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_stream, 198, LOCATE_stream___BufferedIStream___prepare_buffer};
+  struct trace_t trace = {NULL, NULL, 198, LOCATE_stream___BufferedIStream___prepare_buffer};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 =  param0;
-  variable1 = NEW_string___String___with_capacity( variable0 /*capacity*/); /*new String*/
+  variable1 = NEW_String_string___String___with_capacity( variable0 /*capacity*/); /*new String*/
   ATTR_stream___BufferedIStream____buffer( self) /*BufferedIStream::_buffer*/ = variable1;
   ATTR_stream___BufferedIStream____buffer_pos( self) /*BufferedIStream::_buffer_pos*/ =  TAG_Int(0);
   tracehead = trace.prev;
   return;
 }
 void stream___FDStream___close(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 218, LOCATE_stream___FDStream___close};
+  struct trace_t trace = {NULL, NULL, 218, LOCATE_stream___FDStream___close};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 = ATTR_stream___FDStream____fd( self) /*FDStream::_fd*/;
   ((stream___FDStream___native_close_t)CALL( self,COLOR_stream___FDStream___native_close))( self, variable0) /*FDStream::native_close*/;
   tracehead = trace.prev;
   return;
 }
 val_t stream___FDStream___native_close(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_stream, 220, LOCATE_stream___FDStream___native_close};
+  struct trace_t trace = {NULL, NULL, 220, LOCATE_stream___FDStream___native_close};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   tracehead = trace.prev;
   return TAG_Int(stream_FDStream_FDStream_native_close_1( self, UNTAG_Int( param0)));
 }
 val_t stream___FDStream___native_read_char(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_stream, 221, LOCATE_stream___FDStream___native_read_char};
+  struct trace_t trace = {NULL, NULL, 221, LOCATE_stream___FDStream___native_read_char};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   tracehead = trace.prev;
   return TAG_Int(stream_FDStream_FDStream_native_read_char_1( self, UNTAG_Int( param0)));
 }
 val_t stream___FDStream___native_read(val_t  self, val_t  param0, val_t  param1, val_t  param2) {
-  struct trace_t trace = {NULL, LOCATE_stream, 222, LOCATE_stream___FDStream___native_read};
+  struct trace_t trace = {NULL, NULL, 222, LOCATE_stream___FDStream___native_read};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   tracehead = trace.prev;
   return TAG_Int(stream_FDStream_FDStream_native_read_3( self, UNTAG_Int( param0), UNBOX_NativeString( param1), UNTAG_Int( param2)));
 }
 val_t stream___FDStream___native_write(val_t  self, val_t  param0, val_t  param1, val_t  param2) {
-  struct trace_t trace = {NULL, LOCATE_stream, 223, LOCATE_stream___FDStream___native_write};
+  struct trace_t trace = {NULL, NULL, 223, LOCATE_stream___FDStream___native_write};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   tracehead = trace.prev;
   return TAG_Int(stream_FDStream_FDStream_native_write_3( self, UNTAG_Int( param0), UNBOX_NativeString( param1), UNTAG_Int( param2)));
 }
 void stream___FDStream___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_stream, 225, LOCATE_stream___FDStream___init};
+  struct trace_t trace = {NULL, NULL, 225, LOCATE_stream___FDStream___init};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 =  param0;
   if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_FDStream].i]) return;
   ATTR_stream___FDStream____fd( self) /*FDStream::_fd*/ =  variable0 /*fd*/;
@@ -458,16 +488,18 @@ void stream___FDStream___init(val_t  self, val_t  param0, int* init_table) {
   return;
 }
 val_t stream___FDIStream___eof(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 231, LOCATE_stream___FDIStream___eof};
+  struct trace_t trace = {NULL, NULL, 231, LOCATE_stream___FDIStream___eof};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   tracehead = trace.prev;
   return ATTR_stream___FDIStream____eof( self) /*FDIStream::_eof*/;
 }
 val_t stream___FDIStream___read_char(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 233, LOCATE_stream___FDIStream___read_char};
+  struct trace_t trace = {NULL, NULL, 233, LOCATE_stream___FDIStream___read_char};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable1 = ATTR_stream___FDStream____fd( self) /*FDStream::_fd*/;
   variable1 = ((stream___FDStream___native_read_char_t)CALL( self,COLOR_stream___FDStream___native_read_char))( self, variable1) /*FDStream::native_read_char*/;
   variable0 = variable1;
@@ -483,9 +515,10 @@ val_t stream___FDIStream___read_char(val_t  self) {
   return variable0;
 }
 void stream___FDIStream___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_stream, 240, LOCATE_stream___FDIStream___init};
+  struct trace_t trace = {NULL, NULL, 240, LOCATE_stream___FDIStream___init};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 =  param0;
   if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_FDIStream].i]) return;
   ((stream___FDStream___init_t)CALL( self,COLOR_stream___FDStream___init))( self,  param0, init_table /*YYY*/) /*FDStream::init*/;
@@ -494,19 +527,21 @@ void stream___FDIStream___init(val_t  self, val_t  param0, int* init_table) {
   return;
 }
 val_t stream___FDOStream___is_writable(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_stream, 246, LOCATE_stream___FDOStream___is_writable};
+  struct trace_t trace = {NULL, NULL, 246, LOCATE_stream___FDOStream___is_writable};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   tracehead = trace.prev;
   return ATTR_stream___FDOStream____is_writable( self) /*FDOStream::_is_writable*/;
 }
 void stream___FDOStream___write(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_stream, 248, LOCATE_stream___FDOStream___write};
+  struct trace_t trace = {NULL, NULL, 248, LOCATE_stream___FDOStream___write};
   val_t variable0;
   val_t variable1;
   val_t variable2;
   val_t variable3;
   val_t variable4;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 =  param0;
   variable2 = ATTR_stream___FDStream____fd( self) /*FDStream::_fd*/;
   variable3 = ((string___String___to_cstring_t)CALL( variable0 /*s*/,COLOR_string___String___to_cstring))( variable0 /*s*/) /*String::to_cstring*/;
@@ -522,9 +557,10 @@ void stream___FDOStream___write(val_t  self, val_t  param0) {
   return;
 }
 void stream___FDOStream___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_stream, 254, LOCATE_stream___FDOStream___init};
+  struct trace_t trace = {NULL, NULL, 254, LOCATE_stream___FDOStream___init};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 =  param0;
   if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_FDOStream].i]) return;
   ((stream___FDStream___init_t)CALL( self,COLOR_stream___FDStream___init))( self,  param0, init_table /*YYY*/) /*FDStream::init*/;
@@ -534,9 +570,10 @@ void stream___FDOStream___init(val_t  self, val_t  param0, int* init_table) {
   return;
 }
 void stream___FDIOStream___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_stream, 265, LOCATE_stream___FDIOStream___init};
+  struct trace_t trace = {NULL, NULL, 264, LOCATE_stream___FDIOStream___init};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_stream;
   variable0 =  param0;
   if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_FDIOStream].i]) return;
   ((stream___FDIStream___init_t)CALL( self,COLOR_stream___FDIStream___init))( self,  param0, init_table /*YYY*/) /*FDIStream::init*/;