JarCasting
JarCasting JarCasting
is not current version
Last Version 1.7.5 →

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

Maven plugin for using the checker framework

Categories

Categories

Maven Build Tools
GroupId

GroupId

edu.washington.cs.types.checker
ArtifactId

ArtifactId

checker-maven-plugin
Version

Version

1.7.1
Type

Type

maven-plugin

Download checker-maven-plugin 1.7.1

Filename Size
checker-maven-plugin-1.7.1.pom
checker-maven-plugin-1.7.1.jar 28 KB
checker-maven-plugin-1.7.1-sources.jar 11 KB
checker-maven-plugin-1.7.1-javadoc.jar 59 KB
Browse 

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