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
Files download
File Operation
dataflow-nullaway-3.48.3.jar download
dataflow-nullaway-3.48.3.pom download
dataflow-nullaway-3.48.3-sources.jar download
Apache Maven
<dependency>
  <groupId>org.checkerframework</groupId>
  <artifactId>dataflow-nullaway</artifactId>
  <version>3.48.3</version>
</dependency>
Gradle Groovy
implementation 'org.checkerframework:dataflow-nullaway:3.48.3'
Gradle Kotlin
implementation("org.checkerframework:dataflow-nullaway:3.48.3")
Scala SBT
libraryDependencies += "org.checkerframework" % "dataflow-nullaway" % "3.48.3"
Groovy Grape
@Grapes(
  @Grab(group='org.checkerframework', module='dataflow-nullaway', version='3.48.3')
)
Apache Ivy
<dependency org="org.checkerframework" name="dataflow-nullaway" rev="3.48.3" />
Leiningen
[org.checkerframework/dataflow-nullaway "3.48.3"]
Apache Buildr
'org.checkerframework:dataflow-nullaway:jar:3.48.3'