1 #include "stream.sep.0.h"
2 /* method stream#IOS#close for (self: IOS) */
3 void stream__IOS__close(val
* self
) {
4 const char* var_class_name
;
5 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
6 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "close", var_class_name
);
7 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 27);
11 /* method stream#IOS#close for (self: Object) */
12 void VIRTUAL_stream__IOS__close(val
* self
) {
13 stream__IOS__close(self
);
16 /* method stream#IStream#read_char for (self: IStream): Int */
17 long stream__IStream__read_char(val
* self
) {
19 const char* var_class_name
;
20 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
21 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "read_char", var_class_name
);
22 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 34);
27 /* method stream#IStream#read_char for (self: Object): Int */
28 long VIRTUAL_stream__IStream__read_char(val
* self
) {
30 long var1
/* : Int */;
31 var1
= stream__IStream__read_char(self
);
36 /* method stream#IStream#read for (self: IStream, Int): String */
37 val
* stream__IStream__read(val
* self
, long p0
) {
38 val
* var
/* : String */;
39 long var_i
/* var i: Int */;
40 val
* var1
/* : Buffer */;
41 val
* var_s
/* var s: Buffer */;
42 short int var2
/* : Bool */;
43 long var3
/* : Int */;
44 short int var4
/* : Bool */;
45 short int var6
/* : Bool */;
48 const char* var_class_name
;
49 short int var7
/* : Bool */;
50 short int var_
/* var : Bool */;
51 short int var8
/* : Bool */;
52 short int var9
/* : Bool */;
53 long var10
/* : Int */;
54 long var_c
/* var c: Int */;
55 long var11
/* : Int */;
56 short int var12
/* : Bool */;
57 short int var14
/* : Bool */;
60 const char* var_class_name17
;
61 short int var18
/* : Bool */;
62 char var19
/* : Char */;
63 char var21
/* : Char */;
64 val
* var22
/* : nullable Object */;
65 long var23
/* : Int */;
66 long var24
/* : Int */;
67 long var26
/* : Int */;
68 val
* var27
/* : String */;
70 var1
= NEW_string__Buffer(&type_string__Buffer
);
71 ((void (*)(val
*, long))(var1
->class->vft
[COLOR_string__Buffer__with_capacity
]))(var1
, var_i
) /* with_capacity on <var1:Buffer>*/;
75 { /* Inline kernel#Int#> (var_i,var3) */
76 /* Covariant cast for argument 0 (i) <var3:Int> isa OTHER */
77 /* <var3:Int> isa OTHER */
78 var6
= 1; /* easy <var3:Int> isa OTHER*/
80 var_class_name
= type_kernel__Int
.name
;
81 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
82 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
92 var8
= ((short int (*)(val
*))(self
->class->vft
[COLOR_stream__IStream__eof
]))(self
) /* eof on <self:IStream>*/;
99 var10
= ((long (*)(val
*))(self
->class->vft
[COLOR_stream__IStream__read_char
]))(self
) /* read_char on <self:IStream>*/;
102 { /* Inline kernel#Int#>= (var_c,var11) */
103 /* Covariant cast for argument 0 (i) <var11:Int> isa OTHER */
104 /* <var11:Int> isa OTHER */
105 var14
= 1; /* easy <var11:Int> isa OTHER*/
107 var_class_name17
= type_kernel__Int
.name
;
108 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name17
);
109 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
112 var18
= var_c
>= var11
;
118 { /* Inline kernel#Int#ascii (var_c) */
124 var22
= BOX_kernel__Char(var19
); /* autobox from Char to nullable Object */
125 ((void (*)(val
*, val
*))(var_s
->class->vft
[COLOR_abstract_collection__SimpleCollection__add
]))(var_s
, var22
) /* add on <var_s:Buffer>*/;
127 { /* Inline kernel#Int#- (var_i,var23) */
128 var26
= var_i
- var23
;
136 CONTINUE_label
: (void)0;
138 BREAK_label
: (void)0;
139 var27
= ((val
* (*)(val
*))(var_s
->class->vft
[COLOR_string__Object__to_s
]))(var_s
) /* to_s on <var_s:Buffer>*/;
145 /* method stream#IStream#read for (self: Object, Int): String */
146 val
* VIRTUAL_stream__IStream__read(val
* self
, long p0
) {
147 val
* var
/* : String */;
148 val
* var1
/* : String */;
149 var1
= stream__IStream__read(self
, p0
);
154 /* method stream#IStream#read_line for (self: IStream): String */
155 val
* stream__IStream__read_line(val
* self
) {
156 val
* var
/* : String */;
157 short int var1
/* : Bool */;
158 short int var2
/* : Bool */;
159 val
* var3
/* : Buffer */;
160 val
* var_s
/* var s: Buffer */;
161 val
* var4
/* : String */;
162 var1
= ((short int (*)(val
*))(self
->class->vft
[COLOR_stream__IStream__eof
]))(self
) /* eof on <self:IStream>*/;
165 fprintf(stderr
, "Runtime error: %s", "Assert failed");
166 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 54);
169 var3
= NEW_string__Buffer(&type_string__Buffer
);
170 ((void (*)(val
*))(var3
->class->vft
[COLOR_string__Buffer__init
]))(var3
) /* init on <var3:Buffer>*/;
172 ((void (*)(val
*, val
*))(self
->class->vft
[COLOR_stream__IStream__append_line_to
]))(self
, var_s
) /* append_line_to on <self:IStream>*/;
173 var4
= ((val
* (*)(val
*))(var_s
->class->vft
[COLOR_string__Object__to_s
]))(var_s
) /* to_s on <var_s:Buffer>*/;
179 /* method stream#IStream#read_line for (self: Object): String */
180 val
* VIRTUAL_stream__IStream__read_line(val
* self
) {
181 val
* var
/* : String */;
182 val
* var1
/* : String */;
183 var1
= stream__IStream__read_line(self
);
188 /* method stream#IStream#read_all for (self: IStream): String */
189 val
* stream__IStream__read_all(val
* self
) {
190 val
* var
/* : String */;
191 val
* var1
/* : Buffer */;
192 val
* var_s
/* var s: Buffer */;
193 short int var2
/* : Bool */;
194 short int var3
/* : Bool */;
195 long var4
/* : Int */;
196 long var_c
/* var c: Int */;
197 long var5
/* : Int */;
198 short int var6
/* : Bool */;
199 short int var8
/* : Bool */;
202 const char* var_class_name
;
203 short int var9
/* : Bool */;
204 char var10
/* : Char */;
205 char var12
/* : Char */;
206 val
* var13
/* : nullable Object */;
207 val
* var14
/* : String */;
208 var1
= NEW_string__Buffer(&type_string__Buffer
);
209 ((void (*)(val
*))(var1
->class->vft
[COLOR_string__Buffer__init
]))(var1
) /* init on <var1:Buffer>*/;
212 var2
= ((short int (*)(val
*))(self
->class->vft
[COLOR_stream__IStream__eof
]))(self
) /* eof on <self:IStream>*/;
215 var4
= ((long (*)(val
*))(self
->class->vft
[COLOR_stream__IStream__read_char
]))(self
) /* read_char on <self:IStream>*/;
218 { /* Inline kernel#Int#>= (var_c,var5) */
219 /* Covariant cast for argument 0 (i) <var5:Int> isa OTHER */
220 /* <var5:Int> isa OTHER */
221 var8
= 1; /* easy <var5:Int> isa OTHER*/
223 var_class_name
= type_kernel__Int
.name
;
224 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
225 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
228 var9
= var_c
>= var5
;
234 { /* Inline kernel#Int#ascii (var_c) */
240 var13
= BOX_kernel__Char(var10
); /* autobox from Char to nullable Object */
241 ((void (*)(val
*, val
*))(var_s
->class->vft
[COLOR_abstract_collection__SimpleCollection__add
]))(var_s
, var13
) /* add on <var_s:Buffer>*/;
244 CONTINUE_label
: (void)0;
246 BREAK_label
: (void)0;
247 var14
= ((val
* (*)(val
*))(var_s
->class->vft
[COLOR_string__Object__to_s
]))(var_s
) /* to_s on <var_s:Buffer>*/;
253 /* method stream#IStream#read_all for (self: Object): String */
254 val
* VIRTUAL_stream__IStream__read_all(val
* self
) {
255 val
* var
/* : String */;
256 val
* var1
/* : String */;
257 var1
= stream__IStream__read_all(self
);
262 /* method stream#IStream#append_line_to for (self: IStream, Buffer) */
263 void stream__IStream__append_line_to(val
* self
, val
* p0
) {
264 val
* var_s
/* var s: Buffer */;
265 long var
/* : Int */;
266 long var_x
/* var x: Int */;
267 long var1
/* : Int */;
268 long var2
/* : Int */;
269 long var4
/* : Int */;
270 short int var5
/* : Bool */;
271 short int var7
/* : Bool */;
272 short int var8
/* : Bool */;
273 char var9
/* : Char */;
274 char var11
/* : Char */;
275 char var_c
/* var c: Char */;
276 val
* var12
/* : StringCharView */;
277 val
* var13
/* : nullable Object */;
278 char var14
/* : Char */;
279 short int var15
/* : Bool */;
280 short int var17
/* : Bool */;
283 var
= ((long (*)(val
*))(self
->class->vft
[COLOR_stream__IStream__read_char
]))(self
) /* read_char on <self:IStream>*/;
286 { /* Inline kernel#Int#unary - (var1) */
292 { /* Inline kernel#Int#== (var_x,var2) */
293 var7
= var_x
== var2
;
299 var8
= ((short int (*)(val
*))(self
->class->vft
[COLOR_stream__IStream__eof
]))(self
) /* eof on <self:IStream>*/;
305 { /* Inline kernel#Int#ascii (var_x) */
312 var12
= ((val
* (*)(val
*))(var_s
->class->vft
[COLOR_string__AbstractString__chars
]))(var_s
) /* chars on <var_s:Buffer>*/;
313 var13
= BOX_kernel__Char(var_c
); /* autobox from Char to nullable Object */
314 ((void (*)(val
*, val
*))(var12
->class->vft
[COLOR_abstract_collection__Sequence__push
]))(var12
, var13
) /* push on <var12:StringCharView(BufferCharView)>*/;
316 { /* Inline kernel#Char#== (var_c,var14) */
317 var17
= var_c
== var14
;
327 CONTINUE_label
: (void)0;
329 BREAK_label
: (void)0;
332 /* method stream#IStream#append_line_to for (self: Object, Buffer) */
333 void VIRTUAL_stream__IStream__append_line_to(val
* self
, val
* p0
) {
334 stream__IStream__append_line_to(self
, p0
);
337 /* method stream#IStream#eof for (self: IStream): Bool */
338 short int stream__IStream__eof(val
* self
) {
339 short int var
/* : Bool */;
340 const char* var_class_name
;
341 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
342 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "eof", var_class_name
);
343 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 86);
348 /* method stream#IStream#eof for (self: Object): Bool */
349 short int VIRTUAL_stream__IStream__eof(val
* self
) {
350 short int var
/* : Bool */;
351 short int var1
/* : Bool */;
352 var1
= stream__IStream__eof(self
);
357 /* method stream#OStream#write for (self: OStream, String) */
358 void stream__OStream__write(val
* self
, val
* p0
) {
359 const char* var_class_name
;
360 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
361 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "write", var_class_name
);
362 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 94);
366 /* method stream#OStream#write for (self: Object, String) */
367 void VIRTUAL_stream__OStream__write(val
* self
, val
* p0
) {
368 stream__OStream__write(self
, p0
);
371 /* method stream#OStream#is_writable for (self: OStream): Bool */
372 short int stream__OStream__is_writable(val
* self
) {
373 short int var
/* : Bool */;
374 const char* var_class_name
;
375 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
376 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "is_writable", var_class_name
);
377 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 97);
382 /* method stream#OStream#is_writable for (self: Object): Bool */
383 short int VIRTUAL_stream__OStream__is_writable(val
* self
) {
384 short int var
/* : Bool */;
385 short int var1
/* : Bool */;
386 var1
= stream__OStream__is_writable(self
);
391 /* method stream#Streamable#write_to for (self: Streamable, OStream) */
392 void stream__Streamable__write_to(val
* self
, val
* p0
) {
393 const char* var_class_name
;
394 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
395 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "write_to", var_class_name
);
396 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 106);
400 /* method stream#Streamable#write_to for (self: Object, OStream) */
401 void VIRTUAL_stream__Streamable__write_to(val
* self
, val
* p0
) {
402 stream__Streamable__write_to(self
, p0
);
405 /* method stream#String#write_to for (self: String, OStream) */
406 void stream__String__write_to(val
* self
, val
* p0
) {
407 val
* var_stream
/* var stream: OStream */;
409 ((void (*)(val
*, val
*))(var_stream
->class->vft
[COLOR_stream__OStream__write
]))(var_stream
, self
) /* write on <var_stream:OStream>*/;
412 /* method stream#String#write_to for (self: Object, OStream) */
413 void VIRTUAL_stream__String__write_to(val
* self
, val
* p0
) {
414 stream__String__write_to(self
, p0
);
417 /* method stream#BufferedIStream#read_char for (self: BufferedIStream): Int */
418 long stream__BufferedIStream__read_char(val
* self
) {
419 long var
/* : Int */;
420 short int var1
/* : Bool */;
421 short int var2
/* : Bool */;
422 long var3
/* : Int */;
423 val
* var4
/* : nullable Buffer */;
424 long var5
/* : Int */;
425 short int var6
/* : Bool */;
426 short int var8
/* : Bool */;
429 const char* var_class_name
;
430 short int var9
/* : Bool */;
431 long var10
/* : Int */;
432 val
* var11
/* : nullable Buffer */;
433 long var12
/* : Int */;
434 short int var13
/* : Bool */;
435 short int var15
/* : Bool */;
438 const char* var_class_name18
;
439 short int var19
/* : Bool */;
440 long var20
/* : Int */;
441 long var21
/* : Int */;
442 long var23
/* : Int */;
443 val
* var24
/* : nullable Buffer */;
444 val
* var25
/* : StringCharView */;
445 long var26
/* : Int */;
446 val
* var27
/* : nullable Object */;
447 char var28
/* : Char */;
448 char var_c
/* var c: Char */;
449 val
* var_
/* var : BufferedIStream */;
450 long var29
/* : Int */;
451 long var30
/* : Int */;
452 long var31
/* : Int */;
453 long var33
/* : Int */;
454 long var34
/* : Int */;
455 long var36
/* : Int */;
456 var1
= ((short int (*)(val
*))(self
->class->vft
[COLOR_stream__IStream__eof
]))(self
) /* eof on <self:BufferedIStream>*/;
459 fprintf(stderr
, "Runtime error: %s", "Assert failed");
460 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 121);
463 var3
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
464 var4
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
466 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
467 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 122);
470 var5
= ((long (*)(val
*))(var4
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var4
) /* length on <var4:nullable Buffer>*/;
472 { /* Inline kernel#Int#>= (var3,var5) */
473 /* Covariant cast for argument 0 (i) <var5:Int> isa OTHER */
474 /* <var5:Int> isa OTHER */
475 var8
= 1; /* easy <var5:Int> isa OTHER*/
477 var_class_name
= type_kernel__Int
.name
;
478 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
479 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
488 ((void (*)(val
*))(self
->class->vft
[COLOR_stream__BufferedIStream__fill_buffer
]))(self
) /* fill_buffer on <self:BufferedIStream>*/;
491 var10
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
492 var11
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
494 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
495 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 125);
498 var12
= ((long (*)(val
*))(var11
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var11
) /* length on <var11:nullable Buffer>*/;
500 { /* Inline kernel#Int#>= (var10,var12) */
501 /* Covariant cast for argument 0 (i) <var12:Int> isa OTHER */
502 /* <var12:Int> isa OTHER */
503 var15
= 1; /* easy <var12:Int> isa OTHER*/
505 var_class_name18
= type_kernel__Int
.name
;
506 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name18
);
507 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
510 var19
= var10
>= var12
;
517 { /* Inline kernel#Int#unary - (var20) */
527 var24
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
529 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
530 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 128);
533 var25
= ((val
* (*)(val
*))(var24
->class->vft
[COLOR_string__AbstractString__chars
]))(var24
) /* chars on <var24:nullable Buffer>*/;
535 var26
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
536 var27
= ((val
* (*)(val
*, long))(var25
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(var25
, var26
) /* [] on <var25:StringCharView(BufferCharView)>*/;
537 var28
= ((struct instance_kernel__Char
*)var27
)->value
; /* autounbox from nullable Object to Char */;
540 var29
= var_
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <var_:BufferedIStream> */
542 { /* Inline kernel#Int#+ (var29,var30) */
543 var33
= var29
+ var30
;
548 var_
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var31
; /* _buffer_pos on <var_:BufferedIStream> */
549 { /* Inline kernel#Char#ascii (var_c) */
550 var36
= (unsigned char)var_c
;
560 /* method stream#BufferedIStream#read_char for (self: Object): Int */
561 long VIRTUAL_stream__BufferedIStream__read_char(val
* self
) {
562 long var
/* : Int */;
563 long var1
/* : Int */;
564 var1
= stream__BufferedIStream__read_char(self
);
569 /* method stream#BufferedIStream#read for (self: BufferedIStream, Int): String */
570 val
* stream__BufferedIStream__read(val
* self
, long p0
) {
571 val
* var
/* : String */;
572 long var_i
/* var i: Int */;
573 val
* var1
/* : Buffer */;
574 val
* var_s
/* var s: Buffer */;
575 long var2
/* : Int */;
576 long var_j
/* var j: Int */;
577 val
* var3
/* : nullable Buffer */;
578 long var4
/* : Int */;
579 long var_k
/* var k: Int */;
580 long var5
/* : Int */;
581 short int var6
/* : Bool */;
582 short int var8
/* : Bool */;
585 const char* var_class_name
;
586 short int var9
/* : Bool */;
587 short int var10
/* : Bool */;
588 short int var12
/* : Bool */;
591 const char* var_class_name15
;
592 short int var16
/* : Bool */;
593 short int var17
/* : Bool */;
594 val
* var18
/* : String */;
595 long var19
/* : Int */;
596 val
* var20
/* : nullable Buffer */;
597 long var21
/* : Int */;
598 short int var22
/* : Bool */;
599 short int var23
/* : Bool */;
600 short int var25
/* : Bool */;
603 const char* var_class_name28
;
604 short int var29
/* : Bool */;
605 short int var_
/* var : Bool */;
606 long var30
/* : Int */;
607 short int var31
/* : Bool */;
608 short int var33
/* : Bool */;
611 const char* var_class_name36
;
612 short int var37
/* : Bool */;
613 val
* var38
/* : nullable Buffer */;
614 val
* var39
/* : StringCharView */;
615 val
* var40
/* : nullable Object */;
616 long var41
/* : Int */;
617 long var42
/* : Int */;
618 long var44
/* : Int */;
619 long var45
/* : Int */;
620 long var46
/* : Int */;
621 long var48
/* : Int */;
622 val
* var50
/* : String */;
624 var1
= NEW_string__Buffer(&type_string__Buffer
);
625 ((void (*)(val
*, long))(var1
->class->vft
[COLOR_string__Buffer__with_capacity
]))(var1
, var_i
) /* with_capacity on <var1:Buffer>*/;
627 var2
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
629 var3
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
631 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
632 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 137);
635 var4
= ((long (*)(val
*))(var3
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var3
) /* length on <var3:nullable Buffer>*/;
640 { /* Inline kernel#Int#> (var_i,var5) */
641 /* Covariant cast for argument 0 (i) <var5:Int> isa OTHER */
642 /* <var5:Int> isa OTHER */
643 var8
= 1; /* easy <var5:Int> isa OTHER*/
645 var_class_name
= type_kernel__Int
.name
;
646 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
647 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
656 { /* Inline kernel#Int#>= (var_j,var_k) */
657 /* Covariant cast for argument 0 (i) <var_k:Int> isa OTHER */
658 /* <var_k:Int> isa OTHER */
659 var12
= 1; /* easy <var_k:Int> isa OTHER*/
661 var_class_name15
= type_kernel__Int
.name
;
662 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name15
);
663 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
666 var16
= var_j
>= var_k
;
672 ((void (*)(val
*))(self
->class->vft
[COLOR_stream__BufferedIStream__fill_buffer
]))(self
) /* fill_buffer on <self:BufferedIStream>*/;
673 var17
= ((short int (*)(val
*))(self
->class->vft
[COLOR_stream__IStream__eof
]))(self
) /* eof on <self:BufferedIStream>*/;
675 var18
= ((val
* (*)(val
*))(var_s
->class->vft
[COLOR_string__Object__to_s
]))(var_s
) /* to_s on <var_s:Buffer>*/;
680 var19
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
682 var20
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
684 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
685 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 143);
688 var21
= ((long (*)(val
*))(var20
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var20
) /* length on <var20:nullable Buffer>*/;
694 { /* Inline kernel#Int#< (var_j,var_k) */
695 /* Covariant cast for argument 0 (i) <var_k:Int> isa OTHER */
696 /* <var_k:Int> isa OTHER */
697 var25
= 1; /* easy <var_k:Int> isa OTHER*/
699 var_class_name28
= type_kernel__Int
.name
;
700 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name28
);
701 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
704 var29
= var_j
< var_k
;
712 { /* Inline kernel#Int#> (var_i,var30) */
713 /* Covariant cast for argument 0 (i) <var30:Int> isa OTHER */
714 /* <var30:Int> isa OTHER */
715 var33
= 1; /* easy <var30:Int> isa OTHER*/
717 var_class_name36
= type_kernel__Int
.name
;
718 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name36
);
719 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
722 var37
= var_i
> var30
;
732 var38
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
734 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
735 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 146);
738 var39
= ((val
* (*)(val
*))(var38
->class->vft
[COLOR_string__AbstractString__chars
]))(var38
) /* chars on <var38:nullable Buffer>*/;
740 var40
= ((val
* (*)(val
*, long))(var39
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(var39
, var_j
) /* [] on <var39:StringCharView(BufferCharView)>*/;
741 ((void (*)(val
*, val
*))(var_s
->class->vft
[COLOR_abstract_collection__SimpleCollection__add
]))(var_s
, var40
) /* add on <var_s:Buffer>*/;
743 { /* Inline kernel#Int#+ (var_j,var41) */
744 var44
= var_j
+ var41
;
751 { /* Inline kernel#Int#- (var_i,var45) */
752 var48
= var_i
- var45
;
758 CONTINUE_label
: (void)0;
760 BREAK_label
: (void)0;
761 CONTINUE_label49
: (void)0;
763 BREAK_label49
: (void)0;
764 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var_j
; /* _buffer_pos on <self:BufferedIStream> */
765 var50
= ((val
* (*)(val
*))(var_s
->class->vft
[COLOR_string__Object__to_s
]))(var_s
) /* to_s on <var_s:Buffer>*/;
771 /* method stream#BufferedIStream#read for (self: Object, Int): String */
772 val
* VIRTUAL_stream__BufferedIStream__read(val
* self
, long p0
) {
773 val
* var
/* : String */;
774 val
* var1
/* : String */;
775 var1
= stream__BufferedIStream__read(self
, p0
);
780 /* method stream#BufferedIStream#read_all for (self: BufferedIStream): String */
781 val
* stream__BufferedIStream__read_all(val
* self
) {
782 val
* var
/* : String */;
783 val
* var1
/* : Buffer */;
784 val
* var_s
/* var s: Buffer */;
785 short int var2
/* : Bool */;
786 short int var3
/* : Bool */;
787 long var4
/* : Int */;
788 long var_j
/* var j: Int */;
789 val
* var5
/* : nullable Buffer */;
790 long var6
/* : Int */;
791 long var_k
/* var k: Int */;
792 short int var7
/* : Bool */;
793 short int var9
/* : Bool */;
796 const char* var_class_name
;
797 short int var10
/* : Bool */;
798 val
* var11
/* : nullable Buffer */;
799 val
* var12
/* : StringCharView */;
800 val
* var13
/* : nullable Object */;
801 long var14
/* : Int */;
802 long var15
/* : Int */;
803 long var17
/* : Int */;
804 val
* var19
/* : String */;
805 var1
= NEW_string__Buffer(&type_string__Buffer
);
806 ((void (*)(val
*))(var1
->class->vft
[COLOR_string__Buffer__init
]))(var1
) /* init on <var1:Buffer>*/;
809 var2
= ((short int (*)(val
*))(self
->class->vft
[COLOR_stream__IStream__eof
]))(self
) /* eof on <self:BufferedIStream>*/;
812 var4
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
814 var5
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
816 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
817 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 160);
820 var6
= ((long (*)(val
*))(var5
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var5
) /* length on <var5:nullable Buffer>*/;
824 { /* Inline kernel#Int#< (var_j,var_k) */
825 /* Covariant cast for argument 0 (i) <var_k:Int> isa OTHER */
826 /* <var_k:Int> isa OTHER */
827 var9
= 1; /* easy <var_k:Int> isa OTHER*/
829 var_class_name
= type_kernel__Int
.name
;
830 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
831 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
834 var10
= var_j
< var_k
;
840 var11
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
842 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
843 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 162);
846 var12
= ((val
* (*)(val
*))(var11
->class->vft
[COLOR_string__AbstractString__chars
]))(var11
) /* chars on <var11:nullable Buffer>*/;
848 var13
= ((val
* (*)(val
*, long))(var12
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(var12
, var_j
) /* [] on <var12:StringCharView(BufferCharView)>*/;
849 ((void (*)(val
*, val
*))(var_s
->class->vft
[COLOR_abstract_collection__SimpleCollection__add
]))(var_s
, var13
) /* add on <var_s:Buffer>*/;
851 { /* Inline kernel#Int#+ (var_j,var14) */
852 var17
= var_j
+ var14
;
858 CONTINUE_label
: (void)0;
860 BREAK_label
: (void)0;
861 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var_j
; /* _buffer_pos on <self:BufferedIStream> */
862 ((void (*)(val
*))(self
->class->vft
[COLOR_stream__BufferedIStream__fill_buffer
]))(self
) /* fill_buffer on <self:BufferedIStream>*/;
863 CONTINUE_label18
: (void)0;
865 BREAK_label18
: (void)0;
866 var19
= ((val
* (*)(val
*))(var_s
->class->vft
[COLOR_string__Object__to_s
]))(var_s
) /* to_s on <var_s:Buffer>*/;
872 /* method stream#BufferedIStream#read_all for (self: Object): String */
873 val
* VIRTUAL_stream__BufferedIStream__read_all(val
* self
) {
874 val
* var
/* : String */;
875 val
* var1
/* : String */;
876 var1
= stream__BufferedIStream__read_all(self
);
881 /* method stream#BufferedIStream#append_line_to for (self: BufferedIStream, Buffer) */
882 void stream__BufferedIStream__append_line_to(val
* self
, val
* p0
) {
883 val
* var_s
/* var s: Buffer */;
884 long var
/* : Int */;
885 long var_i
/* var i: Int */;
886 short int var1
/* : Bool */;
887 val
* var2
/* : nullable Buffer */;
888 long var3
/* : Int */;
889 short int var4
/* : Bool */;
890 short int var6
/* : Bool */;
893 const char* var_class_name
;
894 short int var7
/* : Bool */;
895 short int var_
/* var : Bool */;
896 val
* var8
/* : nullable Buffer */;
897 val
* var9
/* : StringCharView */;
898 val
* var10
/* : nullable Object */;
899 char var11
/* : Char */;
900 short int var12
/* : Bool */;
901 short int var14
/* : Bool */;
902 char var15
/* : Char */;
903 short int var16
/* : Bool */;
904 long var17
/* : Int */;
905 long var18
/* : Int */;
906 long var20
/* : Int */;
907 long var21
/* : Int */;
908 short int var22
/* : Bool */;
909 short int var24
/* : Bool */;
912 const char* var_class_name27
;
913 short int var28
/* : Bool */;
914 long var29
/* : Int */;
915 long var30
/* : Int */;
916 long var32
/* : Int */;
917 long var33
/* : Int */;
918 long var34
/* : Int */;
919 long var36
/* : Int */;
920 long var37
/* : Int */;
921 long var_j
/* var j: Int */;
922 short int var38
/* : Bool */;
923 short int var40
/* : Bool */;
926 const char* var_class_name43
;
927 short int var44
/* : Bool */;
928 val
* var45
/* : nullable Buffer */;
929 val
* var46
/* : StringCharView */;
930 val
* var47
/* : nullable Object */;
931 long var48
/* : Int */;
932 long var49
/* : Int */;
933 long var51
/* : Int */;
934 val
* var53
/* : nullable Buffer */;
935 long var54
/* : Int */;
936 short int var55
/* : Bool */;
937 short int var57
/* : Bool */;
940 const char* var_class_name60
;
941 short int var61
/* : Bool */;
942 long var62
/* : Int */;
943 long var63
/* : Int */;
944 long var65
/* : Int */;
945 short int var66
/* : Bool */;
948 var
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
951 var2
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
953 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
954 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 176);
957 var3
= ((long (*)(val
*))(var2
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var2
) /* length on <var2:nullable Buffer>*/;
959 { /* Inline kernel#Int#< (var_i,var3) */
960 /* Covariant cast for argument 0 (i) <var3:Int> isa OTHER */
961 /* <var3:Int> isa OTHER */
962 var6
= 1; /* easy <var3:Int> isa OTHER*/
964 var_class_name
= type_kernel__Int
.name
;
965 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
966 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
976 var8
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
978 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
979 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 176);
982 var9
= ((val
* (*)(val
*))(var8
->class->vft
[COLOR_string__AbstractString__chars
]))(var8
) /* chars on <var8:nullable Buffer>*/;
984 var10
= ((val
* (*)(val
*, long))(var9
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(var9
, var_i
) /* [] on <var9:StringCharView(BufferCharView)>*/;
986 { /* Inline kernel#Char#!= (var10,var11) */
987 var14
= (var10
!= NULL
) && (var10
->class == &class_kernel__Char
);
989 var15
= ((struct instance_kernel__Char
*)var10
)->value
; /* autounbox from nullable Object to Char */;
990 var14
= (var15
== var11
);
1003 { /* Inline kernel#Int#+ (var_i,var17) */
1004 var20
= var_i
+ var17
;
1007 RET_LABEL19
:(void)0;
1010 CONTINUE_label
: (void)0;
1012 BREAK_label
: (void)0;
1013 var21
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
1014 { /* Inline kernel#Int#> (var_i,var21) */
1015 /* Covariant cast for argument 0 (i) <var21:Int> isa OTHER */
1016 /* <var21:Int> isa OTHER */
1017 var24
= 1; /* easy <var21:Int> isa OTHER*/
1019 var_class_name27
= type_kernel__Int
.name
;
1020 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name27
);
1021 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
1024 var28
= var_i
> var21
;
1027 RET_LABEL23
:(void)0;
1030 var29
= ((long (*)(val
*))(var_s
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var_s
) /* length on <var_s:Buffer>*/;
1031 { /* Inline kernel#Int#+ (var29,var_i) */
1032 var32
= var29
+ var_i
;
1035 RET_LABEL31
:(void)0;
1037 var33
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
1038 { /* Inline kernel#Int#- (var30,var33) */
1039 var36
= var30
- var33
;
1042 RET_LABEL35
:(void)0;
1044 ((void (*)(val
*, long))(var_s
->class->vft
[COLOR_array__AbstractArray__enlarge
]))(var_s
, var34
) /* enlarge on <var_s:Buffer>*/;
1045 var37
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
1048 { /* Inline kernel#Int#< (var_j,var_i) */
1049 /* Covariant cast for argument 0 (i) <var_i:Int> isa OTHER */
1050 /* <var_i:Int> isa OTHER */
1051 var40
= 1; /* easy <var_i:Int> isa OTHER*/
1053 var_class_name43
= type_kernel__Int
.name
;
1054 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name43
);
1055 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
1058 var44
= var_j
< var_i
;
1061 RET_LABEL39
:(void)0;
1064 var45
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
1065 if (var45
== NULL
) {
1066 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
1067 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 186);
1070 var46
= ((val
* (*)(val
*))(var45
->class->vft
[COLOR_string__AbstractString__chars
]))(var45
) /* chars on <var45:nullable Buffer>*/;
1072 var47
= ((val
* (*)(val
*, long))(var46
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(var46
, var_j
) /* [] on <var46:StringCharView(BufferCharView)>*/;
1073 ((void (*)(val
*, val
*))(var_s
->class->vft
[COLOR_abstract_collection__SimpleCollection__add
]))(var_s
, var47
) /* add on <var_s:Buffer>*/;
1075 { /* Inline kernel#Int#+ (var_j,var48) */
1076 var51
= var_j
+ var48
;
1079 RET_LABEL50
:(void)0;
1082 CONTINUE_label52
: (void)0;
1084 BREAK_label52
: (void)0;
1087 var53
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
1088 if (var53
== NULL
) {
1089 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
1090 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 191);
1093 var54
= ((long (*)(val
*))(var53
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var53
) /* length on <var53:nullable Buffer>*/;
1095 { /* Inline kernel#Int#< (var_i,var54) */
1096 /* Covariant cast for argument 0 (i) <var54:Int> isa OTHER */
1097 /* <var54:Int> isa OTHER */
1098 var57
= 1; /* easy <var54:Int> isa OTHER*/
1100 var_class_name60
= type_kernel__Int
.name
;
1101 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name60
);
1102 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
1105 var61
= var_i
< var54
;
1108 RET_LABEL56
:(void)0;
1112 { /* Inline kernel#Int#+ (var_i,var62) */
1113 var65
= var_i
+ var62
;
1116 RET_LABEL64
:(void)0;
1118 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var63
; /* _buffer_pos on <self:BufferedIStream> */
1121 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var_i
; /* _buffer_pos on <self:BufferedIStream> */
1122 var66
= ((short int (*)(val
*))(self
->class->vft
[COLOR_stream__BufferedIStream__end_reached
]))(self
) /* end_reached on <self:BufferedIStream>*/;
1126 ((void (*)(val
*))(self
->class->vft
[COLOR_stream__BufferedIStream__fill_buffer
]))(self
) /* fill_buffer on <self:BufferedIStream>*/;
1129 CONTINUE_label67
: (void)0;
1131 BREAK_label67
: (void)0;
1134 /* method stream#BufferedIStream#append_line_to for (self: Object, Buffer) */
1135 void VIRTUAL_stream__BufferedIStream__append_line_to(val
* self
, val
* p0
) {
1136 stream__BufferedIStream__append_line_to(self
, p0
);
1139 /* method stream#BufferedIStream#eof for (self: BufferedIStream): Bool */
1140 short int stream__BufferedIStream__eof(val
* self
) {
1141 short int var
/* : Bool */;
1142 short int var1
/* : Bool */;
1143 long var2
/* : Int */;
1144 val
* var3
/* : nullable Buffer */;
1145 long var4
/* : Int */;
1146 short int var5
/* : Bool */;
1147 short int var7
/* : Bool */;
1150 const char* var_class_name
;
1151 short int var8
/* : Bool */;
1152 short int var_
/* var : Bool */;
1153 short int var9
/* : Bool */;
1154 var2
= self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
; /* _buffer_pos on <self:BufferedIStream> */
1155 var3
= self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
; /* _buffer on <self:BufferedIStream> */
1157 fprintf(stderr
, "Runtime error: %s", "Receiver is null");
1158 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 207);
1161 var4
= ((long (*)(val
*))(var3
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var3
) /* length on <var3:nullable Buffer>*/;
1163 { /* Inline kernel#Int#>= (var2,var4) */
1164 /* Covariant cast for argument 0 (i) <var4:Int> isa OTHER */
1165 /* <var4:Int> isa OTHER */
1166 var7
= 1; /* easy <var4:Int> isa OTHER*/
1168 var_class_name
= type_kernel__Int
.name
;
1169 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1170 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
1173 var8
= var2
>= var4
;
1180 var9
= ((short int (*)(val
*))(self
->class->vft
[COLOR_stream__BufferedIStream__end_reached
]))(self
) /* end_reached on <self:BufferedIStream>*/;
1190 /* method stream#BufferedIStream#eof for (self: Object): Bool */
1191 short int VIRTUAL_stream__BufferedIStream__eof(val
* self
) {
1192 short int var
/* : Bool */;
1193 short int var1
/* : Bool */;
1194 var1
= stream__BufferedIStream__eof(self
);
1199 /* method stream#BufferedIStream#fill_buffer for (self: BufferedIStream) */
1200 void stream__BufferedIStream__fill_buffer(val
* self
) {
1201 const char* var_class_name
;
1202 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
1203 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "fill_buffer", var_class_name
);
1204 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 215);
1208 /* method stream#BufferedIStream#fill_buffer for (self: Object) */
1209 void VIRTUAL_stream__BufferedIStream__fill_buffer(val
* self
) {
1210 stream__BufferedIStream__fill_buffer(self
);
1213 /* method stream#BufferedIStream#end_reached for (self: BufferedIStream): Bool */
1214 short int stream__BufferedIStream__end_reached(val
* self
) {
1215 short int var
/* : Bool */;
1216 const char* var_class_name
;
1217 var_class_name
= self
== NULL ?
"null" : self
->type
->name
;
1218 fprintf(stderr
, "Runtime error: Abstract method `%s` called on `%s`", "end_reached", var_class_name
);
1219 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 218);
1224 /* method stream#BufferedIStream#end_reached for (self: Object): Bool */
1225 short int VIRTUAL_stream__BufferedIStream__end_reached(val
* self
) {
1226 short int var
/* : Bool */;
1227 short int var1
/* : Bool */;
1228 var1
= stream__BufferedIStream__end_reached(self
);
1233 /* method stream#BufferedIStream#prepare_buffer for (self: BufferedIStream, Int) */
1234 void stream__BufferedIStream__prepare_buffer(val
* self
, long p0
) {
1235 long var_capacity
/* var capacity: Int */;
1236 val
* var
/* : Buffer */;
1237 long var1
/* : Int */;
1239 var
= NEW_string__Buffer(&type_string__Buffer
);
1240 ((void (*)(val
*, long))(var
->class->vft
[COLOR_string__Buffer__with_capacity
]))(var
, var_capacity
) /* with_capacity on <var:Buffer>*/;
1241 self
->attrs
[COLOR_stream__BufferedIStream___buffer
].val
= var
; /* _buffer on <self:BufferedIStream> */
1243 self
->attrs
[COLOR_stream__BufferedIStream___buffer_pos
].l
= var1
; /* _buffer_pos on <self:BufferedIStream> */
1246 /* method stream#BufferedIStream#prepare_buffer for (self: Object, Int) */
1247 void VIRTUAL_stream__BufferedIStream__prepare_buffer(val
* self
, long p0
) {
1248 stream__BufferedIStream__prepare_buffer(self
, p0
);
1251 /* method stream#BufferedIStream#init for (self: BufferedIStream) */
1252 void stream__BufferedIStream__init(val
* self
) {
1255 /* method stream#BufferedIStream#init for (self: Object) */
1256 void VIRTUAL_stream__BufferedIStream__init(val
* self
) {
1257 stream__BufferedIStream__init(self
);
1260 /* method stream#FDStream#fd for (self: FDStream): Int */
1261 long stream__FDStream__fd(val
* self
) {
1262 long var
/* : Int */;
1263 long var1
/* : Int */;
1264 var1
= self
->attrs
[COLOR_stream__FDStream___64dfd
].l
; /* @fd on <self:FDStream> */
1269 /* method stream#FDStream#fd for (self: Object): Int */
1270 long VIRTUAL_stream__FDStream__fd(val
* self
) {
1271 long var
/* : Int */;
1272 long var1
/* : Int */;
1273 var1
= stream__FDStream__fd(self
);
1278 /* method stream#FDStream#fd= for (self: FDStream, Int) */
1279 void stream__FDStream__fd_61d(val
* self
, long p0
) {
1280 self
->attrs
[COLOR_stream__FDStream___64dfd
].l
= p0
; /* @fd on <self:FDStream> */
1283 /* method stream#FDStream#fd= for (self: Object, Int) */
1284 void VIRTUAL_stream__FDStream__fd_61d(val
* self
, long p0
) {
1285 stream__FDStream__fd_61d(self
, p0
);
1288 /* method stream#FDStream#close for (self: FDStream) */
1289 void stream__FDStream__close(val
* self
) {
1290 long var
/* : Int */;
1291 long var1
/* : Int */;
1292 var
= ((long (*)(val
*))(self
->class->vft
[COLOR_stream__FDStream__fd
]))(self
) /* fd on <self:FDStream>*/;
1293 var1
= ((long (*)(val
*, long))(self
->class->vft
[COLOR_stream__FDStream__native_close
]))(self
, var
) /* native_close on <self:FDStream>*/;
1297 /* method stream#FDStream#close for (self: Object) */
1298 void VIRTUAL_stream__FDStream__close(val
* self
) {
1299 stream__FDStream__close(self
);
1302 /* method stream#FDStream#native_close for (self: FDStream, Int): Int */
1303 long stream__FDStream__native_close(val
* self
, long p0
) {
1304 long var
/* : Int */;
1305 long var1
/* : Int */;
1306 var1
= stream_FDStream_FDStream_native_close_1(self
, p0
);
1312 /* method stream#FDStream#native_close for (self: Object, Int): Int */
1313 long VIRTUAL_stream__FDStream__native_close(val
* self
, long p0
) {
1314 long var
/* : Int */;
1315 long var1
/* : Int */;
1316 var1
= stream__FDStream__native_close(self
, p0
);
1321 /* method stream#FDStream#native_read_char for (self: FDStream, Int): Int */
1322 long stream__FDStream__native_read_char(val
* self
, long p0
) {
1323 long var
/* : Int */;
1324 long var1
/* : Int */;
1325 var1
= stream_FDStream_FDStream_native_read_char_1(self
, p0
);
1331 /* method stream#FDStream#native_read_char for (self: Object, Int): Int */
1332 long VIRTUAL_stream__FDStream__native_read_char(val
* self
, long p0
) {
1333 long var
/* : Int */;
1334 long var1
/* : Int */;
1335 var1
= stream__FDStream__native_read_char(self
, p0
);
1340 /* method stream#FDStream#native_read for (self: FDStream, Int, NativeString, Int): Int */
1341 long stream__FDStream__native_read(val
* self
, long p0
, char* p1
, long p2
) {
1342 long var
/* : Int */;
1343 long var1
/* : Int */;
1344 var1
= stream_FDStream_FDStream_native_read_3(self
, p0
, p1
, p2
);
1350 /* method stream#FDStream#native_read for (self: Object, Int, NativeString, Int): Int */
1351 long VIRTUAL_stream__FDStream__native_read(val
* self
, long p0
, char* p1
, long p2
) {
1352 long var
/* : Int */;
1353 long var1
/* : Int */;
1354 var1
= stream__FDStream__native_read(self
, p0
, p1
, p2
);
1359 /* method stream#FDStream#native_write for (self: FDStream, Int, NativeString, Int): Int */
1360 long stream__FDStream__native_write(val
* self
, long p0
, char* p1
, long p2
) {
1361 long var
/* : Int */;
1362 long var1
/* : Int */;
1363 var1
= stream_FDStream_FDStream_native_write_3(self
, p0
, p1
, p2
);
1369 /* method stream#FDStream#native_write for (self: Object, Int, NativeString, Int): Int */
1370 long VIRTUAL_stream__FDStream__native_write(val
* self
, long p0
, char* p1
, long p2
) {
1371 long var
/* : Int */;
1372 long var1
/* : Int */;
1373 var1
= stream__FDStream__native_write(self
, p0
, p1
, p2
);
1378 /* method stream#FDStream#native_write_char for (self: FDStream, Int, Char): Int */
1379 long stream__FDStream__native_write_char(val
* self
, long p0
, char p1
) {
1380 long var
/* : Int */;
1381 long var1
/* : Int */;
1382 var1
= stream_FDStream_FDStream_native_write_char_2(self
, p0
, p1
);
1388 /* method stream#FDStream#native_write_char for (self: Object, Int, Char): Int */
1389 long VIRTUAL_stream__FDStream__native_write_char(val
* self
, long p0
, char p1
) {
1390 long var
/* : Int */;
1391 long var1
/* : Int */;
1392 var1
= stream__FDStream__native_write_char(self
, p0
, p1
);
1397 /* method stream#FDStream#init for (self: FDStream, Int) */
1398 void stream__FDStream__init(val
* self
, long p0
) {
1399 long var_fd
/* var fd: Int */;
1401 ((void (*)(val
*, long))(self
->class->vft
[COLOR_stream__FDStream__fd_61d
]))(self
, var_fd
) /* fd= on <self:FDStream>*/;
1404 /* method stream#FDStream#init for (self: Object, Int) */
1405 void VIRTUAL_stream__FDStream__init(val
* self
, long p0
) {
1406 stream__FDStream__init(self
, p0
);
1409 /* method stream#FDIStream#eof for (self: FDIStream): Bool */
1410 short int stream__FDIStream__eof(val
* self
) {
1411 short int var
/* : Bool */;
1412 short int var1
/* : Bool */;
1413 var1
= self
->attrs
[COLOR_stream__FDIStream___64deof
].s
; /* @eof on <self:FDIStream> */
1418 /* method stream#FDIStream#eof for (self: Object): Bool */
1419 short int VIRTUAL_stream__FDIStream__eof(val
* self
) {
1420 short int var
/* : Bool */;
1421 short int var1
/* : Bool */;
1422 var1
= stream__FDIStream__eof(self
);
1427 /* method stream#FDIStream#eof= for (self: FDIStream, Bool) */
1428 void stream__FDIStream__eof_61d(val
* self
, short int p0
) {
1429 self
->attrs
[COLOR_stream__FDIStream___64deof
].s
= p0
; /* @eof on <self:FDIStream> */
1432 /* method stream#FDIStream#eof= for (self: Object, Bool) */
1433 void VIRTUAL_stream__FDIStream__eof_61d(val
* self
, short int p0
) {
1434 stream__FDIStream__eof_61d(self
, p0
);
1437 /* method stream#FDIStream#read_char for (self: FDIStream): Int */
1438 long stream__FDIStream__read_char(val
* self
) {
1439 long var
/* : Int */;
1440 long var1
/* : Int */;
1441 long var2
/* : Int */;
1442 long var_nb
/* var nb: Int */;
1443 long var3
/* : Int */;
1444 long var4
/* : Int */;
1445 long var6
/* : Int */;
1446 short int var7
/* : Bool */;
1447 short int var9
/* : Bool */;
1448 short int var10
/* : Bool */;
1449 var1
= ((long (*)(val
*))(self
->class->vft
[COLOR_stream__FDStream__fd
]))(self
) /* fd on <self:FDIStream>*/;
1450 var2
= ((long (*)(val
*, long))(self
->class->vft
[COLOR_stream__FDStream__native_read_char
]))(self
, var1
) /* native_read_char on <self:FDIStream>*/;
1453 { /* Inline kernel#Int#unary - (var3) */
1459 { /* Inline kernel#Int#== (var_nb,var4) */
1460 var9
= var_nb
== var4
;
1467 ((void (*)(val
*, short int))(self
->class->vft
[COLOR_stream__FDIStream__eof_61d
]))(self
, var10
) /* eof= on <self:FDIStream>*/;
1475 /* method stream#FDIStream#read_char for (self: Object): Int */
1476 long VIRTUAL_stream__FDIStream__read_char(val
* self
) {
1477 long var
/* : Int */;
1478 long var1
/* : Int */;
1479 var1
= stream__FDIStream__read_char(self
);
1484 /* method stream#FDIStream#init for (self: FDIStream, Int) */
1485 void stream__FDIStream__init(val
* self
, long p0
) {
1486 long var_fd
/* var fd: Int */;
1488 ((void (*)(val
*, long))(self
->class->vft
[COLOR_stream__FDStream__init
]))(self
, p0
) /* init on <self:FDIStream>*/;
1491 /* method stream#FDIStream#init for (self: Object, Int) */
1492 void VIRTUAL_stream__FDIStream__init(val
* self
, long p0
) {
1493 stream__FDIStream__init(self
, p0
);
1496 /* method stream#FDOStream#is_writable for (self: FDOStream): Bool */
1497 short int stream__FDOStream__is_writable(val
* self
) {
1498 short int var
/* : Bool */;
1499 short int var1
/* : Bool */;
1500 var1
= self
->attrs
[COLOR_stream__FDOStream___64dis_writable
].s
; /* @is_writable on <self:FDOStream> */
1505 /* method stream#FDOStream#is_writable for (self: Object): Bool */
1506 short int VIRTUAL_stream__FDOStream__is_writable(val
* self
) {
1507 short int var
/* : Bool */;
1508 short int var1
/* : Bool */;
1509 var1
= stream__FDOStream__is_writable(self
);
1514 /* method stream#FDOStream#is_writable= for (self: FDOStream, Bool) */
1515 void stream__FDOStream__is_writable_61d(val
* self
, short int p0
) {
1516 self
->attrs
[COLOR_stream__FDOStream___64dis_writable
].s
= p0
; /* @is_writable on <self:FDOStream> */
1519 /* method stream#FDOStream#is_writable= for (self: Object, Bool) */
1520 void VIRTUAL_stream__FDOStream__is_writable_61d(val
* self
, short int p0
) {
1521 stream__FDOStream__is_writable_61d(self
, p0
);
1524 /* method stream#FDOStream#write for (self: FDOStream, String) */
1525 void stream__FDOStream__write(val
* self
, val
* p0
) {
1526 val
* var_s
/* var s: String */;
1527 long var
/* : Int */;
1528 char* var1
/* : NativeString */;
1529 long var2
/* : Int */;
1530 long var3
/* : Int */;
1531 long var_nb
/* var nb: Int */;
1532 long var4
/* : Int */;
1533 short int var5
/* : Bool */;
1534 short int var7
/* : Bool */;
1537 const char* var_class_name
;
1538 short int var8
/* : Bool */;
1539 short int var9
/* : Bool */;
1541 var
= ((long (*)(val
*))(self
->class->vft
[COLOR_stream__FDStream__fd
]))(self
) /* fd on <self:FDOStream>*/;
1542 var1
= ((char* (*)(val
*))(var_s
->class->vft
[COLOR_string__String__to_cstring
]))(var_s
) /* to_cstring on <var_s:String>*/;
1543 var2
= ((long (*)(val
*))(var_s
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var_s
) /* length on <var_s:String>*/;
1544 var3
= ((long (*)(val
*, long, char*, long))(self
->class->vft
[COLOR_stream__FDStream__native_write
]))(self
, var
, var1
, var2
) /* native_write on <self:FDOStream>*/;
1546 var4
= ((long (*)(val
*))(var_s
->class->vft
[COLOR_abstract_collection__Collection__length
]))(var_s
) /* length on <var_s:String>*/;
1547 { /* Inline kernel#Int#< (var_nb,var4) */
1548 /* Covariant cast for argument 0 (i) <var4:Int> isa OTHER */
1549 /* <var4:Int> isa OTHER */
1550 var7
= 1; /* easy <var4:Int> isa OTHER*/
1552 var_class_name
= type_kernel__Int
.name
;
1553 fprintf(stderr
, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
1554 fprintf(stderr
, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
1557 var8
= var_nb
< var4
;
1564 ((void (*)(val
*, short int))(self
->class->vft
[COLOR_stream__FDOStream__is_writable_61d
]))(self
, var9
) /* is_writable= on <self:FDOStream>*/;
1569 /* method stream#FDOStream#write for (self: Object, String) */
1570 void VIRTUAL_stream__FDOStream__write(val
* self
, val
* p0
) {
1571 stream__FDOStream__write(self
, p0
);
1574 /* method stream#FDOStream#init for (self: FDOStream, Int) */
1575 void stream__FDOStream__init(val
* self
, long p0
) {
1576 long var_fd
/* var fd: Int */;
1577 short int var
/* : Bool */;
1579 ((void (*)(val
*, long))(self
->class->vft
[COLOR_stream__FDStream__init
]))(self
, p0
) /* init on <self:FDOStream>*/;
1581 ((void (*)(val
*, short int))(self
->class->vft
[COLOR_stream__FDOStream__is_writable_61d
]))(self
, var
) /* is_writable= on <self:FDOStream>*/;
1584 /* method stream#FDOStream#init for (self: Object, Int) */
1585 void VIRTUAL_stream__FDOStream__init(val
* self
, long p0
) {
1586 stream__FDOStream__init(self
, p0
);
1589 /* method stream#FDIOStream#init for (self: FDIOStream, Int) */
1590 void stream__FDIOStream__init(val
* self
, long p0
) {
1591 long var_fd
/* var fd: Int */;
1592 short int var
/* : Bool */;
1594 ((void (*)(val
*, long))(self
->class->vft
[COLOR_stream__FDIStream__init
]))(self
, p0
) /* init on <self:FDIOStream>*/;
1595 ((void (*)(val
*, long))(self
->class->vft
[COLOR_stream__FDOStream__init
]))(self
, p0
) /* init on <self:FDIOStream>*/;
1596 ((void (*)(val
*, long))(self
->class->vft
[COLOR_stream__FDStream__fd_61d
]))(self
, var_fd
) /* fd= on <self:FDIOStream>*/;
1598 ((void (*)(val
*, short int))(self
->class->vft
[COLOR_stream__FDOStream__is_writable_61d
]))(self
, var
) /* is_writable= on <self:FDIOStream>*/;
1601 /* method stream#FDIOStream#init for (self: Object, Int) */
1602 void VIRTUAL_stream__FDIOStream__init(val
* self
, long p0
) {
1603 stream__FDIOStream__init(self
, p0
);
1606 /* method stream#Object#poll for (self: Object, Sequence[FDStream]): nullable FDStream */
1607 val
* stream__Object__poll(val
* self
, val
* p0
) {
1608 val
* var
/* : nullable FDStream */;
1609 val
* var_streams
/* var streams: Sequence[FDStream] */;
1610 val
* var1
/* : Array[Int] */;
1611 val
* var_in_fds
/* var in_fds: Array[Int] */;
1612 val
* var2
/* : Array[Int] */;
1613 val
* var_out_fds
/* var out_fds: Array[Int] */;
1614 val
* var3
/* : HashMap[Int, FDStream] */;
1615 val
* var_fd_to_stream
/* var fd_to_stream: HashMap[Int, FDStream] */;
1616 val
* var4
/* : Iterator[nullable Object] */;
1617 short int var5
/* : Bool */;
1618 val
* var6
/* : nullable Object */;
1619 val
* var_s
/* var s: FDStream */;
1620 long var7
/* : Int */;
1621 long var_fd
/* var fd: Int */;
1622 short int var8
/* : Bool */;
1625 val
* var9
/* : nullable Object */;
1626 short int var10
/* : Bool */;
1629 val
* var13
/* : nullable Object */;
1630 val
* var14
/* : Object */;
1631 val
* var15
/* : nullable Int */;
1632 val
* var_polled_fd
/* var polled_fd: nullable Int */;
1633 val
* var16
/* : null */;
1634 short int var17
/* : Bool */;
1635 val
* var18
/* : null */;
1636 val
* var19
/* : nullable Object */;
1638 var1
= NEW_array__Array(&type_array__Arraykernel__Int
);
1639 ((void (*)(val
*))(var1
->class->vft
[COLOR_array__Array__init
]))(var1
) /* init on <var1:Array[Int]>*/;
1641 var2
= NEW_array__Array(&type_array__Arraykernel__Int
);
1642 ((void (*)(val
*))(var2
->class->vft
[COLOR_array__Array__init
]))(var2
) /* init on <var2:Array[Int]>*/;
1644 var3
= NEW_hash_collection__HashMap(&type_hash_collection__HashMapkernel__Intstream__FDStream
);
1645 ((void (*)(val
*))(var3
->class->vft
[COLOR_hash_collection__HashMap__init
]))(var3
) /* init on <var3:HashMap[Int, FDStream]>*/;
1646 var_fd_to_stream
= var3
;
1647 var4
= ((val
* (*)(val
*))(var_streams
->class->vft
[COLOR_abstract_collection__Collection__iterator
]))(var_streams
) /* iterator on <var_streams:Sequence[FDStream]>*/;
1649 var5
= ((short int (*)(val
*))(var4
->class->vft
[COLOR_abstract_collection__Iterator__is_ok
]))(var4
) /* is_ok on <var4:Iterator[nullable Object]>*/;
1651 var6
= ((val
* (*)(val
*))(var4
->class->vft
[COLOR_abstract_collection__Iterator__item
]))(var4
) /* item on <var4:Iterator[nullable Object]>*/;
1653 var7
= ((long (*)(val
*))(var_s
->class->vft
[COLOR_stream__FDStream__fd
]))(var_s
) /* fd on <var_s:FDStream>*/;
1655 /* <var_s:FDStream> isa FDIStream */
1656 cltype
= type_stream__FDIStream
.color
;
1657 idtype
= type_stream__FDIStream
.id
;
1658 if(cltype
>= var_s
->type
->table_size
) {
1661 var8
= var_s
->type
->type_table
[cltype
] == idtype
;
1664 var9
= BOX_kernel__Int(var_fd
); /* autobox from Int to nullable Object */
1665 ((void (*)(val
*, val
*))(var_in_fds
->class->vft
[COLOR_abstract_collection__SimpleCollection__add
]))(var_in_fds
, var9
) /* add on <var_in_fds:Array[Int]>*/;
1668 /* <var_s:FDStream> isa FDOStream */
1669 cltype11
= type_stream__FDOStream
.color
;
1670 idtype12
= type_stream__FDOStream
.id
;
1671 if(cltype11
>= var_s
->type
->table_size
) {
1674 var10
= var_s
->type
->type_table
[cltype11
] == idtype12
;
1677 var13
= BOX_kernel__Int(var_fd
); /* autobox from Int to nullable Object */
1678 ((void (*)(val
*, val
*))(var_out_fds
->class->vft
[COLOR_abstract_collection__SimpleCollection__add
]))(var_out_fds
, var13
) /* add on <var_out_fds:Array[Int]>*/;
1681 var14
= BOX_kernel__Int(var_fd
); /* autobox from Int to Object */
1682 ((void (*)(val
*, val
*, val
*))(var_fd_to_stream
->class->vft
[COLOR_abstract_collection__Map___91d_93d_61d
]))(var_fd_to_stream
, var14
, var_s
) /* []= on <var_fd_to_stream:HashMap[Int, FDStream]>*/;
1683 CONTINUE_label
: (void)0;
1684 ((void (*)(val
*))(var4
->class->vft
[COLOR_abstract_collection__Iterator__next
]))(var4
) /* next on <var4:Iterator[nullable Object]>*/;
1686 BREAK_label
: (void)0;
1687 var15
= ((val
* (*)(val
*, val
*, val
*))(self
->class->vft
[COLOR_stream__Object__intern_poll
]))(self
, var_in_fds
, var_out_fds
) /* intern_poll on <self:Object>*/;
1688 var_polled_fd
= var15
;
1690 if (var_polled_fd
== NULL
) {
1691 var17
= 1; /* is null */
1693 var17
= 0; /* arg is null but recv is not */
1700 var19
= ((val
* (*)(val
*, val
*))(var_fd_to_stream
->class->vft
[COLOR_abstract_collection__MapRead___91d_93d
]))(var_fd_to_stream
, var_polled_fd
) /* [] on <var_fd_to_stream:HashMap[Int, FDStream]>*/;
1707 /* method stream#Object#poll for (self: Object, Sequence[FDStream]): nullable FDStream */
1708 val
* VIRTUAL_stream__Object__poll(val
* self
, val
* p0
) {
1709 val
* var
/* : nullable FDStream */;
1710 val
* var1
/* : nullable FDStream */;
1711 var1
= stream__Object__poll(self
, p0
);
1716 /* method stream#Object#intern_poll for (self: Object, Array[Int], Array[Int]): nullable Int */
1717 val
* stream__Object__intern_poll(val
* self
, val
* p0
, val
* p1
) {
1718 val
* var
/* : nullable Int */;
1719 val
* var1
/* : nullable Int */;
1720 struct nitni_instance
* var_for_c_0
;
1721 var_for_c_0
= malloc(sizeof(struct nitni_instance
));
1722 var_for_c_0
->value
= self
;
1723 struct nitni_instance
* var_for_c_1
;
1724 var_for_c_1
= malloc(sizeof(struct nitni_instance
));
1725 var_for_c_1
->value
= p0
;
1726 struct nitni_instance
* var_for_c_2
;
1727 var_for_c_2
= malloc(sizeof(struct nitni_instance
));
1728 var_for_c_2
->value
= p1
;
1729 struct nitni_instance
* ret_var
;
1730 ret_var
= stream___Object_intern_poll___impl(var_for_c_0
, var_for_c_1
, var_for_c_2
);
1731 var1
= ret_var
->value
;
1737 #ifndef NIT_NULL_null_Int
1738 #define NIT_NULL_null_Int
1739 struct nitni_instance
* stream___null_Int() {
1740 struct nitni_instance
* ret_for_c
;
1741 ret_for_c
= malloc(sizeof(struct nitni_instance
));
1742 ret_for_c
->value
= NULL
;
1746 #ifndef NIT_NULL_null_Object
1747 #define NIT_NULL_null_Object
1748 struct nitni_instance
* stream___null_Object() {
1749 struct nitni_instance
* ret_for_c
;
1750 ret_for_c
= malloc(sizeof(struct nitni_instance
));
1751 ret_for_c
->value
= NULL
;
1755 /* nitni callback for standard::abstract_collection::Collection::length */
1756 int stream___Array_of_Int_length( struct nitni_instance
* recv
) {
1757 long var
/* : Int */;
1758 var
= ((long (*)(val
*))(recv
->value
->class->vft
[COLOR_abstract_collection__Collection__length
]))(recv
->value
) /* length on <recv->value:Array[Int]>*/;
1761 /* nitni callback for standard::abstract_collection::SequenceRead::[] */
1762 int stream___Array_of_Int__index( struct nitni_instance
* recv
, int index
) {
1763 val
* var
/* : nullable Object */;
1764 long var1
/* : Int */;
1765 var
= ((val
* (*)(val
*, long))(recv
->value
->class->vft
[COLOR_abstract_collection__SequenceRead___91d_93d
]))(recv
->value
, index
) /* [] on <recv->value:Array[Int]>*/;
1766 var1
= ((struct instance_kernel__Int
*)var
)->value
; /* autounbox from nullable Object to Int */;
1769 /* nitni check for Int to nullable Int */
1770 int stream___Int_is_a_nullable_Int(int from
) {
1771 short int var
/* : Bool */;
1774 /* <from->value:Int> isa nullable Int */
1775 var
= 1; /* easy <from->value:Int> isa nullable Int*/
1778 /* nitni cast for Int to nullable Int */
1779 struct nitni_instance
* stream___Int_as_nullable_Int(int from
) {
1780 short int var
/* : Bool */;
1783 val
* var1
/* : nullable Int */;
1784 /* <from:Int> isa nullable Int */
1785 var
= 1; /* easy <from:Int> isa nullable Int*/
1787 fprintf(stderr
, "Runtime error: %s", "FFI cast failed");
1788 fprintf(stderr
, "\n");
1791 var1
= BOX_kernel__Int(from
); /* autobox from Int to nullable Int */
1792 struct nitni_instance
* ret_for_c
;
1793 ret_for_c
= malloc(sizeof(struct nitni_instance
));
1794 ret_for_c
->value
= var1
;
1797 /* method stream#Object#intern_poll for (self: Object, Array[Int], Array[Int]): nullable Int */
1798 val
* VIRTUAL_stream__Object__intern_poll(val
* self
, val
* p0
, val
* p1
) {
1799 val
* var
/* : nullable Int */;
1800 val
* var1
/* : nullable Int */;
1801 var1
= stream__Object__intern_poll(self
, p0
, p1
);
1806 /* method stream#StringOStream#content for (self: StringOStream): Array[String] */
1807 val
* stream__StringOStream__content(val
* self
) {
1808 val
* var
/* : Array[String] */;
1809 val
* var1
/* : Array[String] */;
1810 var1
= self
->attrs
[COLOR_stream__StringOStream___64dcontent
].val
; /* @content on <self:StringOStream> */
1812 fprintf(stderr
, "Runtime error: %s", "Uninitialized attribute @content");
1813 fprintf(stderr
, " (%s:%d)\n", "lib/standard/stream.nit", 377);
1820 /* method stream#StringOStream#content for (self: Object): Array[String] */
1821 val
* VIRTUAL_stream__StringOStream__content(val
* self
) {
1822 val
* var
/* : Array[String] */;
1823 val
* var1
/* : Array[String] */;
1824 var1
= stream__StringOStream__content(self
);
1829 /* method stream#StringOStream#content= for (self: StringOStream, Array[String]) */
1830 void stream__StringOStream__content_61d(val
* self
, val
* p0
) {
1831 self
->attrs
[COLOR_stream__StringOStream___64dcontent
].val
= p0
; /* @content on <self:StringOStream> */
1834 /* method stream#StringOStream#content= for (self: Object, Array[String]) */
1835 void VIRTUAL_stream__StringOStream__content_61d(val
* self
, val
* p0
) {
1836 stream__StringOStream__content_61d(self
, p0
);
1839 /* method stream#StringOStream#to_s for (self: StringOStream): String */
1840 val
* stream__StringOStream__to_s(val
* self
) {
1841 val
* var
/* : String */;
1842 val
* var1
/* : Array[String] */;
1843 val
* var2
/* : String */;
1844 var1
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_stream__StringOStream__content
]))(self
) /* content on <self:StringOStream>*/;
1845 var2
= ((val
* (*)(val
*))(var1
->class->vft
[COLOR_string__Object__to_s
]))(var1
) /* to_s on <var1:Array[String]>*/;
1851 /* method stream#StringOStream#to_s for (self: Object): String */
1852 val
* VIRTUAL_stream__StringOStream__to_s(val
* self
) {
1853 val
* var
/* : String */;
1854 val
* var1
/* : String */;
1855 var1
= stream__StringOStream__to_s(self
);
1860 /* method stream#StringOStream#is_writable for (self: StringOStream): Bool */
1861 short int stream__StringOStream__is_writable(val
* self
) {
1862 short int var
/* : Bool */;
1863 short int var1
/* : Bool */;
1870 /* method stream#StringOStream#is_writable for (self: Object): Bool */
1871 short int VIRTUAL_stream__StringOStream__is_writable(val
* self
) {
1872 short int var
/* : Bool */;
1873 short int var1
/* : Bool */;
1874 var1
= stream__StringOStream__is_writable(self
);
1879 /* method stream#StringOStream#write for (self: StringOStream, String) */
1880 void stream__StringOStream__write(val
* self
, val
* p0
) {
1881 val
* var_str
/* var str: String */;
1882 val
* var
/* : Array[String] */;
1884 var
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_stream__StringOStream__content
]))(self
) /* content on <self:StringOStream>*/;
1885 ((void (*)(val
*, val
*))(var
->class->vft
[COLOR_abstract_collection__SimpleCollection__add
]))(var
, var_str
) /* add on <var:Array[String]>*/;
1888 /* method stream#StringOStream#write for (self: Object, String) */
1889 void VIRTUAL_stream__StringOStream__write(val
* self
, val
* p0
) {
1890 stream__StringOStream__write(self
, p0
);
1893 /* method stream#StringOStream#init for (self: StringOStream) */
1894 void stream__StringOStream__init(val
* self
) {
1897 /* method stream#StringOStream#init for (self: Object) */
1898 void VIRTUAL_stream__StringOStream__init(val
* self
) {
1899 stream__StringOStream__init(self
);