Microsoft.Z3.dll 在文件属性中被描述为 Z3 托管 DLL。
Java可以加载dll。它使用 System.loadLibrary 或 System.load 执行此操作,具体取决于程序员的偏好。
如果 Java 设计者还创建了 DLL,则可以使用 javah 来定义导入/导出声明。不幸的是,这不是我的情况。Microsoft 已将 DLL 创建为托管 C# DLL。
我需要一些帮助来获取 C# 声明,例如在Microsoft RISE Z3 托管 API中找到的声明,并对Java 包/类进行原型设计以使调用成功。(我确信 DLL 已加载)。
为方便起见,具体调用由 Microsoft 在 Microsoft.Z3.h 的第 03042 行定义。任何示例代码将不胜感激!
我从我的服务器得到的错误是:
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)