prepare changelog for v0.5
[nit.git] / c_src / standard___file._sep.h
1 /* This C header file is generated by NIT to compile modules and programs that requires ../lib/standard/file. */
2 #ifndef standard___file_sep
3 #define standard___file_sep
4 #include "standard___stream._sep.h"
5 #include "standard___string_search._sep.h"
6 #include <nit_common.h>
7 #include "file._nitni.h"
8
9 extern const classtable_elt_t VFT_standard___file___FStream[];
10
11 extern const classtable_elt_t VFT_standard___file___IFStream[];
12
13 extern const classtable_elt_t VFT_standard___file___OFStream[];
14
15 extern const classtable_elt_t VFT_standard___file___Stdin[];
16
17 extern const classtable_elt_t VFT_standard___file___Stdout[];
18
19 extern const classtable_elt_t VFT_standard___file___Stderr[];
20
21 extern const classtable_elt_t VFT_standard___file___FileStat[];
22 struct TBOX_FileStat { const classtable_elt_t * vft; bigint object_id; void * val;};
23 val_t BOX_FileStat(void * val);
24 #define UNBOX_FileStat(x) (((struct TBOX_FileStat *)(VAL2OBJ(x)))->val)
25
26 extern const classtable_elt_t VFT_standard___file___NativeFile[];
27 struct TBOX_NativeFile { const classtable_elt_t * vft; bigint object_id; void * val;};
28 val_t BOX_NativeFile(void * val);
29 #define UNBOX_NativeFile(x) (((struct TBOX_NativeFile *)(VAL2OBJ(x)))->val)
30 extern const char *LOCATE_standard___file;
31 extern const int SFT_standard___file[];
32 #define CALL_standard___file___Object___printn(recv) ((standard___file___Object___printn_t)CALL((recv), (SFT_standard___file[0] + 0)))
33 #define CALL_standard___file___Object___print(recv) ((standard___file___Object___print_t)CALL((recv), (SFT_standard___file[0] + 1)))
34 #define CALL_standard___file___Object___getc(recv) ((standard___file___Object___getc_t)CALL((recv), (SFT_standard___file[0] + 2)))
35 #define CALL_standard___file___Object___gets(recv) ((standard___file___Object___gets_t)CALL((recv), (SFT_standard___file[0] + 3)))
36 #define CALL_standard___file___Object___stdin(recv) ((standard___file___Object___stdin_t)CALL((recv), (SFT_standard___file[0] + 4)))
37 #define CALL_standard___file___Object___stdout(recv) ((standard___file___Object___stdout_t)CALL((recv), (SFT_standard___file[0] + 5)))
38 #define CALL_standard___file___Object___stderr(recv) ((standard___file___Object___stderr_t)CALL((recv), (SFT_standard___file[0] + 6)))
39 #define ID_standard___file___FStream (SFT_standard___file[1])
40 #define COLOR_standard___file___FStream (SFT_standard___file[2])
41 #define ATTR_standard___file___FStream____path(recv) ATTR(recv, (SFT_standard___file[3] + 0))
42 #define ATTR_standard___file___FStream____file(recv) ATTR(recv, (SFT_standard___file[3] + 1))
43 #define INIT_TABLE_POS_standard___file___FStream (SFT_standard___file[4] + 0)
44 #define CALL_standard___file___FStream___path(recv) ((standard___file___FStream___path_t)CALL((recv), (SFT_standard___file[4] + 1)))
45 #define CALL_standard___file___FStream___file_stat(recv) ((standard___file___FStream___file_stat_t)CALL((recv), (SFT_standard___file[4] + 2)))
46 #define CALL_standard___file___FStream___init(recv) ((standard___file___FStream___init_t)CALL((recv), (SFT_standard___file[4] + 3)))
47 #define ID_standard___file___IFStream (SFT_standard___file[5])
48 #define COLOR_standard___file___IFStream (SFT_standard___file[6])
49 #define ATTR_standard___file___IFStream____end_reached(recv) ATTR(recv, (SFT_standard___file[7] + 0))
50 #define INIT_TABLE_POS_standard___file___IFStream (SFT_standard___file[8] + 0)
51 #define CALL_standard___file___IFStream___reopen(recv) ((standard___file___IFStream___reopen_t)CALL((recv), (SFT_standard___file[8] + 1)))
52 #define CALL_standard___file___IFStream___open(recv) ((standard___file___IFStream___open_t)CALL((recv), (SFT_standard___file[8] + 2)))
53 #define CALL_standard___file___IFStream___init(recv) ((standard___file___IFStream___init_t)CALL((recv), (SFT_standard___file[8] + 3)))
54 #define CALL_standard___file___IFStream___without_file(recv) ((standard___file___IFStream___without_file_t)CALL((recv), (SFT_standard___file[8] + 4)))
55 #define ID_standard___file___OFStream (SFT_standard___file[9])
56 #define COLOR_standard___file___OFStream (SFT_standard___file[10])
57 #define ATTR_standard___file___OFStream____writable(recv) ATTR(recv, (SFT_standard___file[11] + 0))
58 #define INIT_TABLE_POS_standard___file___OFStream (SFT_standard___file[12] + 0)
59 #define CALL_standard___file___OFStream___write_native(recv) ((standard___file___OFStream___write_native_t)CALL((recv), (SFT_standard___file[12] + 1)))
60 #define CALL_standard___file___OFStream___open(recv) ((standard___file___OFStream___open_t)CALL((recv), (SFT_standard___file[12] + 2)))
61 #define CALL_standard___file___OFStream___init(recv) ((standard___file___OFStream___init_t)CALL((recv), (SFT_standard___file[12] + 3)))
62 #define CALL_standard___file___OFStream___without_file(recv) ((standard___file___OFStream___without_file_t)CALL((recv), (SFT_standard___file[12] + 4)))
63 #define ID_standard___file___Stdin (SFT_standard___file[13])
64 #define COLOR_standard___file___Stdin (SFT_standard___file[14])
65 #define INIT_TABLE_POS_standard___file___Stdin (SFT_standard___file[15] + 0)
66 #define CALL_standard___file___Stdin___init(recv) ((standard___file___Stdin___init_t)CALL((recv), (SFT_standard___file[15] + 1)))
67 #define ID_standard___file___Stdout (SFT_standard___file[16])
68 #define COLOR_standard___file___Stdout (SFT_standard___file[17])
69 #define INIT_TABLE_POS_standard___file___Stdout (SFT_standard___file[18] + 0)
70 #define CALL_standard___file___Stdout___init(recv) ((standard___file___Stdout___init_t)CALL((recv), (SFT_standard___file[18] + 1)))
71 #define ID_standard___file___Stderr (SFT_standard___file[19])
72 #define COLOR_standard___file___Stderr (SFT_standard___file[20])
73 #define INIT_TABLE_POS_standard___file___Stderr (SFT_standard___file[21] + 0)
74 #define CALL_standard___file___Stderr___init(recv) ((standard___file___Stderr___init_t)CALL((recv), (SFT_standard___file[21] + 1)))
75 #define CALL_standard___file___String___file_exists(recv) ((standard___file___String___file_exists_t)CALL((recv), (SFT_standard___file[22] + 0)))
76 #define CALL_standard___file___String___file_stat(recv) ((standard___file___String___file_stat_t)CALL((recv), (SFT_standard___file[22] + 1)))
77 #define CALL_standard___file___String___file_delete(recv) ((standard___file___String___file_delete_t)CALL((recv), (SFT_standard___file[22] + 2)))
78 #define CALL_standard___file___String___strip_extension(recv) ((standard___file___String___strip_extension_t)CALL((recv), (SFT_standard___file[22] + 3)))
79 #define CALL_standard___file___String___basename(recv) ((standard___file___String___basename_t)CALL((recv), (SFT_standard___file[22] + 4)))
80 #define CALL_standard___file___String___dirname(recv) ((standard___file___String___dirname_t)CALL((recv), (SFT_standard___file[22] + 5)))
81 #define CALL_standard___file___String___simplify_path(recv) ((standard___file___String___simplify_path_t)CALL((recv), (SFT_standard___file[22] + 6)))
82 #define CALL_standard___file___String___join_path(recv) ((standard___file___String___join_path_t)CALL((recv), (SFT_standard___file[22] + 7)))
83 #define CALL_standard___file___String___mkdir(recv) ((standard___file___String___mkdir_t)CALL((recv), (SFT_standard___file[22] + 8)))
84 #define CALL_standard___file___String___file_extension(recv) ((standard___file___String___file_extension_t)CALL((recv), (SFT_standard___file[22] + 9)))
85 #define CALL_standard___file___String___files(recv) ((standard___file___String___files_t)CALL((recv), (SFT_standard___file[22] + 10)))
86 #define CALL_standard___file___NativeString___file_exists(recv) ((standard___file___NativeString___file_exists_t)CALL((recv), (SFT_standard___file[23] + 0)))
87 #define CALL_standard___file___NativeString___file_stat(recv) ((standard___file___NativeString___file_stat_t)CALL((recv), (SFT_standard___file[23] + 1)))
88 #define CALL_standard___file___NativeString___file_mkdir(recv) ((standard___file___NativeString___file_mkdir_t)CALL((recv), (SFT_standard___file[23] + 2)))
89 #define CALL_standard___file___NativeString___file_delete(recv) ((standard___file___NativeString___file_delete_t)CALL((recv), (SFT_standard___file[23] + 3)))
90 #define ID_standard___file___FileStat (SFT_standard___file[24])
91 #define COLOR_standard___file___FileStat (SFT_standard___file[25])
92 #define INIT_TABLE_POS_standard___file___FileStat (SFT_standard___file[26] + 0)
93 #define CALL_standard___file___FileStat___mode(recv) ((standard___file___FileStat___mode_t)CALL((recv), (SFT_standard___file[26] + 1)))
94 #define CALL_standard___file___FileStat___atime(recv) ((standard___file___FileStat___atime_t)CALL((recv), (SFT_standard___file[26] + 2)))
95 #define CALL_standard___file___FileStat___ctime(recv) ((standard___file___FileStat___ctime_t)CALL((recv), (SFT_standard___file[26] + 3)))
96 #define CALL_standard___file___FileStat___mtime(recv) ((standard___file___FileStat___mtime_t)CALL((recv), (SFT_standard___file[26] + 4)))
97 #define CALL_standard___file___FileStat___size(recv) ((standard___file___FileStat___size_t)CALL((recv), (SFT_standard___file[26] + 5)))
98 #define ID_standard___file___NativeFile (SFT_standard___file[27])
99 #define COLOR_standard___file___NativeFile (SFT_standard___file[28])
100 #define INIT_TABLE_POS_standard___file___NativeFile (SFT_standard___file[29] + 0)
101 #define CALL_standard___file___NativeFile___io_read(recv) ((standard___file___NativeFile___io_read_t)CALL((recv), (SFT_standard___file[29] + 1)))
102 #define CALL_standard___file___NativeFile___io_write(recv) ((standard___file___NativeFile___io_write_t)CALL((recv), (SFT_standard___file[29] + 2)))
103 #define CALL_standard___file___NativeFile___io_close(recv) ((standard___file___NativeFile___io_close_t)CALL((recv), (SFT_standard___file[29] + 3)))
104 #define CALL_standard___file___NativeFile___file_stat(recv) ((standard___file___NativeFile___file_stat_t)CALL((recv), (SFT_standard___file[29] + 4)))
105 #define CALL_standard___file___NativeFile___io_open_read(recv) ((standard___file___NativeFile___io_open_read_t)CALL((recv), (SFT_standard___file[29] + 5)))
106 #define CALL_standard___file___NativeFile___io_open_write(recv) ((standard___file___NativeFile___io_open_write_t)CALL((recv), (SFT_standard___file[29] + 6)))
107 #define CALL_standard___file___NativeFile___native_stdin(recv) ((standard___file___NativeFile___native_stdin_t)CALL((recv), (SFT_standard___file[29] + 7)))
108 #define CALL_standard___file___NativeFile___native_stdout(recv) ((standard___file___NativeFile___native_stdout_t)CALL((recv), (SFT_standard___file[29] + 8)))
109 #define CALL_standard___file___NativeFile___native_stderr(recv) ((standard___file___NativeFile___native_stderr_t)CALL((recv), (SFT_standard___file[29] + 9)))
110 static const char * const LOCATE_standard___file___Object___printn = "file::Object::printn";
111 void standard___file___Object___printn(val_t p0, val_t p1);
112 typedef void (*standard___file___Object___printn_t)(val_t p0, val_t p1);
113 static const char * const LOCATE_standard___file___Object___print = "file::Object::print";
114 void standard___file___Object___print(val_t p0, val_t p1);
115 typedef void (*standard___file___Object___print_t)(val_t p0, val_t p1);
116 static const char * const LOCATE_standard___file___Object___getc = "file::Object::getc";
117 val_t standard___file___Object___getc(val_t p0);
118 typedef val_t (*standard___file___Object___getc_t)(val_t p0);
119 static const char * const LOCATE_standard___file___Object___gets = "file::Object::gets";
120 val_t standard___file___Object___gets(val_t p0);
121 typedef val_t (*standard___file___Object___gets_t)(val_t p0);
122 static const char * const LOCATE_standard___file___Object___stdin = "file::Object::stdin";
123 val_t standard___file___Object___stdin(val_t p0);
124 typedef val_t (*standard___file___Object___stdin_t)(val_t p0);
125 static const char * const LOCATE_standard___file___Object___stdout = "file::Object::stdout";
126 val_t standard___file___Object___stdout(val_t p0);
127 typedef val_t (*standard___file___Object___stdout_t)(val_t p0);
128 static const char * const LOCATE_standard___file___Object___stderr = "file::Object::stderr";
129 val_t standard___file___Object___stderr(val_t p0);
130 typedef val_t (*standard___file___Object___stderr_t)(val_t p0);
131 static const char * const LOCATE_standard___file___FStream___path = "file::FStream::path";
132 val_t standard___file___FStream___path(val_t p0);
133 typedef val_t (*standard___file___FStream___path_t)(val_t p0);
134 static const char * const LOCATE_standard___file___FStream___file_stat = "file::FStream::file_stat";
135 val_t standard___file___FStream___file_stat(val_t p0);
136 typedef val_t (*standard___file___FStream___file_stat_t)(val_t p0);
137 static const char * const LOCATE_standard___file___FStream___init = "file::FStream::init";
138 void standard___file___FStream___init(val_t p0, int* init_table);
139 typedef void (*standard___file___FStream___init_t)(val_t p0, int* init_table);
140 val_t NEW_FStream_standard___file___FStream___init();
141 static const char * const LOCATE_standard___file___IFStream___reopen = "file::IFStream::reopen";
142 void standard___file___IFStream___reopen(val_t p0);
143 typedef void (*standard___file___IFStream___reopen_t)(val_t p0);
144 static const char * const LOCATE_standard___file___IFStream___close = "file::IFStream::(stream::IOS::close)";
145 void standard___file___IFStream___close(val_t p0);
146 typedef void (*standard___file___IFStream___close_t)(val_t p0);
147 static const char * const LOCATE_standard___file___IFStream___fill_buffer = "file::IFStream::(stream::BufferedIStream::fill_buffer)";
148 void standard___file___IFStream___fill_buffer(val_t p0);
149 typedef void (*standard___file___IFStream___fill_buffer_t)(val_t p0);
150 static const char * const LOCATE_standard___file___IFStream___end_reached = "file::IFStream::(stream::BufferedIStream::end_reached)";
151 val_t standard___file___IFStream___end_reached(val_t p0);
152 typedef val_t (*standard___file___IFStream___end_reached_t)(val_t p0);
153 static const char * const LOCATE_standard___file___IFStream___open = "file::IFStream::open";
154 void standard___file___IFStream___open(val_t p0, val_t p1, int* init_table);
155 typedef void (*standard___file___IFStream___open_t)(val_t p0, val_t p1, int* init_table);
156 val_t NEW_IFStream_standard___file___IFStream___open(val_t p0);
157 static const char * const LOCATE_standard___file___IFStream___init = "file::IFStream::init";
158 void standard___file___IFStream___init(val_t p0, int* init_table);
159 typedef void (*standard___file___IFStream___init_t)(val_t p0, int* init_table);
160 val_t NEW_IFStream_standard___file___IFStream___init();
161 static const char * const LOCATE_standard___file___IFStream___without_file = "file::IFStream::without_file";
162 void standard___file___IFStream___without_file(val_t p0, int* init_table);
163 typedef void (*standard___file___IFStream___without_file_t)(val_t p0, int* init_table);
164 val_t NEW_IFStream_standard___file___IFStream___without_file();
165 static const char * const LOCATE_standard___file___OFStream___write = "file::OFStream::(stream::OStream::write)";
166 void standard___file___OFStream___write(val_t p0, val_t p1);
167 typedef void (*standard___file___OFStream___write_t)(val_t p0, val_t p1);
168 static const char * const LOCATE_standard___file___OFStream___is_writable = "file::OFStream::(stream::OStream::is_writable)";
169 val_t standard___file___OFStream___is_writable(val_t p0);
170 typedef val_t (*standard___file___OFStream___is_writable_t)(val_t p0);
171 static const char * const LOCATE_standard___file___OFStream___close = "file::OFStream::(stream::IOS::close)";
172 void standard___file___OFStream___close(val_t p0);
173 typedef void (*standard___file___OFStream___close_t)(val_t p0);
174 static const char * const LOCATE_standard___file___OFStream___write_native = "file::OFStream::write_native";
175 void standard___file___OFStream___write_native(val_t p0, val_t p1, val_t p2);
176 typedef void (*standard___file___OFStream___write_native_t)(val_t p0, val_t p1, val_t p2);
177 static const char * const LOCATE_standard___file___OFStream___open = "file::OFStream::open";
178 void standard___file___OFStream___open(val_t p0, val_t p1, int* init_table);
179 typedef void (*standard___file___OFStream___open_t)(val_t p0, val_t p1, int* init_table);
180 val_t NEW_OFStream_standard___file___OFStream___open(val_t p0);
181 static const char * const LOCATE_standard___file___OFStream___init = "file::OFStream::init";
182 void standard___file___OFStream___init(val_t p0, int* init_table);
183 typedef void (*standard___file___OFStream___init_t)(val_t p0, int* init_table);
184 val_t NEW_OFStream_standard___file___OFStream___init();
185 static const char * const LOCATE_standard___file___OFStream___without_file = "file::OFStream::without_file";
186 void standard___file___OFStream___without_file(val_t p0, int* init_table);
187 typedef void (*standard___file___OFStream___without_file_t)(val_t p0, int* init_table);
188 val_t NEW_OFStream_standard___file___OFStream___without_file();
189 static const char * const LOCATE_standard___file___Stdin___init = "file::Stdin::init";
190 void standard___file___Stdin___init(val_t p0, int* init_table);
191 typedef void (*standard___file___Stdin___init_t)(val_t p0, int* init_table);
192 val_t NEW_Stdin_standard___file___Stdin___init();
193 static const char * const LOCATE_standard___file___Stdout___init = "file::Stdout::init";
194 void standard___file___Stdout___init(val_t p0, int* init_table);
195 typedef void (*standard___file___Stdout___init_t)(val_t p0, int* init_table);
196 val_t NEW_Stdout_standard___file___Stdout___init();
197 static const char * const LOCATE_standard___file___Stderr___init = "file::Stderr::init";
198 void standard___file___Stderr___init(val_t p0, int* init_table);
199 typedef void (*standard___file___Stderr___init_t)(val_t p0, int* init_table);
200 val_t NEW_Stderr_standard___file___Stderr___init();
201 static const char * const LOCATE_standard___file___String___file_exists = "file::String::file_exists";
202 val_t standard___file___String___file_exists(val_t p0);
203 typedef val_t (*standard___file___String___file_exists_t)(val_t p0);
204 static const char * const LOCATE_standard___file___String___file_stat = "file::String::file_stat";
205 val_t standard___file___String___file_stat(val_t p0);
206 typedef val_t (*standard___file___String___file_stat_t)(val_t p0);
207 static const char * const LOCATE_standard___file___String___file_delete = "file::String::file_delete";
208 val_t standard___file___String___file_delete(val_t p0);
209 typedef val_t (*standard___file___String___file_delete_t)(val_t p0);
210 static const char * const LOCATE_standard___file___String___strip_extension = "file::String::strip_extension";
211 val_t standard___file___String___strip_extension(val_t p0, val_t p1);
212 typedef val_t (*standard___file___String___strip_extension_t)(val_t p0, val_t p1);
213 static const char * const LOCATE_standard___file___String___basename = "file::String::basename";
214 val_t standard___file___String___basename(val_t p0, val_t p1);
215 typedef val_t (*standard___file___String___basename_t)(val_t p0, val_t p1);
216 static const char * const LOCATE_standard___file___String___dirname = "file::String::dirname";
217 val_t standard___file___String___dirname(val_t p0);
218 typedef val_t (*standard___file___String___dirname_t)(val_t p0);
219 static const char * const LOCATE_standard___file___String___simplify_path = "file::String::simplify_path";
220 val_t standard___file___String___simplify_path(val_t p0);
221 typedef val_t (*standard___file___String___simplify_path_t)(val_t p0);
222 static const char * const LOCATE_standard___file___String___join_path = "file::String::join_path";
223 val_t standard___file___String___join_path(val_t p0, val_t p1);
224 typedef val_t (*standard___file___String___join_path_t)(val_t p0, val_t p1);
225 static const char * const LOCATE_standard___file___String___mkdir = "file::String::mkdir";
226 void standard___file___String___mkdir(val_t p0);
227 typedef void (*standard___file___String___mkdir_t)(val_t p0);
228 static const char * const LOCATE_standard___file___String___file_extension = "file::String::file_extension";
229 val_t standard___file___String___file_extension(val_t p0);
230 typedef val_t (*standard___file___String___file_extension_t)(val_t p0);
231 static const char * const LOCATE_standard___file___String___files = "file::String::files";
232 val_t standard___file___String___files(val_t p0);
233 typedef val_t (*standard___file___String___files_t)(val_t p0);
234 val_t NEW_String_standard___string___String___from_cstring(val_t p0);
235 val_t NEW_String_standard___string___String___with_native(val_t p0, val_t p1);
236 static const char * const LOCATE_standard___file___NativeString___file_exists = "file::NativeString::file_exists";
237 val_t standard___file___NativeString___file_exists(val_t p0);
238 typedef val_t (*standard___file___NativeString___file_exists_t)(val_t p0);
239 static const char * const LOCATE_standard___file___NativeString___file_stat = "file::NativeString::file_stat";
240 val_t standard___file___NativeString___file_stat(val_t p0);
241 typedef val_t (*standard___file___NativeString___file_stat_t)(val_t p0);
242 static const char * const LOCATE_standard___file___NativeString___file_mkdir = "file::NativeString::file_mkdir";
243 val_t standard___file___NativeString___file_mkdir(val_t p0);
244 typedef val_t (*standard___file___NativeString___file_mkdir_t)(val_t p0);
245 static const char * const LOCATE_standard___file___NativeString___file_delete = "file::NativeString::file_delete";
246 val_t standard___file___NativeString___file_delete(val_t p0);
247 typedef val_t (*standard___file___NativeString___file_delete_t)(val_t p0);
248 val_t NEW_NativeString_standard___string___NativeString___init();
249 static const char * const LOCATE_standard___file___FileStat___mode = "file::FileStat::mode";
250 val_t standard___file___FileStat___mode(val_t p0);
251 typedef val_t (*standard___file___FileStat___mode_t)(val_t p0);
252 static const char * const LOCATE_standard___file___FileStat___atime = "file::FileStat::atime";
253 val_t standard___file___FileStat___atime(val_t p0);
254 typedef val_t (*standard___file___FileStat___atime_t)(val_t p0);
255 static const char * const LOCATE_standard___file___FileStat___ctime = "file::FileStat::ctime";
256 val_t standard___file___FileStat___ctime(val_t p0);
257 typedef val_t (*standard___file___FileStat___ctime_t)(val_t p0);
258 static const char * const LOCATE_standard___file___FileStat___mtime = "file::FileStat::mtime";
259 val_t standard___file___FileStat___mtime(val_t p0);
260 typedef val_t (*standard___file___FileStat___mtime_t)(val_t p0);
261 static const char * const LOCATE_standard___file___FileStat___size = "file::FileStat::size";
262 val_t standard___file___FileStat___size(val_t p0);
263 typedef val_t (*standard___file___FileStat___size_t)(val_t p0);
264 static const char * const LOCATE_standard___file___NativeFile___io_read = "file::NativeFile::io_read";
265 val_t standard___file___NativeFile___io_read(val_t p0, val_t p1, val_t p2);
266 typedef val_t (*standard___file___NativeFile___io_read_t)(val_t p0, val_t p1, val_t p2);
267 static const char * const LOCATE_standard___file___NativeFile___io_write = "file::NativeFile::io_write";
268 val_t standard___file___NativeFile___io_write(val_t p0, val_t p1, val_t p2);
269 typedef val_t (*standard___file___NativeFile___io_write_t)(val_t p0, val_t p1, val_t p2);
270 static const char * const LOCATE_standard___file___NativeFile___io_close = "file::NativeFile::io_close";
271 val_t standard___file___NativeFile___io_close(val_t p0);
272 typedef val_t (*standard___file___NativeFile___io_close_t)(val_t p0);
273 static const char * const LOCATE_standard___file___NativeFile___file_stat = "file::NativeFile::file_stat";
274 val_t standard___file___NativeFile___file_stat(val_t p0);
275 typedef val_t (*standard___file___NativeFile___file_stat_t)(val_t p0);
276 static const char * const LOCATE_standard___file___NativeFile___io_open_read = "file::NativeFile::io_open_read";
277 void standard___file___NativeFile___io_open_read(val_t p0, val_t p1, int* init_table);
278 typedef void (*standard___file___NativeFile___io_open_read_t)(val_t p0, val_t p1, int* init_table);
279 val_t NEW_NativeFile_standard___file___NativeFile___io_open_read(val_t p0);
280 static const char * const LOCATE_standard___file___NativeFile___io_open_write = "file::NativeFile::io_open_write";
281 void standard___file___NativeFile___io_open_write(val_t p0, val_t p1, int* init_table);
282 typedef void (*standard___file___NativeFile___io_open_write_t)(val_t p0, val_t p1, int* init_table);
283 val_t NEW_NativeFile_standard___file___NativeFile___io_open_write(val_t p0);
284 static const char * const LOCATE_standard___file___NativeFile___native_stdin = "file::NativeFile::native_stdin";
285 void standard___file___NativeFile___native_stdin(val_t p0, int* init_table);
286 typedef void (*standard___file___NativeFile___native_stdin_t)(val_t p0, int* init_table);
287 val_t NEW_NativeFile_standard___file___NativeFile___native_stdin();
288 static const char * const LOCATE_standard___file___NativeFile___native_stdout = "file::NativeFile::native_stdout";
289 void standard___file___NativeFile___native_stdout(val_t p0, int* init_table);
290 typedef void (*standard___file___NativeFile___native_stdout_t)(val_t p0, int* init_table);
291 val_t NEW_NativeFile_standard___file___NativeFile___native_stdout();
292 static const char * const LOCATE_standard___file___NativeFile___native_stderr = "file::NativeFile::native_stderr";
293 void standard___file___NativeFile___native_stderr(val_t p0, int* init_table);
294 typedef void (*standard___file___NativeFile___native_stderr_t)(val_t p0, int* init_table);
295 val_t NEW_NativeFile_standard___file___NativeFile___native_stderr();
296 #endif