update NOTICE and LICENSE
[nit.git] / c_src / time._sep.h
index b8a08ba..3dec14d 100644 (file)
@@ -1,11 +1,13 @@
 /* This C header file is generated by NIT to compile modules and programs that requires time. */
-#ifndef time__sep
-#define time__sep
+#ifndef time_sep
+#define time_sep
 #include "kernel._sep.h"
 #include <nit_common.h>
 #include <time_nit.h>
+extern const char *LOCATE_time;
 extern const int SFT_time[];
-#define COLOR_time___Object___get_time SFT_time[0]
-typedef val_t (* time___Object___get_time_t)(val_t  self);
-val_t time___Object___get_time(val_t  self);
+#define CALL_time___Object___get_time(recv) ((time___Object___get_time_t)CALL((recv), (SFT_time[0] + 0)))
+static const char * const LOCATE_time___Object___get_time = "time::Object::get_time";
+val_t time___Object___get_time(val_t p0);
+typedef val_t (*time___Object___get_time_t)(val_t p0);
 #endif