Possible bug in jextract C header definition?

Mark Hammons mark.hammons at inaf.cnrs-gif.fr
Sat Aug 3 20:04:57 UTC 2019


Hi all,

I am starting afresh with my project to make a java based wayland 
compositor, and the wayland and wlroots libraries have changed since I 
last worked with them. It seems jextract is having trouble with a 
function pointer defined in wayland-util.h:

typedef void (*wl_log_func_t)(const char *, va_list) WL_PRINTF(1, 0);

is turned into:

     @FunctionalInterface
     @NativeCallback("(u64:u8u64:${__va_list_tag})v")
     public interface FI11 {
         void fn(Pointer<Byte> var1, 
Pointer<usr.include.wayland.wayland_server_core.__va_list_tag> var2);
     }

va_list is not part of wayland_server_core, or any other wayland library 
and is defined in stdarg.h

     @Target(ElementType.TYPE_USE)
     @Retention(RetentionPolicy.RUNTIME)
     public @interface va_list {
     }

for some reason jextract is not picking that up.



More information about the panama-dev mailing list