- struct trace_t trace = {NULL, LOCATE_file___OFStream___write_native, 138};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
- val_t variable4;
- val_t variable5;
- val_t variable6;
- trace.prev = tracehead; tracehead = &trace;
- variable0 = param0;
- variable1 = param1;
- variable2 = ATTR_file___OFStream____writable( self) /*OFStream::_writable*/;
- if (!UNTAG_Bool(variable2)) { fprintf(stderr, "Assert%s failed (%s: %d)\n", "", LOCATE_file___OFStream___write_native, 141); nit_exit(1);}
- variable3 = ATTR_file___FStream____file( self) /*OFStream::_file*/;
- variable3 = ((file___NativeFile___io_write_t)CALL(variable3,COLOR_file___NativeFile___io_write))(variable3, variable0 /*native*/, variable1 /*len*/) /*NativeFile::io_write*/;
- variable2 = variable3;
- variable3 = TAG_Bool(( variable2 /*err*/)!=( variable1 /*len*/));
- if (UNTAG_Bool(variable3)) { /*if*/
- variable3 = NEW_array___Array___with_capacity(TAG_Int(5)); /*new Array[Object]*/
- variable4 = NEW_string___String___with_native(BOX_NativeString("Problem in writing : "), TAG_Int(21)); /*new String*/
- ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3, variable4) /*Array::add*/;
- ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3, variable2 /*err*/) /*Array::add*/;
- variable5 = NEW_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)); /*new String*/
- ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3, variable5) /*Array::add*/;
- ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3, variable1 /*len*/) /*Array::add*/;
- variable6 = NEW_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)); /*new String*/
- ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3, variable6) /*Array::add*/;
- ((file___Object___printn_t)CALL( self,COLOR_file___Object___printn))( self, variable3) /*OFStream::printn*/;
+ struct trace_t trace = {NULL, NULL, 140, LOCATE_file___OFStream___write_native};
+ static val_t once_value_22 = NIT_NULL; /* Once value for string variable[6]*/
+ static val_t once_value_23 = NIT_NULL; /* Once value for string variable[7]*/
+ static val_t once_value_24 = NIT_NULL; /* Once value for string variable[8]*/
+ val_t variable[9];
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_file;
+ /* 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] = ATTR_file___OFStream____writable(variable[0]) /*OFStream::_writable*/;
+ if (!UNTAG_Bool(variable[4])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_file___OFStream___write_native, LOCATE_file, 143); nit_exit(1);}
+ /* Register variable[4]: Local variable */
+ /* Register variable[5]: Result */
+ variable[5] = ATTR_file___FStream____file(variable[0]) /*FStream::_file*/;
+ /* Register variable[5]: Result */
+ variable[5] = CALL_file___NativeFile___io_write(variable[5])(variable[5], variable[1] /*native*/, variable[2] /*len*/) /*NativeFile::io_write*/;
+ variable[4] = variable[5];
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Bool(( variable[4] /*err*/)!=( variable[2] /*len*/));
+ if (UNTAG_Bool(variable[5])) { /*if*/
+ variable[5] = NEW_Array_array___Array___with_capacity(TAG_Int(5)) /*new Array[Object]*/ /* Ensure var: Literal array*/;
+ /* Register variable[6]: Once String constant */
+ if (once_value_22 != NIT_NULL) variable[6] = once_value_22;
+ else {
+ variable[6] = NEW_String_string___String___with_native(BOX_NativeString("Problem in writing : "), TAG_Int(21)) /*new String*/;
+ once_value_22 = variable[6];
+ }
+ /* Register variable[6]: Result */
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[4] /*err*/) /*AbstractArray::add*/;
+ /* Register variable[7]: Once String constant */
+ if (once_value_23 != NIT_NULL) variable[7] = once_value_23;
+ else {
+ variable[7] = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)) /*new String*/;
+ once_value_23 = variable[7];
+ }
+ /* Register variable[7]: Result */
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[7]) /*AbstractArray::add*/;
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[2] /*len*/) /*AbstractArray::add*/;
+ /* Register variable[8]: Once String constant */
+ if (once_value_24 != NIT_NULL) variable[8] = once_value_24;
+ else {
+ variable[8] = NEW_String_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)) /*new String*/;
+ once_value_24 = variable[8];
+ }
+ /* Register variable[8]: Result */
+ CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[8]) /*AbstractArray::add*/;
+ /* Register variable[5]: Result */
+ CALL_file___Object___printn(variable[0])(variable[0], variable[5]) /*Object::printn*/;