Download dataflow-shaded JAR 3.48.0 with all dependencies
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.
Files of the artifact dataflow-shaded version 3.48.0 from the group org.checkerframework.
Artifact dataflow-shaded
Group org.checkerframework
Version 3.48.0
Last update 02. October 2024
Tags: based javac been differs this packages second dependencies artifact contains dataflow shaded framework ways unlike have from compiler checkerframework renamed first requires
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.checkerframework
Version 3.48.0
Last update 02. October 2024
Tags: based javac been differs this packages second dependencies artifact contains dataflow shaded framework ways unlike have from compiler checkerframework renamed first requires
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
There is a newer version: 3.48.2
Show newest versionShow all versions of dataflow-shaded Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of dataflow-shaded version 3.48.0
META-INF
org.checkerframework.dataflow.analysis
org.checkerframework.dataflow.busyexpr
org.checkerframework.dataflow.cfg
org.checkerframework.dataflow.cfg.block
org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock
org.checkerframework.dataflow.cfg.builder
org.checkerframework.dataflow.cfg.node
org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.WideningConversionNode
org.checkerframework.dataflow.cfg.playground
org.checkerframework.dataflow.cfg.visualize
org.checkerframework.dataflow.constantpropagation
org.checkerframework.dataflow.expression
org.checkerframework.dataflow.livevariable
org.checkerframework.dataflow.reachingdef
org.checkerframework.dataflow.util
© 2015 - 2024 Weber Informatics LLC | Privacy Policy