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 */;
11 var1
= stream__BufferedIStream__eof(self
);
14 if (unlikely(!var2
)) {
15 PRINT_ERROR("Runtime error: %s", "Assert failed");
16 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 53);
19 var3
= NEW_string__FlatBuffer(&type_string__FlatBuffer
);
21 ((void (*)(val
*))(var3
->class->vft
[COLOR_kernel__Object__init
]))(var3
) /* init on <var3:FlatBuffer>*/;
25 stream__BufferedIStream__append_line_to(self
, var_s
); /* Direct call stream#BufferedIStream#append_line_to on <self:IStream>*/
28 var4
= string__FlatBuffer__to_s(var_s
);
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
);
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 */;
49 file__OFStream__write(var_stream
, self
); /* Direct call file#OFStream#write on <var_stream:OStream>*/
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)>*/
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 */;
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 */;
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 */;
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 */;
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 */;
115 const char* var_class_name56
;
116 long var57
/* : Int */;
117 val
* var58
/* : FlatBuffer */;
118 val
* var59
/* : String */;
120 var1
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
122 PRINT_ERROR("Runtime error: %s", "Receiver is null");
123 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 180);
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);
132 var4
= var1
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var1:nullable FlatBuffer> */
137 var5
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
139 { /* Inline kernel#Int#== (var2,var5) on <var2:Int> */
149 var10
= stream__BufferedIStream__eof(self
);
154 file__IFStream__fill_buffer(self
); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
157 var12
= stream__BufferedIStream__read(self
, var_i
);
168 var16
= string__NativeString__to_s_with_length(var14
, var15
);
176 var17
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
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);
188 var21
= var17
+ var_i
;
194 var22
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
196 PRINT_ERROR("Runtime error: %s", "Receiver is null");
197 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 187);
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);
206 var25
= var22
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var22:nullable FlatBuffer> */
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);
222 var32
= var18
>= var23
;
229 var33
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
231 var34
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
233 PRINT_ERROR("Runtime error: %s", "Receiver is null");
234 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 189);
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);
243 var37
= var34
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var34:nullable FlatBuffer> */
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> */
251 PRINT_ERROR("Runtime error: %s", "Receiver is null");
252 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 190);
255 var39
= string__Text__substring_from(var38
, var_from
);
258 var40
= string__FlatBuffer__to_s(var39
);
265 var41
= var_
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <var_:BufferedIStream> */
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);
277 var48
= var41
+ var_i
;
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> */
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);
297 var57
= var50
- var_i
;
304 PRINT_ERROR("Runtime error: %s", "Receiver is null");
305 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 193);
308 var58
= string__FlatBuffer__substring(var49
, var51
, var_i
);
311 var59
= string__FlatBuffer__to_s(var58
);
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
);
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 */;
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 */;
353 const char* var_class_name21
;
354 long var22
/* : Int */;
355 val
* var24
/* : String */;
356 var1
= NEW_string__FlatBuffer(&type_string__FlatBuffer
);
358 ((void (*)(val
*))(var1
->class->vft
[COLOR_kernel__Object__init
]))(var1
) /* init on <var1:FlatBuffer>*/;
363 var2
= stream__BufferedIStream__eof(self
);
367 var4
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
369 var5
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
371 PRINT_ERROR("Runtime error: %s", "Receiver is null");
372 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 201);
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);
381 var8
= var5
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var5:nullable FlatBuffer> */
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);
399 var12
= var_j
< var_k
;
406 var13
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
408 PRINT_ERROR("Runtime error: %s", "Receiver is null");
409 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 203);
412 var14
= string__FlatBuffer___91d_93d(var13
, var_j
);
415 string__FlatBuffer__add(var_s
, var14
); /* Direct call string#FlatBuffer#add on <var_s:FlatBuffer>*/
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);
429 var22
= var_j
+ var15
;
440 BREAK_label
: (void)0;
441 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var_j
; /* _buffer_pos on <self:BufferedIStream> */
443 file__IFStream__fill_buffer(self
); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
449 BREAK_label23
: (void)0;
451 var24
= string__FlatBuffer__to_s(var_s
);
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
);
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 */;
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 */;
498 const char* var_class_name28
;
499 long var29
/* : Int */;
500 long var30
/* : Int */;
501 short int var31
/* : Bool */;
502 short int var33
/* : Bool */;
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 */;
513 const char* var_class_name46
;
514 long var47
/* : Int */;
515 long var48
/* : Int */;
516 long var49
/* : Int */;
517 short int var51
/* : Bool */;
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 */;
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 */;
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 */;
549 const char* var_class_name88
;
550 short int var89
/* : Bool */;
551 long var90
/* : Int */;
552 long var91
/* : Int */;
553 short int var93
/* : Bool */;
556 const char* var_class_name96
;
557 long var97
/* : Int */;
558 short int var98
/* : Bool */;
559 short int var100
/* : Bool */;
562 var
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
565 var2
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
567 PRINT_ERROR("Runtime error: %s", "Receiver is null");
568 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 217);
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);
577 var5
= var2
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var2:nullable FlatBuffer> */
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);
601 var10
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
603 PRINT_ERROR("Runtime error: %s", "Receiver is null");
604 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 217);
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);
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);
624 var14
= ((val
* (*)(val
*, long))(var11
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(var11
, var_i
) /* [] on <var11:Sequence[Char]>*/;
628 { /* Inline kernel#Char#!= (var14,var15) on <var14:nullable Object(Char)> */
629 var19
= (var14
!= NULL
) && (var14
->class == &class_kernel__Char
);
631 var20
= ((struct instance_kernel__Char
*)var14
)->value
; /* autounbox from nullable Object to Char */;
632 var19
= (var20
== var15
);
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);
658 var29
= var_i
+ var22
;
669 BREAK_label
: (void)0;
670 var30
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
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);
682 var37
= var_i
> var30
;
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> */
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);
707 var47
= var38
+ var_i
;
713 var48
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
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);
725 var55
= var41
- var48
;
732 string__FlatBuffer__enlarge(var_s
, var49
); /* Direct call string#FlatBuffer#enlarge on <var_s:Buffer>*/
734 var56
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
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);
748 var63
= var_j
< var_i
;
755 var64
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
757 PRINT_ERROR("Runtime error: %s", "Receiver is null");
758 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 227);
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);
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);
778 var68
= ((val
* (*)(val
*, long))(var65
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(var65
, var_j
) /* [] on <var65:Sequence[Char]>*/;
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>*/
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);
796 var77
= var_j
+ var70
;
807 BREAK_label78
: (void)0;
810 var79
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
812 PRINT_ERROR("Runtime error: %s", "Receiver is null");
813 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 232);
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);
822 var82
= var79
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var79:nullable FlatBuffer> */
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);
838 var89
= var_i
< var80
;
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);
857 var97
= var_i
+ var90
;
863 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var91
; /* _buffer_pos on <self:BufferedIStream> */
866 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var_i
; /* _buffer_pos on <self:BufferedIStream> */
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> */
878 file__IFStream__fill_buffer(self
); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
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)>*/
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 */;
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> */
910 PRINT_ERROR("Runtime error: %s", "Receiver is null");
911 PRINT_ERROR(" (%s:%d)\n", "../lib/standard/stream.nit", 248);
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);
920 var6
= var3
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var3:nullable FlatBuffer> */
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);
936 var10
= var2
>= var4
;
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> */
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
);
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 */;
975 var
= NEW_string__FlatBuffer(&type_string__FlatBuffer
);
977 string__FlatBuffer__with_capacity(var
, var_capacity
); /* Direct call string#FlatBuffer#with_capacity on <var:FlatBuffer>*/
979 self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
= var
; /* _buffer on <self:BufferedIStream> */
981 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var1
; /* _buffer_pos on <self:BufferedIStream> */
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)>*/