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", 55);
19 var3
= NEW_string__FlatBuffer(&type_string__FlatBuffer
);
21 string__FlatBuffer__init(var3
); /* Direct call string#FlatBuffer#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", 182);
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", 556);
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", 328);
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", 189);
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", 556);
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", 326);
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", 191);
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", 556);
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", 192);
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", 328);
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", 331);
297 var57
= var50
- var_i
;
304 PRINT_ERROR("Runtime error: %s", "Receiver is null");
305 PRINT_ERROR(" (%s:%d)\n", "lib/standard/stream.nit", 195);
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 val
* var14
/* : Sequence[Char] */;
348 val
* var16
/* : Sequence[Char] */;
349 val
* var17
/* : nullable Object */;
350 char var18
/* : Char */;
351 long var19
/* : Int */;
352 long var20
/* : Int */;
353 short int var22
/* : Bool */;
356 const char* var_class_name25
;
357 long var26
/* : Int */;
358 val
* var28
/* : String */;
359 var1
= NEW_string__FlatBuffer(&type_string__FlatBuffer
);
361 string__FlatBuffer__init(var1
); /* Direct call string#FlatBuffer#init on <var1:FlatBuffer>*/
366 var2
= stream__BufferedIStream__eof(self
);
370 var4
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
372 var5
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
374 PRINT_ERROR("Runtime error: %s", "Receiver is null");
375 PRINT_ERROR(" (%s:%d)\n", "lib/standard/stream.nit", 203);
378 { /* Inline string#FlatText#length (var5) on <var5:nullable FlatBuffer> */
379 if (unlikely(var5
== NULL
)) {
380 PRINT_ERROR("Runtime error: %s", "Receiver is null");
381 PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 556);
384 var8
= var5
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var5:nullable FlatBuffer> */
392 { /* Inline kernel#Int#< (var_j,var_k) on <var_j:Int> */
393 /* Covariant cast for argument 0 (i) <var_k:Int> isa OTHER */
394 /* <var_k:Int> isa OTHER */
395 var11
= 1; /* easy <var_k:Int> isa OTHER*/
396 if (unlikely(!var11
)) {
397 var_class_name
= type_kernel__Int
.name
;
398 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
399 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 325);
402 var12
= var_j
< var_k
;
409 var13
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
411 PRINT_ERROR("Runtime error: %s", "Receiver is null");
412 PRINT_ERROR(" (%s:%d)\n", "lib/standard/stream.nit", 205);
415 { /* Inline string#FlatBuffer#chars (var13) on <var13:nullable FlatBuffer> */
416 if (unlikely(var13
== NULL
)) {
417 PRINT_ERROR("Runtime error: %s", "Receiver is null");
418 PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 1163);
421 var16
= var13
->attrs
[COLOR_string__FlatBuffer___chars
].val
; /* _chars on <var13:nullable FlatBuffer> */
422 if (unlikely(var16
== NULL
)) {
423 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
424 PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 1163);
432 var17
= ((val
* (*)(val
*, long))(var14
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(var14
, var_j
) /* [] on <var14:Sequence[Char]>*/;
435 var18
= ((struct instance_kernel__Char
*)var17
)->value
; /* autounbox from nullable Object to Char */;
436 string__FlatBuffer__add(var_s
, var18
); /* Direct call string#FlatBuffer#add on <var_s:FlatBuffer>*/
440 { /* Inline kernel#Int#+ (var_j,var19) on <var_j:Int> */
441 /* Covariant cast for argument 0 (i) <var19:Int> isa OTHER */
442 /* <var19:Int> isa OTHER */
443 var22
= 1; /* easy <var19:Int> isa OTHER*/
444 if (unlikely(!var22
)) {
445 var_class_name25
= type_kernel__Int
.name
;
446 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name25
);
447 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
450 var26
= var_j
+ var19
;
457 CONTINUE_label
: (void)0;
459 BREAK_label
: (void)0;
460 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var_j
; /* _buffer_pos on <self:BufferedIStream> */
462 file__IFStream__fill_buffer(self
); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
464 CONTINUE_label27
: (void)0;
466 BREAK_label27
: (void)0;
468 var28
= string__FlatBuffer__to_s(var_s
);
475 /* method stream#BufferedIStream#read_all for (self: Object): String */
476 val
* VIRTUAL_stream__BufferedIStream__read_all(val
* self
) {
477 val
* var
/* : String */;
478 val
* var1
/* : String */;
479 var1
= stream__BufferedIStream__read_all(self
);
484 /* method stream#BufferedIStream#append_line_to for (self: BufferedIStream, Buffer) */
485 void stream__BufferedIStream__append_line_to(val
* self
, val
* p0
) {
486 val
* var_s
/* var s: Buffer */;
487 long var
/* : Int */;
488 long var_i
/* var i: Int */;
489 short int var1
/* : Bool */;
490 val
* var2
/* : nullable FlatBuffer */;
491 long var3
/* : Int */;
492 long var5
/* : Int */;
493 short int var6
/* : Bool */;
494 short int var8
/* : Bool */;
497 const char* var_class_name
;
498 short int var9
/* : Bool */;
499 short int var_
/* var : Bool */;
500 val
* var10
/* : nullable FlatBuffer */;
501 val
* var11
/* : Sequence[Char] */;
502 val
* var13
/* : Sequence[Char] */;
503 val
* var14
/* : nullable Object */;
504 char var15
/* : Char */;
505 short int var16
/* : Bool */;
506 short int var17
/* : Bool */;
507 short int var19
/* : Bool */;
508 char var20
/* : Char */;
509 short int var21
/* : Bool */;
510 long var22
/* : Int */;
511 long var23
/* : Int */;
512 short int var25
/* : Bool */;
515 const char* var_class_name28
;
516 long var29
/* : Int */;
517 long var30
/* : Int */;
518 short int var31
/* : Bool */;
519 short int var33
/* : Bool */;
522 const char* var_class_name36
;
523 short int var37
/* : Bool */;
524 long var38
/* : Int */;
525 long var40
/* : Int */;
526 long var41
/* : Int */;
527 short int var43
/* : Bool */;
530 const char* var_class_name46
;
531 long var47
/* : Int */;
532 long var48
/* : Int */;
533 long var49
/* : Int */;
534 short int var51
/* : Bool */;
537 const char* var_class_name54
;
538 long var55
/* : Int */;
539 long var56
/* : Int */;
540 long var_j
/* var j: Int */;
541 short int var57
/* : Bool */;
542 short int var59
/* : Bool */;
545 const char* var_class_name62
;
546 short int var63
/* : Bool */;
547 val
* var64
/* : nullable FlatBuffer */;
548 val
* var65
/* : Sequence[Char] */;
549 val
* var67
/* : Sequence[Char] */;
550 val
* var68
/* : nullable Object */;
551 char var69
/* : Char */;
552 long var70
/* : Int */;
553 long var71
/* : Int */;
554 short int var73
/* : Bool */;
557 const char* var_class_name76
;
558 long var77
/* : Int */;
559 val
* var79
/* : nullable FlatBuffer */;
560 long var80
/* : Int */;
561 long var82
/* : Int */;
562 short int var83
/* : Bool */;
563 short int var85
/* : Bool */;
566 const char* var_class_name88
;
567 short int var89
/* : Bool */;
568 long var90
/* : Int */;
569 long var91
/* : Int */;
570 short int var93
/* : Bool */;
573 const char* var_class_name96
;
574 long var97
/* : Int */;
575 short int var98
/* : Bool */;
576 short int var100
/* : Bool */;
579 var
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
582 var2
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
584 PRINT_ERROR("Runtime error: %s", "Receiver is null");
585 PRINT_ERROR(" (%s:%d)\n", "lib/standard/stream.nit", 219);
588 { /* Inline string#FlatText#length (var2) on <var2:nullable FlatBuffer> */
589 if (unlikely(var2
== NULL
)) {
590 PRINT_ERROR("Runtime error: %s", "Receiver is null");
591 PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 556);
594 var5
= var2
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var2:nullable FlatBuffer> */
600 { /* Inline kernel#Int#< (var_i,var3) on <var_i:Int> */
601 /* Covariant cast for argument 0 (i) <var3:Int> isa OTHER */
602 /* <var3:Int> isa OTHER */
603 var8
= 1; /* easy <var3:Int> isa OTHER*/
604 if (unlikely(!var8
)) {
605 var_class_name
= type_kernel__Int
.name
;
606 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
607 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 325);
618 var10
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
620 PRINT_ERROR("Runtime error: %s", "Receiver is null");
621 PRINT_ERROR(" (%s:%d)\n", "lib/standard/stream.nit", 219);
624 { /* Inline string#FlatBuffer#chars (var10) on <var10:nullable FlatBuffer> */
625 if (unlikely(var10
== NULL
)) {
626 PRINT_ERROR("Runtime error: %s", "Receiver is null");
627 PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 1163);
630 var13
= var10
->attrs
[COLOR_string__FlatBuffer___chars
].val
; /* _chars on <var10:nullable FlatBuffer> */
631 if (unlikely(var13
== NULL
)) {
632 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
633 PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 1163);
641 var14
= ((val
* (*)(val
*, long))(var11
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(var11
, var_i
) /* [] on <var11:Sequence[Char]>*/;
645 { /* Inline kernel#Char#!= (var14,var15) on <var14:nullable Object(Char)> */
646 var19
= (var14
!= NULL
) && (var14
->class == &class_kernel__Char
);
648 var20
= ((struct instance_kernel__Char
*)var14
)->value
; /* autounbox from nullable Object to Char */;
649 var19
= (var20
== var15
);
665 { /* Inline kernel#Int#+ (var_i,var22) on <var_i:Int> */
666 /* Covariant cast for argument 0 (i) <var22:Int> isa OTHER */
667 /* <var22:Int> isa OTHER */
668 var25
= 1; /* easy <var22:Int> isa OTHER*/
669 if (unlikely(!var25
)) {
670 var_class_name28
= type_kernel__Int
.name
;
671 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name28
);
672 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
675 var29
= var_i
+ var22
;
682 CONTINUE_label
: (void)0;
684 BREAK_label
: (void)0;
685 var30
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
687 { /* Inline kernel#Int#> (var_i,var30) on <var_i:Int> */
688 /* Covariant cast for argument 0 (i) <var30:Int> isa OTHER */
689 /* <var30:Int> isa OTHER */
690 var33
= 1; /* easy <var30:Int> isa OTHER*/
691 if (unlikely(!var33
)) {
692 var_class_name36
= type_kernel__Int
.name
;
693 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name36
);
694 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 327);
697 var37
= var_i
> var30
;
705 { /* Inline string#FlatText#length (var_s) on <var_s:Buffer> */
706 var40
= var_s
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var_s:Buffer> */
712 { /* Inline kernel#Int#+ (var38,var_i) on <var38:Int> */
713 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
714 /* <var_i:Int> isa OTHER */
715 var43
= 1; /* easy <var_i:Int> isa OTHER*/
716 if (unlikely(!var43
)) {
717 var_class_name46
= type_kernel__Int
.name
;
718 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name46
);
719 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
722 var47
= var38
+ var_i
;
728 var48
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
730 { /* Inline kernel#Int#- (var41,var48) on <var41:Int> */
731 /* Covariant cast for argument 0 (i) <var48:Int> isa OTHER */
732 /* <var48:Int> isa OTHER */
733 var51
= 1; /* easy <var48:Int> isa OTHER*/
734 if (unlikely(!var51
)) {
735 var_class_name54
= type_kernel__Int
.name
;
736 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name54
);
737 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
740 var55
= var41
- var48
;
747 string__FlatBuffer__enlarge(var_s
, var49
); /* Direct call string#FlatBuffer#enlarge on <var_s:Buffer>*/
749 var56
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
753 { /* Inline kernel#Int#< (var_j,var_i) on <var_j:Int> */
754 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
755 /* <var_i:Int> isa OTHER */
756 var59
= 1; /* easy <var_i:Int> isa OTHER*/
757 if (unlikely(!var59
)) {
758 var_class_name62
= type_kernel__Int
.name
;
759 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name62
);
760 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 325);
763 var63
= var_j
< var_i
;
770 var64
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
772 PRINT_ERROR("Runtime error: %s", "Receiver is null");
773 PRINT_ERROR(" (%s:%d)\n", "lib/standard/stream.nit", 229);
776 { /* Inline string#FlatBuffer#chars (var64) on <var64:nullable FlatBuffer> */
777 if (unlikely(var64
== NULL
)) {
778 PRINT_ERROR("Runtime error: %s", "Receiver is null");
779 PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 1163);
782 var67
= var64
->attrs
[COLOR_string__FlatBuffer___chars
].val
; /* _chars on <var64:nullable FlatBuffer> */
783 if (unlikely(var67
== NULL
)) {
784 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
785 PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 1163);
793 var68
= ((val
* (*)(val
*, long))(var65
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(var65
, var_j
) /* [] on <var65:Sequence[Char]>*/;
796 var69
= ((struct instance_kernel__Char
*)var68
)->value
; /* autounbox from nullable Object to Char */;
797 string__FlatBuffer__add(var_s
, var69
); /* Direct call string#FlatBuffer#add on <var_s:Buffer>*/
801 { /* Inline kernel#Int#+ (var_j,var70) on <var_j:Int> */
802 /* Covariant cast for argument 0 (i) <var70:Int> isa OTHER */
803 /* <var70:Int> isa OTHER */
804 var73
= 1; /* easy <var70:Int> isa OTHER*/
805 if (unlikely(!var73
)) {
806 var_class_name76
= type_kernel__Int
.name
;
807 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name76
);
808 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
811 var77
= var_j
+ var70
;
818 CONTINUE_label78
: (void)0;
820 BREAK_label78
: (void)0;
823 var79
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
825 PRINT_ERROR("Runtime error: %s", "Receiver is null");
826 PRINT_ERROR(" (%s:%d)\n", "lib/standard/stream.nit", 234);
829 { /* Inline string#FlatText#length (var79) on <var79:nullable FlatBuffer> */
830 if (unlikely(var79
== NULL
)) {
831 PRINT_ERROR("Runtime error: %s", "Receiver is null");
832 PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 556);
835 var82
= var79
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var79:nullable FlatBuffer> */
841 { /* Inline kernel#Int#< (var_i,var80) on <var_i:Int> */
842 /* Covariant cast for argument 0 (i) <var80:Int> isa OTHER */
843 /* <var80:Int> isa OTHER */
844 var85
= 1; /* easy <var80:Int> isa OTHER*/
845 if (unlikely(!var85
)) {
846 var_class_name88
= type_kernel__Int
.name
;
847 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name88
);
848 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 325);
851 var89
= var_i
< var80
;
860 { /* Inline kernel#Int#+ (var_i,var90) on <var_i:Int> */
861 /* Covariant cast for argument 0 (i) <var90:Int> isa OTHER */
862 /* <var90:Int> isa OTHER */
863 var93
= 1; /* easy <var90:Int> isa OTHER*/
864 if (unlikely(!var93
)) {
865 var_class_name96
= type_kernel__Int
.name
;
866 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name96
);
867 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
870 var97
= var_i
+ var90
;
876 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var91
; /* _buffer_pos on <self:BufferedIStream> */
879 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var_i
; /* _buffer_pos on <self:BufferedIStream> */
881 { /* Inline file#IFStream#end_reached (self) on <self:BufferedIStream> */
882 var100
= self
->attrs
[COLOR_file__IFStream___end_reached
].s
; /* _end_reached on <self:BufferedIStream> */
891 file__IFStream__fill_buffer(self
); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
895 CONTINUE_label101
: (void)0;
897 BREAK_label101
: (void)0;
900 /* method stream#BufferedIStream#append_line_to for (self: Object, Buffer) */
901 void VIRTUAL_stream__BufferedIStream__append_line_to(val
* self
, val
* p0
) {
902 stream__BufferedIStream__append_line_to(self
, p0
); /* Direct call stream#BufferedIStream#append_line_to on <self:Object(BufferedIStream)>*/
905 /* method stream#BufferedIStream#eof for (self: BufferedIStream): Bool */
906 short int stream__BufferedIStream__eof(val
* self
) {
907 short int var
/* : Bool */;
908 short int var1
/* : Bool */;
909 long var2
/* : Int */;
910 val
* var3
/* : nullable FlatBuffer */;
911 long var4
/* : Int */;
912 long var6
/* : Int */;
913 short int var7
/* : Bool */;
914 short int var9
/* : Bool */;
917 const char* var_class_name
;
918 short int var10
/* : Bool */;
919 short int var_
/* var : Bool */;
920 short int var11
/* : Bool */;
921 short int var13
/* : Bool */;
922 var2
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
923 var3
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
925 PRINT_ERROR("Runtime error: %s", "Receiver is null");
926 PRINT_ERROR(" (%s:%d)\n", "lib/standard/stream.nit", 250);
929 { /* Inline string#FlatText#length (var3) on <var3:nullable FlatBuffer> */
930 if (unlikely(var3
== NULL
)) {
931 PRINT_ERROR("Runtime error: %s", "Receiver is null");
932 PRINT_ERROR(" (%s:%d)\n", "lib/standard/string.nit", 556);
935 var6
= var3
->attrs
[COLOR_string__FlatText___length
].l
; /* _length on <var3:nullable FlatBuffer> */
941 { /* Inline kernel#Int#>= (var2,var4) on <var2:Int> */
942 /* Covariant cast for argument 0 (i) <var4:Int> isa OTHER */
943 /* <var4:Int> isa OTHER */
944 var9
= 1; /* easy <var4:Int> isa OTHER*/
945 if (unlikely(!var9
)) {
946 var_class_name
= type_kernel__Int
.name
;
947 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
948 PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 326);
951 var10
= var2
>= var4
;
960 { /* Inline file#IFStream#end_reached (self) on <self:BufferedIStream> */
961 var13
= self
->attrs
[COLOR_file__IFStream___end_reached
].s
; /* _end_reached on <self:BufferedIStream> */
975 /* method stream#BufferedIStream#eof for (self: Object): Bool */
976 short int VIRTUAL_stream__BufferedIStream__eof(val
* self
) {
977 short int var
/* : Bool */;
978 short int var1
/* : Bool */;
979 var1
= stream__BufferedIStream__eof(self
);
984 /* method stream#BufferedIStream#prepare_buffer for (self: BufferedIStream, Int) */
985 void stream__BufferedIStream__prepare_buffer(val
* self
, long p0
) {
986 long var_capacity
/* var capacity: Int */;
987 val
* var
/* : FlatBuffer */;
988 long var1
/* : Int */;
990 var
= NEW_string__FlatBuffer(&type_string__FlatBuffer
);
992 string__FlatBuffer__with_capacity(var
, var_capacity
); /* Direct call string#FlatBuffer#with_capacity on <var:FlatBuffer>*/
994 self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
= var
; /* _buffer on <self:BufferedIStream> */
996 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var1
; /* _buffer_pos on <self:BufferedIStream> */
999 /* method stream#BufferedIStream#prepare_buffer for (self: Object, Int) */
1000 void VIRTUAL_stream__BufferedIStream__prepare_buffer(val
* self
, long p0
) {
1001 stream__BufferedIStream__prepare_buffer(self
, p0
); /* Direct call stream#BufferedIStream#prepare_buffer on <self:Object(BufferedIStream)>*/
1004 /* method stream#BufferedIStream#init for (self: BufferedIStream) */
1005 void stream__BufferedIStream__init(val
* self
) {
1008 /* method stream#BufferedIStream#init for (self: Object) */
1009 void VIRTUAL_stream__BufferedIStream__init(val
* self
) {
1010 { /* Inline stream#BufferedIStream#init (self) on <self:Object(BufferedIStream)> */