Question

我安装了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)
...

似乎SutchnessAction类的大写/小写有问题...

有人可以帮忙吗？我很想使用Checker Framework！

非常感谢！

Answer 1

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

Checker Framework Eclipse插件在加载时引发异常

1 个答案: