0

Eclipseプラグインを使用してCheckerFrameworkを使用したいと思います。依存関係のない単一のプロジェクトがある場合、これは正常に機能するようです。

ただし、Mavenプロジェクトでチェックを実行しようとすると、次のような何百もの警告が表示されます。

cannot find symbol

コンソールに次のレポートが表示されます。

"MainActivity.java:33: error: package de.my.dependency does not exist import de.my.dependency;"

Eclipse CheckerプラグインはMavenの依存関係を解決できないと思いますが、これを修正するためにできることはありますか?

手伝ってくれてありがとう :)

4

2 に答える 2

2

少し時間を割いて、プロジェクトのセットアップに関する関連する詳細を次の問題に追加していただけませんか: checker-framework-185

具体的には、m2eclipse を使用していますか? そして、あなたのセットアップについて何か特別なことはありますか?

返信が遅くなり申し訳ありません。将来、Checker Framework のヘルプを得る最善の方法は、checker フレームワーク ディスカッション グループchecker-framework-discussに投稿するか、バグまたは明らかに不足している機能があると思われる場合は、私たちに問題を作成してください。 Google コードの問題トラッカー。

于 2012-12-18T18:48:14.093 に答える