1 #include "nit.common.h"
2 short int stream__BufferedIStream__eof(val
* self
);
3 val
* NEW_string__FlatBuffer(const struct type
* type
);
4 extern const struct type type_string__FlatBuffer
;
5 #define COLOR_kernel__Object__init 7
6 void stream__BufferedIStream__append_line_to(val
* self
, val
* p0
);
7 val
* string__FlatBuffer__to_s(val
* self
);
8 val
* stream__IStream__read_line(val
* self
);
9 void file__OFStream__write(val
* self
, val
* p0
);
10 void stream__Text__write_to(val
* self
, val
* p0
);
11 #define COLOR_stream__BufferedIStream___buffer 2
12 #define COLOR_string__FlatText___length 3
13 #define COLOR_stream__BufferedIStream___buffer_pos 3
14 void file__IFStream__fill_buffer(val
* self
);
15 val
* stream__BufferedIStream__read(val
* self
, long p0
);
16 val
* string__NativeString__to_s_with_length(char* self
, long p0
);
17 extern const struct type type_kernel__Int
;
18 val
* string__Text__substring_from(val
* self
, long p0
);
19 val
* string__FlatBuffer__substring(val
* self
, long p0
, long p1
);
20 char string__FlatBuffer___91d_93d(val
* self
, long p0
);
21 void string__FlatBuffer__add(val
* self
, char p0
);
22 val
* stream__BufferedIStream__read_all(val
* self
);
23 #define COLOR_string__FlatBuffer___chars 6
24 #define COLOR_abstract_collection__SequenceRead___91d_93d 46
25 extern const struct class class_kernel__Char
;
26 void string__FlatBuffer__enlarge(val
* self
, long p0
);
27 #define COLOR_file__IFStream___end_reached 4
28 void string__FlatBuffer__with_capacity(val
* self
, long p0
);
29 void stream__BufferedIStream__prepare_buffer(val
* self
, long p0
);