update c_src (now with ffi)

[nit.git] / c_src / standard___file._sep.h

diff --git a/c_src/standard___file._sep.h b/c_src/standard___file._sep.h
index aaef870..ceed42b 100644 (file)
--- a/c_src/standard___file._sep.h
+++ b/c_src/standard___file._sep.h
@@ -19,15 +19,15 @@ extern const classtable_elt_t VFT_standard___file___Stdout[];
 extern const classtable_elt_t VFT_standard___file___Stderr[];
 
 extern const classtable_elt_t VFT_standard___file___FileStat[];
-struct TBOX_FileStat { const classtable_elt_t * vft; bigint object_id; void * val;};
-val_t BOX_FileStat(void * val);
+struct TBOX_FileStat { const classtable_elt_t * vft; bigint object_id; void* val;};
+val_t BOX_FileStat(void* val);
 #define UNBOX_FileStat(x) (((struct TBOX_FileStat *)(VAL2OBJ(x)))->val)
 
 extern const classtable_elt_t VFT_standard___file___NativeFile[];
-struct TBOX_NativeFile { const classtable_elt_t * vft; bigint object_id; void * val;};
-val_t BOX_NativeFile(void * val);
+struct TBOX_NativeFile { const classtable_elt_t * vft; bigint object_id; void* val;};
+val_t BOX_NativeFile(void* val);
 #define UNBOX_NativeFile(x) (((struct TBOX_NativeFile *)(VAL2OBJ(x)))->val)
-extern const char *LOCATE_standard___file;
+extern const char LOCATE_standard___file[];
 extern const int SFT_standard___file[];
 #define CALL_standard___file___Object___printn(recv) ((standard___file___Object___printn_t)CALL((recv), (SFT_standard___file[0] + 0)))
 #define CALL_standard___file___Object___print(recv) ((standard___file___Object___print_t)CALL((recv), (SFT_standard___file[0] + 1)))
@@ -64,6 +64,7 @@ extern const int SFT_standard___file[];
 #define COLOR_standard___file___Stdin (SFT_standard___file[14])
 #define INIT_TABLE_POS_standard___file___Stdin (SFT_standard___file[15] + 0)
 #define CALL_standard___file___Stdin___init(recv) ((standard___file___Stdin___init_t)CALL((recv), (SFT_standard___file[15] + 1)))
+#define CALL_standard___file___Stdin___poll_in(recv) ((standard___file___Stdin___poll_in_t)CALL((recv), (SFT_standard___file[15] + 2)))
 #define ID_standard___file___Stdout (SFT_standard___file[16])
 #define COLOR_standard___file___Stdout (SFT_standard___file[17])
 #define INIT_TABLE_POS_standard___file___Stdout (SFT_standard___file[18] + 0)
@@ -107,189 +108,135 @@ extern const int SFT_standard___file[];
 #define CALL_standard___file___NativeFile___native_stdin(recv) ((standard___file___NativeFile___native_stdin_t)CALL((recv), (SFT_standard___file[29] + 7)))
 #define CALL_standard___file___NativeFile___native_stdout(recv) ((standard___file___NativeFile___native_stdout_t)CALL((recv), (SFT_standard___file[29] + 8)))
 #define CALL_standard___file___NativeFile___native_stderr(recv) ((standard___file___NativeFile___native_stderr_t)CALL((recv), (SFT_standard___file[29] + 9)))
-static const char * const LOCATE_standard___file___Object___printn = "file::Object::printn";
 void standard___file___Object___printn(val_t p0, val_t p1);
 typedef void (*standard___file___Object___printn_t)(val_t p0, val_t p1);
-static const char * const LOCATE_standard___file___Object___print = "file::Object::print";
 void standard___file___Object___print(val_t p0, val_t p1);
 typedef void (*standard___file___Object___print_t)(val_t p0, val_t p1);
-static const char * const LOCATE_standard___file___Object___getc = "file::Object::getc";
 val_t standard___file___Object___getc(val_t p0);
 typedef val_t (*standard___file___Object___getc_t)(val_t p0);
-static const char * const LOCATE_standard___file___Object___gets = "file::Object::gets";
 val_t standard___file___Object___gets(val_t p0);
 typedef val_t (*standard___file___Object___gets_t)(val_t p0);
-static const char * const LOCATE_standard___file___Object___stdin = "file::Object::stdin";
 val_t standard___file___Object___stdin(val_t p0);
 typedef val_t (*standard___file___Object___stdin_t)(val_t p0);
-static const char * const LOCATE_standard___file___Object___stdout = "file::Object::stdout";
 val_t standard___file___Object___stdout(val_t p0);
 typedef val_t (*standard___file___Object___stdout_t)(val_t p0);
