使用java通过Hermit Reasoner通过命令行错误编译和排除

Question

要了解如何编译和运行Hermit Reasoner，我下载了文件（Hermit.zip）并下载了Demo.java的源代码并将其放在我的文件夹中。当我尝试在隐士网站上遵循此指令时，我收到此错误。 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作为文件名称的一部分。