Checker Framework reporting in Jenkins?

Question

How can I configure so that warnings that are issued by the Checker Framework are picked up and reported in Jenkins (e.g. by using the Analysis Collector Plugin)?

For the record, I am using maven and the checkersplugin with the <failOnError> configuration set to false, and the Checker Framework warnings are displayed in the console output in Jenkins.

Answer 1

You are not required to use a special Jenkins plugin such as Analysis Collector.

The Checker Framework issues warnings and errors that are identical to those of javac (because the Checker Framework is a plug-in to javac). Therefore, whatever mechanism you already use to make Jenkins report compiler warnings and errors will work for the Checker Framework.

As a tip, if you are using the -Awarns command-line argument to treat pluggable type-checking errors as warnings, then you will also want to configure the Jenkins task as follows: Set "post-build actions" to "scan for compiler warnings", with parser "Java compiler".