Checker Framework Eclipse 插件加载时抛出异常

Checker Framework Eclipse Plugin Throws Exception when Loaded

我安装了 Eclipse 4.6.2 和插件 "Checker Framework Feature" 2.1.7。

首次使用插件时(例如,当我右键单击并将鼠标悬停在上下文菜单项上时 "Checker Framework/Run Built-in Checker"),eclipse 错误日志中出现以下错误:

Plug-in checker.framework.eclipse.plugin was unable to load class org.checkerframework.eclipse.actions.CheckerActions$signednessAction.

java.lang.NoClassDefFoundError: org/checkerframework/eclipse/actions/CheckerActions$signednessAction (wrong name: org/checkerframework/eclipse/actions/CheckerActions$SignednessAction)
    at java.lang.ClassLoader.defineClass1(Native Method)
    at java.lang.ClassLoader.defineClass(Unknown Source)
...

class SignednessAction 的大写/小写似乎有问题...

有人可以帮忙吗?我很想使用检查器框架!

非常感谢!

您对大小写不匹配的分析是正确的。提交 fa8ee98 修复了错误。您可以从版本控制存储库重新构建 Checker Framework Eclipse 插件。或者,Checker Framework 开发人员通常愿意为您提供修复错误的私有版本,这样您就不必等到下一个版本。您可以发送电子邮件至 checker-framework-dev@googlegroups.com.