0

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 Framework を使用したいです。

本当にありがとう！

4

1 に答える 1

1

大文字と小文字の不一致に関するあなたの分析は正しいです。fa8ee98をコミットすると、バグが修正されます。バージョン管理リポジトリから Checker Framework Eclipse プラグインを再構築できます。または、Checker Framework の開発者は、多くの場合、バグを修正するプライベート リリースを喜んで作成してくれるので、次のリリースまで待つ必要はありません。checker-framework-dev@googlegroups.com にメールを送信できます。

于 2017-01-05T16:22:41.787 に答える