Dataflow (shaded)

dataflow-shaded 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.shaded.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

<dependency>
    <groupId>org.checkerframework</groupId>
    <artifactId>dataflow-shaded</artifactId>
    <version>3.43.0</version>
</dependency>

compile group: 'org.checkerframework', name: 'dataflow-shaded', version: '3.43.0'

compile 'org.checkerframework:dataflow-shaded:3.43.0'

libraryDependencies += "org.checkerframework" % "dataflow-shaded" % "3.43.0"

<dependency org="org.checkerframework" name="dataflow-shaded" rev="3.43.0"/>

@Grapes(
            @Grab(group='org.checkerframework', module='dataflow-shaded', version='3.43.0')
        )

[org.checkerframework/dataflow-shaded "3.43.0"]

'org.checkerframework:dataflow-shaded:jar:3.43.0'