1 #include "file._nitni.h"
3 /* out/indirect function for file::String::files */
4 val_t
String_files___out( val_t recv
)
9 recv___nitni
= malloc( sizeof( struct s_String
) );
10 recv___nitni
->ref
.val
= NIT_NULL
;
11 recv___nitni
->ref
.count
= 0;
12 nitni_local_ref_add( (struct nitni_ref
*)recv___nitni
);
13 recv___nitni
->ref
.val
= recv
;
14 return___nitni
= malloc( sizeof( struct s_Set
) );
15 return___nitni
->ref
.val
= NIT_NULL
;
16 return___nitni
->ref
.count
= 0;
17 return___nitni
= String_files___impl( recv___nitni
);
18 return___nit
= return___nitni
->ref
.val
;
19 nitni_local_ref_clean( );
22 /* out/indirect function for file::NativeString::file_exists */
23 val_t
NativeString_file_exists___out( val_t recv
)
28 recv___nitni
= UNBOX_NativeString(recv
);
29 return___nitni
= string_NativeString_NativeString_file_exists_0( recv___nitni
);
30 return___nit
= TAG_Bool(return___nitni
);
31 nitni_local_ref_clean( );
34 /* out/indirect function for file::NativeString::file_stat */
35 val_t
NativeString_file_stat___out( val_t recv
)
38 FileStat return___nitni
;
40 recv___nitni
= UNBOX_NativeString(recv
);
41 return___nitni
= string_NativeString_NativeString_file_stat_0( recv___nitni
);
42 return___nit
= BOX_FileStat(return___nitni
);
43 nitni_local_ref_clean( );
46 /* out/indirect function for file::NativeString::file_mkdir */
47 val_t
NativeString_file_mkdir___out( val_t recv
)
52 recv___nitni
= UNBOX_NativeString(recv
);
53 return___nitni
= string_NativeString_NativeString_file_mkdir_0( recv___nitni
);
54 return___nit
= TAG_Bool(return___nitni
);
55 nitni_local_ref_clean( );
58 /* out/indirect function for file::NativeString::file_delete */
59 val_t
NativeString_file_delete___out( val_t recv
)
64 recv___nitni
= UNBOX_NativeString(recv
);
65 return___nitni
= string_NativeString_NativeString_file_delete_0( recv___nitni
);
66 return___nit
= TAG_Bool(return___nitni
);
67 nitni_local_ref_clean( );
70 /* out/indirect function for file::FileStat::mode */
71 val_t
FileStat_mode___out( val_t recv
)
73 FileStat recv___nitni
;
74 bigint return___nitni
;
76 recv___nitni
= UNBOX_FileStat(recv
);
77 return___nitni
= file_FileStat_FileStat_mode_0( recv___nitni
);
78 return___nit
= TAG_Int(return___nitni
);
79 nitni_local_ref_clean( );
82 /* out/indirect function for file::FileStat::atime */
83 val_t
FileStat_atime___out( val_t recv
)
85 FileStat recv___nitni
;
86 bigint return___nitni
;
88 recv___nitni
= UNBOX_FileStat(recv
);
89 return___nitni
= file_FileStat_FileStat_atime_0( recv___nitni
);
90 return___nit
= TAG_Int(return___nitni
);
91 nitni_local_ref_clean( );
94 /* out/indirect function for file::FileStat::ctime */
95 val_t
FileStat_ctime___out( val_t recv
)
97 FileStat recv___nitni
;
98 bigint return___nitni
;
100 recv___nitni
= UNBOX_FileStat(recv
);
101 return___nitni
= file_FileStat_FileStat_ctime_0( recv___nitni
);
102 return___nit
= TAG_Int(return___nitni
);
103 nitni_local_ref_clean( );
106 /* out/indirect function for file::FileStat::mtime */
107 val_t
FileStat_mtime___out( val_t recv
)
109 FileStat recv___nitni
;
110 bigint return___nitni
;
112 recv___nitni
= UNBOX_FileStat(recv
);
113 return___nitni
= file_FileStat_FileStat_mtime_0( recv___nitni
);
114 return___nit
= TAG_Int(return___nitni
);
115 nitni_local_ref_clean( );
118 /* out/indirect function for file::FileStat::size */
119 val_t
FileStat_size___out( val_t recv
)
121 FileStat recv___nitni
;
122 bigint return___nitni
;
124 recv___nitni
= UNBOX_FileStat(recv
);
125 return___nitni
= file_FileStat_FileStat_size_0( recv___nitni
);
126 return___nit
= TAG_Int(return___nitni
);
127 nitni_local_ref_clean( );
130 /* out/indirect function for file::NativeFile::io_read */
131 val_t
NativeFile_io_read___out( val_t recv
, val_t buf
, val_t len
)
133 NativeFile recv___nitni
;
136 bigint return___nitni
;
138 recv___nitni
= UNBOX_NativeFile(recv
);
139 buf___nitni
= UNBOX_NativeString(buf
);
140 len___nitni
= UNTAG_Int(len
);
141 return___nitni
= file_NativeFile_NativeFile_io_read_2( recv___nitni
, buf___nitni
, len___nitni
);
142 return___nit
= TAG_Int(return___nitni
);
143 nitni_local_ref_clean( );
146 /* out/indirect function for file::NativeFile::io_write */
147 val_t
NativeFile_io_write___out( val_t recv
, val_t buf
, val_t len
)
149 NativeFile recv___nitni
;
152 bigint return___nitni
;
154 recv___nitni
= UNBOX_NativeFile(recv
);
155 buf___nitni
= UNBOX_NativeString(buf
);
156 len___nitni
= UNTAG_Int(len
);
157 return___nitni
= file_NativeFile_NativeFile_io_write_2( recv___nitni
, buf___nitni
, len___nitni
);
158 return___nit
= TAG_Int(return___nitni
);
159 nitni_local_ref_clean( );
162 /* out/indirect function for file::NativeFile::io_close */
163 val_t
NativeFile_io_close___out( val_t recv
)
165 NativeFile recv___nitni
;
166 bigint return___nitni
;
168 recv___nitni
= UNBOX_NativeFile(recv
);
169 return___nitni
= file_NativeFile_NativeFile_io_close_0( recv___nitni
);
170 return___nit
= TAG_Int(return___nitni
);
171 nitni_local_ref_clean( );
174 /* out/indirect function for file::NativeFile::file_stat */
175 val_t
NativeFile_file_stat___out( val_t recv
)
177 NativeFile recv___nitni
;
178 FileStat return___nitni
;
180 recv___nitni
= UNBOX_NativeFile(recv
);
181 return___nitni
= file_NativeFile_NativeFile_file_stat_0( recv___nitni
);
182 return___nit
= BOX_FileStat(return___nitni
);
183 nitni_local_ref_clean( );
186 /* out/indirect function for file::NativeFile::io_open_read */
187 val_t
NEW_NativeFile_standard___file___NativeFile___io_open_read( val_t path
)
190 NativeFile return___nitni
;
192 path___nitni
= UNBOX_NativeString(path
);
193 return___nitni
= file_NativeFileCapable_NativeFileCapable_io_open_read_1( path___nitni
);
194 return___nit
= BOX_NativeFile(return___nitni
);
195 nitni_local_ref_clean( );
198 /* out/indirect function for file::NativeFile::io_open_write */
199 val_t
NEW_NativeFile_standard___file___NativeFile___io_open_write( val_t path
)
202 NativeFile return___nitni
;
204 path___nitni
= UNBOX_NativeString(path
);
205 return___nitni
= file_NativeFileCapable_NativeFileCapable_io_open_write_1( path___nitni
);
206 return___nit
= BOX_NativeFile(return___nitni
);
207 nitni_local_ref_clean( );
210 /* out/indirect function for file::NativeFile::native_stdin */
211 val_t
NEW_NativeFile_standard___file___NativeFile___native_stdin( )
213 NativeFile return___nitni
;
215 return___nitni
= file_NativeFileCapable_NativeFileCapable_native_stdin_0( );
216 return___nit
= BOX_NativeFile(return___nitni
);
217 nitni_local_ref_clean( );
220 /* out/indirect function for file::NativeFile::native_stdout */
221 val_t
NEW_NativeFile_standard___file___NativeFile___native_stdout( )
223 NativeFile return___nitni
;
225 return___nitni
= file_NativeFileCapable_NativeFileCapable_native_stdout_0( );
226 return___nit
= BOX_NativeFile(return___nitni
);
227 nitni_local_ref_clean( );
230 /* out/indirect function for file::NativeFile::native_stderr */
231 val_t
NEW_NativeFile_standard___file___NativeFile___native_stderr( )
233 NativeFile return___nitni
;
235 return___nitni
= file_NativeFileCapable_NativeFileCapable_native_stderr_0( );
236 return___nit
= BOX_NativeFile(return___nitni
);
237 nitni_local_ref_clean( );
240 /* friendly for hash_collection::HashSet::init */
241 HashSet
file_new_HashSet( )
243 HashSet result___nitni
;
245 result___nitni
= malloc( sizeof( struct s_HashSet
) );
246 result___nitni
->ref
.val
= NIT_NULL
;
247 result___nitni
->ref
.count
= 0;
248 nitni_local_ref_add( (struct nitni_ref
*)result___nitni
);
249 result___nit
= NEW_HashSet_standard___collection___hash_collection___HashSet___init( );
250 result___nitni
->ref
.val
= result___nit
;
251 return result___nitni
;
253 /* friendly for hash_collection::HashSet::(abstract_collection::SimpleCollection::add) */
254 void file_HashSet_add( HashSet recv
, Object item
)
258 recv___nit
= recv
->ref
.val
;
259 item___nit
= item
->ref
.val
;
260 CALL_standard___collection___abstract_collection___SimpleCollection___add( recv___nit
)( recv___nit
, item___nit
);
262 /* friendly for string::String::from_cstring */
263 String
file_new_String_from_cstring( char * str
)
266 String result___nitni
;
268 str___nit
= BOX_NativeString(str
);
269 result___nitni
= malloc( sizeof( struct s_String
) );
270 result___nitni
->ref
.val
= NIT_NULL
;
271 result___nitni
->ref
.count
= 0;
272 nitni_local_ref_add( (struct nitni_ref
*)result___nitni
);
273 result___nit
= NEW_String_standard___string___String___from_cstring( str___nit
);
274 result___nitni
->ref
.val
= result___nit
;
275 return result___nitni
;
277 /* friendly for string::String::to_cstring */
278 char * file_String_to_cstring( String recv
)
281 char * result___nitni
;
283 recv___nit
= recv
->ref
.val
;
284 result___nit
= CALL_standard___string___String___to_cstring( recv___nit
)( recv___nit
);
285 result___nitni
= UNBOX_NativeString(result___nit
);
286 return result___nitni
;
288 int file_HashSet_is_a_Set( HashSet value
)
291 temp
= value
->ref
.val
;
292 if ( ! ( ISOBJ( temp
) ?
OBJISA( temp
, standard___collection___abstract_collection___Set
): VALISA( temp
, standard___collection___abstract_collection___Set
) ) ) return 0;
295 Set
file_HashSet_as_Set( HashSet value
)
299 out
= malloc( sizeof( struct s_Set
) );
300 out
->ref
.val
= NIT_NULL
;
302 nitni_local_ref_add( (struct nitni_ref
*)out
);
303 temp
= value
->ref
.val
;
304 if ( ISNULL(temp
) ){ fprintf( stderr
, "Casting from HashSet[String] to Set[String] failed because value is null." );
306 }if ( ! ( ISOBJ( temp
) ?
OBJISA( temp
, standard___collection___abstract_collection___Set
): VALISA( temp
, standard___collection___abstract_collection___Set
) ) ){
307 fprintf( stderr
, "Casting to Set[String] failed because value is not a Set[String]." );
313 int file_String_is_a_Object( String value
)
316 temp
= value
->ref
.val
;
317 if ( ! ( ISOBJ( temp
) ?
OBJISA( temp
, standard___kernel___Object
): VALISA( temp
, standard___kernel___Object
) ) ) return 0;
320 Object
file_String_as_Object( String value
)
324 out
= malloc( sizeof( struct s_Object
) );
325 out
->ref
.val
= NIT_NULL
;
327 nitni_local_ref_add( (struct nitni_ref
*)out
);
328 temp
= value
->ref
.val
;
329 if ( ISNULL(temp
) ){ fprintf( stderr
, "Casting from String to Object failed because value is null." );
331 }if ( ! ( ISOBJ( temp
) ?
OBJISA( temp
, standard___kernel___Object
): VALISA( temp
, standard___kernel___Object
) ) ){
332 fprintf( stderr
, "Casting to Object failed because value is not a Object." );