JarCasting
JarCasting JarCasting

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

License

License
Categories

Categories

Maven Build Tools
GroupId

GroupId

org.checkerframework
ArtifactId

ArtifactId

checkerframework-maven-plugin
Last Version

Last Version

1.8.2
Release Date

Release Date
Type

Type

maven-plugin
Description

Description

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
Project URL

Project URL

http://checkerframework.org
Source Code Management

Source Code Management

https://code.google.com/p/checker-framework/

Download checkerframework-maven-plugin

Filename Size
checkerframework-maven-plugin-1.8.2.pom
checkerframework-maven-plugin-1.8.2.jar 32 KB
checkerframework-maven-plugin-1.8.2-sources.jar 14 KB
checkerframework-maven-plugin-1.8.2-javadoc.jar 596 bytes
Browse

How to add to project

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

Dependencies

compile (5)

Group / Artifact Type Version
org.apache.maven : maven-toolchain jar 2.0.9
org.apache.maven : maven-plugin-api jar 2.0
org.apache.maven : maven-project jar 2.0
org.apache.maven.plugins : maven-compiler-plugin jar 2.0.2
org.codehaus.plexus : plexus-compiler-javac jar 1.5.3

Project Modules

There are no modules declared in this project.

Versions

Version
1.8.2
1.8.1
1.8.0