Java - gov.nasa.jpf.jvm.Verify Pathfinder包不存在

Question

我正在尝试使用Java Pathfinder并且我有路径查找工具。

import gov.nasa.jpf.jvm.Verify;

user.java:2: package gov.nasa.jpf.jvm does not exist
import gov.nasa.jpf.jvm.Verify;

我需要使用Verify.random函数。谁能告诉我如何解决这个问题？我真的不明白输入我假设的URL是如何工作的。

Answer 1

根本不是URL（除了applet，你没有提到applet）。在编译和运行时，需要将Pathfinder jar放在类路径中，通过-cp到javac和java。

如果它是applet，那就更复杂了。

Answer 2

在一段时间之后使用过Java Pathfinder，我知道它不是applet，因为另一个答案令人担忧。

您收到此错误，因为Java Pathfinder jar文件不在您的类路径中。这是一个完整的Java Pathfinder Getting Started tutorial，可以帮助其他人来到这个旧线程。