mvncenter: org.checkerframework:checkerframework-maven-plugin:1.8.1

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/checker-framework-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

文件下载

文件名	操作
checkerframework-maven-plugin-1.8.1.jar	下载
checkerframework-maven-plugin-1.8.1.pom	下载
checkerframework-maven-plugin-1.8.1-sources.jar	下载

Apache Maven

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

Gradle Groovy

implementation 'org.checkerframework:checkerframework-maven-plugin:1.8.1'

Gradle Kotlin

implementation("org.checkerframework:checkerframework-maven-plugin:1.8.1")

Scala SBT

libraryDependencies += "org.checkerframework" % "checkerframework-maven-plugin" % "1.8.1"

Groovy Grape

@Grapes(
  @Grab(group='org.checkerframework', module='checkerframework-maven-plugin', version='1.8.1')
)

Apache Ivy

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

Leiningen

[org.checkerframework/checkerframework-maven-plugin "1.8.1"]

Apache Buildr

'org.checkerframework:checkerframework-maven-plugin:jar:1.8.1'

本项目依赖

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