/* 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);
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)));
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*/;
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*/;
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*/
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);
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);
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);
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*/;
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;
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;
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*/;
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*/
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*/;
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);
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);
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*/;
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;
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*/;
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*/;
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*/;
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*/;