All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

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!
There is a newer version: 3.47.0
Show newest version
Show more of this group  Show more artifacts with this name
Show 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
META-INF.META-INF.LICENSE.txt
META-INF.META-INF.MANIFEST.MF
org.checkerframework.dataflow.analysis
org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.AbstractAnalysis
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.BackwardAnalysis
org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.BackwardTransferFunction
org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ConditionalTransferResult
org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ForwardAnalysis
org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ForwardTransferFunction
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.analysis.org.checkerframework.dataflow.analysis.UnusedAbstractValue
org.checkerframework.dataflow.busyexpr
org.checkerframework.dataflow.busyexpr.org.checkerframework.dataflow.busyexpr.BusyExprStore
org.checkerframework.dataflow.busyexpr.org.checkerframework.dataflow.busyexpr.BusyExprTransfer
org.checkerframework.dataflow.busyexpr.org.checkerframework.dataflow.busyexpr.BusyExprValue
org.checkerframework.dataflow.cfg
org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.CFGProcessor
org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.ControlFlowGraph
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.builder
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGBuilder
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseTwo
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.ConditionalJump
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.ExtendedNode
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.Label
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.LabelCell
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.MissingEdge
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.NodeHolder
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.NodeWithExceptionsHolder
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.PhaseOneResult
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TreeInfo
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryCatchFrame
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryFinallyFrame
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryFinallyScopeMap
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryFrame
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryStack
org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.UnconditionalJump
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.AssignmentNode
org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BinaryOperationNode
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.CatchMarkerNode
org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
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.DeconstructorPatternNode
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.ExplicitThisNode
org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ExpressionStatementNode
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.ImplicitThisNode
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.LambdaResultExpressionNode
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.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.SwitchExpressionNode
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.ThisNode
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.UnaryOperationNode
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.BusyExpressionPlayground
org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground
org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.LiveVariablePlayground
org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.ReachingDefinitionPlayground
org.checkerframework.dataflow.cfg.visualize
org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer
org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher
org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions
org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.CFGVisualizer
org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
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.expression
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ArrayAccess
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ArrayCreation
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.BinaryOperation
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ClassName
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.FieldAccess
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.FormalParameter
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpression
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpressionConverter
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpressionScanner
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpressionVisitor
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.LocalVariable
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.MethodCall
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.SuperReference
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ThisReference
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.UnaryOperation
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.Unknown
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ValueLiteral
org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression
org.checkerframework.dataflow.livevariable
org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.LiveVarNode
org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.LiveVarStore
org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.LiveVarTransfer
org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.package-info
org.checkerframework.dataflow.reachingdef
org.checkerframework.dataflow.reachingdef.org.checkerframework.dataflow.reachingdef.ReachingDefinitionNode
org.checkerframework.dataflow.reachingdef.org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
org.checkerframework.dataflow.reachingdef.org.checkerframework.dataflow.reachingdef.ReachingDefinitionTransfer
org.checkerframework.dataflow.util
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




© 2015 - 2024 Weber Informatics LLC | Privacy Policy