3

Java Pathfinder を使用しようとしていますが、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 のインポートがどのように機能するのか、よくわかりません。

4

2 に答える 2

1

しばらく前にJava Pathfinderを使用したことがありますが、他の回答が心配しているように、それはアプレットではないことを知っています。

Java Pathfinder jar ファイルがクラスパスにないため、このエラーが発生しています。これは、この古いスレッドに来る他の人を助けることができる完全なJava Pathfinder Getting Started チュートリアルです。

于 2012-06-06T10:33:53.453 に答える
0

これはまったく URL ではありません (アプレットの場合を除き、アプレットについて言及していません)。コンパイルおよび実行時に、パスファインダー jar をクラスパスに配置する必要があります。-cp を介して javac および java.

アプレットの場合は、より複雑です。

于 2011-05-01T19:44:33.923 に答える