1 /* This C header file is generated by NIT to compile modules and programs that requires stream. */
4 #include "string._sep.h"
5 #include <nit_common.h>
6 #include <stream_nit.h>
8 extern const classtable_elt_t VFT_IOS
[];
10 extern const classtable_elt_t VFT_IStream
[];
12 extern const classtable_elt_t VFT_OStream
[];
14 extern const classtable_elt_t VFT_BufferedIStream
[];
16 extern const classtable_elt_t VFT_IOStream
[];
18 extern const classtable_elt_t VFT_FDStream
[];
20 extern const classtable_elt_t VFT_FDIStream
[];
22 extern const classtable_elt_t VFT_FDOStream
[];
24 extern const classtable_elt_t VFT_FDIOStream
[];
25 extern const char *LOCATE_stream
;
26 extern const int SFT_stream
[];
27 #define ID_IOS (SFT_stream[0])
28 #define COLOR_IOS (SFT_stream[1])
29 #define INIT_TABLE_POS_IOS (SFT_stream[2] + 0)
30 #define CALL_stream___IOS___close(recv) ((stream___IOS___close_t)CALL((recv), (SFT_stream[2] + 1)))
31 #define CALL_stream___IOS___init(recv) ((stream___IOS___init_t)CALL((recv), (SFT_stream[2] + 2)))
32 #define ID_IStream (SFT_stream[3])
33 #define COLOR_IStream (SFT_stream[4])
34 #define INIT_TABLE_POS_IStream (SFT_stream[5] + 0)
35 #define CALL_stream___IStream___read_char(recv) ((stream___IStream___read_char_t)CALL((recv), (SFT_stream[5] + 1)))
36 #define CALL_stream___IStream___read(recv) ((stream___IStream___read_t)CALL((recv), (SFT_stream[5] + 2)))
37 #define CALL_stream___IStream___read_line(recv) ((stream___IStream___read_line_t)CALL((recv), (SFT_stream[5] + 3)))
38 #define CALL_stream___IStream___read_all(recv) ((stream___IStream___read_all_t)CALL((recv), (SFT_stream[5] + 4)))
39 #define CALL_stream___IStream___append_line_to(recv) ((stream___IStream___append_line_to_t)CALL((recv), (SFT_stream[5] + 5)))
40 #define CALL_stream___IStream___eof(recv) ((stream___IStream___eof_t)CALL((recv), (SFT_stream[5] + 6)))
41 #define ID_OStream (SFT_stream[6])
42 #define COLOR_OStream (SFT_stream[7])
43 #define INIT_TABLE_POS_OStream (SFT_stream[8] + 0)
44 #define CALL_stream___OStream___write(recv) ((stream___OStream___write_t)CALL((recv), (SFT_stream[8] + 1)))
45 #define CALL_stream___OStream___is_writable(recv) ((stream___OStream___is_writable_t)CALL((recv), (SFT_stream[8] + 2)))
46 #define ID_BufferedIStream (SFT_stream[9])
47 #define COLOR_BufferedIStream (SFT_stream[10])
48 #define ATTR_stream___BufferedIStream____buffer(recv) ATTR(recv, (SFT_stream[11] + 0))
49 #define ATTR_stream___BufferedIStream____buffer_pos(recv) ATTR(recv, (SFT_stream[11] + 1))
50 #define INIT_TABLE_POS_BufferedIStream (SFT_stream[12] + 0)
51 #define CALL_stream___BufferedIStream___fill_buffer(recv) ((stream___BufferedIStream___fill_buffer_t)CALL((recv), (SFT_stream[12] + 1)))
52 #define CALL_stream___BufferedIStream___end_reached(recv) ((stream___BufferedIStream___end_reached_t)CALL((recv), (SFT_stream[12] + 2)))
53 #define CALL_stream___BufferedIStream___prepare_buffer(recv) ((stream___BufferedIStream___prepare_buffer_t)CALL((recv), (SFT_stream[12] + 3)))
54 #define ID_IOStream (SFT_stream[13])
55 #define COLOR_IOStream (SFT_stream[14])
56 #define INIT_TABLE_POS_IOStream (SFT_stream[15] + 0)
57 #define ID_FDStream (SFT_stream[16])
58 #define COLOR_FDStream (SFT_stream[17])
59 #define ATTR_stream___FDStream____fd(recv) ATTR(recv, (SFT_stream[18] + 0))
60 #define INIT_TABLE_POS_FDStream (SFT_stream[19] + 0)
61 #define CALL_stream___FDStream___native_close(recv) ((stream___FDStream___native_close_t)CALL((recv), (SFT_stream[19] + 1)))
62 #define CALL_stream___FDStream___native_read_char(recv) ((stream___FDStream___native_read_char_t)CALL((recv), (SFT_stream[19] + 2)))
63 #define CALL_stream___FDStream___native_read(recv) ((stream___FDStream___native_read_t)CALL((recv), (SFT_stream[19] + 3)))
64 #define CALL_stream___FDStream___native_write(recv) ((stream___FDStream___native_write_t)CALL((recv), (SFT_stream[19] + 4)))
65 #define CALL_stream___FDStream___init(recv) ((stream___FDStream___init_t)CALL((recv), (SFT_stream[19] + 5)))
66 #define ID_FDIStream (SFT_stream[20])
67 #define COLOR_FDIStream (SFT_stream[21])
68 #define ATTR_stream___FDIStream____eof(recv) ATTR(recv, (SFT_stream[22] + 0))
69 #define INIT_TABLE_POS_FDIStream (SFT_stream[23] + 0)
70 #define CALL_stream___FDIStream___init(recv) ((stream___FDIStream___init_t)CALL((recv), (SFT_stream[23] + 1)))
71 #define ID_FDOStream (SFT_stream[24])
72 #define COLOR_FDOStream (SFT_stream[25])
73 #define ATTR_stream___FDOStream____is_writable(recv) ATTR(recv, (SFT_stream[26] + 0))
74 #define INIT_TABLE_POS_FDOStream (SFT_stream[27] + 0)
75 #define CALL_stream___FDOStream___init(recv) ((stream___FDOStream___init_t)CALL((recv), (SFT_stream[27] + 1)))
76 #define ID_FDIOStream (SFT_stream[28])
77 #define COLOR_FDIOStream (SFT_stream[29])
78 #define INIT_TABLE_POS_FDIOStream (SFT_stream[30] + 0)
79 #define CALL_stream___FDIOStream___init(recv) ((stream___FDIOStream___init_t)CALL((recv), (SFT_stream[30] + 1)))
80 static const char * const LOCATE_stream___IOS___close
= "stream::IOS::close";
81 void stream___IOS___close(val_t p0
);
82 typedef void (*stream___IOS___close_t
)(val_t p0
);
83 static const char * const LOCATE_stream___IOS___init
= "stream::IOS::init";
84 void stream___IOS___init(val_t p0
, int* init_table
);
85 typedef void (*stream___IOS___init_t
)(val_t p0
, int* init_table
);
86 val_t
NEW_IOS_stream___IOS___init();
87 static const char * const LOCATE_stream___IStream___read_char
= "stream::IStream::read_char";
88 val_t
stream___IStream___read_char(val_t p0
);
89 typedef val_t (*stream___IStream___read_char_t
)(val_t p0
);
90 static const char * const LOCATE_stream___IStream___read
= "stream::IStream::read";
91 val_t
stream___IStream___read(val_t p0
, val_t p1
);
92 typedef val_t (*stream___IStream___read_t
)(val_t p0
, val_t p1
);
93 static const char * const LOCATE_stream___IStream___read_line
= "stream::IStream::read_line";
94 val_t
stream___IStream___read_line(val_t p0
);
95 typedef val_t (*stream___IStream___read_line_t
)(val_t p0
);
96 static const char * const LOCATE_stream___IStream___read_all
= "stream::IStream::read_all";
97 val_t
stream___IStream___read_all(val_t p0
);
98 typedef val_t (*stream___IStream___read_all_t
)(val_t p0
);
99 static const char * const LOCATE_stream___IStream___append_line_to
= "stream::IStream::append_line_to";
100 void stream___IStream___append_line_to(val_t p0
, val_t p1
);
101 typedef void (*stream___IStream___append_line_to_t
)(val_t p0
, val_t p1
);
102 static const char * const LOCATE_stream___IStream___eof
= "stream::IStream::eof";
103 val_t
stream___IStream___eof(val_t p0
);
104 typedef val_t (*stream___IStream___eof_t
)(val_t p0
);
105 val_t
NEW_IStream_stream___IOS___init();
106 static const char * const LOCATE_stream___OStream___write
= "stream::OStream::write";
107 void stream___OStream___write(val_t p0
, val_t p1
);
108 typedef void (*stream___OStream___write_t
)(val_t p0
, val_t p1
);
109 static const char * const LOCATE_stream___OStream___is_writable
= "stream::OStream::is_writable";
110 val_t
stream___OStream___is_writable(val_t p0
);
111 typedef val_t (*stream___OStream___is_writable_t
)(val_t p0
);
112 val_t
NEW_OStream_stream___IOS___init();
113 static const char * const LOCATE_stream___BufferedIStream___read_char
= "stream::BufferedIStream::(stream::IStream::read_char)";
114 val_t
stream___BufferedIStream___read_char(val_t p0
);
115 typedef val_t (*stream___BufferedIStream___read_char_t
)(val_t p0
);
116 static const char * const LOCATE_stream___BufferedIStream___read
= "stream::BufferedIStream::(stream::IStream::read)";
117 val_t
stream___BufferedIStream___read(val_t p0
, val_t p1
);
118 typedef val_t (*stream___BufferedIStream___read_t
)(val_t p0
, val_t p1
);
119 static const char * const LOCATE_stream___BufferedIStream___read_all
= "stream::BufferedIStream::(stream::IStream::read_all)";
120 val_t
stream___BufferedIStream___read_all(val_t p0
);
121 typedef val_t (*stream___BufferedIStream___read_all_t
)(val_t p0
);
122 static const char * const LOCATE_stream___BufferedIStream___append_line_to
= "stream::BufferedIStream::(stream::IStream::append_line_to)";
123 void stream___BufferedIStream___append_line_to(val_t p0
, val_t p1
);
124 typedef void (*stream___BufferedIStream___append_line_to_t
)(val_t p0
, val_t p1
);
125 static const char * const LOCATE_stream___BufferedIStream___eof
= "stream::BufferedIStream::(stream::IStream::eof)";
126 val_t
stream___BufferedIStream___eof(val_t p0
);
127 typedef val_t (*stream___BufferedIStream___eof_t
)(val_t p0
);
128 static const char * const LOCATE_stream___BufferedIStream___fill_buffer
= "stream::BufferedIStream::fill_buffer";
129 void stream___BufferedIStream___fill_buffer(val_t p0
);
130 typedef void (*stream___BufferedIStream___fill_buffer_t
)(val_t p0
);
131 static const char * const LOCATE_stream___BufferedIStream___end_reached
= "stream::BufferedIStream::end_reached";
132 val_t
stream___BufferedIStream___end_reached(val_t p0
);
133 typedef val_t (*stream___BufferedIStream___end_reached_t
)(val_t p0
);
134 static const char * const LOCATE_stream___BufferedIStream___prepare_buffer
= "stream::BufferedIStream::prepare_buffer";
135 void stream___BufferedIStream___prepare_buffer(val_t p0
, val_t p1
);
136 typedef void (*stream___BufferedIStream___prepare_buffer_t
)(val_t p0
, val_t p1
);
137 val_t
NEW_BufferedIStream_stream___IOS___init();
138 val_t
NEW_IOStream_stream___IOS___init();
139 static const char * const LOCATE_stream___FDStream___close
= "stream::FDStream::(stream::IOS::close)";
140 void stream___FDStream___close(val_t p0
);
141 typedef void (*stream___FDStream___close_t
)(val_t p0
);
142 static const char * const LOCATE_stream___FDStream___native_close
= "stream::FDStream::native_close";
143 val_t
stream___FDStream___native_close(val_t p0
, val_t p1
);
144 typedef val_t (*stream___FDStream___native_close_t
)(val_t p0
, val_t p1
);
145 static const char * const LOCATE_stream___FDStream___native_read_char
= "stream::FDStream::native_read_char";
146 val_t
stream___FDStream___native_read_char(val_t p0
, val_t p1
);
147 typedef val_t (*stream___FDStream___native_read_char_t
)(val_t p0
, val_t p1
);
148 static const char * const LOCATE_stream___FDStream___native_read
= "stream::FDStream::native_read";
149 val_t
stream___FDStream___native_read(val_t p0
, val_t p1
, val_t p2
, val_t p3
);
150 typedef val_t (*stream___FDStream___native_read_t
)(val_t p0
, val_t p1
, val_t p2
, val_t p3
);
151 static const char * const LOCATE_stream___FDStream___native_write
= "stream::FDStream::native_write";
152 val_t
stream___FDStream___native_write(val_t p0
, val_t p1
, val_t p2
, val_t p3
);
153 typedef val_t (*stream___FDStream___native_write_t
)(val_t p0
, val_t p1
, val_t p2
, val_t p3
);
154 static const char * const LOCATE_stream___FDStream___init
= "stream::FDStream::init";
155 void stream___FDStream___init(val_t p0
, val_t p1
, int* init_table
);
156 typedef void (*stream___FDStream___init_t
)(val_t p0
, val_t p1
, int* init_table
);
157 val_t
NEW_FDStream_stream___FDStream___init(val_t p0
);
158 static const char * const LOCATE_stream___FDIStream___eof
= "stream::FDIStream::(stream::IStream::eof)";
159 val_t
stream___FDIStream___eof(val_t p0
);
160 typedef val_t (*stream___FDIStream___eof_t
)(val_t p0
);
161 static const char * const LOCATE_stream___FDIStream___read_char
= "stream::FDIStream::(stream::IStream::read_char)";
162 val_t
stream___FDIStream___read_char(val_t p0
);
163 typedef val_t (*stream___FDIStream___read_char_t
)(val_t p0
);
164 static const char * const LOCATE_stream___FDIStream___init
= "stream::FDIStream::init";
165 void stream___FDIStream___init(val_t p0
, val_t p1
, int* init_table
);
166 typedef void (*stream___FDIStream___init_t
)(val_t p0
, val_t p1
, int* init_table
);
167 val_t
NEW_FDIStream_stream___FDIStream___init(val_t p0
);
168 static const char * const LOCATE_stream___FDOStream___is_writable
= "stream::FDOStream::(stream::OStream::is_writable)";
169 val_t
stream___FDOStream___is_writable(val_t p0
);
170 typedef val_t (*stream___FDOStream___is_writable_t
)(val_t p0
);
171 static const char * const LOCATE_stream___FDOStream___write
= "stream::FDOStream::(stream::OStream::write)";
172 void stream___FDOStream___write(val_t p0
, val_t p1
);
173 typedef void (*stream___FDOStream___write_t
)(val_t p0
, val_t p1
);
174 static const char * const LOCATE_stream___FDOStream___init
= "stream::FDOStream::init";
175 void stream___FDOStream___init(val_t p0
, val_t p1
, int* init_table
);
176 typedef void (*stream___FDOStream___init_t
)(val_t p0
, val_t p1
, int* init_table
);
177 val_t
NEW_FDOStream_stream___FDOStream___init(val_t p0
);
178 static const char * const LOCATE_stream___FDIOStream___init
= "stream::FDIOStream::init";
179 void stream___FDIOStream___init(val_t p0
, val_t p1
, int* init_table
);
180 typedef void (*stream___FDIOStream___init_t
)(val_t p0
, val_t p1
, int* init_table
);
181 val_t
NEW_FDIOStream_stream___FDIOStream___init(val_t p0
);