1 #include "standard__stream.sep.0.h"
2 /* method stream#IOS#last_error for (self: IOS): nullable IOError */
3 val
* standard___standard__IOS___last_error(val
* self
) {
4 val
* var
/* : nullable IOError */;
5 val
* var1
/* : nullable IOError */;
6 var1
= self
->attrs
[COLOR_standard__stream__IOS___last_error
].val
; /* _last_error on <self:IOS> */
11 /* method stream#IOS#last_error= for (self: IOS, nullable IOError) */
12 void standard___standard__IOS___last_error_61d(val
* self
, val
* p0
) {
13 self
->attrs
[COLOR_standard__stream__IOS___last_error
].val
= p0
; /* _last_error on <self:IOS> */
16 /* method stream#IStream#read_line for (self: IStream): String */
17 val
* standard___standard__IStream___read_line(val
* self
) {
18 val
* var
/* : String */;
19 val
* var1
/* : nullable IOError */;
20 val
* var3
/* : nullable IOError */;
21 val
* var4
/* : null */;
22 short int var5
/* : Bool */;
23 short int var6
/* : Bool */;
24 val
* var_other
/* var other: nullable Object */;
25 short int var8
/* : Bool */;
26 short int var9
/* : Bool */;
28 val
* var10
/* : String */;
29 char* var11
/* : NativeString */;
30 long var12
/* : Int */;
31 val
* var13
/* : FlatString */;
32 short int var14
/* : Bool */;
33 static val
* varonce15
;
34 val
* var16
/* : String */;
35 char* var17
/* : NativeString */;
36 long var18
/* : Int */;
37 val
* var19
/* : FlatString */;
38 val
* var20
/* : FlatBuffer */;
39 val
* var_s
/* var s: FlatBuffer */;
40 val
* var22
/* : String */;
41 val
* var23
/* : Text */;
43 { /* Inline stream#IOS#last_error (self) on <self:IStream> */
44 var3
= self
->attrs
[COLOR_standard__stream__IOS___last_error
].val
; /* _last_error on <self:IStream> */
51 var5
= 0; /* is null */
53 var5
= 1; /* arg is null and recv is not */
56 { /* Inline kernel#Object#!= (var1,var4) on <var1:nullable IOError> */
59 var8
= ((short int (*)(val
* self
, val
* p0
))(var1
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var1
, var_other
) /* == on <var1:nullable IOError(IOError)>*/;
74 var13
= standard___standard__NativeString___to_s_with_length(var11
, var12
);
83 var14
= standard___standard__BufferedIStream___IStream__eof(self
);
91 var19
= standard___standard__NativeString___to_s_with_length(var17
, var18
);
99 var20
= NEW_standard__FlatBuffer(&type_standard__FlatBuffer
);
101 { /* Inline string#FlatBuffer#init (var20) on <var20:FlatBuffer> */
103 ((void (*)(val
* self
))(var20
->class->vft
[COLOR_standard___standard__FlatBuffer___standard__kernel__Object__init
]))(var20
) /* init on <var20:FlatBuffer>*/;
110 standard___standard__BufferedIStream___IStream__append_line_to(self
, var_s
); /* Direct call stream#BufferedIStream#append_line_to on <self:IStream>*/
113 var22
= standard___standard__FlatBuffer___Object__to_s(var_s
);
116 var23
= standard___standard__Text___chomp(var22
);
123 /* method stream#Text#write_to for (self: Text, OStream) */
124 void standard__stream___Text___Streamable__write_to(val
* self
, val
* p0
) {
125 val
* var_stream
/* var stream: OStream */;
128 standard___standard__OFStream___standard__stream__OStream__write(var_stream
, self
); /* Direct call file#OFStream#write on <var_stream:OStream>*/
132 /* method stream#BufferedIStream#read for (self: BufferedIStream, Int): String */
133 val
* standard___standard__BufferedIStream___IStream__read(val
* self
, long p0
) {
134 val
* var
/* : String */;
135 long var_i
/* var i: Int */;
136 val
* var1
/* : nullable IOError */;
137 val
* var3
/* : nullable IOError */;
138 val
* var4
/* : null */;
139 short int var5
/* : Bool */;
140 short int var6
/* : Bool */;
141 val
* var_other
/* var other: nullable Object */;
142 short int var8
/* : Bool */;
143 short int var9
/* : Bool */;
145 val
* var10
/* : String */;
146 char* var11
/* : NativeString */;
147 long var12
/* : Int */;
148 val
* var13
/* : FlatString */;
149 val
* var14
/* : nullable FlatBuffer */;
150 long var15
/* : Int */;
151 long var17
/* : Int */;
152 long var18
/* : Int */;
153 short int var19
/* : Bool */;
154 short int var21
/* : Bool */;
155 short int var22
/* : Bool */;
156 short int var23
/* : Bool */;
157 val
* var24
/* : String */;
158 static val
* varonce25
;
159 val
* var26
/* : String */;
160 char* var27
/* : NativeString */;
161 long var28
/* : Int */;
162 val
* var29
/* : FlatString */;
163 long var30
/* : Int */;
164 long var31
/* : Int */;
165 short int var33
/* : Bool */;
168 const char* var_class_name
;
169 long var34
/* : Int */;
170 val
* var35
/* : nullable FlatBuffer */;
171 long var36
/* : Int */;
172 long var38
/* : Int */;
173 short int var39
/* : Bool */;
174 short int var41
/* : Bool */;
177 const char* var_class_name44
;
178 short int var45
/* : Bool */;
179 long var46
/* : Int */;
180 long var_from
/* var from: Int */;
181 val
* var47
/* : nullable FlatBuffer */;
182 long var48
/* : Int */;
183 long var50
/* : Int */;
184 val
* var51
/* : nullable FlatBuffer */;
185 val
* var52
/* : Text */;
186 val
* var53
/* : String */;
187 val
* var_
/* var : BufferedIStream */;
188 long var54
/* : Int */;
189 long var55
/* : Int */;
190 short int var57
/* : Bool */;
193 const char* var_class_name60
;
194 long var61
/* : Int */;
195 val
* var62
/* : nullable FlatBuffer */;
196 long var63
/* : Int */;
197 long var64
/* : Int */;
198 short int var66
/* : Bool */;
201 const char* var_class_name69
;
202 long var70
/* : Int */;
203 val
* var71
/* : Buffer */;
204 val
* var72
/* : String */;
207 { /* Inline stream#IOS#last_error (self) on <self:BufferedIStream> */
208 var3
= self
->attrs
[COLOR_standard__stream__IOS___last_error
].val
; /* _last_error on <self:BufferedIStream> */
215 var5
= 0; /* is null */
217 var5
= 1; /* arg is null and recv is not */
220 { /* Inline kernel#Object#!= (var1,var4) on <var1:nullable IOError> */
223 var8
= ((short int (*)(val
* self
, val
* p0
))(var1
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var1
, var_other
) /* == on <var1:nullable IOError(IOError)>*/;
238 var13
= standard___standard__NativeString___to_s_with_length(var11
, var12
);
246 var14
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
248 PRINT_ERROR("Runtime error: %s", "Receiver is null");
249 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 338);
252 { /* Inline string#FlatText#length (var14) on <var14:nullable FlatBuffer> */
253 if (unlikely(var14
== NULL
)) {
254 PRINT_ERROR("Runtime error: %s", "Receiver is null");
255 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 830);
258 var17
= var14
->attrs
[COLOR_standard__string__FlatText___length
].l
; /* _length on <var14:nullable FlatBuffer> */
263 var18
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
265 { /* Inline kernel#Int#== (var15,var18) on <var15:Int> */
266 var21
= var15
== var18
;
274 var22
= standard___standard__BufferedIStream___IStream__eof(self
);
279 var24
= standard___standard__BufferedIStream___IStream__read(self
, var_i
);
290 var29
= standard___standard__NativeString___to_s_with_length(var27
, var28
);
298 var30
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
300 { /* Inline kernel#Int#+ (var30,var_i) on <var30:Int> */
301 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
302 /* <var_i:Int> isa OTHER */
303 var33
= 1; /* easy <var_i:Int> isa OTHER*/
304 if (unlikely(!var33
)) {
305 var_class_name
= type_standard__Int
.name
;
306 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
307 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 413);
310 var34
= var30
+ var_i
;
316 var35
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
318 PRINT_ERROR("Runtime error: %s", "Receiver is null");
319 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 344);
322 { /* Inline string#FlatText#length (var35) on <var35:nullable FlatBuffer> */
323 if (unlikely(var35
== NULL
)) {
324 PRINT_ERROR("Runtime error: %s", "Receiver is null");
325 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 830);
328 var38
= var35
->attrs
[COLOR_standard__string__FlatText___length
].l
; /* _length on <var35:nullable FlatBuffer> */
334 { /* Inline kernel#Int#>= (var31,var36) on <var31:Int> */
335 /* Covariant cast for argument 0 (i) <var36:Int> isa OTHER */
336 /* <var36:Int> isa OTHER */
337 var41
= 1; /* easy <var36:Int> isa OTHER*/
338 if (unlikely(!var41
)) {
339 var_class_name44
= type_standard__Int
.name
;
340 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name44
);
341 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 411);
344 var45
= var31
>= var36
;
351 var46
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
353 var47
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
355 PRINT_ERROR("Runtime error: %s", "Receiver is null");
356 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 346);
359 { /* Inline string#FlatText#length (var47) on <var47:nullable FlatBuffer> */
360 if (unlikely(var47
== NULL
)) {
361 PRINT_ERROR("Runtime error: %s", "Receiver is null");
362 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 830);
365 var50
= var47
->attrs
[COLOR_standard__string__FlatText___length
].l
; /* _length on <var47:nullable FlatBuffer> */
370 self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
= var48
; /* _buffer_pos on <self:BufferedIStream> */
371 var51
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
373 PRINT_ERROR("Runtime error: %s", "Receiver is null");
374 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 347);
377 var52
= standard___standard__Text___substring_from(var51
, var_from
);
380 var53
= standard___standard__FlatBuffer___Object__to_s(var52
);
387 var54
= var_
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <var_:BufferedIStream> */
389 { /* Inline kernel#Int#+ (var54,var_i) on <var54:Int> */
390 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
391 /* <var_i:Int> isa OTHER */
392 var57
= 1; /* easy <var_i:Int> isa OTHER*/
393 if (unlikely(!var57
)) {
394 var_class_name60
= type_standard__Int
.name
;
395 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name60
);
396 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 413);
399 var61
= var54
+ var_i
;
405 var_
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
= var55
; /* _buffer_pos on <var_:BufferedIStream> */
406 var62
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
407 var63
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
409 { /* Inline kernel#Int#- (var63,var_i) on <var63:Int> */
410 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
411 /* <var_i:Int> isa OTHER */
412 var66
= 1; /* easy <var_i:Int> isa OTHER*/
413 if (unlikely(!var66
)) {
414 var_class_name69
= type_standard__Int
.name
;
415 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name69
);
416 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 416);
419 var70
= var63
- var_i
;
426 PRINT_ERROR("Runtime error: %s", "Receiver is null");
427 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 350);
430 var71
= standard___standard__FlatBuffer___Text__substring(var62
, var64
, var_i
);
433 var72
= standard___standard__FlatBuffer___Object__to_s(var71
);
440 /* method stream#BufferedIStream#read_all for (self: BufferedIStream): String */
441 val
* standard___standard__BufferedIStream___IStream__read_all(val
* self
) {
442 val
* var
/* : String */;
443 val
* var1
/* : nullable IOError */;
444 val
* var3
/* : nullable IOError */;
445 val
* var4
/* : null */;
446 short int var5
/* : Bool */;
447 short int var6
/* : Bool */;
448 val
* var_other
/* var other: nullable Object */;
449 short int var8
/* : Bool */;
450 short int var9
/* : Bool */;
452 val
* var10
/* : String */;
453 char* var11
/* : NativeString */;
454 long var12
/* : Int */;
455 val
* var13
/* : FlatString */;
456 val
* var14
/* : FlatBuffer */;
457 val
* var_s
/* var s: FlatBuffer */;
458 short int var16
/* : Bool */;
459 short int var17
/* : Bool */;
460 long var18
/* : Int */;
461 long var_j
/* var j: Int */;
462 val
* var19
/* : nullable FlatBuffer */;
463 long var20
/* : Int */;
464 long var22
/* : Int */;
465 long var_k
/* var k: Int */;
466 short int var23
/* : Bool */;
467 short int var25
/* : Bool */;
470 const char* var_class_name
;
471 short int var26
/* : Bool */;
472 val
* var27
/* : nullable FlatBuffer */;
473 char var28
/* : Char */;
474 long var29
/* : Int */;
475 long var30
/* : Int */;
476 short int var32
/* : Bool */;
479 const char* var_class_name35
;
480 long var36
/* : Int */;
481 val
* var38
/* : String */;
483 { /* Inline stream#IOS#last_error (self) on <self:BufferedIStream> */
484 var3
= self
->attrs
[COLOR_standard__stream__IOS___last_error
].val
; /* _last_error on <self:BufferedIStream> */
491 var5
= 0; /* is null */
493 var5
= 1; /* arg is null and recv is not */
496 { /* Inline kernel#Object#!= (var1,var4) on <var1:nullable IOError> */
499 var8
= ((short int (*)(val
* self
, val
* p0
))(var1
->class->vft
[COLOR_standard__kernel__Object___61d_61d
]))(var1
, var_other
) /* == on <var1:nullable IOError(IOError)>*/;
514 var13
= standard___standard__NativeString___to_s_with_length(var11
, var12
);
522 var14
= NEW_standard__FlatBuffer(&type_standard__FlatBuffer
);
524 { /* Inline string#FlatBuffer#init (var14) on <var14:FlatBuffer> */
526 ((void (*)(val
* self
))(var14
->class->vft
[COLOR_standard___standard__FlatBuffer___standard__kernel__Object__init
]))(var14
) /* init on <var14:FlatBuffer>*/;
534 var16
= standard___standard__BufferedIStream___IStream__eof(self
);
538 var18
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
540 var19
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
542 PRINT_ERROR("Runtime error: %s", "Receiver is null");
543 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 359);
546 { /* Inline string#FlatText#length (var19) on <var19:nullable FlatBuffer> */
547 if (unlikely(var19
== NULL
)) {
548 PRINT_ERROR("Runtime error: %s", "Receiver is null");
549 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 830);
552 var22
= var19
->attrs
[COLOR_standard__string__FlatText___length
].l
; /* _length on <var19:nullable FlatBuffer> */
560 { /* Inline kernel#Int#< (var_j,var_k) on <var_j:Int> */
561 /* Covariant cast for argument 0 (i) <var_k:Int> isa OTHER */
562 /* <var_k:Int> isa OTHER */
563 var25
= 1; /* easy <var_k:Int> isa OTHER*/
564 if (unlikely(!var25
)) {
565 var_class_name
= type_standard__Int
.name
;
566 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
567 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 410);
570 var26
= var_j
< var_k
;
577 var27
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
579 PRINT_ERROR("Runtime error: %s", "Receiver is null");
580 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 361);
583 var28
= standard___standard__FlatBuffer___Text___91d_93d(var27
, var_j
);
586 standard___standard__FlatBuffer___Buffer__add(var_s
, var28
); /* Direct call string#FlatBuffer#add on <var_s:FlatBuffer>*/
590 { /* Inline kernel#Int#+ (var_j,var29) on <var_j:Int> */
591 /* Covariant cast for argument 0 (i) <var29:Int> isa OTHER */
592 /* <var29:Int> isa OTHER */
593 var32
= 1; /* easy <var29:Int> isa OTHER*/
594 if (unlikely(!var32
)) {
595 var_class_name35
= type_standard__Int
.name
;
596 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name35
);
597 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 413);
600 var36
= var_j
+ var29
;
611 BREAK_label
: (void)0;
612 self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
= var_j
; /* _buffer_pos on <self:BufferedIStream> */
614 standard___standard__IFStream___standard__stream__BufferedIStream__fill_buffer(self
); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
620 BREAK_label37
: (void)0;
622 var38
= standard___standard__FlatBuffer___Object__to_s(var_s
);
629 /* method stream#BufferedIStream#append_line_to for (self: BufferedIStream, Buffer) */
630 void standard___standard__BufferedIStream___IStream__append_line_to(val
* self
, val
* p0
) {
631 val
* var_s
/* var s: Buffer */;
632 long var
/* : Int */;
633 long var_i
/* var i: Int */;
634 short int var1
/* : Bool */;
635 val
* var2
/* : nullable FlatBuffer */;
636 long var3
/* : Int */;
637 long var5
/* : Int */;
638 short int var6
/* : Bool */;
639 short int var8
/* : Bool */;
642 const char* var_class_name
;
643 short int var9
/* : Bool */;
644 short int var_
/* var : Bool */;
645 val
* var10
/* : nullable FlatBuffer */;
646 val
* var11
/* : Sequence[Char] */;
647 val
* var13
/* : Sequence[Char] */;
648 val
* var14
/* : nullable Object */;
649 char var15
/* : Char */;
650 short int var16
/* : Bool */;
651 short int var18
/* : Bool */;
652 char var19
/* : Char */;
653 short int var20
/* : Bool */;
654 long var21
/* : Int */;
655 long var22
/* : Int */;
656 short int var24
/* : Bool */;
659 const char* var_class_name27
;
660 long var28
/* : Int */;
661 val
* var29
/* : nullable FlatBuffer */;
662 long var30
/* : Int */;
663 long var32
/* : Int */;
664 short int var33
/* : Bool */;
665 short int var35
/* : Bool */;
668 const char* var_class_name38
;
669 short int var39
/* : Bool */;
670 val
* var40
/* : nullable FlatBuffer */;
671 val
* var41
/* : Sequence[Char] */;
672 val
* var43
/* : Sequence[Char] */;
673 val
* var44
/* : nullable Object */;
674 char var45
/* : Char */;
675 short int var46
/* : Bool */;
676 short int var48
/* : Bool */;
677 char var49
/* : Char */;
678 long var50
/* : Int */;
679 long var51
/* : Int */;
680 short int var53
/* : Bool */;
683 const char* var_class_name56
;
684 long var57
/* : Int */;
685 short int var58
/* : Bool */;
686 val
* var59
/* : nullable Object */;
687 val
* var_eol
/* var eol: nullable Object */;
688 short int var60
/* : Bool */;
689 val
* var61
/* : nullable Object */;
690 long var62
/* : Int */;
691 short int var63
/* : Bool */;
692 short int var65
/* : Bool */;
695 const char* var_class_name68
;
696 short int var69
/* : Bool */;
697 long var70
/* : Int */;
698 long var72
/* : Int */;
699 long var73
/* : Int */;
700 short int var75
/* : Bool */;
703 const char* var_class_name78
;
704 long var79
/* : Int */;
705 long var80
/* : Int */;
706 long var81
/* : Int */;
707 short int var83
/* : Bool */;
710 const char* var_class_name86
;
711 long var87
/* : Int */;
712 long var88
/* : Int */;
713 long var_j
/* var j: Int */;
714 short int var89
/* : Bool */;
715 short int var91
/* : Bool */;
718 const char* var_class_name94
;
719 short int var95
/* : Bool */;
720 val
* var96
/* : nullable FlatBuffer */;
721 val
* var97
/* : Sequence[Char] */;
722 val
* var99
/* : Sequence[Char] */;
723 val
* var100
/* : nullable Object */;
724 char var101
/* : Char */;
725 long var102
/* : Int */;
726 long var103
/* : Int */;
727 short int var105
/* : Bool */;
730 const char* var_class_name108
;
731 long var109
/* : Int */;
732 short int var111
/* : Bool */;
733 short int var113
/* : Bool */;
734 short int var114
/* : Bool */;
735 short int var115
/* : Bool */;
736 short int var117
/* : Bool */;
739 var
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
742 var2
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
744 PRINT_ERROR("Runtime error: %s", "Receiver is null");
745 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 375);
748 { /* Inline string#FlatText#length (var2) on <var2:nullable FlatBuffer> */
749 if (unlikely(var2
== NULL
)) {
750 PRINT_ERROR("Runtime error: %s", "Receiver is null");
751 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 830);
754 var5
= var2
->attrs
[COLOR_standard__string__FlatText___length
].l
; /* _length on <var2:nullable FlatBuffer> */
760 { /* Inline kernel#Int#< (var_i,var3) on <var_i:Int> */
761 /* Covariant cast for argument 0 (i) <var3:Int> isa OTHER */
762 /* <var3:Int> isa OTHER */
763 var8
= 1; /* easy <var3:Int> isa OTHER*/
764 if (unlikely(!var8
)) {
765 var_class_name
= type_standard__Int
.name
;
766 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
767 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 410);
778 var10
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
780 PRINT_ERROR("Runtime error: %s", "Receiver is null");
781 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 375);
784 { /* Inline string#FlatBuffer#chars (var10) on <var10:nullable FlatBuffer> */
785 if (unlikely(var10
== NULL
)) {
786 PRINT_ERROR("Runtime error: %s", "Receiver is null");
787 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 1525);
790 var13
= var10
->attrs
[COLOR_standard__string__FlatBuffer___chars
].val
; /* _chars on <var10:nullable FlatBuffer> */
791 if (unlikely(var13
== NULL
)) {
792 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
793 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 1525);
801 var14
= ((val
* (*)(val
* self
, long p0
))(var11
->class->vft
[COLOR_standard__abstract_collection__SequenceRead___91d_93d
]))(var11
, var_i
) /* [] on <var11:Sequence[Char]>*/;
805 { /* Inline kernel#Char#!= (var14,var15) on <var14:nullable Object(Char)> */
806 var18
= (var14
!= NULL
) && (var14
->class == &class_standard__Char
);
808 var19
= ((struct instance_standard__Char
*)var14
)->value
; /* autounbox from nullable Object to Char */;
809 var18
= (var19
== var15
);
824 { /* Inline kernel#Int#+ (var_i,var21) on <var_i:Int> */
825 /* Covariant cast for argument 0 (i) <var21:Int> isa OTHER */
826 /* <var21:Int> isa OTHER */
827 var24
= 1; /* easy <var21:Int> isa OTHER*/
828 if (unlikely(!var24
)) {
829 var_class_name27
= type_standard__Int
.name
;
830 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name27
);
831 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 413);
834 var28
= var_i
+ var21
;
845 BREAK_label
: (void)0;
846 var29
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
848 PRINT_ERROR("Runtime error: %s", "Receiver is null");
849 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 378);
852 { /* Inline string#FlatText#length (var29) on <var29:nullable FlatBuffer> */
853 if (unlikely(var29
== NULL
)) {
854 PRINT_ERROR("Runtime error: %s", "Receiver is null");
855 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 830);
858 var32
= var29
->attrs
[COLOR_standard__string__FlatText___length
].l
; /* _length on <var29:nullable FlatBuffer> */
864 { /* Inline kernel#Int#< (var_i,var30) on <var_i:Int> */
865 /* Covariant cast for argument 0 (i) <var30:Int> isa OTHER */
866 /* <var30:Int> isa OTHER */
867 var35
= 1; /* easy <var30:Int> isa OTHER*/
868 if (unlikely(!var35
)) {
869 var_class_name38
= type_standard__Int
.name
;
870 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name38
);
871 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 410);
874 var39
= var_i
< var30
;
881 var40
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
883 PRINT_ERROR("Runtime error: %s", "Receiver is null");
884 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 379);
887 { /* Inline string#FlatBuffer#chars (var40) on <var40:nullable FlatBuffer> */
888 if (unlikely(var40
== NULL
)) {
889 PRINT_ERROR("Runtime error: %s", "Receiver is null");
890 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 1525);
893 var43
= var40
->attrs
[COLOR_standard__string__FlatBuffer___chars
].val
; /* _chars on <var40:nullable FlatBuffer> */
894 if (unlikely(var43
== NULL
)) {
895 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
896 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 1525);
904 var44
= ((val
* (*)(val
* self
, long p0
))(var41
->class->vft
[COLOR_standard__abstract_collection__SequenceRead___91d_93d
]))(var41
, var_i
) /* [] on <var41:Sequence[Char]>*/;
908 { /* Inline kernel#Char#== (var44,var45) on <var44:nullable Object(Char)> */
909 var48
= (var44
!= NULL
) && (var44
->class == &class_standard__Char
);
911 var49
= ((struct instance_standard__Char
*)var44
)->value
; /* autounbox from nullable Object to Char */;
912 var48
= (var49
== var45
);
919 if (unlikely(!var46
)) {
920 PRINT_ERROR("Runtime error: %s", "Assert failed");
921 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 379);
926 { /* Inline kernel#Int#+ (var_i,var50) on <var_i:Int> */
927 /* Covariant cast for argument 0 (i) <var50:Int> isa OTHER */
928 /* <var50:Int> isa OTHER */
929 var53
= 1; /* easy <var50:Int> isa OTHER*/
930 if (unlikely(!var53
)) {
931 var_class_name56
= type_standard__Int
.name
;
932 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name56
);
933 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 413);
936 var57
= var_i
+ var50
;
944 var59
= BOX_standard__Bool(var58
); /* autobox from Bool to nullable Object */
948 var61
= BOX_standard__Bool(var60
); /* autobox from Bool to nullable Object */
951 var62
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
953 { /* Inline kernel#Int#> (var_i,var62) on <var_i:Int> */
954 /* Covariant cast for argument 0 (i) <var62:Int> isa OTHER */
955 /* <var62:Int> isa OTHER */
956 var65
= 1; /* easy <var62:Int> isa OTHER*/
957 if (unlikely(!var65
)) {
958 var_class_name68
= type_standard__Int
.name
;
959 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name68
);
960 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 412);
963 var69
= var_i
> var62
;
971 { /* Inline string#FlatText#length (var_s) on <var_s:Buffer> */
972 var72
= var_s
->attrs
[COLOR_standard__string__FlatText___length
].l
; /* _length on <var_s:Buffer> */
978 { /* Inline kernel#Int#+ (var70,var_i) on <var70:Int> */
979 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
980 /* <var_i:Int> isa OTHER */
981 var75
= 1; /* easy <var_i:Int> isa OTHER*/
982 if (unlikely(!var75
)) {
983 var_class_name78
= type_standard__Int
.name
;
984 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name78
);
985 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 413);
988 var79
= var70
+ var_i
;
994 var80
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
996 { /* Inline kernel#Int#- (var73,var80) on <var73:Int> */
997 /* Covariant cast for argument 0 (i) <var80:Int> isa OTHER */
998 /* <var80:Int> isa OTHER */
999 var83
= 1; /* easy <var80:Int> isa OTHER*/
1000 if (unlikely(!var83
)) {
1001 var_class_name86
= type_standard__Int
.name
;
1002 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name86
);
1003 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 416);
1006 var87
= var73
- var80
;
1009 RET_LABEL82
:(void)0;
1013 standard___standard__FlatBuffer___Buffer__enlarge(var_s
, var81
); /* Direct call string#FlatBuffer#enlarge on <var_s:Buffer>*/
1015 var88
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
1019 { /* Inline kernel#Int#< (var_j,var_i) on <var_j:Int> */
1020 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
1021 /* <var_i:Int> isa OTHER */
1022 var91
= 1; /* easy <var_i:Int> isa OTHER*/
1023 if (unlikely(!var91
)) {
1024 var_class_name94
= type_standard__Int
.name
;
1025 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name94
);
1026 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 410);
1029 var95
= var_j
< var_i
;
1032 RET_LABEL90
:(void)0;
1036 var96
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
1037 if (var96
== NULL
) {
1038 PRINT_ERROR("Runtime error: %s", "Receiver is null");
1039 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 394);
1042 { /* Inline string#FlatBuffer#chars (var96) on <var96:nullable FlatBuffer> */
1043 if (unlikely(var96
== NULL
)) {
1044 PRINT_ERROR("Runtime error: %s", "Receiver is null");
1045 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 1525);
1048 var99
= var96
->attrs
[COLOR_standard__string__FlatBuffer___chars
].val
; /* _chars on <var96:nullable FlatBuffer> */
1049 if (unlikely(var99
== NULL
)) {
1050 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _chars");
1051 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 1525);
1055 RET_LABEL98
:(void)0;
1059 var100
= ((val
* (*)(val
* self
, long p0
))(var97
->class->vft
[COLOR_standard__abstract_collection__SequenceRead___91d_93d
]))(var97
, var_j
) /* [] on <var97:Sequence[Char]>*/;
1062 var101
= ((struct instance_standard__Char
*)var100
)->value
; /* autounbox from nullable Object to Char */;
1063 standard___standard__FlatBuffer___Buffer__add(var_s
, var101
); /* Direct call string#FlatBuffer#add on <var_s:Buffer>*/
1067 { /* Inline kernel#Int#+ (var_j,var102) on <var_j:Int> */
1068 /* Covariant cast for argument 0 (i) <var102:Int> isa OTHER */
1069 /* <var102:Int> isa OTHER */
1070 var105
= 1; /* easy <var102:Int> isa OTHER*/
1071 if (unlikely(!var105
)) {
1072 var_class_name108
= type_standard__Int
.name
;
1073 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name108
);
1074 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 413);
1077 var109
= var_j
+ var102
;
1080 RET_LABEL104
:(void)0;
1085 goto BREAK_label110
;
1088 BREAK_label110
: (void)0;
1089 self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
= var_i
; /* _buffer_pos on <self:BufferedIStream> */
1092 { /* Inline file#IFStream#end_reached (self) on <self:BufferedIStream> */
1093 var113
= self
->attrs
[COLOR_standard__file__IFStream___end_reached
].s
; /* _end_reached on <self:BufferedIStream> */
1095 RET_LABEL112
:(void)0;
1098 if (unlikely(!var111
)) {
1099 PRINT_ERROR("Runtime error: %s", "Assert failed");
1100 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 399);
1105 var114
= ((struct instance_standard__Bool
*)var_eol
)->value
; /* autounbox from nullable Object to Bool */;
1110 { /* Inline file#IFStream#end_reached (self) on <self:BufferedIStream> */
1111 var117
= self
->attrs
[COLOR_standard__file__IFStream___end_reached
].s
; /* _end_reached on <self:BufferedIStream> */
1113 RET_LABEL116
:(void)0;
1121 standard___standard__IFStream___standard__stream__BufferedIStream__fill_buffer(self
); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
1127 /* method stream#BufferedIStream#eof for (self: BufferedIStream): Bool */
1128 short int standard___standard__BufferedIStream___IStream__eof(val
* self
) {
1129 short int var
/* : Bool */;
1130 long var1
/* : Int */;
1131 val
* var2
/* : nullable FlatBuffer */;
1132 long var3
/* : Int */;
1133 long var5
/* : Int */;
1134 short int var6
/* : Bool */;
1135 short int var8
/* : Bool */;
1138 const char* var_class_name
;
1139 short int var9
/* : Bool */;
1140 short int var10
/* : Bool */;
1141 short int var11
/* : Bool */;
1142 short int var13
/* : Bool */;
1143 short int var14
/* : Bool */;
1144 short int var15
/* : Bool */;
1145 long var16
/* : Int */;
1146 val
* var17
/* : nullable FlatBuffer */;
1147 long var18
/* : Int */;
1148 long var20
/* : Int */;
1149 short int var21
/* : Bool */;
1150 short int var23
/* : Bool */;
1153 const char* var_class_name26
;
1154 short int var27
/* : Bool */;
1155 short int var_
/* var : Bool */;
1156 short int var28
/* : Bool */;
1157 short int var30
/* : Bool */;
1158 var1
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
1159 var2
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
1161 PRINT_ERROR("Runtime error: %s", "Receiver is null");
1162 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 416);
1165 { /* Inline string#FlatText#length (var2) on <var2:nullable FlatBuffer> */
1166 if (unlikely(var2
== NULL
)) {
1167 PRINT_ERROR("Runtime error: %s", "Receiver is null");
1168 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 830);
1171 var5
= var2
->attrs
[COLOR_standard__string__FlatText___length
].l
; /* _length on <var2:nullable FlatBuffer> */
1177 { /* Inline kernel#Int#< (var1,var3) on <var1:Int> */
1178 /* Covariant cast for argument 0 (i) <var3:Int> isa OTHER */
1179 /* <var3:Int> isa OTHER */
1180 var8
= 1; /* easy <var3:Int> isa OTHER*/
1181 if (unlikely(!var8
)) {
1182 var_class_name
= type_standard__Int
.name
;
1183 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1184 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 410);
1200 { /* Inline file#IFStream#end_reached (self) on <self:BufferedIStream> */
1201 var13
= self
->attrs
[COLOR_standard__file__IFStream___end_reached
].s
; /* _end_reached on <self:BufferedIStream> */
1203 RET_LABEL12
:(void)0;
1213 standard___standard__IFStream___standard__stream__BufferedIStream__fill_buffer(self
); /* Direct call file#IFStream#fill_buffer on <self:BufferedIStream>*/
1215 var16
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
1216 var17
= self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
1217 if (var17
== NULL
) {
1218 PRINT_ERROR("Runtime error: %s", "Receiver is null");
1219 PRINT_ERROR(" (%s:%d)\n", FILE_standard__stream
, 419);
1222 { /* Inline string#FlatText#length (var17) on <var17:nullable FlatBuffer> */
1223 if (unlikely(var17
== NULL
)) {
1224 PRINT_ERROR("Runtime error: %s", "Receiver is null");
1225 PRINT_ERROR(" (%s:%d)\n", FILE_standard__string
, 830);
1228 var20
= var17
->attrs
[COLOR_standard__string__FlatText___length
].l
; /* _length on <var17:nullable FlatBuffer> */
1230 RET_LABEL19
:(void)0;
1234 { /* Inline kernel#Int#>= (var16,var18) on <var16:Int> */
1235 /* Covariant cast for argument 0 (i) <var18:Int> isa OTHER */
1236 /* <var18:Int> isa OTHER */
1237 var23
= 1; /* easy <var18:Int> isa OTHER*/
1238 if (unlikely(!var23
)) {
1239 var_class_name26
= type_standard__Int
.name
;
1240 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name26
);
1241 PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel
, 411);
1244 var27
= var16
>= var18
;
1247 RET_LABEL22
:(void)0;
1253 { /* Inline file#IFStream#end_reached (self) on <self:BufferedIStream> */
1254 var30
= self
->attrs
[COLOR_standard__file__IFStream___end_reached
].s
; /* _end_reached on <self:BufferedIStream> */
1256 RET_LABEL29
:(void)0;
1268 /* method stream#BufferedIStream#prepare_buffer for (self: BufferedIStream, Int) */
1269 void standard___standard__BufferedIStream___prepare_buffer(val
* self
, long p0
) {
1270 long var_capacity
/* var capacity: Int */;
1271 val
* var
/* : FlatBuffer */;
1272 long var1
/* : Int */;
1274 var
= NEW_standard__FlatBuffer(&type_standard__FlatBuffer
);
1276 standard___standard__FlatBuffer___with_capacity(var
, var_capacity
); /* Direct call string#FlatBuffer#with_capacity on <var:FlatBuffer>*/
1278 self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer
].val
= var
; /* _buffer on <self:BufferedIStream> */
1280 self
->attrs
[COLOR_standard__stream__BufferedIStream___buffer_pos
].l
= var1
; /* _buffer_pos on <self:BufferedIStream> */