• Groups
• org.checkerframework
• checkerframework-maven-plugin
• 1.8.2

Checker Framework Maven Plugin

The Checker Framework Maven Plugin allows you to easily run the Checker Framework in your Maven build. Directions can be found at: http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#maven-plugin

'org.checkerframework:checkerframework-maven-plugin:1.8.2'

<dependency>
	<groupId>org.checkerframework</groupId>
	<artifactId>checkerframework-maven-plugin</artifactId>
	<version>1.8.2</version>
</dependency>

<dependency org="org.checkerframework" name="checkerframework-maven-plugin" rev="1.8.2"/>

"org.checkerframework", "checkerframework-maven-plugin", "1.8.2"

Dependencies

Compile dependencies

• org.apache.maven » maven-plugin-api » 2.0
• org.apache.maven » maven-project » 2.0
• org.apache.maven » maven-toolchain » 2.0.9
• org.apache.maven.plugins » maven-compiler-plugin » 2.0.2
• org.codehaus.plexus » plexus-compiler-javac » 1.5.3