c_src/stream._nitni.c

   1 #include "stream._nitni.h"
   2 #include "stream_nit.h"
   3 /* out/indirect function for stream::FDStream::native_close */
   4 val_t FDStream_native_close___out( val_t recv, val_t i )
   5 {
   6 FDStream recv___nitni;
   7 bigint i___nitni;
   8 bigint return___nitni;
   9 val_t return___nit;
  10 recv___nitni.v = recv;
  11 i___nitni = UNTAG_Int(i);
  12 return___nitni = stream_FDStream_FDStream_native_close_1( recv___nitni, i___nitni );
  13 return___nit = TAG_Int(return___nitni);
  14 return return___nit;
  15 }
  16 /* out/indirect function for stream::FDStream::native_read_char */
  17 val_t FDStream_native_read_char___out( val_t recv, val_t i )
  18 {
  19 FDStream recv___nitni;
  20 bigint i___nitni;
  21 bigint return___nitni;
  22 val_t return___nit;
  23 recv___nitni.v = recv;
  24 i___nitni = UNTAG_Int(i);
  25 return___nitni = stream_FDStream_FDStream_native_read_char_1( recv___nitni, i___nitni );
  26 return___nit = TAG_Int(return___nitni);
  27 return return___nit;
  28 }
  29 /* out/indirect function for stream::FDStream::native_read */
  30 val_t FDStream_native_read___out( val_t recv, val_t i, val_t buf, val_t len )
  31 {
  32 FDStream recv___nitni;
  33 bigint i___nitni;
  34 char * buf___nitni;
  35 bigint len___nitni;
  36 bigint return___nitni;
  37 val_t return___nit;
  38 recv___nitni.v = recv;
  39 i___nitni = UNTAG_Int(i);
  40 buf___nitni = UNBOX_NativeString(buf);
  41 len___nitni = UNTAG_Int(len);
  42 return___nitni = stream_FDStream_FDStream_native_read_3( recv___nitni, i___nitni, buf___nitni, len___nitni );
  43 return___nit = TAG_Int(return___nitni);
  44 return return___nit;
  45 }
  46 /* out/indirect function for stream::FDStream::native_write */
  47 val_t FDStream_native_write___out( val_t recv, val_t i, val_t buf, val_t len )
  48 {
  49 FDStream recv___nitni;
  50 bigint i___nitni;
  51 char * buf___nitni;
  52 bigint len___nitni;
  53 bigint return___nitni;
  54 val_t return___nit;
  55 recv___nitni.v = recv;
  56 i___nitni = UNTAG_Int(i);
  57 buf___nitni = UNBOX_NativeString(buf);
  58 len___nitni = UNTAG_Int(len);
  59 return___nitni = stream_FDStream_FDStream_native_write_3( recv___nitni, i___nitni, buf___nitni, len___nitni );
  60 return___nit = TAG_Int(return___nitni);
  61 return return___nit;
  62 }