Я надеялся, что управляемая версия DLL будет иметь некоторую нативную совместимость с Java. Это не так. Таким образом, ответ состоит в том, чтобы сгенерировать новую DLL, которая реализует JNI-совместимый протокол вызова, как описано в Шен Ляна "Собственный интерфейс Java ™: Руководство программиста и спецификация" . Некоторые полезные руководства были найдены на сайте Дэвида Колдуэлла: InOnIt
Большая часть исходного кода C была извлечена из Scala ^ Z3, и окончательная версия:
#include "stdafx.h"
#include <jni.h>
#include "z3.h"
// #include "z3_api.h" (z3.h automatically includes z3_api.h)
#include "HelloWorld.h"
#ifdef __cplusplus
extern "C" {
#endif
JNIEXPORT void JNICALL Java_example_jni_HelloWorld_getVersion (
JNIEnv * env,
jclass cls,
jobject major,
jobject minor,
jobject buildNumber,
jobject revisionNumber
) {
unsigned int cmaj, cmin, bn, rv;
jclass ipc;
jfieldID fid;
Z3_get_version(&cmaj, &cmin, &bn, &rv);
ipc = (env)->GetObjectClass(major);
fid = (env)->GetFieldID(ipc, "value", "I");
(env)->SetIntField(major, fid, (jint)cmaj);
ipc = (env)->GetObjectClass(minor);
fid = (env)->GetFieldID(ipc, "value", "I");
(env)->SetIntField(minor, fid, (jint)cmin);
ipc = (env)->GetObjectClass(buildNumber);
fid = (env)->GetFieldID(ipc, "value", "I");
(env)->SetIntField(buildNumber, fid, (jint)bn);
ipc = (env)->GetObjectClass(revisionNumber);
fid = (env)->GetFieldID(ipc, "value", "I");
(env)->SetIntField(revisionNumber, fid, (jint)rv);
}
#ifdef __cplusplus
}
#endif
Заголовочные файлы поступают из нескольких источников: jni.h и его зависимости поставляются с JDK и находятся в его каталогах include и include \ win32. z3.h и z3_api происходят из Microsoft RISE Z3 и устанавливаются в C: \ Program Files (x86) \ Microsoft Research \ Z3-3.2 \ include. Microsoft RISE также предоставляет z3.lib, который находится в C: \ Program Files (x86) \ Microsoft Research \ Z3-3.2 \ bin; вам нужно будет связать это с приведенным выше кодом в проекте Win32 DLL с именем Z3GetVersion_Release.dll.
HelloWorld.h генерируется javah (см. Пример InOnIt). Чтобы сгенерировать HelloWorld.h, вам нужен следующий класс Java в файле с именем HelloWorld.java.
package example.jni;
public class HelloWorld {
private static final String LIB_SEPARATOR = "\\";
private static final String LIB_NAME = "Z3GetVersion_Release";
private static final String LIB_EXT = ".dll";
/** Placeholder class to ease JNI interaction. */
public static class IntPtr {
public int value;
}
// this is just to force class loading, and therefore library loading.
public static void init() { }
static {
String curDir = System.getProperty("user.dir");
try {
System.load(curDir + LIB_SEPARATOR + LIB_NAME + LIB_EXT);
} catch (UnsatisfiedLinkError e) {
System.out.println("Library could not be found in directory:" + curDir );
} catch (SecurityException e) {
System.out.println("Security permissions prevented loading library from directory:" + curDir );
}
}
/*private static void getVersion(IntPtr major, IntPtr minor, IntPtr buildNumber, IntPtr revisionNumber)
{
major.value=0;
minor.value=0;
buildNumber.value=0;
revisionNumber.value=0;
}*/
private static native void getVersion(IntPtr major, IntPtr minor, IntPtr buildNumber, IntPtr revisionNumber);
public static String z3VersionString() {
IntPtr major = new IntPtr();
IntPtr minor = new IntPtr();
IntPtr buildNumber = new IntPtr();
IntPtr revisionNumber = new IntPtr();
getVersion(major, minor, buildNumber, revisionNumber);
return "Z3 " + major.value + "." + minor.value + " (build " + buildNumber.value + ", rev. " + revisionNumber.value + ")";
}
public static void main(String[] args) {
System.out.println(z3VersionString());
}
}
В примере кода предполагается, что вы скопировали все dll из C: \ Program Files (x86) \ Microsoft Research \ Z3-3.2 \ bin в ваш рабочий каталог, и вы указали java.exe на правильный путь к классу, где находится ваш скомпилированный java классы расположены. Если все идет хорошо, команда «java example.jni.HelloWorld» выдаст ответ: Z3 3.2 (сборка 0, рев. 0)