在Eclipse中安裝JML

Question

我正在使用Eclipse進行Java編程。我嘗試通過Eclipse的Updater從this site進行安裝，但雖然沒有引發任何錯誤，但我沒有看到他們說我應該這樣做的菜單。

也許我得先安裝一些東西？也許還有其他更簡單的JML選項？你們用什麼？

Answer 1

問題是我沒有安裝JDK（只是Eclipse的獨立軟件包）。在Eclipse中安裝JDK並重新安裝JML有訣竅。

Answer 2

您應該打開錯誤日誌視圖，看它是否包含任何相關的錯誤。