Java - gov.nasa.jpf.jvm.Verify Пакет Pathfinder не существует

Я пытаюсь использовать 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.

Источник

2 ответа

Решение

Это вообще не URL (кроме случая с апплетами, и вы не упомянули апплет). Вам нужно поместить jar Pathfinder в classpath при компиляции и запуске, через -cp для javac и java.

Если это апплет, то он более сложный.

Источник

Пользуясь Java Pathfinder некоторое время назад, я знаю, что это не апплет, как беспокоит другой ответ.

Вы получаете эту ошибку, потому что jar-файлы Java Pathfinder отсутствуют в вашем classpath. Вот полное руководство по началу работы с Java Pathfinder, которое может помочь другим, кто придет в этот старый поток.

Источник
Другие вопросы по тегам