Merge: model: add `MType::as_notnullable` to remove the `nullable` modifier

[nit.git] / c_src / file._nitni.h

diff --git a/c_src/file._nitni.h b/c_src/file._nitni.h
index 498954d..e3b1aeb 100644 (file)
--- a/c_src/file._nitni.h
+++ b/c_src/file._nitni.h
@@ -1,76 +1,34 @@
-#include <nit_common.h>
-#include "file._sep.h"
-#ifndef FILE_NITNI_H
-#define FILE_NITNI_H
-
-#ifndef NATIVEFILECAPABLE_TYPE
-#define NATIVEFILECAPABLE_TYPE
-typedef struct s_NativeFileCapable{
-       val_t v;
-} NativeFileCapable;
+/*
+       Extern implementation of Nit module file
+*/
+#ifndef FILE_NITG_NITNI_H
+#define FILE_NITG_NITNI_H
+
+#ifndef NIT_TYPE_String
+#define NIT_TYPE_String 1
+typedef struct nitni_instance *String;
 #endif
-
-#include "file_nit.h"
-
-/* out/indirect function for file::NativeString::file_exists */
-val_t NativeString_file_exists___out( val_t recv );
-
-/* out/indirect function for file::NativeString::file_stat */
-val_t NativeString_file_stat___out( val_t recv );
-
-/* out/indirect function for file::NativeString::file_mkdir */
-val_t NativeString_file_mkdir___out( val_t recv );
-
-/* out/indirect function for file::NativeString::file_delete */
-val_t NativeString_file_delete___out( val_t recv );
-
-/* out/indirect function for file::FileStat::mode */
-val_t FileStat_mode___out( val_t recv );
-
-/* out/indirect function for file::FileStat::atime */
-val_t FileStat_atime___out( val_t recv );
-
-/* out/indirect function for file::FileStat::ctime */
-val_t FileStat_ctime___out( val_t recv );
-
-/* out/indirect function for file::FileStat::mtime */
-val_t FileStat_mtime___out( val_t recv );
-
-/* out/indirect function for file::FileStat::size */
-val_t FileStat_size___out( val_t recv );
-#ifndef FileStat
-       typedef void* FileStat;
+#ifndef NIT_TYPE_Set_of_String
+#define NIT_TYPE_Set_of_String 1
+typedef struct nitni_instance *Set_of_String;
 #endif
-
-
-/* out/indirect function for file::NativeFile::io_read */
-val_t NativeFile_io_read___out( val_t recv, val_t buf, val_t len );
-
-/* out/indirect function for file::NativeFile::io_write */
-val_t NativeFile_io_write___out( val_t recv, val_t buf, val_t len );
-
-/* out/indirect function for file::NativeFile::io_close */
-val_t NativeFile_io_close___out( val_t recv );
-
-/* out/indirect function for file::NativeFile::file_stat */
-val_t NativeFile_file_stat___out( val_t recv );
-#ifndef NativeFile
-       typedef void* NativeFile;
+#ifndef NIT_TYPE_HashSet_of_String
+#define NIT_TYPE_HashSet_of_String 1
+typedef struct nitni_instance *HashSet_of_String;
 #endif
-
-
-/* out/indirect function for file::NativeFileCapable::io_open_read */
-val_t NativeFileCapable_io_open_read___out( val_t recv, val_t path );
-
-/* out/indirect function for file::NativeFileCapable::io_open_write */
-val_t NativeFileCapable_io_open_write___out( val_t recv, val_t path );
-
-/* out/indirect function for file::NativeFileCapable::native_stdin */
-val_t NativeFileCapable_native_stdin___out( val_t recv );
-
-/* out/indirect function for file::NativeFileCapable::native_stdout */
-val_t NativeFileCapable_native_stdout___out( val_t recv );
-
-/* out/indirect function for file::NativeFileCapable::native_stderr */
-val_t NativeFileCapable_native_stderr___out( val_t recv );
+#include "file._ffi.h"
+#define String_incr_ref(from) while(0){}
+#define String_decr_ref(from) while(0){}
+#define Set_of_String_incr_ref(from) while(0){}
+#define Set_of_String_decr_ref(from) while(0){}
+#define HashSet_of_String_incr_ref(from) while(0){}
+#define HashSet_of_String_decr_ref(from) while(0){}
+extern struct nitni_instance * file___new_HashSet_of_String(  );
+extern void file___HashSet_of_String_add( struct nitni_instance * recv, struct nitni_instance * item );
+extern struct nitni_instance * file___NativeString_to_s( char* recv );
+extern char* file___String_to_cstring( struct nitni_instance * recv );
+extern int file___HashSet_of_String_is_a_Set_of_String(struct nitni_instance *);
+#define HashSet_of_String_is_a_Set_of_String file___HashSet_of_String_is_a_Set_of_String
+extern struct nitni_instance * file___HashSet_of_String_as_Set_of_String(struct nitni_instance *);
+#define HashSet_of_String_as_Set_of_String file___HashSet_of_String_as_Set_of_String
 #endif