c_src/time._sep.c

   1 /* This C file is generated by NIT to compile module time. */
   2 #include "time._sep.h"
   3 val_t time___Object___get_time(val_t p0){
   4   struct {struct stack_frame_t me;} fra;
   5   val_t REGB0;
   6   val_t tmp;
   7   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   8   fra.me.file = LOCATE_time;
   9   fra.me.line = 18;
  10   fra.me.meth = LOCATE_time___Object___get_time;
  11   fra.me.has_broke = 0;
  12   fra.me.REG_size = 1;
  13   fra.me.REG[0] = NIT_NULL;
  14   fra.me.REG[0] = p0;
  15   /* ./../lib/standard//time.nit:18 */
  16   REGB0 = TAG_Int(kernel_Any_Any_get_time_0(fra.me.REG[0]));
  17   stack_frame_head = fra.me.prev;
  18   return REGB0;
  19 }