使用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作爲文件名的一部分。