2 Extern implementation of Nit module kernel
7 #include "core__kernel._ffi.h"
9 #include <android/log.h>
10 #define PRINT_ERROR(...) (void)__android_log_print(ANDROID_LOG_WARN, "Nit", __VA_ARGS__)
12 #define PRINT_ERROR(...) fprintf(stderr, __VA_ARGS__)
14 #line 22 "../lib/core/kernel.nit"
19 long kernel___Sys_errno___impl( Sys self
)
21 #line 298 "../lib/core/kernel.nit"
24 unsigned char kernel___Byte_rsh___impl( unsigned char self
, long i
)
26 #line 655 "../lib/core/kernel.nit"
29 uint32_t kernel___Byte_ffi_ascii___impl( unsigned char self
)
31 #line 662 "../lib/core/kernel.nit"
33 return (uint32_t)self
; }
34 long kernel___Int_lsh___impl( long self
, long i
)
36 #line 753 "../lib/core/kernel.nit"
39 long kernel___Int_rsh___impl( long self
, long i
)
41 #line 760 "../lib/core/kernel.nit"
44 uint32_t kernel___Int_cp___impl( long self
)
46 #line 821 "../lib/core/kernel.nit"
48 return (uint32_t)self
; }
49 long kernel___Char_cp___impl( uint32_t self
)
51 #line 969 "../lib/core/kernel.nit"
54 int kernel___Pointer_address_is_null___impl( void* self
)
56 #line 1070 "../lib/core/kernel.nit"
58 return self
== NULL
; }
59 void kernel___Pointer_free___impl( void* self
)
61 #line 1073 "../lib/core/kernel.nit"