2012-11-18 58 views

回答

2

您不需要使用特殊的Jenkins插件,如Analysis Collector。

Checker框架發出與javac相同的警告和錯誤(因爲Checker Framework是javac的插件)。因此,無論您已經用於使Jenkins報告編譯器警告和錯誤的機制都適用於Checker框架。作爲提示,如果您使用-Awarns命令行參數將可插入類型檢查錯誤視爲警告,那麼您還需要配置Jenkins任務,如下所示:將「構建後的操作」設置爲「掃描編譯器警告」,解析器爲「Java編譯器」。

+1

類型的工作,但是我看到「_warning:不兼容類型在assignment_」在Jenkins的「Java警告」中,而控制檯也顯示「_could不解析錯誤信息:發現:@ReadOnly類 required:@Mutable Class _「?我也嘗試設置' -Awarns -Xmaxwarns 10000'(並且刪除了' false'),但是這會導致編譯器輸出錯誤而不是警告? – matsev

+0

提交了一個[issue](http://code.google.com/p/checker-framework/issues/detail?id=177),其中描述了使用'-Awarns'標記導致編譯器錯誤的殘疾。 – matsev