Microsoft.Z3.dll は、ファイルのプロパティに Z3 Managed DLL として記述されています。
Java は dll をロードできます。プログラマーの好みに応じて、System.loadLibrary または System.load を使用してこれを行います。
Java 設計者が DLL も作成する場合は、javah を使用してインポート/エクスポート宣言を定義できます。残念ながら、それは私の場合ではありません。DLL は、マネージ C# DLL として Microsoft によって既に作成されています。
Microsoft RISE Z3 マネージ APIで見つかったような C# 宣言を取得し、呼び出しを成功させるために Java パッケージ/クラスのプロトタイプを作成する助けが必要です。(DLLがロードされていると確信しています)。
簡単にするために、特定の呼び出しは Microsoft.Z3.h の 03042 行でMicrosoftによって定義されています。サンプルコードは大歓迎です!
サーバーから取得しているエラーは次のとおりです。
java.lang.UnsatisfiedLinkError: Microsoft.Z3.GetVersion(
LMicrosoft/Z3$IntPtr;
LMicrosoft/Z3$IntPtr;
LMicrosoft/Z3$IntPtr;
LMicrosoft/Z3$IntPtr;)V
at Microsoft.Z3.GetVersion(Native Method)
at Microsoft.Z3.z3VersionString(Z3.java:81)
at DatabaseXml.XmlTest(DatabaseXml.java:66)
at DatabaseXml.doGet(DatabaseXml.java:124)
at javax.servlet.http.HttpServlet.service(HttpServlet.java:621)
at javax.servlet.http.HttpServlet.service(HttpServlet.java:722)
at org.apache.catalina.core.ApplicationFilterChain.internalDoFilter(ApplicationFilterChain.java:304)
at org.apache.catalina.core.ApplicationFilterChain.doFilter(ApplicationFilterChain.java:210)
at org.apache.catalina.core.StandardWrapperValve.invoke(StandardWrapperValve.java:240)
at org.apache.catalina.core.StandardContextValve.invoke(StandardContextValve.java:164)
at org.apache.catalina.authenticator.AuthenticatorBase.invoke(AuthenticatorBase.java:462)
at org.apache.catalina.core.StandardHostValve.invoke(StandardHostValve.java:164)
at org.apache.catalina.valves.ErrorReportValve.invoke(ErrorReportValve.java:100)
at org.apache.catalina.valves.AccessLogValve.invoke(AccessLogValve.java:562)
at org.apache.catalina.core.StandardEngineValve.invoke(StandardEngineValve.java:118)
at org.apache.catalina.connector.CoyoteAdapter.service(CoyoteAdapter.java:395)
at org.apache.coyote.http11.Http11Processor.process(Http11Processor.java:250)
at org.apache.coyote.http11.Http11Protocol$Http11ConnectionHandler.process(Http11Protocol.java:188)
at org.apache.tomcat.util.net.JIoEndpoint$SocketProcessor.run(JIoEndpoint.java:302)
at java.util.concurrent.ThreadPoolExecutor$Worker.runTask(Unknown Source)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(Unknown Source)
at java.lang.Thread.run(Unknown Source)