在Eclipse中安装JML

Question

我正在使用Eclipse进行Java编程。我尝试通过Eclipse的Updater从this site进行安装，但虽然没有引发任何错误，但我没有看到他们说我应该这样做的菜单。

也许我得先安装一些东西？也许还有其他更简单的JML选项？你们用什么？

Answer 1

问题是我没有安装JDK（只是Eclipse的独立软件包）。在Eclipse中安装JDK并重新安装JML有诀窍。

Answer 2

您应该打开错误日志视图，看它是否包含任何相关的错误。