在 Eclipse 中安装 JML
我正在使用 Eclipse 进行 Java 编程。我尝试通过 Eclipse 的更新程序从 此站点 安装，但尽管如此不引发任何错误，我没有看到他们说我应该看到的菜单。
也许我必须先安装一些东西？也许还有其他更简单的 JML 选项？你们用什么？
I am using Eclipse to program in Java. I tried installing from this site though Eclipse's Updater but although it didn't fire any error, I don't see the menus they say I should.
Maybe I have to install something first? Maybe there other simpler JML options? What you guys use?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
问题是我没有安装JDK（只是Eclipse的独立包）。安装 JDK 并在 Eclipse 中重新安装 JML 就成功了。
The problem was that I didn't have JDK installed (just Eclipse's stand-alone package). Installing the JDK and reinstalling JML in Eclipse did the trick.
您应该打开错误日志视图并查看它是否包含任何相关错误。
You should open the Error Log view and see if it contains any relevant errors.