Java - gov.nasa.jpf.jvm.验证探路者包不存在
我正在尝试使用 Java Pathfinder 并且我的 Pathfinder 正在工作。
import gov.nasa.jpf.jvm.Verify;
user.java:2: 包 gov.nasa.jpf.jvm 不存在 导入 gov.nasa.jpf.jvm.Verify；
我需要使用Verify.random 函数。谁能告诉我如何解决这个问题？我不太明白我假设的 URL 的输入是如何工作的。
I am attempting use Java Pathfinder and I have pathfinder working.
import gov.nasa.jpf.jvm.Verify;
user.java:2: package gov.nasa.jpf.jvm does not exist import gov.nasa.jpf.jvm.Verify;
I need to use the Verify.random function. Can anyone tell me how to resolve this problem? I don't really understand how the importation of what I am assuming is a URL works.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
使用过 Java Pathfinder 一段时间后，我知道它不是一个小程序，正如其他答案所担心的那样。
您收到此错误是因为 Java Pathfinder jar 文件不在您的类路径上。这是完整的 Java Pathfinder 入门教程可以帮助其他人访问这个旧线程。
Having used Java Pathfinder some time back, I know that its not an applet as the other answer worries.
You are getting this error because the Java Pathfinder jar files are not on your classpath. Here is a complete Java Pathfinder Getting Started tutorial that could help others coming to this old thread.
它根本不是一个 URL（除非是小程序，而且您没有提到小程序）。编译运行时需要将Pathfinder jar放入类路径中，通过-cp转为javac和java。
如果是小程序就更复杂了。
It's not a URL at all (except in the case of applets, and you didn't mention an applet). You need to put the Pathfinder jar in the classpath when compiling and running, via -cp to javac and java.
If it's an applet, it's more complex.