c_src/stream.sep.1.c

   1 #include "stream.sep.0.h"
   2 /* method stream#IStream#read_line for (self: IStream): String */
   3 val* stream__IStream__read_line(val* self) {
   4 val* var /* : String */;
   5 short int var1 /* : Bool */;
   6 short int var2 /* : Bool */;
   7 val* var3 /* : FlatBuffer */;
   8 val* var_s /* var s: FlatBuffer */;
   9 val* var4 /* : String */;
  10 {
  11 var1 = stream__BufferedIStream__eof(self);
  12 }
  13 var2 = !var1;
  14 if (unlikely(!var2)) {
  15 PRINT_ERROR("Runtime error: %s", "Assert failed");
  16 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 53);
  17 show_backtrace(1);
  18 }
  19 var3 = NEW_string__FlatBuffer(&type_string__FlatBuffer);
  20 {
  21 ((void (*)(val*))(var3->class->vft[COLOR_kernel__Object__init]))(var3) /* init on <var3:FlatBuffer>*/;
  22 }
  23 var_s = var3;
  24 {
  25 stream__BufferedIStream__append_line_to(self, var_s); /* Direct call stream#BufferedIStream#append_line_to on <self:IStream>*/
  26 }
  27 {
  28 var4 = string__FlatBuffer__to_s(var_s);
  29 }
  30 var = var4;
  31 goto RET_LABEL;
  32 RET_LABEL:;
  33 return var;
  34 }
  35 /* method stream#IStream#read_line for (self: Object): String */
  36 val* VIRTUAL_stream__IStream__read_line(val* self) {
  37 val* var /* : String */;
  38 val* var1 /* : String */;
  39 var1 = stream__IStream__read_line(self);
  40 var = var1;
  41 RET_LABEL:;
  42 return var;
  43 }
  44 /* method stream#Text#write_to for (self: Text, OStream) */
  45 void stream__Text__write_to(val* self, val* p0) {
  46 val* var_stream /* var stream: OStream */;
  47 var_stream = p0;
  48 {
  49 file__OFStream__write(var_stream, self); /* Direct call file#OFStream#write on <var_stream:OStream>*/
  50 }
  51 RET_LABEL:;
  52 }
  53 /* method stream#Text#write_to for (self: Object, OStream) */
  54 void VIRTUAL_stream__Text__write_to(val* self, val* p0) {
  55 stream__Text__write_to(self, p0); /* Direct call stream#Text#write_to on <self:Object(Text)>*/
  56 RET_LABEL:;
  57 }
  58 /* method stream#BufferedIStream#read for (self: BufferedIStream, Int): String */
  59 val* stream__BufferedIStream__read(val* self, long p0) {
  60 val* var /* : String */;
  61 long var_i /* var i: Int */;
  62 val* var1 /* : nullable FlatBuffer */;
  63 long var2 /* : Int */;
  64 long var4 /* : Int */;
  65 long var5 /* : Int */;
  66 short int var6 /* : Bool */;
  67 short int var7 /* : Bool */;
  68 short int var9 /* : Bool */;
  69 short int var10 /* : Bool */;
  70 short int var11 /* : Bool */;
  71 val* var12 /* : String */;
  72 static val* varonce;
  73 val* var13 /* : String */;
  74 char* var14 /* : NativeString */;
  75 long var15 /* : Int */;
  76 val* var16 /* : FlatString */;
  77 long var17 /* : Int */;
  78 long var18 /* : Int */;
  79 short int var20 /* : Bool */;
  80 int cltype;
  81 int idtype;
  82 const char* var_class_name;
  83 long var21 /* : Int */;
  84 val* var22 /* : nullable FlatBuffer */;
  85 long var23 /* : Int */;
  86 long var25 /* : Int */;
  87 short int var26 /* : Bool */;
  88 short int var28 /* : Bool */;
  89 int cltype29;
  90 int idtype30;
  91 const char* var_class_name31;
  92 short int var32 /* : Bool */;
  93 long var33 /* : Int */;
  94 long var_from /* var from: Int */;
  95 val* var34 /* : nullable FlatBuffer */;
  96 long var35 /* : Int */;
  97 long var37 /* : Int */;
  98 val* var38 /* : nullable FlatBuffer */;
  99 val* var39 /* : Text */;
 100 val* var40 /* : String */;
 101 val* var_ /* var : BufferedIStream */;
 102 long var41 /* : Int */;
 103 long var42 /* : Int */;
 104 short int var44 /* : Bool */;
 105 int cltype45;
 106 int idtype46;
 107 const char* var_class_name47;
 108 long var48 /* : Int */;
 109 val* var49 /* : nullable FlatBuffer */;
 110 long var50 /* : Int */;
 111 long var51 /* : Int */;
 112 short int var53 /* : Bool */;
 113 int cltype54;
 114 int idtype55;
 115 const char* var_class_name56;
 116 long var57 /* : Int */;
 117 val* var58 /* : FlatBuffer */;
 118 val* var59 /* : String */;
 119 var_i = p0;
 120 var1 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 121 if (var1 == NULL) {
 122 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 123 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 180);
 124 show_backtrace(1);
 125 } else {
 126 { /* Inline string#FlatText#length (var1) on <var1:nullable FlatBuffer> */
 127 if (unlikely(var1 == NULL)) {
 128 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 129 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 715);
 130 show_backtrace(1);
 131 }
 132 var4 = var1->attrs[COLOR_string__FlatText___length].l; /* _length on <var1:nullable FlatBuffer> */
 133 var2 = var4;
 134 RET_LABEL3:(void)0;
 135 }
 136 }
 137 var5 = self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <self:BufferedIStream> */
 138 {
 139 { /* Inline kernel#Int#== (var2,var5) on <var2:Int> */
 140 var9 = var2 == var5;
 141 var7 = var9;
 142 goto RET_LABEL8;
 143 RET_LABEL8:(void)0;
 144 }
 145 var6 = var7;
 146 }
 147 if (var6){
 148 {
 149 var10 = stream__BufferedIStream__eof(self);
 150 }
 151 var11 = !var10;
 152 if (var11){
 153 {
 154 file__IFStream__fill_buffer(self); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
 155 }
 156 {
 157 var12 = stream__BufferedIStream__read(self, var_i);
 158 }
 159 var = var12;
 160 goto RET_LABEL;
 161 } else {
 162 }
 163 if (varonce) {
 164 var13 = varonce;
 165 } else {
 166 var14 = "";
 167 var15 = 0;
 168 var16 = string__NativeString__to_s_with_length(var14, var15);
 169 var13 = var16;
 170 varonce = var13;
 171 }
 172 var = var13;
 173 goto RET_LABEL;
 174 } else {
 175 }
 176 var17 = self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <self:BufferedIStream> */
 177 {
 178 { /* Inline kernel#Int#+ (var17,var_i) on <var17:Int> */
 179 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
 180 /* <var_i:Int> isa OTHER */
 181 var20 = 1; /* easy <var_i:Int> isa OTHER*/
 182 if (unlikely(!var20)) {
 183 var_class_name = type_kernel__Int.name;
 184 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
 185 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
 186 show_backtrace(1);
 187 }
 188 var21 = var17 + var_i;
 189 var18 = var21;
 190 goto RET_LABEL19;
 191 RET_LABEL19:(void)0;
 192 }
 193 }
 194 var22 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 195 if (var22 == NULL) {
 196 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 197 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 187);
 198 show_backtrace(1);
 199 } else {
 200 { /* Inline string#FlatText#length (var22) on <var22:nullable FlatBuffer> */
 201 if (unlikely(var22 == NULL)) {
 202 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 203 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 715);
 204 show_backtrace(1);
 205 }
 206 var25 = var22->attrs[COLOR_string__FlatText___length].l; /* _length on <var22:nullable FlatBuffer> */
 207 var23 = var25;
 208 RET_LABEL24:(void)0;
 209 }
 210 }
 211 {
 212 { /* Inline kernel#Int#>= (var18,var23) on <var18:Int> */
 213 /* Covariant cast for argument 0 (i) <var23:Int> isa OTHER */
 214 /* <var23:Int> isa OTHER */
 215 var28 = 1; /* easy <var23:Int> isa OTHER*/
 216 if (unlikely(!var28)) {
 217 var_class_name31 = type_kernel__Int.name;
 218 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name31);
 219 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
 220 show_backtrace(1);
 221 }
 222 var32 = var18 >= var23;
 223 var26 = var32;
 224 goto RET_LABEL27;
 225 RET_LABEL27:(void)0;
 226 }
 227 }
 228 if (var26){
 229 var33 = self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <self:BufferedIStream> */
 230 var_from = var33;
 231 var34 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 232 if (var34 == NULL) {
 233 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 234 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 189);
 235 show_backtrace(1);
 236 } else {
 237 { /* Inline string#FlatText#length (var34) on <var34:nullable FlatBuffer> */
 238 if (unlikely(var34 == NULL)) {
 239 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 240 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 715);
 241 show_backtrace(1);
 242 }
 243 var37 = var34->attrs[COLOR_string__FlatText___length].l; /* _length on <var34:nullable FlatBuffer> */
 244 var35 = var37;
 245 RET_LABEL36:(void)0;
 246 }
 247 }
 248 self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l = var35; /* _buffer_pos on <self:BufferedIStream> */
 249 var38 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 250 if (var38 == NULL) {
 251 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 252 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 190);
 253 show_backtrace(1);
 254 } else {
 255 var39 = string__Text__substring_from(var38, var_from);
 256 }
 257 {
 258 var40 = string__FlatBuffer__to_s(var39);
 259 }
 260 var = var40;
 261 goto RET_LABEL;
 262 } else {
 263 }
 264 var_ = self;
 265 var41 = var_->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <var_:BufferedIStream> */
 266 {
 267 { /* Inline kernel#Int#+ (var41,var_i) on <var41:Int> */
 268 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
 269 /* <var_i:Int> isa OTHER */
 270 var44 = 1; /* easy <var_i:Int> isa OTHER*/
 271 if (unlikely(!var44)) {
 272 var_class_name47 = type_kernel__Int.name;
 273 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name47);
 274 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
 275 show_backtrace(1);
 276 }
 277 var48 = var41 + var_i;
 278 var42 = var48;
 279 goto RET_LABEL43;
 280 RET_LABEL43:(void)0;
 281 }
 282 }
 283 var_->attrs[COLOR_stream__BufferedIStream___buffer_pos].l = var42; /* _buffer_pos on <var_:BufferedIStream> */
 284 var49 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 285 var50 = self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <self:BufferedIStream> */
 286 {
 287 { /* Inline kernel#Int#- (var50,var_i) on <var50:Int> */
 288 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
 289 /* <var_i:Int> isa OTHER */
 290 var53 = 1; /* easy <var_i:Int> isa OTHER*/
 291 if (unlikely(!var53)) {
 292 var_class_name56 = type_kernel__Int.name;
 293 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name56);
 294 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
 295 show_backtrace(1);
 296 }
 297 var57 = var50 - var_i;
 298 var51 = var57;
 299 goto RET_LABEL52;
 300 RET_LABEL52:(void)0;
 301 }
 302 }
 303 if (var49 == NULL) {
 304 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 305 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 193);
 306 show_backtrace(1);
 307 } else {
 308 var58 = string__FlatBuffer__substring(var49, var51, var_i);
 309 }
 310 {
 311 var59 = string__FlatBuffer__to_s(var58);
 312 }
 313 var = var59;
 314 goto RET_LABEL;
 315 RET_LABEL:;
 316 return var;
 317 }
 318 /* method stream#BufferedIStream#read for (self: Object, Int): String */
 319 val* VIRTUAL_stream__BufferedIStream__read(val* self, long p0) {
 320 val* var /* : String */;
 321 val* var1 /* : String */;
 322 var1 = stream__BufferedIStream__read(self, p0);
 323 var = var1;
 324 RET_LABEL:;
 325 return var;
 326 }
 327 /* method stream#BufferedIStream#read_all for (self: BufferedIStream): String */
 328 val* stream__BufferedIStream__read_all(val* self) {
 329 val* var /* : String */;
 330 val* var1 /* : FlatBuffer */;
 331 val* var_s /* var s: FlatBuffer */;
 332 short int var2 /* : Bool */;
 333 short int var3 /* : Bool */;
 334 long var4 /* : Int */;
 335 long var_j /* var j: Int */;
 336 val* var5 /* : nullable FlatBuffer */;
 337 long var6 /* : Int */;
 338 long var8 /* : Int */;
 339 long var_k /* var k: Int */;
 340 short int var9 /* : Bool */;
 341 short int var11 /* : Bool */;
 342 int cltype;
 343 int idtype;
 344 const char* var_class_name;
 345 short int var12 /* : Bool */;
 346 val* var13 /* : nullable FlatBuffer */;
 347 char var14 /* : Char */;
 348 long var15 /* : Int */;
 349 long var16 /* : Int */;
 350 short int var18 /* : Bool */;
 351 int cltype19;
 352 int idtype20;
 353 const char* var_class_name21;
 354 long var22 /* : Int */;
 355 val* var24 /* : String */;
 356 var1 = NEW_string__FlatBuffer(&type_string__FlatBuffer);
 357 {
 358 ((void (*)(val*))(var1->class->vft[COLOR_kernel__Object__init]))(var1) /* init on <var1:FlatBuffer>*/;
 359 }
 360 var_s = var1;
 361 for(;;) {
 362 {
 363 var2 = stream__BufferedIStream__eof(self);
 364 }
 365 var3 = !var2;
 366 if (var3){
 367 var4 = self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <self:BufferedIStream> */
 368 var_j = var4;
 369 var5 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 370 if (var5 == NULL) {
 371 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 372 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 201);
 373 show_backtrace(1);
 374 } else {
 375 { /* Inline string#FlatText#length (var5) on <var5:nullable FlatBuffer> */
 376 if (unlikely(var5 == NULL)) {
 377 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 378 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 715);
 379 show_backtrace(1);
 380 }
 381 var8 = var5->attrs[COLOR_string__FlatText___length].l; /* _length on <var5:nullable FlatBuffer> */
 382 var6 = var8;
 383 RET_LABEL7:(void)0;
 384 }
 385 }
 386 var_k = var6;
 387 for(;;) {
 388 {
 389 { /* Inline kernel#Int#< (var_j,var_k) on <var_j:Int> */
 390 /* Covariant cast for argument 0 (i) <var_k:Int> isa OTHER */
 391 /* <var_k:Int> isa OTHER */
 392 var11 = 1; /* easy <var_k:Int> isa OTHER*/
 393 if (unlikely(!var11)) {
 394 var_class_name = type_kernel__Int.name;
 395 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
 396 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
 397 show_backtrace(1);
 398 }
 399 var12 = var_j < var_k;
 400 var9 = var12;
 401 goto RET_LABEL10;
 402 RET_LABEL10:(void)0;
 403 }
 404 }
 405 if (var9){
 406 var13 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 407 if (var13 == NULL) {
 408 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 409 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 203);
 410 show_backtrace(1);
 411 } else {
 412 var14 = string__FlatBuffer___91d_93d(var13, var_j);
 413 }
 414 {
 415 string__FlatBuffer__add(var_s, var14); /* Direct call string#FlatBuffer#add on <var_s:FlatBuffer>*/
 416 }
 417 var15 = 1;
 418 {
 419 { /* Inline kernel#Int#+ (var_j,var15) on <var_j:Int> */
 420 /* Covariant cast for argument 0 (i) <var15:Int> isa OTHER */
 421 /* <var15:Int> isa OTHER */
 422 var18 = 1; /* easy <var15:Int> isa OTHER*/
 423 if (unlikely(!var18)) {
 424 var_class_name21 = type_kernel__Int.name;
 425 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name21);
 426 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
 427 show_backtrace(1);
 428 }
 429 var22 = var_j + var15;
 430 var16 = var22;
 431 goto RET_LABEL17;
 432 RET_LABEL17:(void)0;
 433 }
 434 }
 435 var_j = var16;
 436 } else {
 437 goto BREAK_label;
 438 }
 439 }
 440 BREAK_label: (void)0;
 441 self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l = var_j; /* _buffer_pos on <self:BufferedIStream> */
 442 {
 443 file__IFStream__fill_buffer(self); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
 444 }
 445 } else {
 446 goto BREAK_label23;
 447 }
 448 }
 449 BREAK_label23: (void)0;
 450 {
 451 var24 = string__FlatBuffer__to_s(var_s);
 452 }
 453 var = var24;
 454 goto RET_LABEL;
 455 RET_LABEL:;
 456 return var;
 457 }
 458 /* method stream#BufferedIStream#read_all for (self: Object): String */
 459 val* VIRTUAL_stream__BufferedIStream__read_all(val* self) {
 460 val* var /* : String */;
 461 val* var1 /* : String */;
 462 var1 = stream__BufferedIStream__read_all(self);
 463 var = var1;
 464 RET_LABEL:;
 465 return var;
 466 }
 467 /* method stream#BufferedIStream#append_line_to for (self: BufferedIStream, Buffer) */
 468 void stream__BufferedIStream__append_line_to(val* self, val* p0) {
 469 val* var_s /* var s: Buffer */;
 470 long var /* : Int */;
 471 long var_i /* var i: Int */;
 472 short int var1 /* : Bool */;
 473 val* var2 /* : nullable FlatBuffer */;
 474 long var3 /* : Int */;
 475 long var5 /* : Int */;
 476 short int var6 /* : Bool */;
 477 short int var8 /* : Bool */;
 478 int cltype;
 479 int idtype;
 480 const char* var_class_name;
 481 short int var9 /* : Bool */;
 482 short int var_ /* var : Bool */;
 483 val* var10 /* : nullable FlatBuffer */;
 484 val* var11 /* : Sequence[Char] */;
 485 val* var13 /* : Sequence[Char] */;
 486 val* var14 /* : nullable Object */;
 487 char var15 /* : Char */;
 488 short int var16 /* : Bool */;
 489 short int var17 /* : Bool */;
 490 short int var19 /* : Bool */;
 491 char var20 /* : Char */;
 492 short int var21 /* : Bool */;
 493 long var22 /* : Int */;
 494 long var23 /* : Int */;
 495 short int var25 /* : Bool */;
 496 int cltype26;
 497 int idtype27;
 498 const char* var_class_name28;
 499 long var29 /* : Int */;
 500 long var30 /* : Int */;
 501 short int var31 /* : Bool */;
 502 short int var33 /* : Bool */;
 503 int cltype34;
 504 int idtype35;
 505 const char* var_class_name36;
 506 short int var37 /* : Bool */;
 507 long var38 /* : Int */;
 508 long var40 /* : Int */;
 509 long var41 /* : Int */;
 510 short int var43 /* : Bool */;
 511 int cltype44;
 512 int idtype45;
 513 const char* var_class_name46;
 514 long var47 /* : Int */;
 515 long var48 /* : Int */;
 516 long var49 /* : Int */;
 517 short int var51 /* : Bool */;
 518 int cltype52;
 519 int idtype53;
 520 const char* var_class_name54;
 521 long var55 /* : Int */;
 522 long var56 /* : Int */;
 523 long var_j /* var j: Int */;
 524 short int var57 /* : Bool */;
 525 short int var59 /* : Bool */;
 526 int cltype60;
 527 int idtype61;
 528 const char* var_class_name62;
 529 short int var63 /* : Bool */;
 530 val* var64 /* : nullable FlatBuffer */;
 531 val* var65 /* : Sequence[Char] */;
 532 val* var67 /* : Sequence[Char] */;
 533 val* var68 /* : nullable Object */;
 534 char var69 /* : Char */;
 535 long var70 /* : Int */;
 536 long var71 /* : Int */;
 537 short int var73 /* : Bool */;
 538 int cltype74;
 539 int idtype75;
 540 const char* var_class_name76;
 541 long var77 /* : Int */;
 542 val* var79 /* : nullable FlatBuffer */;
 543 long var80 /* : Int */;
 544 long var82 /* : Int */;
 545 short int var83 /* : Bool */;
 546 short int var85 /* : Bool */;
 547 int cltype86;
 548 int idtype87;
 549 const char* var_class_name88;
 550 short int var89 /* : Bool */;
 551 long var90 /* : Int */;
 552 long var91 /* : Int */;
 553 short int var93 /* : Bool */;
 554 int cltype94;
 555 int idtype95;
 556 const char* var_class_name96;
 557 long var97 /* : Int */;
 558 short int var98 /* : Bool */;
 559 short int var100 /* : Bool */;
 560 var_s = p0;
 561 for(;;) {
 562 var = self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <self:BufferedIStream> */
 563 var_i = var;
 564 for(;;) {
 565 var2 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 566 if (var2 == NULL) {
 567 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 568 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 217);
 569 show_backtrace(1);
 570 } else {
 571 { /* Inline string#FlatText#length (var2) on <var2:nullable FlatBuffer> */
 572 if (unlikely(var2 == NULL)) {
 573 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 574 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 715);
 575 show_backtrace(1);
 576 }
 577 var5 = var2->attrs[COLOR_string__FlatText___length].l; /* _length on <var2:nullable FlatBuffer> */
 578 var3 = var5;
 579 RET_LABEL4:(void)0;
 580 }
 581 }
 582 {
 583 { /* Inline kernel#Int#< (var_i,var3) on <var_i:Int> */
 584 /* Covariant cast for argument 0 (i) <var3:Int> isa OTHER */
 585 /* <var3:Int> isa OTHER */
 586 var8 = 1; /* easy <var3:Int> isa OTHER*/
 587 if (unlikely(!var8)) {
 588 var_class_name = type_kernel__Int.name;
 589 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
 590 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
 591 show_backtrace(1);
 592 }
 593 var9 = var_i < var3;
 594 var6 = var9;
 595 goto RET_LABEL7;
 596 RET_LABEL7:(void)0;
 597 }
 598 }
 599 var_ = var6;
 600 if (var6){
 601 var10 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 602 if (var10 == NULL) {
 603 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 604 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 217);
 605 show_backtrace(1);
 606 } else {
 607 { /* Inline string#FlatBuffer#chars (var10) on <var10:nullable FlatBuffer> */
 608 if (unlikely(var10 == NULL)) {
 609 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 610 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 1406);
 611 show_backtrace(1);
 612 }
 613 var13 = var10->attrs[COLOR_string__FlatBuffer___chars].val; /* _chars on <var10:nullable FlatBuffer> */
 614 if (unlikely(var13 == NULL)) {
 615 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
 616 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 1406);
 617 show_backtrace(1);
 618 }
 619 var11 = var13;
 620 RET_LABEL12:(void)0;
 621 }
 622 }
 623 {
 624 var14 = ((val* (*)(val*, long))(var11->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var11, var_i) /* [] on <var11:Sequence[Char]>*/;
 625 }
 626 var15 = '\n';
 627 {
 628 { /* Inline kernel#Char#!= (var14,var15) on <var14:nullable Object(Char)> */
 629 var19 = (var14 != NULL) && (var14->class == &class_kernel__Char);
 630 if (var19) {
 631 var20 = ((struct instance_kernel__Char*)var14)->value; /* autounbox from nullable Object to Char */;
 632 var19 = (var20 == var15);
 633 }
 634 var21 = !var19;
 635 var17 = var21;
 636 goto RET_LABEL18;
 637 RET_LABEL18:(void)0;
 638 }
 639 var16 = var17;
 640 }
 641 var1 = var16;
 642 } else {
 643 var1 = var_;
 644 }
 645 if (var1){
 646 var22 = 1;
 647 {
 648 { /* Inline kernel#Int#+ (var_i,var22) on <var_i:Int> */
 649 /* Covariant cast for argument 0 (i) <var22:Int> isa OTHER */
 650 /* <var22:Int> isa OTHER */
 651 var25 = 1; /* easy <var22:Int> isa OTHER*/
 652 if (unlikely(!var25)) {
 653 var_class_name28 = type_kernel__Int.name;
 654 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name28);
 655 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
 656 show_backtrace(1);
 657 }
 658 var29 = var_i + var22;
 659 var23 = var29;
 660 goto RET_LABEL24;
 661 RET_LABEL24:(void)0;
 662 }
 663 }
 664 var_i = var23;
 665 } else {
 666 goto BREAK_label;
 667 }
 668 }
 669 BREAK_label: (void)0;
 670 var30 = self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <self:BufferedIStream> */
 671 {
 672 { /* Inline kernel#Int#> (var_i,var30) on <var_i:Int> */
 673 /* Covariant cast for argument 0 (i) <var30:Int> isa OTHER */
 674 /* <var30:Int> isa OTHER */
 675 var33 = 1; /* easy <var30:Int> isa OTHER*/
 676 if (unlikely(!var33)) {
 677 var_class_name36 = type_kernel__Int.name;
 678 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name36);
 679 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 373);
 680 show_backtrace(1);
 681 }
 682 var37 = var_i > var30;
 683 var31 = var37;
 684 goto RET_LABEL32;
 685 RET_LABEL32:(void)0;
 686 }
 687 }
 688 if (var31){
 689 {
 690 { /* Inline string#FlatText#length (var_s) on <var_s:Buffer> */
 691 var40 = var_s->attrs[COLOR_string__FlatText___length].l; /* _length on <var_s:Buffer> */
 692 var38 = var40;
 693 RET_LABEL39:(void)0;
 694 }
 695 }
 696 {
 697 { /* Inline kernel#Int#+ (var38,var_i) on <var38:Int> */
 698 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
 699 /* <var_i:Int> isa OTHER */
 700 var43 = 1; /* easy <var_i:Int> isa OTHER*/
 701 if (unlikely(!var43)) {
 702 var_class_name46 = type_kernel__Int.name;
 703 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name46);
 704 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
 705 show_backtrace(1);
 706 }
 707 var47 = var38 + var_i;
 708 var41 = var47;
 709 goto RET_LABEL42;
 710 RET_LABEL42:(void)0;
 711 }
 712 }
 713 var48 = self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <self:BufferedIStream> */
 714 {
 715 { /* Inline kernel#Int#- (var41,var48) on <var41:Int> */
 716 /* Covariant cast for argument 0 (i) <var48:Int> isa OTHER */
 717 /* <var48:Int> isa OTHER */
 718 var51 = 1; /* easy <var48:Int> isa OTHER*/
 719 if (unlikely(!var51)) {
 720 var_class_name54 = type_kernel__Int.name;
 721 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name54);
 722 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377);
 723 show_backtrace(1);
 724 }
 725 var55 = var41 - var48;
 726 var49 = var55;
 727 goto RET_LABEL50;
 728 RET_LABEL50:(void)0;
 729 }
 730 }
 731 {
 732 string__FlatBuffer__enlarge(var_s, var49); /* Direct call string#FlatBuffer#enlarge on <var_s:Buffer>*/
 733 }
 734 var56 = self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <self:BufferedIStream> */
 735 var_j = var56;
 736 for(;;) {
 737 {
 738 { /* Inline kernel#Int#< (var_j,var_i) on <var_j:Int> */
 739 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
 740 /* <var_i:Int> isa OTHER */
 741 var59 = 1; /* easy <var_i:Int> isa OTHER*/
 742 if (unlikely(!var59)) {
 743 var_class_name62 = type_kernel__Int.name;
 744 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name62);
 745 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
 746 show_backtrace(1);
 747 }
 748 var63 = var_j < var_i;
 749 var57 = var63;
 750 goto RET_LABEL58;
 751 RET_LABEL58:(void)0;
 752 }
 753 }
 754 if (var57){
 755 var64 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 756 if (var64 == NULL) {
 757 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 758 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 227);
 759 show_backtrace(1);
 760 } else {
 761 { /* Inline string#FlatBuffer#chars (var64) on <var64:nullable FlatBuffer> */
 762 if (unlikely(var64 == NULL)) {
 763 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 764 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 1406);
 765 show_backtrace(1);
 766 }
 767 var67 = var64->attrs[COLOR_string__FlatBuffer___chars].val; /* _chars on <var64:nullable FlatBuffer> */
 768 if (unlikely(var67 == NULL)) {
 769 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
 770 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 1406);
 771 show_backtrace(1);
 772 }
 773 var65 = var67;
 774 RET_LABEL66:(void)0;
 775 }
 776 }
 777 {
 778 var68 = ((val* (*)(val*, long))(var65->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(var65, var_j) /* [] on <var65:Sequence[Char]>*/;
 779 }
 780 {
 781 var69 = ((struct instance_kernel__Char*)var68)->value; /* autounbox from nullable Object to Char */;
 782 string__FlatBuffer__add(var_s, var69); /* Direct call string#FlatBuffer#add on <var_s:Buffer>*/
 783 }
 784 var70 = 1;
 785 {
 786 { /* Inline kernel#Int#+ (var_j,var70) on <var_j:Int> */
 787 /* Covariant cast for argument 0 (i) <var70:Int> isa OTHER */
 788 /* <var70:Int> isa OTHER */
 789 var73 = 1; /* easy <var70:Int> isa OTHER*/
 790 if (unlikely(!var73)) {
 791 var_class_name76 = type_kernel__Int.name;
 792 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name76);
 793 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
 794 show_backtrace(1);
 795 }
 796 var77 = var_j + var70;
 797 var71 = var77;
 798 goto RET_LABEL72;
 799 RET_LABEL72:(void)0;
 800 }
 801 }
 802 var_j = var71;
 803 } else {
 804 goto BREAK_label78;
 805 }
 806 }
 807 BREAK_label78: (void)0;
 808 } else {
 809 }
 810 var79 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 811 if (var79 == NULL) {
 812 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 813 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 232);
 814 show_backtrace(1);
 815 } else {
 816 { /* Inline string#FlatText#length (var79) on <var79:nullable FlatBuffer> */
 817 if (unlikely(var79 == NULL)) {
 818 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 819 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 715);
 820 show_backtrace(1);
 821 }
 822 var82 = var79->attrs[COLOR_string__FlatText___length].l; /* _length on <var79:nullable FlatBuffer> */
 823 var80 = var82;
 824 RET_LABEL81:(void)0;
 825 }
 826 }
 827 {
 828 { /* Inline kernel#Int#< (var_i,var80) on <var_i:Int> */
 829 /* Covariant cast for argument 0 (i) <var80:Int> isa OTHER */
 830 /* <var80:Int> isa OTHER */
 831 var85 = 1; /* easy <var80:Int> isa OTHER*/
 832 if (unlikely(!var85)) {
 833 var_class_name88 = type_kernel__Int.name;
 834 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name88);
 835 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371);
 836 show_backtrace(1);
 837 }
 838 var89 = var_i < var80;
 839 var83 = var89;
 840 goto RET_LABEL84;
 841 RET_LABEL84:(void)0;
 842 }
 843 }
 844 if (var83){
 845 var90 = 1;
 846 {
 847 { /* Inline kernel#Int#+ (var_i,var90) on <var_i:Int> */
 848 /* Covariant cast for argument 0 (i) <var90:Int> isa OTHER */
 849 /* <var90:Int> isa OTHER */
 850 var93 = 1; /* easy <var90:Int> isa OTHER*/
 851 if (unlikely(!var93)) {
 852 var_class_name96 = type_kernel__Int.name;
 853 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name96);
 854 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374);
 855 show_backtrace(1);
 856 }
 857 var97 = var_i + var90;
 858 var91 = var97;
 859 goto RET_LABEL92;
 860 RET_LABEL92:(void)0;
 861 }
 862 }
 863 self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l = var91; /* _buffer_pos on <self:BufferedIStream> */
 864 goto RET_LABEL;
 865 } else {
 866 self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l = var_i; /* _buffer_pos on <self:BufferedIStream> */
 867 {
 868 { /* Inline file#IFStream#end_reached (self) on <self:BufferedIStream> */
 869 var100 = self->attrs[COLOR_file__IFStream___end_reached].s; /* _end_reached on <self:BufferedIStream> */
 870 var98 = var100;
 871 RET_LABEL99:(void)0;
 872 }
 873 }
 874 if (var98){
 875 goto RET_LABEL;
 876 } else {
 877 {
 878 file__IFStream__fill_buffer(self); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
 879 }
 880 }
 881 }
 882 }
 883 RET_LABEL:;
 884 }
 885 /* method stream#BufferedIStream#append_line_to for (self: Object, Buffer) */
 886 void VIRTUAL_stream__BufferedIStream__append_line_to(val* self, val* p0) {
 887 stream__BufferedIStream__append_line_to(self, p0); /* Direct call stream#BufferedIStream#append_line_to on <self:Object(BufferedIStream)>*/
 888 RET_LABEL:;
 889 }
 890 /* method stream#BufferedIStream#eof for (self: BufferedIStream): Bool */
 891 short int stream__BufferedIStream__eof(val* self) {
 892 short int var /* : Bool */;
 893 short int var1 /* : Bool */;
 894 long var2 /* : Int */;
 895 val* var3 /* : nullable FlatBuffer */;
 896 long var4 /* : Int */;
 897 long var6 /* : Int */;
 898 short int var7 /* : Bool */;
 899 short int var9 /* : Bool */;
 900 int cltype;
 901 int idtype;
 902 const char* var_class_name;
 903 short int var10 /* : Bool */;
 904 short int var_ /* var : Bool */;
 905 short int var11 /* : Bool */;
 906 short int var13 /* : Bool */;
 907 var2 = self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l; /* _buffer_pos on <self:BufferedIStream> */
 908 var3 = self->attrs[COLOR_stream__BufferedIStream___buffer].val; /* _buffer on <self:BufferedIStream> */
 909 if (var3 == NULL) {
 910 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 911 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 248);
 912 show_backtrace(1);
 913 } else {
 914 { /* Inline string#FlatText#length (var3) on <var3:nullable FlatBuffer> */
 915 if (unlikely(var3 == NULL)) {
 916 PRINT_ERROR("Runtime error: %s", "Receiver is null");
 917 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/string.nit", 715);
 918 show_backtrace(1);
 919 }
 920 var6 = var3->attrs[COLOR_string__FlatText___length].l; /* _length on <var3:nullable FlatBuffer> */
 921 var4 = var6;
 922 RET_LABEL5:(void)0;
 923 }
 924 }
 925 {
 926 { /* Inline kernel#Int#>= (var2,var4) on <var2:Int> */
 927 /* Covariant cast for argument 0 (i) <var4:Int> isa OTHER */
 928 /* <var4:Int> isa OTHER */
 929 var9 = 1; /* easy <var4:Int> isa OTHER*/
 930 if (unlikely(!var9)) {
 931 var_class_name = type_kernel__Int.name;
 932 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
 933 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372);
 934 show_backtrace(1);
 935 }
 936 var10 = var2 >= var4;
 937 var7 = var10;
 938 goto RET_LABEL8;
 939 RET_LABEL8:(void)0;
 940 }
 941 }
 942 var_ = var7;
 943 if (var7){
 944 {
 945 { /* Inline file#IFStream#end_reached (self) on <self:BufferedIStream> */
 946 var13 = self->attrs[COLOR_file__IFStream___end_reached].s; /* _end_reached on <self:BufferedIStream> */
 947 var11 = var13;
 948 RET_LABEL12:(void)0;
 949 }
 950 }
 951 var1 = var11;
 952 } else {
 953 var1 = var_;
 954 }
 955 var = var1;
 956 goto RET_LABEL;
 957 RET_LABEL:;
 958 return var;
 959 }
 960 /* method stream#BufferedIStream#eof for (self: Object): Bool */
 961 short int VIRTUAL_stream__BufferedIStream__eof(val* self) {
 962 short int var /* : Bool */;
 963 short int var1 /* : Bool */;
 964 var1 = stream__BufferedIStream__eof(self);
 965 var = var1;
 966 RET_LABEL:;
 967 return var;
 968 }
 969 /* method stream#BufferedIStream#prepare_buffer for (self: BufferedIStream, Int) */
 970 void stream__BufferedIStream__prepare_buffer(val* self, long p0) {
 971 long var_capacity /* var capacity: Int */;
 972 val* var /* : FlatBuffer */;
 973 long var1 /* : Int */;
 974 var_capacity = p0;
 975 var = NEW_string__FlatBuffer(&type_string__FlatBuffer);
 976 {
 977 string__FlatBuffer__with_capacity(var, var_capacity); /* Direct call string#FlatBuffer#with_capacity on <var:FlatBuffer>*/
 978 }
 979 self->attrs[COLOR_stream__BufferedIStream___buffer].val = var; /* _buffer on <self:BufferedIStream> */
 980 var1 = 0;
 981 self->attrs[COLOR_stream__BufferedIStream___buffer_pos].l = var1; /* _buffer_pos on <self:BufferedIStream> */
 982 RET_LABEL:;
 983 }
 984 /* method stream#BufferedIStream#prepare_buffer for (self: Object, Int) */
 985 void VIRTUAL_stream__BufferedIStream__prepare_buffer(val* self, long p0) {
 986 stream__BufferedIStream__prepare_buffer(self, p0); /* Direct call stream#BufferedIStream#prepare_buffer on <self:Object(BufferedIStream)>*/
 987 RET_LABEL:;
 988 }