d

dataflow-nullaway

dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.nullaway.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
https://checkerframework.org
GNU General Public License, version 2 (GPL2), with the classpath exception
Michael Ernst Suzanne Millstein
文件下载
文件名 操作
dataflow-nullaway-3.19.0.jar 下载
dataflow-nullaway-3.19.0.pom 下载
dataflow-nullaway-3.19.0-sources.jar 下载
Apache Maven
<dependency>
  <groupId>org.checkerframework</groupId>
  <artifactId>dataflow-nullaway</artifactId>
  <version>3.19.0</version>
</dependency>
Gradle Groovy
implementation 'org.checkerframework:dataflow-nullaway:3.19.0'
Gradle Kotlin
implementation("org.checkerframework:dataflow-nullaway:3.19.0")
Scala SBT
libraryDependencies += "org.checkerframework" % "dataflow-nullaway" % "3.19.0"
Groovy Grape
@Grapes(
  @Grab(group='org.checkerframework', module='dataflow-nullaway', version='3.19.0')
)
Apache Ivy
<dependency org="org.checkerframework" name="dataflow-nullaway" rev="3.19.0" />
Leiningen
[org.checkerframework/dataflow-nullaway "3.19.0"]
Apache Buildr
'org.checkerframework:dataflow-nullaway:jar:3.19.0'
本项目依赖
该项目无第三方依赖