edu.washington.cs.types.checker:checker-maven-plugin 1.5.0

Maven plugin for using the checker framework

Categories	Maven Build Tools
GroupId	edu.washington.cs.types.checker
ArtifactId	checker-maven-plugin
Version	1.5.0
Type	maven-plugin

Download checker-maven-plugin 1.5.0

Filename	Size
checker-maven-plugin-1.5.0.pom
checker-maven-plugin-1.5.0.jar	27 KB
checker-maven-plugin-1.5.0-sources.jar	10 KB
checker-maven-plugin-1.5.0-javadoc.jar	57 KB

Apache Maven

<plugin>
    <groupId>edu.washington.cs.types.checker</groupId>
    <artifactId>checker-maven-plugin</artifactId>
    <version>1.5.0</version>
</plugin>