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

【问题标题】：Checker Framework Eclipse Plugin Throws Exception when LoadedChecker Framework Eclipse 插件在加载时抛出异常
【发布时间】：2017-01-05 15:11:28
【问题描述】：

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

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

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

非常感谢！

【问题讨论】：

还有第二条错误信息：The proxied handler for 'org.checkerframework.eclipse.actions.CheckerActions$signednessAction' could not be loaded. org.eclipse.core.runtime.CoreException: Plug-in checker.framework.eclipse.plugin was unable to load class org.checkerframework.eclipse.actions.CheckerActions$signednessAction. at org.eclipse.core.internal.registry.osgi.RegistryStrategyOSGI.throwException(RegistryStrategyOSGI.java:194) at org.eclipse.core.internal.registry.osgi.RegistryStrategyOSGI.createExecutableExtension(RegistryStrategyOSGI.java:178)

标签： java eclipse plugins loading checker-framework

【解决方案1】：

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

【讨论】：

非常感谢，太好了！他们定期发布。我想我会等