1 /* This C header file is generated by NIT to compile modules and programs that requires file. */
4 #include "stream._sep.h"
5 #include "string_search._sep.h"
6 #include <nit_common.h>
9 extern const classtable_elt_t VFT_FStream
[];
11 extern const classtable_elt_t VFT_IFStream
[];
13 extern const classtable_elt_t VFT_OFStream
[];
15 extern const classtable_elt_t VFT_Stdin
[];
17 extern const classtable_elt_t VFT_Stdout
[];
19 extern const classtable_elt_t VFT_Stderr
[];
21 extern const classtable_elt_t VFT_FileStat
[];
22 struct TBOX_FileStat
{ const classtable_elt_t
* vft
; void * val
;};
23 val_t
BOX_FileStat(void * val
);
24 #define UNBOX_FileStat(x) (((struct TBOX_FileStat *)(VAL2OBJ(x)))->val)
26 extern const classtable_elt_t VFT_NativeFile
[];
27 struct TBOX_NativeFile
{ const classtable_elt_t
* vft
; void * val
;};
28 val_t
BOX_NativeFile(void * val
);
29 #define UNBOX_NativeFile(x) (((struct TBOX_NativeFile *)(VAL2OBJ(x)))->val)
31 extern const classtable_elt_t VFT_NativeFileCapable
[];
32 extern const int SFT_file
[];
33 #define COLOR_file___Object___printn SFT_file[0]
34 #define COLOR_file___Object___print SFT_file[1]
35 #define COLOR_file___Object___getc SFT_file[2]
36 #define COLOR_file___Object___gets SFT_file[3]
37 #define COLOR_file___Object___stdin SFT_file[4]
38 #define COLOR_file___Object___stdout SFT_file[5]
39 #define COLOR_file___Object___stderr SFT_file[6]
40 #define ID_FStream SFT_file[7]
41 #define COLOR_FStream SFT_file[8]
42 #define COLOR_file___FStream____path SFT_file[9]
43 #define COLOR_file___FStream____file SFT_file[10]
44 #define INIT_TABLE_POS_FStream SFT_file[11]
45 #define COLOR_file___FStream___path SFT_file[12]
46 #define COLOR_file___FStream___file_stat SFT_file[13]
47 #define ID_IFStream SFT_file[14]
48 #define COLOR_IFStream SFT_file[15]
49 #define COLOR_file___IFStream____end_reached SFT_file[16]
50 #define INIT_TABLE_POS_IFStream SFT_file[17]
51 #define COLOR_file___IFStream___reopen SFT_file[18]
52 #define COLOR_file___IFStream___open SFT_file[19]
53 #define COLOR_file___IFStream___without_file SFT_file[20]
54 #define ID_OFStream SFT_file[21]
55 #define COLOR_OFStream SFT_file[22]
56 #define COLOR_file___OFStream____writable SFT_file[23]
57 #define INIT_TABLE_POS_OFStream SFT_file[24]
58 #define COLOR_file___OFStream___write_native SFT_file[25]
59 #define COLOR_file___OFStream___open SFT_file[26]
60 #define COLOR_file___OFStream___without_file SFT_file[27]
61 #define ID_Stdin SFT_file[28]
62 #define COLOR_Stdin SFT_file[29]
63 #define INIT_TABLE_POS_Stdin SFT_file[30]
64 #define COLOR_file___Stdin___init SFT_file[31]
65 #define ID_Stdout SFT_file[32]
66 #define COLOR_Stdout SFT_file[33]
67 #define INIT_TABLE_POS_Stdout SFT_file[34]
68 #define COLOR_file___Stdout___init SFT_file[35]
69 #define ID_Stderr SFT_file[36]
70 #define COLOR_Stderr SFT_file[37]
71 #define INIT_TABLE_POS_Stderr SFT_file[38]
72 #define COLOR_file___Stderr___init SFT_file[39]
73 #define COLOR_file___String___file_exists SFT_file[40]
74 #define COLOR_file___String___file_stat SFT_file[41]
75 #define COLOR_file___String___strip_extension SFT_file[42]
76 #define COLOR_file___String___basename SFT_file[43]
77 #define COLOR_file___String___dirname SFT_file[44]
78 #define COLOR_file___String___file_path SFT_file[45]
79 #define COLOR_file___String___mkdir SFT_file[46]
80 #define COLOR_file___NativeString___file_exists SFT_file[47]
81 #define COLOR_file___NativeString___file_stat SFT_file[48]
82 #define COLOR_file___NativeString___file_mkdir SFT_file[49]
83 #define ID_FileStat SFT_file[50]
84 #define COLOR_FileStat SFT_file[51]
85 #define INIT_TABLE_POS_FileStat SFT_file[52]
86 #define COLOR_file___FileStat___mode SFT_file[53]
87 #define COLOR_file___FileStat___atime SFT_file[54]
88 #define COLOR_file___FileStat___ctime SFT_file[55]
89 #define COLOR_file___FileStat___mtime SFT_file[56]
90 #define COLOR_file___FileStat___size SFT_file[57]
91 #define ID_NativeFile SFT_file[58]
92 #define COLOR_NativeFile SFT_file[59]
93 #define INIT_TABLE_POS_NativeFile SFT_file[60]
94 #define COLOR_file___NativeFile___io_read SFT_file[61]
95 #define COLOR_file___NativeFile___io_write SFT_file[62]
96 #define COLOR_file___NativeFile___io_close SFT_file[63]
97 #define COLOR_file___NativeFile___file_stat SFT_file[64]
98 #define ID_NativeFileCapable SFT_file[65]
99 #define COLOR_NativeFileCapable SFT_file[66]
100 #define INIT_TABLE_POS_NativeFileCapable SFT_file[67]
101 #define COLOR_file___NativeFileCapable___io_open_read SFT_file[68]
102 #define COLOR_file___NativeFileCapable___io_open_write SFT_file[69]
103 #define COLOR_file___NativeFileCapable___native_stdin SFT_file[70]
104 #define COLOR_file___NativeFileCapable___native_stdout SFT_file[71]
105 #define COLOR_file___NativeFileCapable___native_stderr SFT_file[72]
106 typedef void (* file___Object___printn_t
)(val_t self
, val_t param0
);
107 void file___Object___printn(val_t self
, val_t param0
);
108 typedef void (* file___Object___print_t
)(val_t self
, val_t param0
);
109 void file___Object___print(val_t self
, val_t param0
);
110 typedef val_t (* file___Object___getc_t
)(val_t self
);
111 val_t
file___Object___getc(val_t self
);
112 typedef val_t (* file___Object___gets_t
)(val_t self
);
113 val_t
file___Object___gets(val_t self
);
114 typedef val_t (* file___Object___stdin_t
)(val_t self
);
115 val_t
file___Object___stdin(val_t self
);
116 typedef val_t (* file___Object___stdout_t
)(val_t self
);
117 val_t
file___Object___stdout(val_t self
);
118 typedef val_t (* file___Object___stderr_t
)(val_t self
);
119 val_t
file___Object___stderr(val_t self
);
120 #define ATTR_file___FStream____path(recv) ATTR(recv, COLOR_file___FStream____path)
121 typedef val_t (* file___FStream___path_t
)(val_t self
);
122 val_t
file___FStream___path(val_t self
);
123 #define ATTR_file___FStream____file(recv) ATTR(recv, COLOR_file___FStream____file)
124 typedef val_t (* file___FStream___file_stat_t
)(val_t self
);
125 val_t
file___FStream___file_stat(val_t self
);
126 typedef void (* file___IFStream___reopen_t
)(val_t self
);
127 void file___IFStream___reopen(val_t self
);
128 typedef void (* file___IFStream___close_t
)(val_t self
);
129 void file___IFStream___close(val_t self
);
130 typedef void (* file___IFStream___fill_buffer_t
)(val_t self
);
131 void file___IFStream___fill_buffer(val_t self
);
132 #define ATTR_file___IFStream____end_reached(recv) ATTR(recv, COLOR_file___IFStream____end_reached)
133 typedef val_t (* file___IFStream___end_reached_t
)(val_t self
);
134 val_t
file___IFStream___end_reached(val_t self
);
135 typedef void (* file___IFStream___open_t
)(val_t self
, val_t param0
, int* init_table
);
136 void file___IFStream___open(val_t self
, val_t param0
, int* init_table
);
137 val_t
NEW_file___IFStream___open(val_t param0
);
138 typedef void (* file___IFStream___without_file_t
)(val_t self
, int* init_table
);
139 void file___IFStream___without_file(val_t self
, int* init_table
);
140 val_t
NEW_file___IFStream___without_file();
141 typedef void (* file___OFStream___write_t
)(val_t self
, val_t param0
);
142 void file___OFStream___write(val_t self
, val_t param0
);
143 typedef val_t (* file___OFStream___is_writable_t
)(val_t self
);
144 val_t
file___OFStream___is_writable(val_t self
);
145 typedef void (* file___OFStream___close_t
)(val_t self
);
146 void file___OFStream___close(val_t self
);
147 #define ATTR_file___OFStream____writable(recv) ATTR(recv, COLOR_file___OFStream____writable)
148 typedef void (* file___OFStream___write_native_t
)(val_t self
, val_t param0
, val_t param1
);
149 void file___OFStream___write_native(val_t self
, val_t param0
, val_t param1
);
150 typedef void (* file___OFStream___open_t
)(val_t self
, val_t param0
, int* init_table
);
151 void file___OFStream___open(val_t self
, val_t param0
, int* init_table
);
152 val_t
NEW_file___OFStream___open(val_t param0
);
153 typedef void (* file___OFStream___without_file_t
)(val_t self
, int* init_table
);
154 void file___OFStream___without_file(val_t self
, int* init_table
);
155 val_t
NEW_file___OFStream___without_file();
156 typedef void (* file___Stdin___init_t
)(val_t self
, int* init_table
);
157 void file___Stdin___init(val_t self
, int* init_table
);
158 val_t
NEW_file___Stdin___init();
159 typedef void (* file___Stdout___init_t
)(val_t self
, int* init_table
);
160 void file___Stdout___init(val_t self
, int* init_table
);
161 val_t
NEW_file___Stdout___init();
162 typedef void (* file___Stderr___init_t
)(val_t self
, int* init_table
);
163 void file___Stderr___init(val_t self
, int* init_table
);
164 val_t
NEW_file___Stderr___init();
165 typedef val_t (* file___String___file_exists_t
)(val_t self
);
166 val_t
file___String___file_exists(val_t self
);
167 typedef val_t (* file___String___file_stat_t
)(val_t self
);
168 val_t
file___String___file_stat(val_t self
);
169 typedef val_t (* file___String___strip_extension_t
)(val_t self
, val_t param0
);
170 val_t
file___String___strip_extension(val_t self
, val_t param0
);
171 typedef val_t (* file___String___basename_t
)(val_t self
, val_t param0
);
172 val_t
file___String___basename(val_t self
, val_t param0
);
173 typedef val_t (* file___String___dirname_t
)(val_t self
);
174 val_t
file___String___dirname(val_t self
);
175 typedef val_t (* file___String___file_path_t
)(val_t self
);
176 val_t
file___String___file_path(val_t self
);
177 typedef void (* file___String___mkdir_t
)(val_t self
);
178 void file___String___mkdir(val_t self
);
179 typedef val_t (* file___NativeString___file_exists_t
)(val_t self
);
180 val_t
file___NativeString___file_exists(val_t self
);
181 typedef val_t (* file___NativeString___file_stat_t
)(val_t self
);
182 val_t
file___NativeString___file_stat(val_t self
);
183 typedef val_t (* file___NativeString___file_mkdir_t
)(val_t self
);
184 val_t
file___NativeString___file_mkdir(val_t self
);
185 typedef val_t (* file___FileStat___mode_t
)(val_t self
);
186 val_t
file___FileStat___mode(val_t self
);
187 typedef val_t (* file___FileStat___atime_t
)(val_t self
);
188 val_t
file___FileStat___atime(val_t self
);
189 typedef val_t (* file___FileStat___ctime_t
)(val_t self
);
190 val_t
file___FileStat___ctime(val_t self
);
191 typedef val_t (* file___FileStat___mtime_t
)(val_t self
);
192 val_t
file___FileStat___mtime(val_t self
);
193 typedef val_t (* file___FileStat___size_t
)(val_t self
);
194 val_t
file___FileStat___size(val_t self
);
195 typedef val_t (* file___NativeFile___io_read_t
)(val_t self
, val_t param0
, val_t param1
);
196 val_t
file___NativeFile___io_read(val_t self
, val_t param0
, val_t param1
);
197 typedef val_t (* file___NativeFile___io_write_t
)(val_t self
, val_t param0
, val_t param1
);
198 val_t
file___NativeFile___io_write(val_t self
, val_t param0
, val_t param1
);
199 typedef val_t (* file___NativeFile___io_close_t
)(val_t self
);
200 val_t
file___NativeFile___io_close(val_t self
);
201 typedef val_t (* file___NativeFile___file_stat_t
)(val_t self
);
202 val_t
file___NativeFile___file_stat(val_t self
);
203 typedef val_t (* file___NativeFileCapable___io_open_read_t
)(val_t self
, val_t param0
);
204 val_t
file___NativeFileCapable___io_open_read(val_t self
, val_t param0
);
205 typedef val_t (* file___NativeFileCapable___io_open_write_t
)(val_t self
, val_t param0
);
206 val_t
file___NativeFileCapable___io_open_write(val_t self
, val_t param0
);
207 typedef val_t (* file___NativeFileCapable___native_stdin_t
)(val_t self
);
208 val_t
file___NativeFileCapable___native_stdin(val_t self
);
209 typedef val_t (* file___NativeFileCapable___native_stdout_t
)(val_t self
);
210 val_t
file___NativeFileCapable___native_stdout(val_t self
);
211 typedef val_t (* file___NativeFileCapable___native_stderr_t
)(val_t self
);
212 val_t
file___NativeFileCapable___native_stderr(val_t self
);