-static const char * const LOCATE_standard___file___Object___stderr = "file::Object::stderr";
 val_t standard___file___Object___stderr(val_t p0);
 typedef val_t (*standard___file___Object___stderr_t)(val_t p0);
-static const char * const LOCATE_standard___file___FStream___path = "file::FStream::path";
 val_t standard___file___FStream___path(val_t p0);
 typedef val_t (*standard___file___FStream___path_t)(val_t p0);
-static const char * const LOCATE_standard___file___FStream___file_stat = "file::FStream::file_stat";
 val_t standard___file___FStream___file_stat(val_t p0);
 typedef val_t (*standard___file___FStream___file_stat_t)(val_t p0);
-static const char * const LOCATE_standard___file___FStream___init = "file::FStream::init";
 void standard___file___FStream___init(val_t p0, int* init_table);
 typedef void (*standard___file___FStream___init_t)(val_t p0, int* init_table);
 val_t NEW_FStream_standard___file___FStream___init();
-static const char * const LOCATE_standard___file___IFStream___reopen = "file::IFStream::reopen";
 void standard___file___IFStream___reopen(val_t p0);
 typedef void (*standard___file___IFStream___reopen_t)(val_t p0);
-static const char * const LOCATE_standard___file___IFStream___close = "file::IFStream::(stream::IOS::close)";
 void standard___file___IFStream___close(val_t p0);
 typedef void (*standard___file___IFStream___close_t)(val_t p0);
-static const char * const LOCATE_standard___file___IFStream___fill_buffer = "file::IFStream::(stream::BufferedIStream::fill_buffer)";
 void standard___file___IFStream___fill_buffer(val_t p0);
 typedef void (*standard___file___IFStream___fill_buffer_t)(val_t p0);
-static const char * const LOCATE_standard___file___IFStream___end_reached = "file::IFStream::(stream::BufferedIStream::end_reached)";
 val_t standard___file___IFStream___end_reached(val_t p0);
 typedef val_t (*standard___file___IFStream___end_reached_t)(val_t p0);
-static const char * const LOCATE_standard___file___IFStream___open = "file::IFStream::open";
 void standard___file___IFStream___open(val_t p0, val_t p1, int* init_table);
 typedef void (*standard___file___IFStream___open_t)(val_t p0, val_t p1, int* init_table);
 val_t NEW_IFStream_standard___file___IFStream___open(val_t p0);
-static const char * const LOCATE_standard___file___IFStream___init = "file::IFStream::init";
 void standard___file___IFStream___init(val_t p0, int* init_table);
 typedef void (*standard___file___IFStream___init_t)(val_t p0, int* init_table);
 val_t NEW_IFStream_standard___file___IFStream___init();
-static const char * const LOCATE_standard___file___IFStream___without_file = "file::IFStream::without_file";
 void standard___file___IFStream___without_file(val_t p0, int* init_table);
 typedef void (*standard___file___IFStream___without_file_t)(val_t p0, int* init_table);
 val_t NEW_IFStream_standard___file___IFStream___without_file();
-static const char * const LOCATE_standard___file___OFStream___write = "file::OFStream::(stream::OStream::write)";
 void standard___file___OFStream___write(val_t p0, val_t p1);
 typedef void (*standard___file___OFStream___write_t)(val_t p0, val_t p1);
-static const char * const LOCATE_standard___file___OFStream___is_writable = "file::OFStream::(stream::OStream::is_writable)";
 val_t standard___file___OFStream___is_writable(val_t p0);
 typedef val_t (*standard___file___OFStream___is_writable_t)(val_t p0);
-static const char * const LOCATE_standard___file___OFStream___close = "file::OFStream::(stream::IOS::close)";
 void standard___file___OFStream___close(val_t p0);
 typedef void (*standard___file___OFStream___close_t)(val_t p0);
-static const char * const LOCATE_standard___file___OFStream___write_native = "file::OFStream::write_native";
 void standard___file___OFStream___write_native(val_t p0, val_t p1, val_t p2);
 typedef void (*standard___file___OFStream___write_native_t)(val_t p0, val_t p1, val_t p2);
-static const char * const LOCATE_standard___file___OFStream___open = "file::OFStream::open";
 void standard___file___OFStream___open(val_t p0, val_t p1, int* init_table);
 typedef void (*standard___file___OFStream___open_t)(val_t p0, val_t p1, int* init_table);
 val_t NEW_OFStream_standard___file___OFStream___open(val_t p0);
-static const char * const LOCATE_standard___file___OFStream___init = "file::OFStream::init";
 void standard___file___OFStream___init(val_t p0, int* init_table);
 typedef void (*standard___file___OFStream___init_t)(val_t p0, int* init_table);
 val_t NEW_OFStream_standard___file___OFStream___init();
