使用 java [重复] 使用 Hermit Reasoner 通过命令行错误编译和执行

Question

为了了解如何编译和运行 Hermit Reasoner，我下载了文件 (Hermit.zip) 并下载了 Demo.java 的源代码并将其放在我的文件夹中。当我尝试按照 Hermit 网站上的说明进行操作时，出现此错误。 javac -cp HermiT.jar Demo.java

javac -cp .;Hermit.jar Demo
error: Class names, 'Demo', are only accepted if annotation processing is explicitly requested
1 error

我需要帮助来解决它。

Answer 1

javac 是将.java 文件编译 成.class 文件的命令。

.jar 文件是已经包含.class 文件的存档，因此您无需编译它，只需运行它即可。

运行 java的命令是java而不是javac。

或者，如果您实际上是在编译，那么您需要将.java 指定为文件名的一部分。