c_src/time._nitni.c

   1 #include "time._nitni.h"
   2 #include "time_nit.h"
   3 /* out/indirect function for time::Object::get_time */
   4 val_t Object_get_time___out( val_t recv )
   5 {
   6 Object recv___nitni;
   7 bigint return___nitni;
   8 val_t return___nit;
   9 recv___nitni = malloc( sizeof( struct s_Object ) );
  10 recv___nitni->ref.val = NIT_NULL;
  11 recv___nitni->ref.count = 0;
  12 nitni_local_ref_add( (struct nitni_ref *)recv___nitni );
  13 recv___nitni->ref.val = recv;
  14 return___nitni = kernel_Any_Any_get_time_0( recv___nitni );
  15 return___nit = TAG_Int(return___nitni);
  16 nitni_local_ref_clean(  );
  17 return return___nit;
  18 }