c

checkerframework-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/checkers-manual.html#maven-plugin
http://checkerframework.org
GNU General Public License, version 2 (GPL2), with the classpath exception The Apache Software License, Version 2.0
Michael Ernst Werner M. Dietl Suzanne Millstein David McArthur David McArthur Dan Brown Jonathan G. Burke
maven your easily build framework checker plugin manual directions washington allows http checkers current html types found
Files download
File Operation
checkerframework-maven-plugin-1.8.0.jar download
checkerframework-maven-plugin-1.8.0.pom download
checkerframework-maven-plugin-1.8.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>org.checkerframework</groupId>
  <artifactId>checkerframework-maven-plugin</artifactId>
  <version>1.8.0</version>
  <type>maven-plugin</type>
</dependency>
Gradle Groovy 
implementation 'org.checkerframework:checkerframework-maven-plugin:1.8.0'
Gradle Kotlin 
implementation("org.checkerframework:checkerframework-maven-plugin:1.8.0")
Scala SBT 
libraryDependencies += "org.checkerframework" % "checkerframework-maven-plugin" % "1.8.0"
Groovy Grape 
@Grapes(
  @Grab(group='org.checkerframework', module='checkerframework-maven-plugin', version='1.8.0')
)
Apache Ivy 
<dependency org="org.checkerframework" name="checkerframework-maven-plugin" rev="1.8.0" />
Leiningen 
[org.checkerframework/checkerframework-maven-plugin "1.8.0"]
Apache Buildr 
'org.checkerframework:checkerframework-maven-plugin:jar:1.8.0'
Dependencies

compile

|-- org.apache.maven:maven-toolchain:2.0.9

|-- org.apache.maven:maven-plugin-api:2.0

|-- org.apache.maven:maven-project:2.0

|-- org.apache.maven.plugins:maven-compiler-plugin:2.0.2

|-- org.codehaus.plexus:plexus-compiler-javac:1.5.3