Download dataflow JAR 2.0.1 with all dependencies

Dataflow is a dataflow framework based on the javac compiler.

Files of the artifact dataflow version 2.0.1 from the group org.checkerframework.

Test

Artifact dataflow
Group org.checkerframework
Version 2.0.1
Last update 01. June 2016
Organization not specified
URL https://checkerframework.org/
License GNU General Public License, version 2 (GPL2), with the classpath exception
Dependencies amount 3
Dependencies javacutil, checker-qual, plume-util,
There are maybe transitive dependencies!

There is a newer version: 3.48.4

Show newest version

Show more of this group Show more artifacts with this name
Show all versions of dataflow Show documentation

Please rate this JAR file. Is it a good library?

11 downloads

Source code of dataflow version 2.0.1

META-INF

META-INF.META-INF.MANIFEST.MF

org.checkerframework.dataflow.analysis

org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.AbstractValue

org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.Analysis

org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.AnalysisResult

org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ConditionalTransferResult

org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.FlowExpressions

org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.RegularTransferResult

org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.Store

org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.TransferFunction

org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.TransferInput

org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.TransferResult

org.checkerframework.dataflow.cfg

org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.CFGBuilder

org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.CFGVisualizer

org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.ControlFlowGraph

org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.DOTCFGVisualizer

org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.JavaSource2CFGDOT

org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.UnderlyingAST

org.checkerframework.dataflow.cfg.block

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.Block

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.BlockImpl

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ConditionalBlock

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ExceptionBlock

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.RegularBlock

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.RegularBlockImpl

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SpecialBlock

org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SpecialBlockImpl

org.checkerframework.dataflow.cfg.node

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ArrayAccessNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ArrayCreationNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ArrayTypeNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.AssertionErrorNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.AssignmentContext

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.AssignmentNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseAndNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseComplementNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseOrNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseXorNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BooleanLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.CaseNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.CharacterLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ClassNameNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ConditionalAndNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ConditionalNotNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ConditionalOrNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.DoubleLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.EqualToNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FieldAccessNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FloatLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FloatingDivisionNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FloatingRemainderNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.GreaterThanNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.InstanceOfNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.IntegerDivisionNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.IntegerLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.IntegerRemainderNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LeftShiftNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LessThanNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LocalVariableNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LongLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.MarkerNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.MethodAccessNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.MethodInvocationNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NarrowingConversionNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.Node

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NodeVisitor

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NotEqualNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NullChkNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NullLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalAdditionNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalMinusNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalPlusNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ObjectCreationNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.PackageNameNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ReturnNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ShortLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SignedRightShiftNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.StringConcatenateNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.StringConversionNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.StringLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SuperNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SynchronizedNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.TernaryExpressionNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ThisLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ThrowNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.TypeCastNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ValueLiteralNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.VariableDeclarationNode

org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.WideningConversionNode

org.checkerframework.dataflow.cfg.playground

org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground

org.checkerframework.dataflow.constantpropagation

org.checkerframework.dataflow.constantpropagation.org.checkerframework.dataflow.constantpropagation.Constant

org.checkerframework.dataflow.constantpropagation.org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore

org.checkerframework.dataflow.constantpropagation.org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer

org.checkerframework.dataflow.qual

org.checkerframework.dataflow.qual.org.checkerframework.dataflow.qual.Deterministic

org.checkerframework.dataflow.qual.org.checkerframework.dataflow.qual.Pure

org.checkerframework.dataflow.qual.org.checkerframework.dataflow.qual.SideEffectFree

org.checkerframework.dataflow.qual.org.checkerframework.dataflow.qual.TerminatesExecution

org.checkerframework.dataflow.util

org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.HashCodeUtils

org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.MostlySingleton

org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.NodeUtils

org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.PurityChecker

org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.PurityUtils