Оберните файл заголовка C, чтобы использовать его с DLL и JNA (erator) - PullRequest
Новая
       42

Оберните файл заголовка C, чтобы использовать его с DLL и JNA (erator)

0 голосов
/ 26 мая 2011

У меня есть заголовок C для определенной библиотеки, к которой мне нужно получить доступ. Поэтому я использовал JNAerator для скучных переходов кода - после того, как я прочитал, что люди рекомендуют его в наши дни. Кажется довольно твердым из того, что я вижу: 

public class Z3_apiLibrary implements Library {
public static final String JNA_LIBRARY_NAME = LibraryExtractor.getLibraryPath("z3_api", true, z3_api.Z3_apiLibrary.class);

    public static final NativeLibrary JNA_NATIVE_LIB = NativeLibrary.getInstance(JNA_LIBRARY_NAME, com.ochafik.lang.jnaerator.runtime.MangledFunctionMapper.DEFAULT_OPTIONS);

static {
    Native.register(JNA_LIBRARY_NAME);
    }
public static interface Z3_lbool {
public static final int Z3_L_FALSE = -1;
public static final int Z3_L_UNDEF = 0;
public static final int Z3_L_TRUE = 1;
};

public static interface Z3_symbol_kind {
public static final int Z3_INT_SYMBOL = 0;
public static final int Z3_STRING_SYMBOL = 1;
};

Полный код у меня на GitHub .

Теперь я хочу создать экземпляр dll как объект и передать информацию заголовка из моего написанного интерфейса в качестве оболочки: 

public class z3_Solver {

   public static void main(String[] args) {
    Z3_apiLibrary solver = (Z3_apiLibrary) Native.loadLibrary("z3", Z3_apiLibrary.class);
    Z3_apiLibrary config = new Z3_apiLibrary.Z3_config(); // will not work!


   }

К моему удивлению, это не работает. .Z3_config () является абстрактным. mk_config является статическим и нативным. Так что я не могу разрешить это тоже .... На самом деле я подумал, что нужно передать Path в функцию Native.loadLibrary в качестве параметра, чтобы найти DLL. Я поместил DLL в тот же путь, что и класс Java. Что сбивает с толку, и я подозреваю, что также неправильно.

Так каков правильный способ создания интерфейса, сгенерированного JNAerator?

1 Ответ

1 голос
/ 26 мая 2011

Заголовок, который вы разместили, не определяет, что такое Z3_config, он только говорит DEFINE_TYPE (Z3_config); В этом заголовке недостаточно информации для создания правильной привязки. Очистите заголовок, удалите все #ifdef и т. Д., Укажите, какими должны быть эти типы, а затем попробуйте снова сгенерировать код.

...