1 #include "file._nitni.h"
3 /* out/indirect function for file::NativeString::file_exists */
4 val_t
NativeString_file_exists___out( val_t recv
)
9 recv___nitni
= UNBOX_NativeString(recv
);
10 return___nitni
= string_NativeString_NativeString_file_exists_0( recv___nitni
);
11 return___nit
= TAG_Bool(return___nitni
);
14 /* out/indirect function for file::NativeString::file_stat */
15 val_t
NativeString_file_stat___out( val_t recv
)
18 FileStat return___nitni
;
20 recv___nitni
= UNBOX_NativeString(recv
);
21 return___nitni
= string_NativeString_NativeString_file_stat_0( recv___nitni
);
22 return___nit
= BOX_FileStat(return___nitni
);
25 /* out/indirect function for file::NativeString::file_mkdir */
26 val_t
NativeString_file_mkdir___out( val_t recv
)
31 recv___nitni
= UNBOX_NativeString(recv
);
32 return___nitni
= string_NativeString_NativeString_file_mkdir_0( recv___nitni
);
33 return___nit
= TAG_Bool(return___nitni
);
36 /* out/indirect function for file::NativeString::file_delete */
37 val_t
NativeString_file_delete___out( val_t recv
)
42 recv___nitni
= UNBOX_NativeString(recv
);
43 return___nitni
= string_NativeString_NativeString_file_delete_0( recv___nitni
);
44 return___nit
= TAG_Bool(return___nitni
);
47 /* out/indirect function for file::FileStat::mode */
48 val_t
FileStat_mode___out( val_t recv
)
50 FileStat recv___nitni
;
51 bigint return___nitni
;
53 recv___nitni
= UNBOX_FileStat(recv
);
54 return___nitni
= file_FileStat_FileStat_mode_0( recv___nitni
);
55 return___nit
= TAG_Int(return___nitni
);
58 /* out/indirect function for file::FileStat::atime */
59 val_t
FileStat_atime___out( val_t recv
)
61 FileStat recv___nitni
;
62 bigint return___nitni
;
64 recv___nitni
= UNBOX_FileStat(recv
);
65 return___nitni
= file_FileStat_FileStat_atime_0( recv___nitni
);
66 return___nit
= TAG_Int(return___nitni
);
69 /* out/indirect function for file::FileStat::ctime */
70 val_t
FileStat_ctime___out( val_t recv
)
72 FileStat recv___nitni
;
73 bigint return___nitni
;
75 recv___nitni
= UNBOX_FileStat(recv
);
76 return___nitni
= file_FileStat_FileStat_ctime_0( recv___nitni
);
77 return___nit
= TAG_Int(return___nitni
);
80 /* out/indirect function for file::FileStat::mtime */
81 val_t
FileStat_mtime___out( val_t recv
)
83 FileStat recv___nitni
;
84 bigint return___nitni
;
86 recv___nitni
= UNBOX_FileStat(recv
);
87 return___nitni
= file_FileStat_FileStat_mtime_0( recv___nitni
);
88 return___nit
= TAG_Int(return___nitni
);
91 /* out/indirect function for file::FileStat::size */
92 val_t
FileStat_size___out( val_t recv
)
94 FileStat recv___nitni
;
95 bigint return___nitni
;
97 recv___nitni
= UNBOX_FileStat(recv
);
98 return___nitni
= file_FileStat_FileStat_size_0( recv___nitni
);
99 return___nit
= TAG_Int(return___nitni
);
102 /* out/indirect function for file::NativeFile::io_read */
103 val_t
NativeFile_io_read___out( val_t recv
, val_t buf
, val_t len
)
105 NativeFile recv___nitni
;
108 bigint return___nitni
;
110 recv___nitni
= UNBOX_NativeFile(recv
);
111 buf___nitni
= UNBOX_NativeString(buf
);
112 len___nitni
= UNTAG_Int(len
);
113 return___nitni
= file_NativeFile_NativeFile_io_read_2( recv___nitni
, buf___nitni
, len___nitni
);
114 return___nit
= TAG_Int(return___nitni
);
117 /* out/indirect function for file::NativeFile::io_write */
118 val_t
NativeFile_io_write___out( val_t recv
, val_t buf
, val_t len
)
120 NativeFile recv___nitni
;
123 bigint return___nitni
;
125 recv___nitni
= UNBOX_NativeFile(recv
);
126 buf___nitni
= UNBOX_NativeString(buf
);
127 len___nitni
= UNTAG_Int(len
);
128 return___nitni
= file_NativeFile_NativeFile_io_write_2( recv___nitni
, buf___nitni
, len___nitni
);
129 return___nit
= TAG_Int(return___nitni
);
132 /* out/indirect function for file::NativeFile::io_close */
133 val_t
NativeFile_io_close___out( val_t recv
)
135 NativeFile recv___nitni
;
136 bigint return___nitni
;
138 recv___nitni
= UNBOX_NativeFile(recv
);
139 return___nitni
= file_NativeFile_NativeFile_io_close_0( recv___nitni
);
140 return___nit
= TAG_Int(return___nitni
);
143 /* out/indirect function for file::NativeFile::file_stat */
144 val_t
NativeFile_file_stat___out( val_t recv
)
146 NativeFile recv___nitni
;
147 FileStat return___nitni
;
149 recv___nitni
= UNBOX_NativeFile(recv
);
150 return___nitni
= file_NativeFile_NativeFile_file_stat_0( recv___nitni
);
151 return___nit
= BOX_FileStat(return___nitni
);
154 /* out/indirect function for file::NativeFileCapable::io_open_read */
155 val_t
NativeFileCapable_io_open_read___out( val_t recv
, val_t path
)
157 NativeFileCapable recv___nitni
;
159 NativeFile return___nitni
;
161 recv___nitni
.v
= recv
;
162 path___nitni
= UNBOX_NativeString(path
);
163 return___nitni
= file_NativeFileCapable_NativeFileCapable_io_open_read_1( recv___nitni
, path___nitni
);
164 return___nit
= BOX_NativeFile(return___nitni
);
167 /* out/indirect function for file::NativeFileCapable::io_open_write */
168 val_t
NativeFileCapable_io_open_write___out( val_t recv
, val_t path
)
170 NativeFileCapable recv___nitni
;
172 NativeFile return___nitni
;
174 recv___nitni
.v
= recv
;
175 path___nitni
= UNBOX_NativeString(path
);
176 return___nitni
= file_NativeFileCapable_NativeFileCapable_io_open_write_1( recv___nitni
, path___nitni
);
177 return___nit
= BOX_NativeFile(return___nitni
);
180 /* out/indirect function for file::NativeFileCapable::native_stdin */
181 val_t
NativeFileCapable_native_stdin___out( val_t recv
)
183 NativeFileCapable recv___nitni
;
184 NativeFile return___nitni
;
186 recv___nitni
.v
= recv
;
187 return___nitni
= file_NativeFileCapable_NativeFileCapable_native_stdin_0( recv___nitni
);
188 return___nit
= BOX_NativeFile(return___nitni
);
191 /* out/indirect function for file::NativeFileCapable::native_stdout */
192 val_t
NativeFileCapable_native_stdout___out( val_t recv
)
194 NativeFileCapable recv___nitni
;
195 NativeFile return___nitni
;
197 recv___nitni
.v
= recv
;
198 return___nitni
= file_NativeFileCapable_NativeFileCapable_native_stdout_0( recv___nitni
);
199 return___nit
= BOX_NativeFile(return___nitni
);
202 /* out/indirect function for file::NativeFileCapable::native_stderr */
203 val_t
NativeFileCapable_native_stderr___out( val_t recv
)
205 NativeFileCapable recv___nitni
;
206 NativeFile return___nitni
;
208 recv___nitni
.v
= recv
;
209 return___nitni
= file_NativeFileCapable_NativeFileCapable_native_stderr_0( recv___nitni
);
210 return___nit
= BOX_NativeFile(return___nitni
);