c_src/file._nitni.c

   1 #include "file._nitni.h"
   2 #include "file_nit.h"
   3 /* out/indirect function for file::NativeString::file_exists */
   4 val_t NativeString_file_exists___out( val_t recv )
   5 {
   6 char * recv___nitni;
   7 int return___nitni;
   8 val_t return___nit;
   9 recv___nitni = UNBOX_NativeString(recv);
  10 return___nitni = string_NativeString_NativeString_file_exists_0( recv___nitni );
  11 return___nit = TAG_Bool(return___nitni);
  12 return return___nit;
  13 }
  14 /* out/indirect function for file::NativeString::file_stat */
  15 val_t NativeString_file_stat___out( val_t recv )
  16 {
  17 char * recv___nitni;
  18 FileStat return___nitni;
  19 val_t return___nit;
  20 recv___nitni = UNBOX_NativeString(recv);
  21 return___nitni = string_NativeString_NativeString_file_stat_0( recv___nitni );
  22 return___nit = BOX_FileStat(return___nitni);
  23 return return___nit;
  24 }
  25 /* out/indirect function for file::NativeString::file_mkdir */
  26 val_t NativeString_file_mkdir___out( val_t recv )
  27 {
  28 char * recv___nitni;
  29 int return___nitni;
  30 val_t return___nit;
  31 recv___nitni = UNBOX_NativeString(recv);
  32 return___nitni = string_NativeString_NativeString_file_mkdir_0( recv___nitni );
  33 return___nit = TAG_Bool(return___nitni);
  34 return return___nit;
  35 }
  36 /* out/indirect function for file::NativeString::file_delete */
  37 val_t NativeString_file_delete___out( val_t recv )
  38 {
  39 char * recv___nitni;
  40 int return___nitni;
  41 val_t return___nit;
  42 recv___nitni = UNBOX_NativeString(recv);
  43 return___nitni = string_NativeString_NativeString_file_delete_0( recv___nitni );
  44 return___nit = TAG_Bool(return___nitni);
  45 return return___nit;
  46 }
  47 /* out/indirect function for file::FileStat::mode */
  48 val_t FileStat_mode___out( val_t recv )
  49 {
  50 FileStat recv___nitni;
  51 bigint return___nitni;
  52 val_t return___nit;
  53 recv___nitni = UNBOX_FileStat(recv);
  54 return___nitni = file_FileStat_FileStat_mode_0( recv___nitni );
  55 return___nit = TAG_Int(return___nitni);
  56 return return___nit;
  57 }
  58 /* out/indirect function for file::FileStat::atime */
  59 val_t FileStat_atime___out( val_t recv )
  60 {
  61 FileStat recv___nitni;
  62 bigint return___nitni;
  63 val_t return___nit;
  64 recv___nitni = UNBOX_FileStat(recv);
  65 return___nitni = file_FileStat_FileStat_atime_0( recv___nitni );
  66 return___nit = TAG_Int(return___nitni);
  67 return return___nit;
  68 }
  69 /* out/indirect function for file::FileStat::ctime */
  70 val_t FileStat_ctime___out( val_t recv )
  71 {
  72 FileStat recv___nitni;
  73 bigint return___nitni;
  74 val_t return___nit;
  75 recv___nitni = UNBOX_FileStat(recv);
  76 return___nitni = file_FileStat_FileStat_ctime_0( recv___nitni );
  77 return___nit = TAG_Int(return___nitni);
  78 return return___nit;
  79 }
  80 /* out/indirect function for file::FileStat::mtime */
  81 val_t FileStat_mtime___out( val_t recv )
  82 {
  83 FileStat recv___nitni;
  84 bigint return___nitni;
  85 val_t return___nit;
  86 recv___nitni = UNBOX_FileStat(recv);
  87 return___nitni = file_FileStat_FileStat_mtime_0( recv___nitni );
  88 return___nit = TAG_Int(return___nitni);
  89 return return___nit;
  90 }
  91 /* out/indirect function for file::FileStat::size */
  92 val_t FileStat_size___out( val_t recv )
  93 {
  94 FileStat recv___nitni;
  95 bigint return___nitni;
  96 val_t return___nit;
  97 recv___nitni = UNBOX_FileStat(recv);
  98 return___nitni = file_FileStat_FileStat_size_0( recv___nitni );
  99 return___nit = TAG_Int(return___nitni);
 100 return return___nit;
 101 }
 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 )
 104 {
 105 NativeFile recv___nitni;
 106 char * buf___nitni;
 107 bigint len___nitni;
 108 bigint return___nitni;
 109 val_t return___nit;
 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);
 115 return return___nit;
 116 }
 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 )
 119 {
 120 NativeFile recv___nitni;
 121 char * buf___nitni;
 122 bigint len___nitni;
 123 bigint return___nitni;
 124 val_t return___nit;
 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);
 130 return return___nit;
 131 }
 132 /* out/indirect function for file::NativeFile::io_close */
 133 val_t NativeFile_io_close___out( val_t recv )
 134 {
 135 NativeFile recv___nitni;
 136 bigint return___nitni;
 137 val_t return___nit;
 138 recv___nitni = UNBOX_NativeFile(recv);
 139 return___nitni = file_NativeFile_NativeFile_io_close_0( recv___nitni );
 140 return___nit = TAG_Int(return___nitni);
 141 return return___nit;
 142 }
 143 /* out/indirect function for file::NativeFile::file_stat */
 144 val_t NativeFile_file_stat___out( val_t recv )
 145 {
 146 NativeFile recv___nitni;
 147 FileStat return___nitni;
 148 val_t return___nit;
 149 recv___nitni = UNBOX_NativeFile(recv);
 150 return___nitni = file_NativeFile_NativeFile_file_stat_0( recv___nitni );
 151 return___nit = BOX_FileStat(return___nitni);
 152 return return___nit;
 153 }
 154 /* out/indirect function for file::NativeFileCapable::io_open_read */
 155 val_t NativeFileCapable_io_open_read___out( val_t recv, val_t path )
 156 {
 157 NativeFileCapable recv___nitni;
 158 char * path___nitni;
 159 NativeFile return___nitni;
 160 val_t return___nit;
 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);
 165 return return___nit;
 166 }
 167 /* out/indirect function for file::NativeFileCapable::io_open_write */
 168 val_t NativeFileCapable_io_open_write___out( val_t recv, val_t path )
 169 {
 170 NativeFileCapable recv___nitni;
 171 char * path___nitni;
 172 NativeFile return___nitni;
 173 val_t return___nit;
 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);
 178 return return___nit;
 179 }
 180 /* out/indirect function for file::NativeFileCapable::native_stdin */
 181 val_t NativeFileCapable_native_stdin___out( val_t recv )
 182 {
 183 NativeFileCapable recv___nitni;
 184 NativeFile return___nitni;
 185 val_t return___nit;
 186 recv___nitni.v = recv;
 187 return___nitni = file_NativeFileCapable_NativeFileCapable_native_stdin_0( recv___nitni );
 188 return___nit = BOX_NativeFile(return___nitni);
 189 return return___nit;
 190 }
 191 /* out/indirect function for file::NativeFileCapable::native_stdout */
 192 val_t NativeFileCapable_native_stdout___out( val_t recv )
 193 {
 194 NativeFileCapable recv___nitni;
 195 NativeFile return___nitni;
 196 val_t return___nit;
 197 recv___nitni.v = recv;
 198 return___nitni = file_NativeFileCapable_NativeFileCapable_native_stdout_0( recv___nitni );
 199 return___nit = BOX_NativeFile(return___nitni);
 200 return return___nit;
 201 }
 202 /* out/indirect function for file::NativeFileCapable::native_stderr */
 203 val_t NativeFileCapable_native_stderr___out( val_t recv )
 204 {
 205 NativeFileCapable recv___nitni;
 206 NativeFile return___nitni;
 207 val_t return___nit;
 208 recv___nitni.v = recv;
 209 return___nitni = file_NativeFileCapable_NativeFileCapable_native_stderr_0( recv___nitni );
 210 return___nit = BOX_NativeFile(return___nitni);
 211 return return___nit;
 212 }