-static const char * const LOCATE_standard___file___OFStream___without_file = "file::OFStream::without_file";
 void standard___file___OFStream___without_file(val_t p0, int* init_table);
 typedef void (*standard___file___OFStream___without_file_t)(val_t p0, int* init_table);
 val_t NEW_OFStream_standard___file___OFStream___without_file();
-static const char * const LOCATE_standard___file___Stdin___init = "file::Stdin::init";
 void standard___file___Stdin___init(val_t p0, int* init_table);
 typedef void (*standard___file___Stdin___init_t)(val_t p0, int* init_table);
 val_t NEW_Stdin_standard___file___Stdin___init();
-static const char * const LOCATE_standard___file___Stdout___init = "file::Stdout::init";
+val_t standard___file___Stdin___poll_in(val_t p0);
+typedef val_t (*standard___file___Stdin___poll_in_t)(val_t p0);
 void standard___file___Stdout___init(val_t p0, int* init_table);
 typedef void (*standard___file___Stdout___init_t)(val_t p0, int* init_table);
 val_t NEW_Stdout_standard___file___Stdout___init();
-static const char * const LOCATE_standard___file___Stderr___init = "file::Stderr::init";
 void standard___file___Stderr___init(val_t p0, int* init_table);
 typedef void (*standard___file___Stderr___init_t)(val_t p0, int* init_table);
 val_t NEW_Stderr_standard___file___Stderr___init();
-static const char * const LOCATE_standard___file___String___file_exists = "file::String::file_exists";
 val_t standard___file___String___file_exists(val_t p0);
 typedef val_t (*standard___file___String___file_exists_t)(val_t p0);
-static const char * const LOCATE_standard___file___String___file_stat = "file::String::file_stat";
 val_t standard___file___String___file_stat(val_t p0);
 typedef val_t (*standard___file___String___file_stat_t)(val_t p0);
-static const char * const LOCATE_standard___file___String___file_delete = "file::String::file_delete";
 val_t standard___file___String___file_delete(val_t p0);
 typedef val_t (*standard___file___String___file_delete_t)(val_t p0);
-static const char * const LOCATE_standard___file___String___strip_extension = "file::String::strip_extension";
 val_t standard___file___String___strip_extension(val_t p0, val_t p1);
 typedef val_t (*standard___file___String___strip_extension_t)(val_t p0, val_t p1);
-static const char * const LOCATE_standard___file___String___basename = "file::String::basename";
 val_t standard___file___String___basename(val_t p0, val_t p1);
 typedef val_t (*standard___file___String___basename_t)(val_t p0, val_t p1);
-static const char * const LOCATE_standard___file___String___dirname = "file::String::dirname";
 val_t standard___file___String___dirname(val_t p0);
 typedef val_t (*standard___file___String___dirname_t)(val_t p0);
-static const char * const LOCATE_standard___file___String___simplify_path = "file::String::simplify_path";
 val_t standard___file___String___simplify_path(val_t p0);
 typedef val_t (*standard___file___String___simplify_path_t)(val_t p0);
-static const char * const LOCATE_standard___file___String___join_path = "file::String::join_path";
 val_t standard___file___String___join_path(val_t p0, val_t p1);
 typedef val_t (*standard___file___String___join_path_t)(val_t p0, val_t p1);
-static const char * const LOCATE_standard___file___String___mkdir = "file::String::mkdir";
 void standard___file___String___mkdir(val_t p0);
 typedef void (*standard___file___String___mkdir_t)(val_t p0);
-static const char * const LOCATE_standard___file___String___file_extension = "file::String::file_extension";
 val_t standard___file___String___file_extension(val_t p0);
 typedef val_t (*standard___file___String___file_extension_t)(val_t p0);
-static const char * const LOCATE_standard___file___String___files = "file::String::files";
 val_t standard___file___String___files(val_t p0);
 typedef val_t (*standard___file___String___files_t)(val_t p0);
 val_t NEW_String_standard___string___String___from_cstring(val_t p0);
 val_t NEW_String_standard___string___String___with_native(val_t p0, val_t p1);
-static const char * const LOCATE_standard___file___NativeString___file_exists = "file::NativeString::file_exists";
 val_t standard___file___NativeString___file_exists(val_t p0);
 typedef val_t (*standard___file___NativeString___file_exists_t)(val_t p0);
-static const char * const LOCATE_standard___file___NativeString___file_stat = "file::NativeString::file_stat";
 val_t standard___file___NativeString___file_stat(val_t p0);
 typedef val_t (*standard___file___NativeString___file_stat_t)(val_t p0);
-static const char * const LOCATE_standard___file___NativeString___file_mkdir = "file::NativeString::file_mkdir";
 val_t standard___file___NativeString___file_mkdir(val_t p0);
 typedef val_t (*standard___file___NativeString___file_mkdir_t)(val_t p0);
