使用java编译并通过命令行错误使用Hermit Reasoner使用java

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文件。

A .jar文件是一个档案，它已经包含.class文件，所以你不需要编译它，你只需要运行它。

run java的命令是java而不是javac。

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