c_src/standard___time._sep.h

   1 /* This C header file is generated by NIT to compile modules and programs that requires ../lib/standard/time. */
   2 #ifndef standard___time_sep
   3 #define standard___time_sep
   4 #include "standard___kernel._sep.h"
   5 #include <nit_common.h>
   6 #include "time._nitni.h"
   7 extern const char LOCATE_standard___time[];
   8 extern const int SFT_standard___time[];
   9 #define CALL_standard___time___Object___get_time(recv) ((standard___time___Object___get_time_t)CALL((recv), (SFT_standard___time[0] + 0)))
  10 #define CALL_standard___time___Sys___nanosleep(recv) ((standard___time___Sys___nanosleep_t)CALL((recv), (SFT_standard___time[1] + 0)))
  11 val_t standard___time___Object___get_time(val_t p0);
  12 typedef val_t (*standard___time___Object___get_time_t)(val_t p0);
  13 void standard___time___Sys___nanosleep(val_t p0, val_t p1, val_t p2);
  14 typedef void (*standard___time___Sys___nanosleep_t)(val_t p0, val_t p1, val_t p2);
  15 val_t NEW_Sys_standard___kernel___Sys___init();
  16 #endif