-static const char * const LOCATE_standard___file___NativeString___file_delete = "file::NativeString::file_delete";
 val_t standard___file___NativeString___file_delete(val_t p0);
 typedef val_t (*standard___file___NativeString___file_delete_t)(val_t p0);
 val_t NEW_NativeString_standard___string___NativeString___init();
-static const char * const LOCATE_standard___file___FileStat___mode = "file::FileStat::mode";
 val_t standard___file___FileStat___mode(val_t p0);
 typedef val_t (*standard___file___FileStat___mode_t)(val_t p0);
-static const char * const LOCATE_standard___file___FileStat___atime = "file::FileStat::atime";
 val_t standard___file___FileStat___atime(val_t p0);
 typedef val_t (*standard___file___FileStat___atime_t)(val_t p0);
-static const char * const LOCATE_standard___file___FileStat___ctime = "file::FileStat::ctime";
 val_t standard___file___FileStat___ctime(val_t p0);
 typedef val_t (*standard___file___FileStat___ctime_t)(val_t p0);
-static const char * const LOCATE_standard___file___FileStat___mtime = "file::FileStat::mtime";
 val_t standard___file___FileStat___mtime(val_t p0);
 typedef val_t (*standard___file___FileStat___mtime_t)(val_t p0);
-static const char * const LOCATE_standard___file___FileStat___size = "file::FileStat::size";
 val_t standard___file___FileStat___size(val_t p0);
 typedef val_t (*standard___file___FileStat___size_t)(val_t p0);
-static const char * const LOCATE_standard___file___NativeFile___io_read = "file::NativeFile::io_read";
 val_t standard___file___NativeFile___io_read(val_t p0, val_t p1, val_t p2);
 typedef val_t (*standard___file___NativeFile___io_read_t)(val_t p0, val_t p1, val_t p2);
-static const char * const LOCATE_standard___file___NativeFile___io_write = "file::NativeFile::io_write";
 val_t standard___file___NativeFile___io_write(val_t p0, val_t p1, val_t p2);
 typedef val_t (*standard___file___NativeFile___io_write_t)(val_t p0, val_t p1, val_t p2);
-static const char * const LOCATE_standard___file___NativeFile___io_close = "file::NativeFile::io_close";
 val_t standard___file___NativeFile___io_close(val_t p0);
 typedef val_t (*standard___file___NativeFile___io_close_t)(val_t p0);
-static const char * const LOCATE_standard___file___NativeFile___file_stat = "file::NativeFile::file_stat";
 val_t standard___file___NativeFile___file_stat(val_t p0);
 typedef val_t (*standard___file___NativeFile___file_stat_t)(val_t p0);
-static const char * const LOCATE_standard___file___NativeFile___io_open_read = "file::NativeFile::io_open_read";
 void standard___file___NativeFile___io_open_read(val_t p0, val_t p1, int* init_table);
 typedef void (*standard___file___NativeFile___io_open_read_t)(val_t p0, val_t p1, int* init_table);
 val_t NEW_NativeFile_standard___file___NativeFile___io_open_read(val_t p0);
-static const char * const LOCATE_standard___file___NativeFile___io_open_write = "file::NativeFile::io_open_write";
 void standard___file___NativeFile___io_open_write(val_t p0, val_t p1, int* init_table);
 typedef void (*standard___file___NativeFile___io_open_write_t)(val_t p0, val_t p1, int* init_table);
 val_t NEW_NativeFile_standard___file___NativeFile___io_open_write(val_t p0);
-static const char * const LOCATE_standard___file___NativeFile___native_stdin = "file::NativeFile::native_stdin";
 void standard___file___NativeFile___native_stdin(val_t p0, int* init_table);
 typedef void (*standard___file___NativeFile___native_stdin_t)(val_t p0, int* init_table);
 val_t NEW_NativeFile_standard___file___NativeFile___native_stdin();
-static const char * const LOCATE_standard___file___NativeFile___native_stdout = "file::NativeFile::native_stdout";
 void standard___file___NativeFile___native_stdout(val_t p0, int* init_table);
 typedef void (*standard___file___NativeFile___native_stdout_t)(val_t p0, int* init_table);
 val_t NEW_NativeFile_standard___file___NativeFile___native_stdout();
-static const char * const LOCATE_standard___file___NativeFile___native_stderr = "file::NativeFile::native_stderr";
 void standard___file___NativeFile___native_stderr(val_t p0, int* init_table);
 typedef void (*standard___file___NativeFile___native_stderr_t)(val_t p0, int* init_table);
 val_t NEW_NativeFile_standard___file___NativeFile___native_stderr();