Index (dataflow 3.49.2 API)

A B C D E F G H I J K L M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values

A

AbstractAnalysis<V,S,T> - Class in org.checkerframework.dataflow.analysis: Implementation of common features for BackwardAnalysisImpl and ForwardAnalysisImpl.
AbstractAnalysis(Analysis.Direction) - Constructor for class org.checkerframework.dataflow.analysis.AbstractAnalysis: Implementation of common features for BackwardAnalysisImpl and ForwardAnalysisImpl.
AbstractAnalysis.Worklist - Class in org.checkerframework.dataflow.analysis: A worklist is a priority queue of blocks in which the order is given by depth-first ordering to place non-loop predecessors ahead of successors.
AbstractAnalysis.Worklist.BackwardDfoComparator - Class in org.checkerframework.dataflow.analysis: Comparators to allow priority queue to order blocks by their depth-first order, using by backward analysis.
AbstractAnalysis.Worklist.ForwardDfoComparator - Class in org.checkerframework.dataflow.analysis: Comparators to allow priority queue to order blocks by their depth-first order, using by forward analysis.
AbstractCFGVisualizer<V,S,T> - Class in org.checkerframework.dataflow.cfg.visualize: This abstract class makes implementing a CFGVisualizer easier.
AbstractCFGVisualizer() - Constructor for class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer
AbstractCFGVisualizer.VisualizeWhere - Enum Class in org.checkerframework.dataflow.cfg.visualize: Whether to visualize before or after a block.
AbstractNodeVisitor<R,P> - Class in org.checkerframework.dataflow.cfg.node: A default implementation of the node visitor interface.
AbstractNodeVisitor() - Constructor for class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
AbstractValue<V> - Interface in org.checkerframework.dataflow.analysis: An abstract value used in the org.checkerframework.dataflow analysis.
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.AnyPatternNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ExplicitThisNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ExpressionStatementNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ImplicitThisNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LongLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.Node: Accept method of the visitor pattern.
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NullLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ShortLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SwitchExpressionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.ClassName
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.FieldAccess
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.FormalParameter
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Accept method of the visitor pattern.
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.LocalVariable
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.MethodCall
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.SuperReference
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.ThisReference
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.Unknown
accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
add(Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: Add the given block to AbstractAnalysis.Worklist.queue.
addBlock(Block, Set<Block>, Queue<Block>) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Checks whether a block exists in the visited blocks list, and, if not, adds it to the visited blocks list and the work list.
addBlockContent(Block) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Returns the contents of the block.
addExceptionalSuccessor(BlockImpl, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl: Add an exceptional successor.
addLabelForNextNode(Label) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Add the label l to the extended node that will be placed next in the sequence.
addNode(Node) - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl: Add a node to the contents of this basic block.
addNodes(List<? extends Node>) - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl: Add multiple nodes to the contents of this basic block.
addNotBothReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Add a reason why the method is not both side-effect-free and deterministic.
addNotDetReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Add a reason why the method is not deterministic.
addNotSEFreeReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Add a reason why the method is not side-effect-free.
addPredecessor(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
addStoreAfter(Block, Node, S, boolean) - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl: Add a store after the basic block pred by merging with the existing stores for that location.
addStoreBefore(Block, Node, S, Store.Kind, boolean) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: Add a store before the basic block b by merging with the existing stores for that location.
addToConvertedLookupMap(Tree, Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Add a node in the post-conversion lookup map.
addToConvertedLookupMap(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Add a node in the post-conversion lookup map.
addToLookupMap(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Add a node to the lookup map if it not already present.
addToWorklist(Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Add a basic block to AbstractAnalysis.worklist.
addUseInExpression(Node) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore: Add expressions to the store, add sub-expressions to the store recursively
addUseInExpression(Node) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore: Add the information of live variables in an expression to the live variable set.
AFTER - Enum constant in enum class org.checkerframework.dataflow.analysis.Analysis.BeforeOrAfter: Return the post-store.
AFTER - Enum constant in enum class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.VisualizeWhere: Visualize after the block.
analysis - Variable in class org.checkerframework.dataflow.analysis.TransferInput: The corresponding analysis class to get intermediate flow results.
Analysis<V,S,T> - Interface in org.checkerframework.dataflow.analysis: This interface defines a dataflow analysis, given a control flow graph and a transfer function.
Analysis.BeforeOrAfter - Enum Class in org.checkerframework.dataflow.analysis: In calls to Analysis#runAnalysisFor, whether to return the store before or after the given node.
Analysis.Direction - Enum Class in org.checkerframework.dataflow.analysis: The direction of an analysis instance.
analysisCaches - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult: Caches of the analysis results.
AnalysisResult<V,S> - Class in org.checkerframework.dataflow.analysis: An AnalysisResult represents the result of a org.checkerframework.dataflow analysis by providing the abstract values given a node or a tree.
AnalysisResult(IdentityHashMap<Node, V>, IdentityHashMap<Block, TransferInput<V, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, BinaryTree>, Map<VariableElement, V>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult: Initialize with given mappings and empty cache.
AnalysisResult(IdentityHashMap<Node, V>, IdentityHashMap<Block, TransferInput<V, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, BinaryTree>, Map<VariableElement, V>, Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult: Initialize with given mappings.
AnalysisResult(Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult: Initialize empty result with specified cache.
annoProvider - Variable in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper: The annotation provider (typically an AnnotatedTypeFactory).
annotationProvider - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The annotation provider, e.g., a type factory.
AnyPatternNode - Class in org.checkerframework.dataflow.cfg.node: A node for an any pattern, which is "_" in "case _ -> ...code that ignores the switched value..." or "case MyType(_) -> ...".
AnyPatternNode(TypeMirror, Tree) - Constructor for class org.checkerframework.dataflow.cfg.node.AnyPatternNode: Creates a AnyPatternNode.
ARBITRARY_CODE - Enum constant in enum class org.checkerframework.dataflow.cfg.UnderlyingAST.Kind: The underlying code is an arbitrary Java statement or expression.
arguments - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: The arguments of the method invocation.
arguments - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: The arguments of the object creation.
arguments - Variable in class org.checkerframework.dataflow.expression.MethodCall: The arguments.
arithmeticExceptionType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The ArithmeticException type.
array - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: The array expression being accessed.
array - Variable in class org.checkerframework.dataflow.expression.ArrayAccess: The array being accessed.
ArrayAccess - Class in org.checkerframework.dataflow.expression: An array access.
ArrayAccess(TypeMirror, JavaExpression, JavaExpression) - Constructor for class org.checkerframework.dataflow.expression.ArrayAccess: Create a new ArrayAccess.
ArrayAccessNode - Class in org.checkerframework.dataflow.cfg.node: A node for an array access:
ArrayAccessNode(ArrayAccessTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: Create an ArrayAccessNode.
ArrayCreation - Class in org.checkerframework.dataflow.expression: JavaExpression for array creations.
ArrayCreation(TypeMirror, List<JavaExpression>, List<JavaExpression>) - Constructor for class org.checkerframework.dataflow.expression.ArrayCreation: Creates an ArrayCreation object.
ArrayCreationNode - Class in org.checkerframework.dataflow.cfg.node: A node for new array creation.
ArrayCreationNode(NewArrayTree, TypeMirror, List<Node>, List<Node>) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
arrayExpression - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: If this ArrayAccessNode is a node for an array desugared from an enhanced for loop, then the arrayExpression field is the expression in the for loop, e.g., arr in for(Object o: arr.
arrayIndexOutOfBoundsExceptionType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The ArrayIndexOutOfBoundsException type.
ArrayTypeNode - Class in org.checkerframework.dataflow.cfg.node: A node representing an array type used in an expression such as a field access.
ArrayTypeNode(ArrayTypeTree, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
AssertionErrorNode - Class in org.checkerframework.dataflow.cfg.node: A node for the AssertionError when an assertion fails or when a method call marked AssertMethod fails.
AssertionErrorNode(Tree, Node, Node, TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.AssertionErrorNode: Creates an AssertionErrorNode.
assertionErrorType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The AssertionError type.
AssertMethodTuple(int, TypeMirror, boolean) - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne.AssertMethodTuple: Creates an AssertMethodTuple.
assignConvert(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Perform assignment conversion so that it can be assigned to a variable of the given type.
assignmentCheck(ExpressionTree) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper: Check whether variable is permitted on the left-hand-side of an assignment.
AssignmentNode - Class in org.checkerframework.dataflow.cfg.node: A node for an assignment:
AssignmentNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentNode: Create a (non-synthetic) AssignmentNode.
AssignmentNode(Tree, Node, Node, boolean) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentNode: Create an AssignmentNode.
assumeAssertionsDisabled - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Can assertions be assumed to be disabled?
assumeAssertionsEnabled - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Can assertions be assumed to be enabled?
assumeAssertionsEnabledFor(AssertTree) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Should assertions be assumed to be executed for a given AssertTree? False by default.
atConstructorInvocation(NewClassTree) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Viewpoint-adapts this to the newClassTree.
atFieldAccess(JavaExpression) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Viewpoint-adapts this to a field access with receiver receiver.
atMethodBody(MethodTree) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Viewpoint-adapts this to the methodTree by converting any FormalParameter into LocalVariables.
atMethodInvocation(MethodInvocationTree) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Viewpoint-adapts this to the methodInvocationTree.
atMethodInvocation(MethodInvocationNode) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Viewpoint-adapts this to the invocationNode.

B

BACKWARD - Enum constant in enum class org.checkerframework.dataflow.analysis.Analysis.Direction: The backward direction.
BackwardAnalysis<V,S,T> - Interface in org.checkerframework.dataflow.analysis: This interface defines a backward analysis, given a control flow graph and a backward transfer function.
BackwardAnalysisImpl<V,S,T> - Class in org.checkerframework.dataflow.analysis: An implementation of a backward analysis to solve a org.checkerframework.dataflow problem given a control flow graph and a backward transfer function.
BackwardAnalysisImpl() - Constructor for class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl: Construct an object that can perform a org.checkerframework.dataflow backward analysis over a control flow graph.
BackwardAnalysisImpl(T) - Constructor for class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl: Construct an object that can perform a org.checkerframework.dataflow backward analysis over a control flow graph given a transfer function.
BackwardDfoComparator() - Constructor for class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.BackwardDfoComparator: Creates a new BackwardDfoComparator.
BackwardTransferFunction<V,S> - Interface in org.checkerframework.dataflow.analysis: Interface of a backward transfer function for the abstract interpretation used for the backward flow analysis.
BEFORE - Enum constant in enum class org.checkerframework.dataflow.analysis.Analysis.BeforeOrAfter: Return the pre-store.
BEFORE - Enum constant in enum class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.VisualizeWhere: Visualize before the block.
binaryNumericPromotion(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Perform binary numeric promotion on the input node to make it match the expression type.
BinaryOperation - Class in org.checkerframework.dataflow.expression: JavaExpression for binary operations.
BinaryOperation(TypeMirror, Tree.Kind, JavaExpression, JavaExpression) - Constructor for class org.checkerframework.dataflow.expression.BinaryOperation: Create a binary operation.
BinaryOperation(BinaryOperationNode, JavaExpression, JavaExpression) - Constructor for class org.checkerframework.dataflow.expression.BinaryOperation: Create a binary operation.
BinaryOperationNode - Class in org.checkerframework.dataflow.cfg.node: A node for a binary expression.
BinaryOperationNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
binaryPromotedType(TypeMirror, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Compute the type to which two numeric types must be promoted before performing a binary numeric operation on them.
bindingVariables - Variable in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode: A list of nested binding variables.
bindingVariables - Variable in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: A list of all binding variables in this instanceof.
BitwiseAndNode - Class in org.checkerframework.dataflow.cfg.node: A node for the bitwise or logical (single bit) and operation:
BitwiseAndNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseAndNode: Constructs a BitwiseAndNode.
BitwiseComplementNode - Class in org.checkerframework.dataflow.cfg.node: A node for the bitwise complement operation:
BitwiseComplementNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode: Constructs a BitwiseComplementNode.
BitwiseOrNode - Class in org.checkerframework.dataflow.cfg.node: A node for the bitwise or logical (single bit) or operation:
BitwiseOrNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseOrNode: Constructs a BitwiseOrNode.
BitwiseXorNode - Class in org.checkerframework.dataflow.cfg.node: A node for the bitwise or logical (single bit) xor operation:
BitwiseXorNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseXorNode: Constructs a BitwiseXorNode.
block - Variable in class org.checkerframework.dataflow.cfg.builder.ExtendedNode: The basic block this extended node belongs to (as determined in phase two).
block - Variable in class org.checkerframework.dataflow.cfg.node.Node: The basic block this node belongs to.
Block - Interface in org.checkerframework.dataflow.cfg.block: Represents a basic block in a control flow graph.
Block.BlockType - Enum Class in org.checkerframework.dataflow.cfg.block: The types of basic blocks.
blockCount - Variable in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: Number of times each block has been analyzed since the last time widening was applied.
BlockImpl - Class in org.checkerframework.dataflow.cfg.block: Base class of the Block implementation hierarchy.
BlockImpl(Block.BlockType) - Constructor for class org.checkerframework.dataflow.cfg.block.BlockImpl: Create a new BlockImpl.
BooleanLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a boolean literal:
BooleanLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode: Create a new BooleanLiteralNode.
booleanParam - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne.AssertMethodTuple: 0-based index of the parameter of the expression that is tested by the assert method.
BOTH - Enum constant in enum class org.checkerframework.dataflow.analysis.Store.Kind
BOTTOM - Enum constant in enum class org.checkerframework.dataflow.constantpropagation.Constant.Type
box(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: If the input node is an unboxed primitive type, insert a call to the appropriate valueOf method, otherwise leave it alone.
build(CompilationUnitTree, MethodTree, ClassTree, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Build the control flow graph of a method.
build(CompilationUnitTree, UnderlyingAST, boolean, boolean, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Build the control flow graph of some code.
build(CompilationUnitTree, UnderlyingAST, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Build the control flow graph of some code.
build(TreePath, UnderlyingAST, boolean, boolean, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Build the control flow graph of some code (method, initializer block, ...).
busyExpression - Variable in class org.checkerframework.dataflow.busyexpr.BusyExprValue: A busy expression is represented by a node, which can be a BinaryOperationNode
BusyExpressionPlayground - Class in org.checkerframework.dataflow.cfg.playground: The playground for busy expression analysis.
BusyExprStore - Class in org.checkerframework.dataflow.busyexpr: A busy expression store contains a set of busy expressions represented by nodes.
BusyExprStore() - Constructor for class org.checkerframework.dataflow.busyexpr.BusyExprStore: Create a new BusyExprStore.
BusyExprStore(Set<BusyExprValue>) - Constructor for class org.checkerframework.dataflow.busyexpr.BusyExprStore: Create a new BusyExprStore.
BusyExprTransfer - Class in org.checkerframework.dataflow.busyexpr: A busy expression transfer function
BusyExprTransfer() - Constructor for class org.checkerframework.dataflow.busyexpr.BusyExprTransfer
BusyExprValue - Class in org.checkerframework.dataflow.busyexpr: BusyExprValue class contains a BinaryOperationNode.
BusyExprValue(BinaryOperationNode) - Constructor for class org.checkerframework.dataflow.busyexpr.BusyExprValue: Create a new busy expression.

C

callTransferFunction(Node, TransferInput<V, S>) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Call the transfer function for node node, and set that node as current node first.
callTransferFunction(Node, TransferInput<V, S>) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
canAlias(JavaExpression, JavaExpression) - Method in interface org.checkerframework.dataflow.analysis.Store: Can the objects a and b be aliases? Returns a conservative answer (i.e., returns true if not enough information is available to determine aliasing).
canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
caseExprs - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode: The case expressions to match the switch expression against: the operands of (possibly multiple) case labels.
CaseNode - Class in org.checkerframework.dataflow.cfg.node: A node for a case in a switch statement.
CaseNode(CaseTree, AssignmentNode, List<Node>, Node, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.CaseNode: Create a new CaseNode.
CatchMarkerNode - Class in org.checkerframework.dataflow.cfg.node: A CatchMarkerNode is a marker node for the beginning or end of a catch block.
CatchMarkerNode(Tree, String, TypeMirror, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.CatchMarkerNode: Creates a new CatchMarkerNode.
cfg - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: The current control flow graph to perform the analysis on.
CFGBuilder - Class in org.checkerframework.dataflow.cfg.builder: Builds the control flow graph of some Java code (either a method, or an arbitrary statement).
CFGBuilder() - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Creates a CFGBuilder.
CFGLambda(LambdaExpressionTree, ClassTree, MethodTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda: Create a new CFGLambda.
CFGMethod(MethodTree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
CFGProcessor - Class in org.checkerframework.dataflow.cfg: Generate the control flow graph of a given method in a given class.
CFGProcessor(String, String) - Constructor for class org.checkerframework.dataflow.cfg.CFGProcessor: Create a CFG processor.
CFGProcessor.CFGProcessResult - Class in org.checkerframework.dataflow.cfg: The result of the CFG process, contains the control flow graph when successful.
CFGStatement(Tree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
CFGTranslationPhaseOne - Class in org.checkerframework.dataflow.cfg.builder: Class that performs phase one of the translation process.
CFGTranslationPhaseOne(TreeBuilder, AnnotationProvider, boolean, boolean, ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Creates CFGTranslationPhaseOne.
CFGTranslationPhaseOne.AssertMethodTuple - Class in org.checkerframework.dataflow.cfg.builder: Holds the elements of an AssertMethod annotation.
CFGTranslationPhaseThree - Class in org.checkerframework.dataflow.cfg.builder: Class that performs phase three of the translation process.
CFGTranslationPhaseThree() - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
CFGTranslationPhaseThree.PredecessorHolder - Interface in org.checkerframework.dataflow.cfg.builder: A simple wrapper object that holds a basic block and allows to set one of its successors.
CFGTranslationPhaseTwo - Class in org.checkerframework.dataflow.cfg.builder: Class that performs phase two of the translation process.
CFGVisualizeLauncher - Class in org.checkerframework.dataflow.cfg.visualize: Launcher to generate the DOT or String representation of the control flow graph of a given method in a given class.
CFGVisualizeOptions - Class in org.checkerframework.dataflow.cfg.visualize: Options for running analysis on files.
CFGVisualizer<V,S,T> - Interface in org.checkerframework.dataflow.cfg.visualize: Perform some visualization on a control flow graph.
CharacterLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a character literal.
CharacterLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode: Create a new CharacterLiteralNode.
checkerName - Variable in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer: The (optional) checker name.
checkInvariants() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Verify that this is a complete and well-formed CFG, i.e.
checkPurity(TreePath, AnnotationProvider, boolean, boolean, boolean) - Static method in class org.checkerframework.dataflow.util.PurityChecker: Compute whether the given statement is side-effect-free, deterministic, or both.
classbody - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: Class body for anonymous classes, otherwise null.
classCastExceptionType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The ClassCastException type .
classCircularityErrorType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The ClassCircularityError type.
ClassDeclarationNode - Class in org.checkerframework.dataflow.cfg.node: A node representing a class declaration that occurs within a method, for example, an anonymous class declaration.
ClassDeclarationNode(ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
classFormatErrorType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The ClassFormatErrorType type.
ClassName - Class in org.checkerframework.dataflow.expression: A ClassName represents either a class literal or the occurrence of a class as part of a static field access or static method invocation.
ClassName(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.ClassName: Creates a new ClassName object for the given type.
ClassNameNode - Class in org.checkerframework.dataflow.cfg.node: A node representing a class name used in an expression such as a static method invocation.
ClassNameNode(ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode: Create a new ClassNameNode.
ClassNameNode(IdentifierTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
ClassNameNode(MemberSelectTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
ClassNameNode(TypeMirror, Element) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
classTree - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod: The class tree this method belongs to.
classTree - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement: The class tree this method belongs to.
code - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
combine(AnalysisResult<V, S>) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Combine with another analysis result.
commonConvert(Node, TypeMirror, boolean) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Assignment conversion and method invocation conversion are almost identical, except that assignment conversion allows narrowing.
compare(Block, Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.BackwardDfoComparator
compare(Block, Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.ForwardDfoComparator
computeNeighborhoodOfEmptyBlock(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree: Compute the set of empty regular basic blocks emptyBlocks, starting at start and going both forward and backwards.
computeNeighborhoodOfEmptyBlockBackwards(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree: Compute the set of empty regular basic blocks emptyBlocks, starting at start and looking only backwards in the control flow graph.
condition - Variable in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode: The condition that if it is false, the assertion exception is thrown.
condition - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode: Node representing the condition checked by the expression
CONDITIONAL_BLOCK - Enum constant in enum class org.checkerframework.dataflow.cfg.block.Block.BlockType: A conditional basic block.
CONDITIONAL_JUMP - Enum constant in enum class org.checkerframework.dataflow.cfg.builder.ExtendedNode.ExtendedNodeType
ConditionalAndNode - Class in org.checkerframework.dataflow.cfg.node: A node for a conditional and expression:
ConditionalAndNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalAndNode: Create a new ConditionalAndNode.
ConditionalBlock - Interface in org.checkerframework.dataflow.cfg.block: Represents a conditional basic block.
ConditionalBlockImpl - Class in org.checkerframework.dataflow.cfg.block: Implementation of a conditional basic block.
ConditionalBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl: Initialize an empty conditional basic block to be filled with contents and linked to other basic blocks later.
conditionalExprPromotion(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Convert an operand of a conditional expression to the type of the whole expression.
ConditionalJump - Class in org.checkerframework.dataflow.cfg.builder: An extended node of type ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP.
ConditionalJump(Label, Label) - Constructor for class org.checkerframework.dataflow.cfg.builder.ConditionalJump: Construct a ConditionalJump.
ConditionalNotNode - Class in org.checkerframework.dataflow.cfg.node: A node for a conditional not expression:
ConditionalNotNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalNotNode: Create a new ConditionalNotNode.
ConditionalOrNode - Class in org.checkerframework.dataflow.cfg.node: A node for a conditional or expression:
ConditionalOrNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalOrNode: Create a new ConditionalOrNode.
ConditionalTransferResult<V,S> - Class in org.checkerframework.dataflow.analysis: Implementation of a TransferResult with two non-exceptional stores.
ConditionalTransferResult(V, S, S) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a new ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean), using false for whether the store changed and null for TransferResult.exceptionalStores.
ConditionalTransferResult(V, S, S, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a new ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean), using null for TransferResult.exceptionalStores.
ConditionalTransferResult(V, S, S, Map<TypeMirror, S>, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a ConditionalTransferResult with thenStore as the resulting store if the corresponding Node evaluates to true and elseStore otherwise.
ConditionalTransferResult(V, S, S, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a new ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean), using false for the storeChanged formal parameter.
Constant - Class in org.checkerframework.dataflow.constantpropagation
Constant(Integer) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant: Create a constant for value.
Constant(Constant.Type) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant: Create a constant for type.
CONSTANT - Enum constant in enum class org.checkerframework.dataflow.constantpropagation.Constant.Type
Constant.Type - Enum Class in org.checkerframework.dataflow.constantpropagation
ConstantPropagationPlayground - Class in org.checkerframework.dataflow.cfg.playground: Run constant propagation for a specific file and create a PDF of the CFG.
ConstantPropagationStore - Class in org.checkerframework.dataflow.constantpropagation: A store that records information about constant values.
ConstantPropagationStore() - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore: Creates a new ConstantPropagationStore.
ConstantPropagationStore(Map<Node, Constant>) - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
ConstantPropagationTransfer - Class in org.checkerframework.dataflow.constantpropagation
ConstantPropagationTransfer() - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.ClassName
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.FieldAccess
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.FormalParameter
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Returns the first subexpression whose class is the given class, or null.
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.LocalVariable
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.MethodCall
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.SuperReference
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.ThisReference
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.Unknown
containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
containedUnknown() - Method in class org.checkerframework.dataflow.expression.JavaExpression: Returns the first subexpression whose class is Unknown, or null.
contains(Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: Check if AbstractAnalysis.Worklist.queue contains the block which is passed as the argument.
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.ClassName
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.FieldAccess
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if and only if other appears anywhere in this or an expression appears in this such that other might alias this expression, and that expression is modifiable.
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.MethodCall
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.SuperReference
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.ThisReference
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.Unknown
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if some subexpression is of given class.
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ClassName
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.FieldAccess
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.FormalParameter
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if and only if this contains a JavaExpression that is syntactically equal to other.
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.LocalVariable
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.MethodCall
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.SuperReference
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ThisReference
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.Unknown
containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult
containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferInput: Returns true if and only if this transfer input contains two stores that are potentially not equal.
containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferResult: Returns true if and only if this transfer result contains two stores that are potentially not equal.
containsUnknown() - Method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if some subexpression is Unknown.
contents - Variable in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl: Internal representation of the contents.
ControlFlowGraph - Class in org.checkerframework.dataflow.cfg: A control flow graph (CFG for short) of a single method.
ControlFlowGraph(SpecialBlock, SpecialBlockImpl, SpecialBlockImpl, UnderlyingAST, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, BinaryTree>, List<ReturnNode>, List<ClassTree>, List<LambdaExpressionTree>) - Constructor for class org.checkerframework.dataflow.cfg.ControlFlowGraph
conversionRequiresNarrowing(TypeMirror, Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Return whether a conversion from the type of the node to varType requires narrowing.
convert(List<JavaExpression>) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter: Converts all the expressions in list and returns the resulting list.
convert(JavaExpression) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter: Converts javaExpr and returns the resulting JavaExpression.
convertCallArguments(ExpressionTree, ExecutableElement, ExecutableType, List<? extends ExpressionTree>) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Given a method element, its type at the call site, and a list of argument expressions, return a list of Nodes representing the arguments converted for a call of the method.
convertedTreeLookup - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Map from AST Trees to post-conversion sets of Nodes.
copy() - Method in interface org.checkerframework.dataflow.analysis.Store: Returns an exact copy of this store.
copy() - Method in class org.checkerframework.dataflow.analysis.TransferInput: Returns an exact copy of this store.
copy() - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
copy() - Method in class org.checkerframework.dataflow.constantpropagation.Constant
copy() - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
copy() - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
copy() - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
createEnhancedForLoopArrayVariable(ExpressionTree, VariableElement) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
createEnhancedForLoopIteratorVariable(MethodInvocationTree, VariableElement) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
createTreePathScanner(CompilationUnitTree) - Method in class org.checkerframework.dataflow.cfg.CFGProcessor
currentInput - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: The current transfer input when the analysis is running.
currentNode - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: The node that is currently handled in the analysis (if it is running).
currentTree - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: The tree that is currently being looked at.

D

declaredClasses - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Class declarations that have been encountered when building the control-flow graph for a method.
declaredLambdas - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Lambdas encountered when building the control-flow graph for a method, variable initializer, or initializer.
deconstructorPattern - Variable in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode: The DeconstructorPatternTree, declared as Tree to permit this file to compile under JDK 20 and earlier.
DeconstructorPatternNode - Class in org.checkerframework.dataflow.cfg.node: A node for a deconstrutor pattern.
DeconstructorPatternNode(TypeMirror, Tree, List<Node>) - Constructor for class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode: Creates a DeconstructorPatternNode.
def - Variable in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionNode: A reaching definition is represented by a node, which can only be a AssignmentNode.
depthFirstOrder - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: Map all blocks in the CFG to their depth-first order.
detail - Variable in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode: The node for the expression after : in the assert statement, or null.
dimensions - Variable in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode: The length of this list is the number of dimensions in the array.
dimensions - Variable in class org.checkerframework.dataflow.expression.ArrayCreation: List of dimensions expressions.
direction - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: The direction of this analysis.
disambiguateOwner - Static variable in class org.checkerframework.dataflow.cfg.node.Node: If true, print the owner of each field and this, to disambiguate shadowing.
DOTCFGVisualizer<V,S,T> - Class in org.checkerframework.dataflow.cfg.visualize: Generate a graph description in the DOT language of a control graph.
DOTCFGVisualizer() - Constructor for class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
dotOutputFileName(UnderlyingAST) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer: Create a dot file and return its name.
DoubleLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a double literal.
DoubleLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode: Create a new DoubleLiteralNode.

E

ea - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The VariableTree that indicates whether assertions are enabled or not.
EACH_TO_EACH - Enum constant in enum class org.checkerframework.dataflow.analysis.Store.FlowRule: The normal case: then store flows to the then store, and else store flows to the else store.
element - Variable in class org.checkerframework.dataflow.cfg.node.ClassNameNode: The class named by this node.
element - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode: The element of the accessed field.
element - Variable in class org.checkerframework.dataflow.cfg.node.PackageNameNode: The package named by this node.
element - Variable in class org.checkerframework.dataflow.expression.FormalParameter: The element for this formal parameter.
element - Variable in class org.checkerframework.dataflow.expression.LocalVariable: The element for this local variable.
elements - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The javac element utilities.
ELSE - Enum constant in enum class org.checkerframework.dataflow.analysis.Store.Kind
ELSE_TO_BOTH - Enum constant in enum class org.checkerframework.dataflow.analysis.Store.FlowRule: Else store flows to both then and else of successor.
ELSE_TO_ELSE - Enum constant in enum class org.checkerframework.dataflow.analysis.Store.FlowRule: Else store flows to the else of successor.
elseFlowRule - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl: The initial value says that the ELSE store before a conditional block flows to BOTH of the stores of the else successor.
elseOperand - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode: Node representing the "else" case of the expression
elseStore - Variable in class org.checkerframework.dataflow.analysis.ConditionalTransferResult: The 'else' result store.
elseStore - Variable in class org.checkerframework.dataflow.analysis.TransferInput: The "else" result store (or null if none is present).
elseStores - Variable in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: Else stores before every basic block (assumed to be 'no information' if not present).
elseSuccessor - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl: Successor of the else branch.
enclosingExpression - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: The enclosing expression of the object creation or null.
enhancedForLoop - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: If this ArrayAccessNode is a node for an array access desugared from an enhanced for loop, then the enhancedForLoop field is the EnhancedForLoopTree AST node.
enhancedForLoop - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: If this MethodInvocationNode is a node for an Iterator.next() desugared from an enhanced for loop, then the enhancedForLoop field is the EnhancedForLoopTree AST node.
ENTRY - Enum constant in enum class org.checkerframework.dataflow.cfg.block.SpecialBlock.SpecialBlockType: The entry block of a method.
entryBlock - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: The entry block of the control flow graph.
env - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Annotation processing environment and its associated type and tree utilities.
equals(Object) - Method in interface org.checkerframework.dataflow.analysis.Store: Returns true if this is equal to the given argument.
equals(Object) - Method in class org.checkerframework.dataflow.analysis.TransferInput
equals(Object) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
equals(Object) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprValue
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.CatchMarkerNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ExpressionStatementNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FloatLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LongLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NullLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ShortLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SwitchExpressionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ThisNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
equals(Object) - Method in class org.checkerframework.dataflow.constantpropagation.Constant
equals(Object) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
equals(Object) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
equals(Object) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
equals(Object) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
equals(Object) - Method in class org.checkerframework.dataflow.expression.ClassName
equals(Object) - Method in class org.checkerframework.dataflow.expression.FieldAccess
equals(Object) - Method in class org.checkerframework.dataflow.expression.FormalParameter
equals(Object) - Method in class org.checkerframework.dataflow.expression.LocalVariable
equals(Object) - Method in class org.checkerframework.dataflow.expression.MethodCall
equals(Object) - Method in class org.checkerframework.dataflow.expression.SuperReference
equals(Object) - Method in class org.checkerframework.dataflow.expression.ThisReference
equals(Object) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
equals(Object) - Method in class org.checkerframework.dataflow.expression.Unknown
equals(Object) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
equals(Object) - Method in class org.checkerframework.dataflow.livevariable.LiveVarNode
equals(Object) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
equals(Object) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionNode
equals(Object) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
EqualToNode - Class in org.checkerframework.dataflow.cfg.node: A node for an equality check:
EqualToNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.EqualToNode: Create a new EqualToNode object.
escapeString(Object) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Make the object's string representation suitable for the output format, i.e.
escapeString(String) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Make the string suitable for the output format, i.e.
escapeString(String) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer: Escape the input String.
EXCEPTION_BLOCK - Enum constant in enum class org.checkerframework.dataflow.cfg.block.Block.BlockType: A basic block that can throw an exception.
EXCEPTION_NODE - Enum constant in enum class org.checkerframework.dataflow.cfg.builder.ExtendedNode.ExtendedNodeType
EXCEPTIONAL_EXIT - Enum constant in enum class org.checkerframework.dataflow.cfg.block.SpecialBlock.SpecialBlockType: A special exit block of a method for exceptional termination.
exceptionalExitBlock - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: The exceptional exit block of the control flow graph.
exceptionalStores - Variable in class org.checkerframework.dataflow.analysis.TransferResult: The stores in case the basic block throws an exception (or null if the corresponding Node does not throw any exceptions).
exceptionalSuccessors - Variable in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl: Set of exceptional successors.
ExceptionBlock - Interface in org.checkerframework.dataflow.cfg.block: Represents a basic block that contains exactly one Node which can throw an exception.
ExceptionBlockImpl - Class in org.checkerframework.dataflow.cfg.block: Implementation of ExceptionBlock.
ExceptionBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl: Create an empty exceptional block.
exceptionStores - Variable in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl: Exception store of an exception block, propagated by exceptional successors of its exception block, and merged with the normal TransferResult.
exceptionType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne.AssertMethodTuple: The type of the exception thrown by the assert method.
EXIT - Enum constant in enum class org.checkerframework.dataflow.cfg.block.SpecialBlock.SpecialBlockType: The exit block of a method.
ExplicitThisNode - Class in org.checkerframework.dataflow.cfg.node: A node for a reference to 'this'.
ExplicitThisNode(IdentifierTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ExplicitThisNode
exprContainsVariable(Node, Node) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore: Return true if the expression contains variable var.
expression - Variable in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
expression - Variable in class org.checkerframework.dataflow.cfg.node.ThrowNode
ExpressionStatementNode - Class in org.checkerframework.dataflow.cfg.node: A node for an expression that is used as a statement.
ExpressionStatementNode(ExpressionTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ExpressionStatementNode: Construct a ExpressionStatementNode.
ExtendedNode - Class in org.checkerframework.dataflow.cfg.builder: An extended node can be one of several things (depending on its type): NODE: NodeHolder.
ExtendedNode(ExtendedNode.ExtendedNodeType) - Constructor for class org.checkerframework.dataflow.cfg.builder.ExtendedNode: Create a new ExtendedNode.
ExtendedNode.ExtendedNodeType - Enum Class in org.checkerframework.dataflow.cfg.builder: Extended node types (description see above).
extendedNodeCollectionToStringDebug(Collection<? extends ExtendedNode>) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Return a printed representation of a collection of extended nodes.
extendWithClassNameNode(ClassNameNode) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Extend a list of extended nodes with a ClassName node.
extendWithExtendedNode(ExtendedNode) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Extend the list of extended nodes with an extended node.
extendWithNode(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Extend the list of extended nodes with a node.
extendWithNodeWithException(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Extend the list of extended nodes with a node, where node might throw the exception cause.
extendWithNodeWithExceptions(Node, Set<TypeMirror>) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Extend the list of extended nodes with a node, where node might throw any of the exceptions in causes.

F

falseFlowRule - Variable in class org.checkerframework.dataflow.cfg.builder.ConditionalJump: The false branch flow rule.
falseSucc - Variable in class org.checkerframework.dataflow.cfg.builder.ConditionalJump: The false successor label.
field - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode: The name of the accessed field.
field - Variable in class org.checkerframework.dataflow.expression.FieldAccess: The field being accessed.
FieldAccess - Class in org.checkerframework.dataflow.expression: A FieldAccess represents a field access.
FieldAccess(JavaExpression, VariableElement) - Constructor for class org.checkerframework.dataflow.expression.FieldAccess: Create a FieldAccess.
FieldAccess(JavaExpression, TypeMirror, VariableElement) - Constructor for class org.checkerframework.dataflow.expression.FieldAccess: Create a FieldAccess.
FieldAccess(JavaExpression, FieldAccessNode) - Constructor for class org.checkerframework.dataflow.expression.FieldAccess: Create a FieldAccess.
FieldAccessNode - Class in org.checkerframework.dataflow.cfg.node: A node for a field access, including a method accesses:
FieldAccessNode(Tree, VariableElement, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FieldAccessNode
FieldAccessNode(Tree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FieldAccessNode: Creates a new FieldAccessNode.
finalLocalValues - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Map from (effectively final) local variable elements to their abstract value.
finalLocalValues - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult: Map from (effectively final) local variable elements to their abstract value.
FloatingDivisionNode - Class in org.checkerframework.dataflow.cfg.node: A node for the floating-point division:
FloatingDivisionNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode: Constructs a FloatingDivisionNode.
FloatingRemainderNode - Class in org.checkerframework.dataflow.cfg.node: A node for the floating-point remainder:
FloatingRemainderNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode: Constructs a FloatingRemainderNode.
FloatLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a float literal.
FloatLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.FloatLiteralNode: Create a new FloatLiteralNode.
flowRule - Variable in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl: The initial value for the rule below says that EACH store at the end of a single successor block flows to the corresponding store of the successor.
FormalParameter - Class in org.checkerframework.dataflow.expression: A formal parameter, represented by its 1-based index.
FormalParameter(int, VariableElement) - Constructor for class org.checkerframework.dataflow.expression.FormalParameter: Creates a FormalParameter.
FORWARD - Enum constant in enum class org.checkerframework.dataflow.analysis.Analysis.Direction: The forward direction.
ForwardAnalysis<V,S,T> - Interface in org.checkerframework.dataflow.analysis: This interface defines a forward analysis, given a control flow graph and a forward transfer function.
ForwardAnalysisImpl<V,S,T> - Class in org.checkerframework.dataflow.analysis: An implementation of a forward analysis to solve a org.checkerframework.dataflow problem given a control flow graph and a forward transfer function.
ForwardAnalysisImpl(int) - Constructor for class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: Construct an object that can perform a org.checkerframework.dataflow forward analysis over a control flow graph.
ForwardAnalysisImpl(T) - Constructor for class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: Construct an object that can perform a org.checkerframework.dataflow forward analysis over a control flow graph given a transfer function.
ForwardDfoComparator() - Constructor for class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.ForwardDfoComparator: Creates a new ForwardDfoComparator.
ForwardTransferFunction<V,S> - Interface in org.checkerframework.dataflow.analysis: Interface of a forward transfer function for the abstract interpretation used for the forward flow analysis.
fromArrayAccess(ArrayAccessNode) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns the internal representation (as FieldAccess) of a FieldAccessNode.
fromNode(Node) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: We ignore operations such as widening and narrowing when computing the internal representation.
fromNodeFieldAccess(FieldAccessNode) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns the Java expression for a FieldAccessNode.
fromTree(ExpressionTree) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Converts a javac ExpressionTree to a CF JavaExpression.
fromVariableTree(VariableTree) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns the Java expression corresponding to the given variable tree tree.
FunctionalInterfaceNode - Class in org.checkerframework.dataflow.cfg.node: A node for member references and lambdas.
FunctionalInterfaceNode(LambdaExpressionTree) - Constructor for class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
FunctionalInterfaceNode(MemberReferenceTree) - Constructor for class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode

G

generated - Variable in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer: Mapping from class/method representation to generated dot file.
generateMethodCFG(String, String, String) - Static method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Generate the control flow graph of a method in a class.
getAllBlocks() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns the set of all basic blocks in this control flow graph.
getAllBlocks(Function<TypeMirror, Boolean>) - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns the set of all basic blocks in this control flow graph, except those that are only reachable via an exception whose type is ignored by parameter shouldIgnoreException.
getAllNodes() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns all nodes in this control flow graph.
getAllNodes(Function<TypeMirror, Boolean>) - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns the list of all nodes in this control flow graph, except those that are only reachable via an exception whose type is ignored by parameter shouldIgnoreException.
getArgument(int) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
getArgument(int) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: Returns the i-th explicit argument to the object creation.
getArguments() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
getArguments() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: Returns the explicit arguments to the object creation.
getArguments() - Method in class org.checkerframework.dataflow.expression.MethodCall: Returns the method call arguments (for inspection only - do not modify any of the arguments).
getArray() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: Get the node that represents the array expression being accessed.
getArray() - Method in class org.checkerframework.dataflow.expression.ArrayAccess: Returns the array being accessed.
getArrayExpression() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: If this ArrayAccessNode is a node for an array desugared from an enhanced for loop, then return the expression in the for loop, e.g., arr in for(Object o: arr.
getAssertionsEnabledVariable() - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Get a synthetic VariableTree that indicates whether assertions are enabled or not.
getAssertMethodTuple(ExecutableElement) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Returns the AssertMethodTuple for method.
getBindingVariable() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: Deprecated.
Use InstanceOfNode.getPatternNode() or InstanceOfNode.getBindingVariables() instead.
getBindingVariables() - Method in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode: Return all the binding variables in this pattern.
getBindingVariables() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: Return all the binding variables in this instanceof.
getBlock() - Method in interface org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree.PredecessorHolder
getBlock() - Method in class org.checkerframework.dataflow.cfg.builder.ExtendedNode
getBlock() - Method in class org.checkerframework.dataflow.cfg.node.Node: Returns the basic block this node belongs to (or null if it represents the parameter of a method).
getCaseOperands() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode: Gets the nodes corresponding to the case expressions.
getCatchType() - Method in class org.checkerframework.dataflow.cfg.node.CatchMarkerNode: Returns the type of the exception parameter.
getCFG() - Method in class org.checkerframework.dataflow.cfg.CFGProcessor.CFGProcessResult: Returns the generated control flow graph.
getCFGProcessResult() - Method in class org.checkerframework.dataflow.cfg.CFGProcessor: Get the CFG process result.
getClassBody() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: Returns the classbody.
getClassName() - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions: Getter for the class name.
getClassTree() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda: Returns the enclosing class of the lambda.
getClassTree() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod: Returns the class tree this method belongs to.
getClassTree() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
getCode() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
getCode() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
getCode() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
getCode() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST: Returns the code that corresponds to the CFG.
getCondition() - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode: The node of the condition that if it is false, the assertion exception is thrown.
getConditionOperand() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode: Gets the node representing the conditional operand for this node
getConstructor() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: Deprecated.
use ObjectCreationNode.getTypeToInstantiate()
getContainingClass(Tree) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Deprecated.
use AbstractAnalysis.getEnclosingClass(com.sun.source.tree.Tree)
getContainingMethod(Tree) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Deprecated.
use AbstractAnalysis.getEnclosingMethod(com.sun.source.tree.Tree)
getCurrentPath() - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Returns the current path for the tree currently being scanned.
getCurrentTree() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Returns the tree that is currently being looked at.
getDeclaredClasses() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
getDeclaredLambdas() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
getDepthFirstOrderedBlocks() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns all basic blocks in this control flow graph, in reversed depth-first postorder.
getDetail() - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode: The node for the expression after : in the assert statement, or null.
getDimension(int) - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
getDimensions() - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
getDimensions() - Method in class org.checkerframework.dataflow.expression.ArrayCreation: Returns a list representing the dimensions of this array creation.
getDirection() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
getDirection() - Method in interface org.checkerframework.dataflow.analysis.Analysis: Get the direction of this analysis.
getElement() - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
getElement() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
getElement() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode: Returns the element associated with this local variable.
getElement() - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode: Returns the element for this package.
getElement() - Method in class org.checkerframework.dataflow.expression.FormalParameter: Returns the element for this variable.
getElement() - Method in class org.checkerframework.dataflow.expression.LocalVariable: Returns the element for this variable.
getElement() - Method in class org.checkerframework.dataflow.expression.MethodCall: Returns the ExecutableElement for the method call.
getElseFlowRule() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock: Returns the flow rule for information flowing from this block to its else successor.
getElseFlowRule() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
getElseLabel() - Method in class org.checkerframework.dataflow.cfg.builder.ConditionalJump
getElseOperand() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode: Gets the node representing the "else" operand for this node
getElseStore() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
getElseStore() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult
getElseStore() - Method in class org.checkerframework.dataflow.analysis.TransferInput: Returns the result store produced if the Node this result belongs to evaluates to false.
getElseStore() - Method in class org.checkerframework.dataflow.analysis.TransferResult: Returns the result store produced if the Node this result belongs to evaluates to false.
getElseSuccessor() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock: Returns the entry block of the else branch.
getElseSuccessor() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
getEnclosingClass(Tree) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Get the ClassTree of the current CFG if the argument Tree maps to a Node in the CFG or null otherwise.
getEnclosingClass(Tree) - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Get the ClassTree of the CFG if the argument Tree maps to a Node in the CFG, or null otherwise.
getEnclosingExpression() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: Returns the enclosing expression node, which only exists if it is an inner class instantiation.
getEnclosingMethod() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda: Returns the enclosing method of the lambda.
getEnclosingMethod(Tree) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Get the MethodTree of the current CFG if the argument Tree maps to a Node in the CFG or null otherwise.
getEnclosingMethod(Tree) - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Get the MethodTree of the CFG if the argument Tree maps to a Node in the CFG, or null otherwise.
getEnclosingMethodName() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda: Returns the name of the enclosing method of the lambda.
getEnhancedForLoop() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: If this ArrayAccessNode is a node for an array access desugared from an enhanced for loop, then return the EnhancedForLoopTree AST node.
getEnhancedForLoop() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: If this MethodInvocationNode is a node for an Iterator.next() desugared from an enhanced for loop, then return the corresponding EnhancedForLoopTree AST node.
getEntryBlock() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns the entry block of the control flow graph.
getEntryStore() - Method in interface org.checkerframework.dataflow.analysis.BackwardAnalysis: Get the output store at the entry block of a given control flow graph.
getEntryStore() - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
getErrMsg() - Method in class org.checkerframework.dataflow.cfg.CFGProcessor.CFGProcessResult: Returns the error message.
getExceptionalExitBlock() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
getExceptionalExitStore() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
getExceptionalExitStore() - Method in interface org.checkerframework.dataflow.analysis.Analysis: Returns the exceptional exit store.
getExceptionalStore(TypeMirror) - Method in class org.checkerframework.dataflow.analysis.TransferResult: Returns the store that flows along the outgoing exceptional edge labeled with exception (or null if no special handling is required for exceptional edges).
getExceptionalStores() - Method in class org.checkerframework.dataflow.analysis.TransferResult: Returns a Map of TypeMirror to Store, null otherwise.
getExceptionalSuccessors() - Method in interface org.checkerframework.dataflow.cfg.block.ExceptionBlock: Returns the list of exceptional successor blocks as an unmodifiable map.
getExceptionalSuccessors() - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
getExpression() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode: Returns the right-hand-side of the assignment.
getExpression() - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
getExpression() - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
getFalseFlowRule() - Method in class org.checkerframework.dataflow.cfg.builder.ConditionalJump: Returns the false branch flow rule.
getField() - Method in class org.checkerframework.dataflow.expression.FieldAccess: Returns the field.
getFieldName() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
getFinalLocalValues() - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the value of effectively final local variables.
getFlowRule() - Method in interface org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock: Returns the flow rule for information flowing from this block to its successor.
getFlowRule() - Method in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
getFormalParameters(ExecutableElement) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns the parameters of methodEle as FormalParameters.
getGuard() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode: Gets the node for the guard (the expression in the when clause).
getImplicitReceiver(Element) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns the implicit receiver of ele.
getIndex() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
getIndex() - Method in class org.checkerframework.dataflow.expression.ArrayAccess
getIndex() - Method in class org.checkerframework.dataflow.expression.FormalParameter: Returns the 1-based index of this formal parameter.
getInformation(Node) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
getInitializer(int) - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
getInitializers() - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
getInitializers() - Method in class org.checkerframework.dataflow.expression.ArrayCreation
getInput(Block) - Method in interface org.checkerframework.dataflow.analysis.Analysis: Get the transfer input of a given Block b.
getInput(Block) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the TransferInput for the given block.
getInput(Block) - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
getInput(Block) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
getInputBefore(Block) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: Returns the transfer input corresponding to the location right before the basic block b.
getInputFile() - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions: Getter for the input file.
getInSource() - Method in class org.checkerframework.dataflow.cfg.node.Node: Return whether this node represents a tree that appears in the source code (true) or one that the CFG or builder added while desugaring (false).
getIsStartOfBlock() - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
getIterableExpression() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: If this MethodInvocationNode is a node for an Iterator.next() desugared from an enhanced for loop, then return the expression in the for loop, e.g., iter in for(Object o: iter.
getKind() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST
getKinds() - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Return the kinds of purity that the method has.
getLabel() - Method in class org.checkerframework.dataflow.cfg.builder.ExtendedNode: Returns the label associated with this extended node (only applicable if type is ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP or ExtendedNode.ExtendedNodeType.UNCONDITIONAL_JUMP).
getLabel(TreePath) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Returns the label Name of the leaf in the argument path, or null if the leaf is not a labeled statement.
getLambdaTree() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda: Returns the lambda expression tree.
getLastNode() - Method in interface org.checkerframework.dataflow.cfg.block.Block: Returns the last node of this block, or null if none.
getLastNode() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
getLastNode() - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
getLastNode() - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
getLastNode() - Method in class org.checkerframework.dataflow.cfg.block.SpecialBlockImpl
getLeft() - Method in class org.checkerframework.dataflow.expression.BinaryOperation: Returns the left operand of this binary operation.
getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
getMessage() - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
getMethod() - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
getMethod() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda: Deprecated.
use #getEnclosingMethod()
getMethod() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
getMethodName() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda: Deprecated.
use #getEnclosingMethodName()
getMethodName() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod: Returns the name of the method.
getMethodName() - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions: Getter for the method name.
getName() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
getName() - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
getNestedPatterns() - Method in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode: Returns the nested patterns.
getNode() - Method in class org.checkerframework.dataflow.analysis.TransferInput: Returns the Node for this TransferInput.
getNode() - Method in interface org.checkerframework.dataflow.cfg.block.ExceptionBlock: Returns the node of this block.
getNode() - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
getNode() - Method in class org.checkerframework.dataflow.cfg.builder.ExtendedNode: Returns the node contained in this extended node (only applicable if the type is NODE or EXCEPTION_NODE).
getNodes() - Method in interface org.checkerframework.dataflow.cfg.block.Block: Returns the nodes contained within this basic block.
getNodes() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl: Returns the nodes contained within this basic block.
getNodes() - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl: Returns the nodes contained within this basic block.
getNodes() - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl: Returns the nodes contained within this basic block.
getNodes() - Method in class org.checkerframework.dataflow.cfg.block.SpecialBlockImpl: Returns the nodes contained within this basic block.
getNodesCorrespondingToTree(Tree) - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns the set of Nodes to which the Tree t corresponds, or null for trees that don't produce a value.
getNodesForTree(Tree) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Get the set of Nodes for a given Tree.
getNodesForTree(Tree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the Nodes corresponding to a particular Tree.
getNodeSimpleName(Node) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Get the simple name of a node.
getNodeValues() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Returns all current node values.
getNotBothReasons() - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Get the reasons why the method is not both side-effect-free and deterministic.
getNotDetReasons() - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Get the reasons why the method is not deterministic.
getNotSEFreeReasons() - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Get the reasons why the method is not side-effect-free.
getOperand() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
getOperand() - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
getOperand() - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
getOperand() - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
getOperand() - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
getOperand() - Method in class org.checkerframework.dataflow.cfg.node.UnaryOperationNode
getOperand() - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
getOperand() - Method in class org.checkerframework.dataflow.expression.UnaryOperation: Returns the operand of this unary operation.
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.AnyPatternNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ExpressionStatementNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.FloatLiteralNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.LongLiteralNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.Node: Returns a collection containing all of the operand Nodes of this Node.
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.NullLiteralNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ShortLiteralNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.SwitchExpressionNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ThisNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.UnaryOperationNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
getOperationKind() - Method in class org.checkerframework.dataflow.expression.BinaryOperation: Returns the operator of this binary operation.
getOperationKind() - Method in class org.checkerframework.dataflow.expression.UnaryOperation: Returns the operator of this unary operation.
getOutputDirectory() - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions: Getter for the output directory.
getParametersAsLocalVariables(ExecutableElement) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns the parameters of methodEle as LocalVariables.
getParent() - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode: The parent node of the current node.
getParent() - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode: The package name node for the parent package, null otherwise.
getPatternNode() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: Returns the pattern for this instanceof, or null if one does not exist.
getPostfixBinaryTree(UnaryTree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the synthetic v + 1 or v - 1 corresponding to the postfix increment or decrement tree.
getPostfixNodeLookup() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns an unmodifiable view of the lookup-map of the binary tree for a postfix expression.
getPredecessorHolder(BlockImpl, BlockImpl) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree: Return a predecessor holder that can be used to set the successor of pred in the place where previously the edge pointed to cur.
getPredecessors() - Method in interface org.checkerframework.dataflow.cfg.block.Block: Returns the predecessors of this basic block.
getPredecessors() - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
getProcessOrder(ControlFlowGraph) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Generate the order of processing blocks.
getProcessOrderSimpleString(List<Integer>) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Given a list of process orders (integers), returns a string representation.
getPseudoReceiver(TreePath, TypeMirror) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns either a new ClassName or ThisReference JavaExpression object for the enclosingType.
getPurityKinds(AnnotationProvider, MethodTree) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Returns the purity annotations on the method methodTree.
getPurityKinds(AnnotationProvider, ExecutableElement) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Returns the purity annotations on the method methodElement.
getReceiver() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
getReceiver() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode: The receiver node for the local variable, null otherwise.
getReceiver() - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
getReceiver() - Method in class org.checkerframework.dataflow.expression.FieldAccess: Returns the receiver.
getReceiver() - Method in class org.checkerframework.dataflow.expression.MethodCall: Returns the method call receiver (for inspection only - do not modify).
getReceiver(ExpressionTree) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns the receiver of the given invocation.
getRefType() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: The reference type being tested against.
getRegularExitBlock() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
getRegularExitStore() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
getRegularExitStore() - Method in interface org.checkerframework.dataflow.analysis.Analysis: Returns the regular exit store, or null, if there is no such store (because the method cannot exit through the regular exit block).
getRegularStore() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
getRegularStore() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult
getRegularStore() - Method in class org.checkerframework.dataflow.analysis.TransferInput: Returns the regular result store produced if no exception is thrown by the Node corresponding to this transfer function result.
getRegularStore() - Method in class org.checkerframework.dataflow.analysis.TransferResult: Returns the regular result store produced if no exception is thrown by the Node corresponding to this transfer function result.
getRegularSuccessor() - Method in interface org.checkerframework.dataflow.cfg.block.RegularBlock: Returns the regular successor block.
getRegularSuccessor() - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
getResult() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
getResult() - Method in interface org.checkerframework.dataflow.analysis.Analysis: The result of running the analysis.
getResult() - Method in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode: Returns the final node of the CFG corresponding to the lambda expression body (see LambdaResultExpressionNode.getTree()).
getResult() - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode: The result of the return node, null otherwise.
getResultValue() - Method in class org.checkerframework.dataflow.analysis.TransferResult: Returns the abstract value produced by the transfer function, null otherwise.
getReturnNodes() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
getReturnStatementStores() - Method in interface org.checkerframework.dataflow.analysis.ForwardAnalysis: Get stores at return statements.
getReturnStatementStores() - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
getRight() - Method in class org.checkerframework.dataflow.expression.BinaryOperation: Returns the right operand of this binary operation.
getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
getSeparator() - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Returns the separator for lines within a node's representation.
getSeparator() - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
getSeparator() - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
getSimpleClassName() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda: Returns the simple name of the enclosing class.
getSimpleClassName() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod: Returns the simple name of the enclosing class.
getSimpleClassName() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement: Returns the simple name of the enclosing class.
getSpecialType() - Method in interface org.checkerframework.dataflow.cfg.block.SpecialBlock: Returns the type of this special basic block.
getSpecialType() - Method in class org.checkerframework.dataflow.cfg.block.SpecialBlockImpl
getStoreAfter(Tree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the store immediately after a given Tree.
getStoreAfter(Block) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the regular store immediately after a given block.
getStoreAfter(Block) - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl: Returns the store corresponding to the location right after the basic block b.
getStoreAfter(Node) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the store immediately after a given Node.
getStoreBefore(Tree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the store immediately before a given Tree.
getStoreBefore(Block) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the regular store immediately before a given Block.
getStoreBefore(Block, Store.Kind) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: Return the store corresponding to the location right before the basic block b.
getStoreBefore(Node) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the store immediately before a given Node.
getSuccessor() - Method in interface org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock: Returns the non-exceptional successor block, or null if there is no non-exceptional successor.
getSuccessor() - Method in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
getSuccessors() - Method in interface org.checkerframework.dataflow.cfg.block.Block: Returns the successors of this basic block.
getSuccessors() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
getSuccessors() - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
getSuccessors() - Method in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
getSupportedSourceVersion() - Method in class org.checkerframework.dataflow.cfg.CFGProcessor
getSwitchExpressionVar() - Method in class org.checkerframework.dataflow.cfg.node.SwitchExpressionNode: This is a variable created by dataflow to which each result expression of the switch expression is assigned.
getSwitchOperand() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode: The Node for the assignment of the switch selector expression to a synthetic local variable.
getTarget() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode: Returns the left-hand-side of the assignment.
getTarget() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
getTerminatesExecution() - Method in class org.checkerframework.dataflow.cfg.builder.ExtendedNode
getTernaryExpressionVar() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode: This is a variable created by dataflow to which each case expression of the ternary expression is assigned.
getThenFlowRule() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock: Returns the flow rule for information flowing from this block to its then successor.
getThenFlowRule() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
getThenLabel() - Method in class org.checkerframework.dataflow.cfg.builder.ConditionalJump
getThenOperand() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode: Gets the node representing the "then" operand for this node
getThenStore() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
getThenStore() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult
getThenStore() - Method in class org.checkerframework.dataflow.analysis.TransferInput: Returns the result store produced if the Node this result belongs to evaluates to true.
getThenStore() - Method in class org.checkerframework.dataflow.analysis.TransferResult: Returns the result store produced if the Node this result belongs to evaluates to true.
getThenSuccessor() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock: Returns the entry block of the then branch.
getThenSuccessor() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
getTransferFunction() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
getTransferFunction() - Method in interface org.checkerframework.dataflow.analysis.Analysis: Get the transfer function of this analysis.
getTransitiveOperands() - Method in class org.checkerframework.dataflow.cfg.node.Node: Returns a collection containing all of the operand Nodes of this Node, as well as (transitively) the operands of its operands.
getTree() - Method in class org.checkerframework.dataflow.cfg.node.AnyPatternNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ExplicitThisNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ExpressionStatementNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ImplicitThisNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode: Returns the ExpressionTree corresponding to the body of a lambda expression with an expression body (e.g.
getTree() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.Node: Returns the Tree in the abstract syntax tree, or null if no corresponding tree exists.
getTree() - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.SwitchExpressionNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.UnaryOperationNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
getTree() - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
getTreeLookup() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns an unmodifiable view of the tree-lookup map.
getTreePath() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
getTrueFlowRule() - Method in class org.checkerframework.dataflow.cfg.builder.ConditionalJump: Returns the true branch flow rule.
getType() - Method in interface org.checkerframework.dataflow.cfg.block.Block: Returns the type of this basic block.
getType() - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
getType() - Method in class org.checkerframework.dataflow.cfg.builder.ExtendedNode
getType() - Method in class org.checkerframework.dataflow.cfg.node.Node: Returns a TypeMirror representing the type of a Node.
getType() - Method in class org.checkerframework.dataflow.expression.JavaExpression
getTypeMirror(Class<?>) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Returns the TypeMirror for the given class.
getTypeToInstantiate() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: Returns the typeToInstantiate node.
getUid() - Method in class org.checkerframework.dataflow.analysis.AnalysisResult
getUid() - Method in class org.checkerframework.dataflow.analysis.TransferInput
getUid() - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
getUid() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
getUid() - Method in class org.checkerframework.dataflow.cfg.node.Node
getUid() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST
getUnderlyingAST() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns the AST this CFG corresponds to.
getValue() - Method in class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
getValue() - Method in class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
getValue() - Method in class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
getValue() - Method in class org.checkerframework.dataflow.cfg.node.FloatLiteralNode
getValue() - Method in class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
getValue() - Method in class org.checkerframework.dataflow.cfg.node.LongLiteralNode
getValue() - Method in class org.checkerframework.dataflow.cfg.node.NullLiteralNode
getValue() - Method in class org.checkerframework.dataflow.cfg.node.ShortLiteralNode
getValue() - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
getValue() - Method in class org.checkerframework.dataflow.cfg.node.ValueLiteralNode: Returns the value of the literal, null for the null literal.
getValue() - Method in class org.checkerframework.dataflow.constantpropagation.Constant: Returns the value.
getValue() - Method in class org.checkerframework.dataflow.expression.ValueLiteral: Returns the value of this literal.
getValue(Tree) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
getValue(Tree) - Method in interface org.checkerframework.dataflow.analysis.Analysis: Return the abstract value for Tree t, or null if no information is available.
getValue(Tree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the abstract value for Tree t, or null if no information is available.
getValue(Node) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
getValue(Node) - Method in interface org.checkerframework.dataflow.analysis.Analysis: Returns the abstract value for Node n, or null if no information is available.
getValue(Node) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the abstract value for Node n, or null if no information is available.
getValueOfSubNode(Node) - Method in class org.checkerframework.dataflow.analysis.TransferInput: Returns the abstract value of node n, which is required to be a "sub-node" (that is, a direct or indirect child) of the node this transfer input is associated with.
GreaterThanNode - Class in org.checkerframework.dataflow.cfg.node: A node for the greater than comparison:
GreaterThanNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.GreaterThanNode: Constructs a GreaterThanNode.
GreaterThanOrEqualNode - Class in org.checkerframework.dataflow.cfg.node: A node for the greater than or equal comparison:
GreaterThanOrEqualNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode: Constructs a GreaterThanOrEqualNode.
guard - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode: The guard (the expression in the when clause) for this case.

H

handleArtificialTree(Tree) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Perform any actions required when CFG translation creates a new Tree that is not part of the original AST.
handleSuccessorsHelper(Block, Set<Block>, Queue<Block>, StringBuilder) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Outputs, to sbGraph, a visualization of a block's edges, but not the block itself.
hashCode() - Method in class org.checkerframework.dataflow.analysis.TransferInput
hashCode() - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
hashCode() - Method in class org.checkerframework.dataflow.busyexpr.BusyExprValue
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.CatchMarkerNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ExpressionStatementNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.SwitchExpressionNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ThisNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
hashCode() - Method in class org.checkerframework.dataflow.constantpropagation.Constant
hashCode() - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
hashCode() - Method in class org.checkerframework.dataflow.expression.ArrayAccess
hashCode() - Method in class org.checkerframework.dataflow.expression.ArrayCreation
hashCode() - Method in class org.checkerframework.dataflow.expression.BinaryOperation
hashCode() - Method in class org.checkerframework.dataflow.expression.ClassName
hashCode() - Method in class org.checkerframework.dataflow.expression.FieldAccess
hashCode() - Method in class org.checkerframework.dataflow.expression.FormalParameter
hashCode() - Method in class org.checkerframework.dataflow.expression.LocalVariable
hashCode() - Method in class org.checkerframework.dataflow.expression.MethodCall
hashCode() - Method in class org.checkerframework.dataflow.expression.SuperReference
hashCode() - Method in class org.checkerframework.dataflow.expression.ThisReference
hashCode() - Method in class org.checkerframework.dataflow.expression.UnaryOperation
hashCode() - Method in class org.checkerframework.dataflow.expression.Unknown
hashCode() - Method in class org.checkerframework.dataflow.expression.ValueLiteral
hashCode() - Method in class org.checkerframework.dataflow.livevariable.LiveVarNode
hashCode() - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
hashCode() - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionNode
hashCode() - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
hasPurityAnnotation(AnnotationProvider, MethodTree) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Does the method methodTree have any purity annotation?
hasPurityAnnotation(AnnotationProvider, ExecutableElement) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Does the method methodElement have any purity annotation?

I

ImplicitThisNode - Class in org.checkerframework.dataflow.cfg.node: A node to model the implicit this, e.g., in a field access.
ImplicitThisNode(TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.ImplicitThisNode
index - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: The index expresssion used to access the array.
index - Variable in class org.checkerframework.dataflow.expression.ArrayAccess: The index; an expression of type int.
index - Variable in class org.checkerframework.dataflow.expression.FormalParameter: The 1-based index.
init(Map<String, Object>) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer
init(Map<String, Object>) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Initialization method guaranteed to be called once before the first invocation of CFGVisualizer.visualize(org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis<V, S, T>) or CFGVisualizer.visualizeWithAction(org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis<V, S, T>).
init(Map<String, Object>) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
init(Map<String, Object>) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
init(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Initialize the analysis with a new control flow graph.
initFields(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Initialize fields of this object based on a given control flow graph.
initFields(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
initFields(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
initialExceptionalExitStore(UnderlyingAST) - Method in interface org.checkerframework.dataflow.analysis.BackwardTransferFunction: Returns the initial store that should be used at the exceptional exit block or given the underlying AST of a control flow graph.
initialExceptionalExitStore(UnderlyingAST) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprTransfer
initialExceptionalExitStore(UnderlyingAST) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
initializers - Variable in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
initializers - Variable in class org.checkerframework.dataflow.expression.ArrayCreation: List of initializers.
initialNormalExitStore(UnderlyingAST, List<ReturnNode>) - Method in interface org.checkerframework.dataflow.analysis.BackwardTransferFunction: Returns the initial store that should be used at the normal exit block.
initialNormalExitStore(UnderlyingAST, List<ReturnNode>) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprTransfer
initialNormalExitStore(UnderlyingAST, List<ReturnNode>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
initialStore(UnderlyingAST, List<LocalVariableNode>) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionTransfer
initialStore(UnderlyingAST, List<LocalVariableNode>) - Method in interface org.checkerframework.dataflow.analysis.ForwardTransferFunction: Returns the initial store to be used by the org.checkerframework.dataflow analysis.
initialStore(UnderlyingAST, List<LocalVariableNode>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
initInitialInputs() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Initialize the transfer inputs of every basic block before performing the analysis.
initInitialInputs() - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
initInitialInputs() - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
inputs - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: The transfer inputs of every basic block; assumed to be 'no information' if not present.
inputs - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult: The transfer inputs of every basic block; assumed to be 'no information' if not present.
insertExtendedNodeAfter(ExtendedNode, Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Insert n after the node pred in the list of extended nodes, or append n if pred is not present.
insertNodeAfter(T, Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Insert node after pred in the list of extended nodes, or append to the list if pred is not present.
insertNodeWithExceptionsAfter(Node, Set<TypeMirror>, Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Insert a node that might throw the exceptions in causes after pred in the list of extended nodes, or append to the list if pred is not present.
inSource - Variable in class org.checkerframework.dataflow.cfg.node.Node: Does this node represent a tree that appears in the source code (true) or one that the CFG builder added while desugaring (false).
InstanceOfNode - Class in org.checkerframework.dataflow.cfg.node: A node for the instanceof operator:
InstanceOfNode(InstanceOfTree, Node, TypeMirror, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.InstanceOfNode: Create an InstanceOfNode.
InstanceOfNode(InstanceOfTree, Node, Node, TypeMirror, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.InstanceOfNode: Create an InstanceOfNode.
IntegerDivisionNode - Class in org.checkerframework.dataflow.cfg.node: A node for the integer division:
IntegerDivisionNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode: Constructs an IntegerDivisionNode.
IntegerLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for an integer literal.
IntegerLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode: Create a new IntegerLiteralNode.
IntegerRemainderNode - Class in org.checkerframework.dataflow.cfg.node: A node for the integer remainder:
IntegerRemainderNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode: Constructs an IntegerRemainderNode.
isArrayLengthFieldAccess(Node) - Static method in class org.checkerframework.dataflow.util.NodeUtils: Returns true iff node is a FieldAccessNode that is an access to an array's length.
isAssertFalse - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne.AssertMethodTuple: Is this an assert false method?
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ArrayAccess
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ArrayCreation
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.BinaryOperation
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ClassName
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.FieldAccess
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.FormalParameter
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if some subexpression of this can be assigned to from outside the current method body.
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.LocalVariable
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.MethodCall
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.SuperReference
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ThisReference
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.UnaryOperation
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.Unknown
isAssignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ValueLiteral
isBooleanTypeNode(Node) - Static method in class org.checkerframework.dataflow.util.NodeUtils: Returns true iff node corresponds to a boolean typed expression (either the primitive type boolean, or class type Boolean).
isBottom() - Method in class org.checkerframework.dataflow.constantpropagation.Constant: Returns whether or not the constant is BOTTOM.
isConstant() - Method in class org.checkerframework.dataflow.constantpropagation.Constant: Returns whether or not the constant is CONSTANT.
isConstantBoolean(Node, boolean) - Static method in class org.checkerframework.dataflow.util.NodeUtils: Returns true if the given node statically evaluates to value and has no side effects.
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.ClassName
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.FieldAccess
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.FormalParameter
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if the expression is deterministic.
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.LocalVariable
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.MethodCall
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.SuperReference
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.ThisReference
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.Unknown
isDeterministic(AnnotationProvider) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
isDeterministic(AnnotationProvider, MethodTree) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Is the method methodTree deterministic?
isDeterministic(AnnotationProvider, ExecutableElement) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Is the method methodElement deterministic?
isEmpty() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: See AbstractCollection.isEmpty().
isEmpty() - Method in interface org.checkerframework.dataflow.cfg.block.RegularBlock: Is this block empty (i.e., does it not contain any contents).
isEmpty() - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
isFinal() - Method in class org.checkerframework.dataflow.expression.FieldAccess
isIgnoredExceptionType(TypeMirror) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Should exceptional control flow for a particular exception type be ignored?
isLocalVariable(ExpressionTree) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper: Checks if the argument is a local variable.
isLValue() - Method in class org.checkerframework.dataflow.cfg.node.Node: Is the node an lvalue or not?
isMethodInvocation(Node, List<ExecutableElement>, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.util.NodeUtils: Returns true iff node is an invocation of one of the given methods.
isMethodInvocation(Node, ExecutableElement, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.util.NodeUtils: Returns true if node is an invocation of the given method.
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ArrayAccess
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ArrayCreation
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.BinaryOperation
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ClassName
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.FieldAccess
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.FormalParameter
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if the value this expression stands for can be changed by a method call; equivalently, if the value this expression evaluates to can be changed by a side effect from outside the containing method.
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.LocalVariable
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.MethodCall
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.SuperReference
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ThisReference
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.UnaryOperation
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.Unknown
isModifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ValueLiteral
isNumericOrBoxed(TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Returns true if the argument type is a numeric primitive or a boxed numeric primitive and false otherwise.
isPDF() - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions: Getter for the PDF flag.
isPure(EnumSet<Pure.Kind>) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Is the method pure w.r.t.
isRunning - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Is the analysis currently running?
isRunning() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
isRunning() - Method in interface org.checkerframework.dataflow.analysis.Analysis: Is the analysis currently running?
isSideEffectFree(AnnotationProvider, MethodTree) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Deprecated.
use AnnotationProvider.isSideEffectFree(javax.lang.model.element.ExecutableElement)
isSideEffectFree(AnnotationProvider, ExecutableElement) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Is the method methodElement side-effect-free?
isStatic() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode: Determine whether the field is static or not.
isStatic() - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode: Determine whether the method is static or not.
isStatic() - Method in class org.checkerframework.dataflow.expression.FieldAccess
isString() - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions: Getter for the string flag.
isSuccess() - Method in class org.checkerframework.dataflow.cfg.CFGProcessor.CFGProcessResult: Check if the CFG process succeeded.
isSynthetic() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode: Check if the assignment node is synthetic, e.g.
isTop() - Method in class org.checkerframework.dataflow.constantpropagation.Constant: Returns whether or not the constant is TOP.
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.JavaExpression: Deprecated.
use JavaExpression.isAssignableByOtherCode()
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.JavaExpression: Deprecated.
use JavaExpression.isModifiableByOtherCode()
isVerbose() - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions: Getter for the verbose flag.
iterableExpression - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: If this MethodInvocationNode is a node for an Iterator.next() desugared from an enhanced for loop, then the iterExpression field is the expression in the for loop, e.g., iter in for(Object o: iter.
iterableType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The Iterable type (erased).

J

JavaExpression - Class in org.checkerframework.dataflow.expression: This class represents a Java expression and its type.
JavaExpression(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.JavaExpression: Create a JavaExpression.
JavaExpressionConverter - Class in org.checkerframework.dataflow.expression: This class calls JavaExpressionConverter.convert(JavaExpression) on each subexpression of the JavaExpression and returns a new JavaExpression built from the result of calling convert on each subexpression.
JavaExpressionConverter() - Constructor for class org.checkerframework.dataflow.expression.JavaExpressionConverter
JavaExpressionScanner<P> - Class in org.checkerframework.dataflow.expression: A simple scanner for JavaExpression.
JavaExpressionScanner() - Constructor for class org.checkerframework.dataflow.expression.JavaExpressionScanner
JavaExpressionVisitor<R,P> - Class in org.checkerframework.dataflow.expression: A simple visitor for JavaExpression.
JavaExpressionVisitor() - Constructor for class org.checkerframework.dataflow.expression.JavaExpressionVisitor

K

killBusyExpr(Node) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore: Kill expressions if they contain variable var.
killDef(Node) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore: Remove the information of a reaching definition from the reaching definition set.
killLiveVar(LiveVarNode) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore: Remove the information of a live variable from the live variable set.
kind - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST: The kind of the underlying AST.
kinds - Variable in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Contains all the varieties of purity that the expression has.

L

Label - Class in org.checkerframework.dataflow.cfg.builder: A label is used to refer to other extended nodes using a mapping from labels to extended nodes.
Label() - Constructor for class org.checkerframework.dataflow.cfg.builder.Label
Label(String) - Constructor for class org.checkerframework.dataflow.cfg.builder.Label
LAMBDA - Enum constant in enum class org.checkerframework.dataflow.cfg.UnderlyingAST.Kind: The underlying code is a lambda expression.
LambdaResultExpressionNode - Class in org.checkerframework.dataflow.cfg.node: A node for the single expression body of a single-expression lambda.
LambdaResultExpressionNode(ExpressionTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode: Creates a LambdaResultExpressionNode.
leastUpperBound(TransferInput<V, S>) - Method in class org.checkerframework.dataflow.analysis.TransferInput: Compute the least upper bound of two stores.
leastUpperBound(UnusedAbstractValue) - Method in class org.checkerframework.dataflow.analysis.UnusedAbstractValue
leastUpperBound(BusyExprStore) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
leastUpperBound(Constant) - Method in class org.checkerframework.dataflow.constantpropagation.Constant
leastUpperBound(ConstantPropagationStore) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
leastUpperBound(LiveVarStore) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
leastUpperBound(ReachingDefinitionStore) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
leastUpperBound(S) - Method in interface org.checkerframework.dataflow.analysis.Store: Compute the least upper bound of two stores.
leastUpperBound(V) - Method in interface org.checkerframework.dataflow.analysis.AbstractValue: Compute the least upper bound of two values.
left - Variable in class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
left - Variable in class org.checkerframework.dataflow.expression.BinaryOperation: The left operand.
leftJustifiedTerminator - Static variable in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer: Terminator for lines that are left-justified.
LeftShiftNode - Class in org.checkerframework.dataflow.cfg.node: A node for bitwise left shift operations:
LeftShiftNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.LeftShiftNode: Constructs a LeftShiftNode.
LessThanNode - Class in org.checkerframework.dataflow.cfg.node: A node for the less than comparison:
LessThanNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.LessThanNode: Constructs a LessThanNode.
LessThanOrEqualNode - Class in org.checkerframework.dataflow.cfg.node: A node for the less than or equal comparison:
LessThanOrEqualNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode: Constructs a LessThanOrEqualNode.
lhs - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentNode: The node for the LHS of the assignment tree.
lineSeparator - Static variable in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: The line separator.
listContainsSyntacticEqualJavaExpression(List<? extends JavaExpression>, JavaExpression) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if the given list contains a JavaExpression that is syntactically equal to other.
listIsDeterministic(List<? extends JavaExpression>, AnnotationProvider) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if all the expressions in the list are deterministic.
liveVariable - Variable in class org.checkerframework.dataflow.livevariable.LiveVarNode: A live variable is represented by a node, which can be a LocalVariableNode or FieldAccessNode.
LiveVariablePlayground - Class in org.checkerframework.dataflow.cfg.playground: The playground of live variable analysis.
LiveVarNode - Class in org.checkerframework.dataflow.livevariable: A LiveVarNode contains a CFG node, which can only be a LocalVariableNode or FieldAccessNode.
LiveVarNode(Node) - Constructor for class org.checkerframework.dataflow.livevariable.LiveVarNode: Create a new live variable.
LiveVarStore - Class in org.checkerframework.dataflow.livevariable: A live variable store contains a set of live variables represented by nodes.
LiveVarStore() - Constructor for class org.checkerframework.dataflow.livevariable.LiveVarStore: Create a new LiveVarStore.
LiveVarStore(Set<LiveVarNode>) - Constructor for class org.checkerframework.dataflow.livevariable.LiveVarStore: Create a new LiveVarStore.
LiveVarTransfer - Class in org.checkerframework.dataflow.livevariable: A live variable transfer function.
LiveVarTransfer() - Constructor for class org.checkerframework.dataflow.livevariable.LiveVarTransfer: Creates a new LiveVarTransfer.
LocalVariable - Class in org.checkerframework.dataflow.expression: A local variable.
LocalVariable(VariableElement) - Constructor for class org.checkerframework.dataflow.expression.LocalVariable: Creates a new LocalVariable.
LocalVariable(LocalVariableNode) - Constructor for class org.checkerframework.dataflow.expression.LocalVariable: Creates a new LocalVariable.
LocalVariableNode - Class in org.checkerframework.dataflow.cfg.node: A node for a local variable or a parameter:
LocalVariableNode(Tree) - Constructor for class org.checkerframework.dataflow.cfg.node.LocalVariableNode: Create a new local variable node for the given tree.
LocalVariableNode(Tree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.LocalVariableNode: Create a new local variable node for the given tree and receiver.
LongLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a long literal.
LongLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.LongLiteralNode: Create a new LongLiteralNode.
lookupResult(Node) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the cached TransferResult for a given node.
loopOverBlockContents(Block, Analysis<V, S, T>, String) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Iterates over the block content and visualizes all the nodes in it.
lvalue - Variable in class org.checkerframework.dataflow.cfg.node.Node: Is this node an l-value?

M

main(String[]) - Static method in class org.checkerframework.dataflow.cfg.playground.BusyExpressionPlayground: Run busy expression analysis on a file.
main(String[]) - Static method in class org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground: Run constant propagation analysis on a file.
main(String[]) - Static method in class org.checkerframework.dataflow.cfg.playground.LiveVariablePlayground: Run live variable analysis on a file.
main(String[]) - Static method in class org.checkerframework.dataflow.cfg.playground.ReachingDefinitionPlayground: Run reaching definition analysis for a specific file and create a PDF of the CFG in the end.
main(String[]) - Static method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: The main entry point of CFGVisualizeLauncher.
MarkerNode - Class in org.checkerframework.dataflow.cfg.node: MarkerNodes are no-op Nodes used for debugging information.
MarkerNode(Tree, String, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.MarkerNode
maxCountBeforeWidening - Variable in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: Number of times a block can be analyzed before widening.
maybeGetTypeMirror(Class<?>) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Returns the TypeMirror for the given class, or null if the type is not present.
mergeConsecutiveBlocks(ControlFlowGraph) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree: Simplify the CFG by merging consecutive single-successor blocks.
mergeInformation(Node, Constant) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
message - Variable in class org.checkerframework.dataflow.cfg.node.MarkerNode
method - Variable in class org.checkerframework.dataflow.cfg.node.MethodAccessNode: The element of the accessed method.
method - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod: The method declaration.
method - Variable in class org.checkerframework.dataflow.expression.MethodCall: The method being called.
METHOD - Enum constant in enum class org.checkerframework.dataflow.cfg.UnderlyingAST.Kind: The underlying code is a whole method.
MethodAccessNode - Class in org.checkerframework.dataflow.cfg.node: A node for a method access, including a receiver:
MethodAccessNode(ExpressionTree, ExecutableElement, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.MethodAccessNode: Create a new MethodAccessNode.
MethodAccessNode(ExpressionTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.MethodAccessNode: Create a new MethodAccessNode.
MethodCall - Class in org.checkerframework.dataflow.expression: A call to a @Deterministic method.
MethodCall(TypeMirror, ExecutableElement, JavaExpression, List<JavaExpression>) - Constructor for class org.checkerframework.dataflow.expression.MethodCall: Creates a new MethodCall.
methodInvocationConvert(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Perform method invocation conversion so that the node can be passed as a formal parameter of the given type.
MethodInvocationNode - Class in org.checkerframework.dataflow.cfg.node: A node for method invocation.
MethodInvocationNode(MethodInvocationTree, MethodAccessNode, List<Node>, TreePath) - Constructor for class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: Create a MethodInvocationNode.
MethodInvocationNode(MethodAccessNode, List<Node>, TreePath) - Constructor for class org.checkerframework.dataflow.cfg.node.MethodInvocationNode

N

name - Variable in class org.checkerframework.dataflow.cfg.builder.Label
name - Variable in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
narrow(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Perform narrowing conversion on the input node to make it match the destination type.
narrowAndBox(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Perform narrowing conversion and optionally boxing conversion on the input node to make it match the destination type.
NarrowingConversionNode - Class in org.checkerframework.dataflow.cfg.node: A node for the narrowing primitive conversion operation.
NarrowingConversionNode(Tree, Node, TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
negate() - Method in class org.checkerframework.dataflow.expression.ValueLiteral: Returns the negation of this literal.
negativeArraySizeExceptionType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The NegativeArraySizeException type.
nestedPatterns - Variable in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode: A list of nested pattern nodes.
newArrayExceptionTypes - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Exceptions that can be thrown by array creation "new SomeType[]".
noClassDefFoundErrorType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The NoClassDefFoundError type.
node - Variable in class org.checkerframework.dataflow.analysis.TransferInput: The corresponding node.
node - Variable in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl: The node of this block.
Node - Class in org.checkerframework.dataflow.cfg.node: A node in the abstract representation used for Java code inside a basic block.
Node(TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.Node: Creates a new Node.
NODE - Enum constant in enum class org.checkerframework.dataflow.cfg.builder.ExtendedNode.ExtendedNodeType
nodeCollectionToString(Collection<? extends Node>) - Static method in class org.checkerframework.dataflow.cfg.node.Node: Returns a verbose string representation of a collection of nodes, useful for debugging..
nodeToString(ExtendedNode) - Method in class org.checkerframework.dataflow.cfg.builder.PhaseOneResult
NodeUtils - Class in org.checkerframework.dataflow.util: A utility class to operate on a given Node.
NodeUtils() - Constructor for class org.checkerframework.dataflow.util.NodeUtils
nodeValues - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Abstract values of nodes.
nodeValues - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult: Abstract values of nodes.
nodeValuesToString(Map<Node, V>) - Static method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns a verbose string representation, useful for debugging.
NodeVisitor<R,P> - Interface in org.checkerframework.dataflow.cfg.node: A visitor for a Node tree.
NONE - Static variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne.AssertMethodTuple: A tuple representing the lack of an CFGTranslationPhaseOne.AssertMethodTuple.
notBothReasons - Variable in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Reasons that the referenced method is not side-effect-free and deterministic.
notDetReasons - Variable in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Reasons that the referenced method is not deterministic.
NotEqualNode - Class in org.checkerframework.dataflow.cfg.node: A node for the not equal comparison:
NotEqualNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.NotEqualNode: Constructs a NotEqualNode.
notSEFreeReasons - Variable in class org.checkerframework.dataflow.util.PurityChecker.PurityResult: Reasons that the referenced method is not side-effect-free.
NullChkNode - Class in org.checkerframework.dataflow.cfg.node: A node for the unary 'nullchk' operation (generated by the Java compiler):
NullChkNode(Tree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.NullChkNode: Constructs a NullChkNode.
NullLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for the null literal.
NullLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.NullLiteralNode: Create a new NullLiteralNode.
nullPointerExceptionType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The NullPointerException type .
NumericalAdditionNode - Class in org.checkerframework.dataflow.cfg.node: A node for the numerical addition:
NumericalAdditionNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode: Constructs a NumericalAdditionNode.
NumericalMinusNode - Class in org.checkerframework.dataflow.cfg.node: A node for the unary minus operation:
NumericalMinusNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.NumericalMinusNode: Constructs a NumericalMinusNode.
NumericalMultiplicationNode - Class in org.checkerframework.dataflow.cfg.node: A node for the numerical multiplication:
NumericalMultiplicationNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode: Constructs a NumericalMultiplicationNode.
NumericalPlusNode - Class in org.checkerframework.dataflow.cfg.node: A node for the unary plus operation:
NumericalPlusNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.NumericalPlusNode: Constructs a NumericalPlusNode.
NumericalSubtractionNode - Class in org.checkerframework.dataflow.cfg.node: A node for the numerical subtraction:
NumericalSubtractionNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode: Constructs a NumericalSubtractionNode.

O

ObjectCreationNode - Class in org.checkerframework.dataflow.cfg.node: A node for a new object creation.
ObjectCreationNode(NewClassTree, Node, Node, List<Node>, ClassDeclarationNode) - Constructor for class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: Constructs a ObjectCreationNode.
operand - Variable in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: The value being tested.
operand - Variable in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
operand - Variable in class org.checkerframework.dataflow.cfg.node.NullChkNode: The operand of the null check
operand - Variable in class org.checkerframework.dataflow.cfg.node.StringConversionNode
operand - Variable in class org.checkerframework.dataflow.cfg.node.TypeCastNode
operand - Variable in class org.checkerframework.dataflow.cfg.node.UnaryOperationNode
operand - Variable in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
operand - Variable in class org.checkerframework.dataflow.expression.UnaryOperation: The operand.
operationKind - Variable in class org.checkerframework.dataflow.expression.BinaryOperation: The binary operation kind.
operationKind - Variable in class org.checkerframework.dataflow.expression.UnaryOperation: The unary operation kind.
org.checkerframework.dataflow.analysis - package org.checkerframework.dataflow.analysis
org.checkerframework.dataflow.busyexpr - package org.checkerframework.dataflow.busyexpr
org.checkerframework.dataflow.cfg - package org.checkerframework.dataflow.cfg
org.checkerframework.dataflow.cfg.block - package org.checkerframework.dataflow.cfg.block
org.checkerframework.dataflow.cfg.builder - package org.checkerframework.dataflow.cfg.builder
org.checkerframework.dataflow.cfg.node - package org.checkerframework.dataflow.cfg.node
org.checkerframework.dataflow.cfg.playground - package org.checkerframework.dataflow.cfg.playground
org.checkerframework.dataflow.cfg.visualize - package org.checkerframework.dataflow.cfg.visualize
org.checkerframework.dataflow.constantpropagation - package org.checkerframework.dataflow.constantpropagation
org.checkerframework.dataflow.expression - package org.checkerframework.dataflow.expression
org.checkerframework.dataflow.livevariable - package org.checkerframework.dataflow.livevariable: Classes using for live variable analysis.
org.checkerframework.dataflow.reachingdef - package org.checkerframework.dataflow.reachingdef
org.checkerframework.dataflow.util - package org.checkerframework.dataflow.util
out - Variable in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer: Stream to output String representation to.
outDir - Variable in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer: The output directory.
outOfMemoryErrorType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The OutOfMemoryError type.
outStores - Variable in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl: Out stores after every basic block (assumed to be 'no information' if not present).

P

PackageNameNode - Class in org.checkerframework.dataflow.cfg.node: A node representing a package name used in an expression such as a constructor invocation.
PackageNameNode(IdentifierTree) - Constructor for class org.checkerframework.dataflow.cfg.node.PackageNameNode
PackageNameNode(MemberSelectTree, PackageNameNode) - Constructor for class org.checkerframework.dataflow.cfg.node.PackageNameNode
ParameterizedTypeNode - Class in org.checkerframework.dataflow.cfg.node: A node for a parameterized type occurring in an expression:
ParameterizedTypeNode(ParameterizedTypeTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
parent - Variable in class org.checkerframework.dataflow.cfg.node.ClassNameNode: The parent name, if any.
parent - Variable in class org.checkerframework.dataflow.cfg.node.PackageNameNode: The parent name, if any.
parseArgs(String[]) - Static method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions: Parse the command line arguments.
patternNode - Variable in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: The node of the pattern if one exists.
performAnalysis(ControlFlowGraph) - Method in interface org.checkerframework.dataflow.analysis.Analysis: Perform the actual analysis.
performAnalysis(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
performAnalysis(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
performAnalysis(CFGVisualizeOptions, Analysis<V, S, T>) - Static method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Generate a visualization of the CFG of a method, with an optional analysis.
performAnalysisBlock(Block) - Method in interface org.checkerframework.dataflow.analysis.Analysis: Perform the actual analysis on one block.
performAnalysisBlock(Block) - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
performAnalysisBlock(Block) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
PhaseOneResult - Class in org.checkerframework.dataflow.cfg.builder: A wrapper object to pass around the result of phase one.
PhaseOneResult(UnderlyingAST, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, BinaryTree>, List<ExtendedNode>, Map<Label, Integer>, Set<Integer>, List<ReturnNode>, Label, Label, List<ClassTree>, List<LambdaExpressionTree>, Types) - Constructor for class org.checkerframework.dataflow.cfg.builder.PhaseOneResult: Create a PhaseOneResult with the given data.
poll() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: See PriorityQueue.poll().
postfixLookup - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult: Map from postfix increment or decrement trees that are AST UnaryTrees to the synthetic tree that is v + 1 or v - 1.
postfixNodeLookup - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Map from postfix increment or decrement trees that are AST UnaryTrees to the synthetic tree that is v + 1 or v - 1.
predecessors - Variable in class org.checkerframework.dataflow.cfg.block.BlockImpl: The set of predecessors.
PrimitiveTypeNode - Class in org.checkerframework.dataflow.cfg.node: A node representing a primitive type used in an expression such as a field access.
PrimitiveTypeNode(PrimitiveTypeTree, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
printBlocks(Set<Block>) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Print a set of Blocks and the edges between them.
process(CompilationUnitTree, UnderlyingAST) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Process a single body within root.
process(TreePath, UnderlyingAST) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Performs the actual work of phase one: processing a single body (of a method, lambda, top-level block, etc.).
process(PhaseOneResult) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseTwo: Perform phase two of the translation.
process(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: Process the control flow graph.
process(ControlFlowGraph) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree: Perform phase three on the control flow graph cfg.
process(ConstantPropagationStore, Node, Node) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
propagateStoresTo(Block, Node, TransferInput<V, S>, Store.FlowRule, boolean) - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
propagateStoresTo(Block, Node, TransferInput<V, S>, Store.FlowRule, boolean) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
propagateStoresTo(Block, Node, TransferInput<V, S>, Store.FlowRule, boolean) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Propagate the stores in currentInput to the next block in the direction of analysis, according to the flowRule.
PurityChecker - Class in org.checkerframework.dataflow.util: A visitor that determines the purity (as defined by SideEffectFree, Deterministic, and Pure) of a statement or expression.
PurityChecker() - Constructor for class org.checkerframework.dataflow.util.PurityChecker
PurityChecker.PurityCheckerHelper - Class in org.checkerframework.dataflow.util: Helper class to keep PurityChecker's interface clean.
PurityChecker.PurityResult - Class in org.checkerframework.dataflow.util: Result of the PurityChecker.
PurityCheckerHelper(AnnotationProvider, boolean, boolean, boolean) - Constructor for class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper: Create a PurityCheckerHelper.
PurityResult() - Constructor for class org.checkerframework.dataflow.util.PurityChecker.PurityResult
PurityUtils - Class in org.checkerframework.dataflow.util: A utility class for working with the SideEffectFree, Deterministic, and Pure annotations.
putBusyExpr(BusyExprValue) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore: Add busy expression e to busy expression value set.
putDef(ReachingDefinitionNode) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore: Add a reaching definition to the reaching definition set.
putLiveVar(LiveVarNode) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore: Add the information of a live variable into the live variable set.

Q

queue - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: The backing priority queue.
queueSet - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: Contains the same elements as AbstractAnalysis.Worklist.queue, for faster lookup.

R

ReachingDefinitionNode - Class in org.checkerframework.dataflow.reachingdef: A ReachingDefinitionNode contains a CFG node, which can only be a AssignmentNode.
ReachingDefinitionNode(AssignmentNode) - Constructor for class org.checkerframework.dataflow.reachingdef.ReachingDefinitionNode: Create a new reaching definition.
ReachingDefinitionPlayground - Class in org.checkerframework.dataflow.cfg.playground: The playground for reaching definition analysis.
ReachingDefinitionStore - Class in org.checkerframework.dataflow.reachingdef: A reaching definition store contains a set of reaching definitions represented by ReachingDefinitionNode
ReachingDefinitionStore() - Constructor for class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore: Create a new ReachDefinitionStore.
ReachingDefinitionStore(Set<ReachingDefinitionNode>) - Constructor for class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore: Create a new ReachDefinitionStore.
ReachingDefinitionTransfer - Class in org.checkerframework.dataflow.reachingdef: The reaching definition transfer function.
ReachingDefinitionTransfer() - Constructor for class org.checkerframework.dataflow.reachingdef.ReachingDefinitionTransfer: Create a new ReachingDefinitionTransfer.
receiver - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode: The receiver node of the field access.
receiver - Variable in class org.checkerframework.dataflow.cfg.node.LocalVariableNode: The receiver node for the local variable, null otherwise.
receiver - Variable in class org.checkerframework.dataflow.cfg.node.MethodAccessNode: The receiver node of the method access.
receiver - Variable in class org.checkerframework.dataflow.expression.FieldAccess: The receiver of the field access.
receiver - Variable in class org.checkerframework.dataflow.expression.MethodCall: The receiver argument.
refType - Variable in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: The reference type being tested against.
REGULAR_BLOCK - Enum constant in enum class org.checkerframework.dataflow.cfg.block.Block.BlockType: A regular basic block.
RegularBlock - Interface in org.checkerframework.dataflow.cfg.block: A regular basic block that contains a sequence of Nodes.
RegularBlockImpl - Class in org.checkerframework.dataflow.cfg.block: Implementation of a regular basic block.
RegularBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.RegularBlockImpl: Initialize an empty basic block to be filled with contents and linked to other basic blocks later.
regularExitBlock - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: The regular exit block of the control flow graph.
RegularTransferResult<V,S> - Class in org.checkerframework.dataflow.analysis: Implementation of a TransferResult with just one non-exceptional store.
RegularTransferResult(V, S) - Constructor for class org.checkerframework.dataflow.analysis.RegularTransferResult: Create a new RegularTransferResult(AbstractValue, Store, Map, boolean), using null for TransferResult.exceptionalStores and false for TransferResult.storeChanged().
RegularTransferResult(V, S, boolean) - Constructor for class org.checkerframework.dataflow.analysis.RegularTransferResult: Create a new RegularTransferResult(AbstractValue, Store, Map, boolean), using null for TransferResult.exceptionalStores.
RegularTransferResult(V, S, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.RegularTransferResult: Create a new RegularTransferResult(AbstractValue, Store, Map, boolean), using false for TransferResult.storeChanged().
RegularTransferResult(V, S, Map<TypeMirror, S>, boolean) - Constructor for class org.checkerframework.dataflow.analysis.RegularTransferResult: Create a TransferResult with resultStore as the resulting store.
removeCasts(Node) - Static method in class org.checkerframework.dataflow.util.NodeUtils: Remove any TypeCastNodes wrapping a node, returning the operand nested within the type casts.
removePredecessor(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
result - Variable in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode: Final CFG node corresponding to the lambda expression body.
result - Variable in class org.checkerframework.dataflow.cfg.node.ReturnNode: The node of the returned expression.
resultValue - Variable in class org.checkerframework.dataflow.analysis.TransferResult: The abstract value of the Node associated with this TransferResult, or null if no value has been produced.
ReturnNode - Class in org.checkerframework.dataflow.cfg.node: A node for a return statement:
ReturnNode(ReturnTree, Node, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.ReturnNode: Creates a node for the given return statement.
returnNodes - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: All return nodes (if any) encountered.
returnTree - Variable in class org.checkerframework.dataflow.cfg.node.ReturnNode: The return tree.
rhs - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentNode: The node for the RHS of the assignment tree.
right - Variable in class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
right - Variable in class org.checkerframework.dataflow.expression.BinaryOperation: The right operand.
runAnalysisFor(Node, Analysis.BeforeOrAfter) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Runs the analysis again within the block of node and returns the store at the location of node.
runAnalysisFor(Node, Analysis.BeforeOrAfter, TransferInput<V, S>, IdentityHashMap<Node, V>, Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Method in interface org.checkerframework.dataflow.analysis.Analysis: Runs the analysis again within the block of node and returns the store at the location of node.
runAnalysisFor(Node, Analysis.BeforeOrAfter, TransferInput<V, S>, IdentityHashMap<Node, V>, Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Static method in class org.checkerframework.dataflow.analysis.AnalysisResult: Runs the analysis again within the block of node and returns the store at the location of node.
runAnalysisFor(Node, Analysis.BeforeOrAfter, TransferInput<V, S>, IdentityHashMap<Node, V>, Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
runAnalysisFor(Node, Analysis.BeforeOrAfter, TransferInput<V, S>, IdentityHashMap<Node, V>, Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl

S

sameElement(VariableElement, VariableElement) - Static method in class org.checkerframework.dataflow.expression.LocalVariable: Returns true if the two elements are the same.
scan(Tree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
scan(List<? extends JavaExpression>, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner: Scans each JavaExpression in expressions.
scan(JavaExpression, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner: Scans the JavaExpression.
selectorExprAssignment - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode: The Node for the assignment of the switch selector expression to a synthetic local variable.
setArrayExpression(ExpressionTree) - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: Set the array expression from a for loop.
setBlock(Block) - Method in class org.checkerframework.dataflow.cfg.node.Node: Set the basic block this node belongs to.
setBlock(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.builder.ExtendedNode
setCurrentNode(Node) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Set the node that is currently being looked at.
setCurrentTree(Tree) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Set the tree that is currently being looked at.
setElseFlowRule(Store.FlowRule) - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock: Set the flow rule for information flowing from this block to its else successor.
setElseFlowRule(Store.FlowRule) - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
setElseSuccessor(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl: Set the else branch successor.
setEnhancedForLoop(EnhancedForLoopTree) - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: Set the enhanced for loop from which this is desugared from.
setEnhancedForLoop(EnhancedForLoopTree) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: Set the enhanced for loop for which this is the desugared loop update.
setFalseFlowRule(Store.FlowRule) - Method in class org.checkerframework.dataflow.cfg.builder.ConditionalJump: Sets the false branch flow rule.
setFlowRule(Store.FlowRule) - Method in interface org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock: Set the flow rule for information flowing from this block to its successor.
setFlowRule(Store.FlowRule) - Method in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
setInformation(Node, Constant) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
setInSource(boolean) - Method in class org.checkerframework.dataflow.cfg.node.Node
setIterableExpression(ExpressionTree) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: Set the iterable expression from a for loop.
setLValue() - Method in class org.checkerframework.dataflow.cfg.node.Node: Make this node an l-value.
setNode(Node) - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl: Set the node.
setResultValue(V) - Method in class org.checkerframework.dataflow.analysis.TransferResult: Set the value of TransferResult.resultValue.
setSuccessor(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl: Set a basic block as the successor of this block.
setSuccessor(BlockImpl) - Method in interface org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree.PredecessorHolder
setTerminatesExecution(boolean) - Method in class org.checkerframework.dataflow.cfg.builder.ExtendedNode
setThenFlowRule(Store.FlowRule) - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock: Set the flow rule for information flowing from this block to its then successor.
setThenFlowRule(Store.FlowRule) - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
setThenSuccessor(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl: Set the then branch successor.
setTrueFlowRule(Store.FlowRule) - Method in class org.checkerframework.dataflow.cfg.builder.ConditionalJump: Sets the true branch flow rule.
ShortLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a short literal.
ShortLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ShortLiteralNode: Create a new ShortLiteralNode.
shutdown() - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Shutdown method called once from the shutdown hook of the BaseTypeChecker.
shutdown() - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer: Write a file methods.txt that contains a mapping from source code location to generated dot file.
shutdown() - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer: Shutdown method called once from the shutdown hook of the BaseTypeChecker.
SignedRightShiftNode - Class in org.checkerframework.dataflow.cfg.node: A node for bitwise right shift operations with sign extension:
SignedRightShiftNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode: Constructs a SignedRightShiftNode.
SingleSuccessorBlock - Interface in org.checkerframework.dataflow.cfg.block: A basic block that has exactly one non-exceptional successor.
SingleSuccessorBlockImpl - Class in org.checkerframework.dataflow.cfg.block: A basic block that has at most one successor.
SingleSuccessorBlockImpl(Block.BlockType) - Constructor for class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl: Creates a new SingleSuccessorBlock.
singleSuccessorHolder(SingleSuccessorBlockImpl, BlockImpl) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree: Returns a CFGTranslationPhaseThree.PredecessorHolder that sets the successor of a single successor block s.
SPECIAL_BLOCK - Enum constant in enum class org.checkerframework.dataflow.cfg.block.Block.BlockType: A special basic block.
SpecialBlock - Interface in org.checkerframework.dataflow.cfg.block: Represents a special basic block; i.e., one of the following: Entry block of a method.
SpecialBlock.SpecialBlockType - Enum Class in org.checkerframework.dataflow.cfg.block: The types of special basic blocks.
SpecialBlockImpl - Class in org.checkerframework.dataflow.cfg.block: The implementation of a SpecialBlock.
SpecialBlockImpl(SpecialBlock.SpecialBlockType) - Constructor for class org.checkerframework.dataflow.cfg.block.SpecialBlockImpl
specialType - Variable in class org.checkerframework.dataflow.cfg.block.SpecialBlockImpl: The type of this special basic block.
startOfBlock - Variable in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
store - Variable in class org.checkerframework.dataflow.analysis.RegularTransferResult: The regular result store.
store - Variable in class org.checkerframework.dataflow.analysis.TransferInput: The regular result store (or null if none is present, because TransferInput.thenStore and TransferInput.elseStore are set).
Store<S> - Interface in org.checkerframework.dataflow.analysis: A store is used to keep track of the information that the org.checkerframework.dataflow analysis has accumulated at any given point in time.
Store.FlowRule - Enum Class in org.checkerframework.dataflow.analysis: A flow rule describes how stores flow along one edge between basic blocks.
Store.Kind - Enum Class in org.checkerframework.dataflow.analysis
storeAtEntry - Variable in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl: The store right before the entry block.
storeChanged() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
storeChanged() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult: See TransferResult.storeChanged().
storeChanged() - Method in class org.checkerframework.dataflow.analysis.TransferResult: Returns true if and only if the transfer function returning this transfer result changed the regularStore, elseStore, or thenStore.
storeEntryIndent - Static variable in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: The indentation for elements of the store.
storesAtReturnStatements - Variable in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: The stores after every return statement.
StringCFGVisualizer<V,S,T> - Class in org.checkerframework.dataflow.cfg.visualize: Generate the String representation of a control flow graph.
StringCFGVisualizer() - Constructor for class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer: Create a StringCFGVisualizer.
StringConcatenateNode - Class in org.checkerframework.dataflow.cfg.node: A node for string concatenation:
StringConcatenateNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.StringConcatenateNode: Constructs a StringConcatenateNode.
stringConversion(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Convert the input node to String type, if it isn't already.
StringConversionNode - Class in org.checkerframework.dataflow.cfg.node: A node for the string conversion operation.
StringConversionNode(Tree, Node, TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.StringConversionNode
StringLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for an string literal.
StringLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.StringLiteralNode: Create a new StringLiteralNode.
stringType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The String type.
successor - Variable in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl: Internal representation of the successor.
SuperNode - Class in org.checkerframework.dataflow.cfg.node: A node for a reference to 'super'.
SuperNode(IdentifierTree) - Constructor for class org.checkerframework.dataflow.cfg.node.SuperNode
SuperReference - Class in org.checkerframework.dataflow.expression: A use of super.
SuperReference(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.SuperReference: Creates a new SuperReference.
SwitchExpressionNode - Class in org.checkerframework.dataflow.cfg.node: A node for a switch expression.
SwitchExpressionNode(TypeMirror, Tree, LocalVariableNode) - Constructor for class org.checkerframework.dataflow.cfg.node.SwitchExpressionNode: Creates a new SwitchExpressionNode.
SynchronizedNode - Class in org.checkerframework.dataflow.cfg.node: This represents the start and end of a synchronized code block.
SynchronizedNode(SynchronizedTree, Node, boolean, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.SynchronizedNode
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ClassName
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.FieldAccess
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.FormalParameter
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if and only if the two Java expressions are syntactically identical.
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.LocalVariable
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.MethodCall
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.SuperReference
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ThisReference
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.Unknown
syntacticEquals(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
syntacticEqualsList(List<? extends JavaExpression>, List<? extends JavaExpression>) - Static method in class org.checkerframework.dataflow.expression.JavaExpression: Returns true if the corresponding list elements satisfy JavaExpression.syntacticEquals(org.checkerframework.dataflow.expression.JavaExpression).
synthetic - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentNode: Whether the assignment node is synthetic

T

target - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: The MethodAccessNode for the method being invoked.
terminatesExecution - Variable in class org.checkerframework.dataflow.cfg.builder.ExtendedNode: Does this node terminate the execution? (e.g., "System.exit()")
TernaryExpressionNode - Class in org.checkerframework.dataflow.cfg.node: A node for a conditional expression:
TernaryExpressionNode(ConditionalExpressionTree, Node, Node, Node, LocalVariableNode) - Constructor for class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode: Creates a new TernaryExpressionNode.
THEN - Enum constant in enum class org.checkerframework.dataflow.analysis.Store.Kind
THEN_TO_BOTH - Enum constant in enum class org.checkerframework.dataflow.analysis.Store.FlowRule: Then store flows to both then and else of successor.
THEN_TO_THEN - Enum constant in enum class org.checkerframework.dataflow.analysis.Store.FlowRule: Then store flows to the then of successor.
thenFlowRule - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl: The initial value says that the THEN store before a conditional block flows to BOTH of the stores of the then successor.
thenOperand - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode: Node representing the "then" case of the expression
thenStore - Variable in class org.checkerframework.dataflow.analysis.ConditionalTransferResult: The 'then' result store.
thenStore - Variable in class org.checkerframework.dataflow.analysis.TransferInput: The "then" result store (or null if none is present).
thenStores - Variable in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: Then stores before every basic block (assumed to be 'no information' if not present).
thenSuccessor - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl: Successor of the then branch.
ThisNode - Class in org.checkerframework.dataflow.cfg.node: A node for a reference to 'this', either implicit or explicit.
ThisNode(TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.ThisNode
ThisReference - Class in org.checkerframework.dataflow.expression: A use of this.
ThisReference(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.ThisReference: Create a new ThisReference.
throwableType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The Throwable type.
ThrowNode - Class in org.checkerframework.dataflow.cfg.node: A node for exception throws:
ThrowNode(ThrowTree, Node, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.ThrowNode
TOP - Enum constant in enum class org.checkerframework.dataflow.constantpropagation.Constant.Type
toString() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist
toString() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
toString() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult
toString() - Method in class org.checkerframework.dataflow.analysis.TransferInput
toString() - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
toString() - Method in class org.checkerframework.dataflow.busyexpr.BusyExprValue
toString() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
toString() - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
toString() - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
toString() - Method in class org.checkerframework.dataflow.cfg.block.SpecialBlockImpl
toString() - Method in class org.checkerframework.dataflow.cfg.builder.ConditionalJump: Produce a string representation.
toString() - Method in class org.checkerframework.dataflow.cfg.builder.ExtendedNode
toString() - Method in class org.checkerframework.dataflow.cfg.builder.Label
toString() - Method in class org.checkerframework.dataflow.cfg.builder.PhaseOneResult
toString() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
toString() - Method in class org.checkerframework.dataflow.cfg.node.AnyPatternNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ExplicitThisNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ExpressionStatementNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ImplicitThisNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.SwitchExpressionNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
toString() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
toString() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
toString() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
toString() - Method in class org.checkerframework.dataflow.constantpropagation.Constant
toString() - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
toString() - Method in class org.checkerframework.dataflow.expression.ArrayAccess
toString() - Method in class org.checkerframework.dataflow.expression.ArrayCreation
toString() - Method in class org.checkerframework.dataflow.expression.BinaryOperation
toString() - Method in class org.checkerframework.dataflow.expression.ClassName
toString() - Method in class org.checkerframework.dataflow.expression.FieldAccess
toString() - Method in class org.checkerframework.dataflow.expression.FormalParameter
toString() - Method in class org.checkerframework.dataflow.expression.LocalVariable
toString() - Method in class org.checkerframework.dataflow.expression.MethodCall
toString() - Method in class org.checkerframework.dataflow.expression.SuperReference
toString() - Method in class org.checkerframework.dataflow.expression.ThisReference
toString() - Method in class org.checkerframework.dataflow.expression.UnaryOperation
toString() - Method in class org.checkerframework.dataflow.expression.Unknown
toString() - Method in class org.checkerframework.dataflow.expression.ValueLiteral
toString() - Method in class org.checkerframework.dataflow.livevariable.LiveVarNode
toString() - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
toString() - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionNode
toString() - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
toString() - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
toStringDebug() - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns a verbose string representation of this, useful for debugging.
toStringDebug() - Method in class org.checkerframework.dataflow.cfg.builder.ConditionalJump
toStringDebug() - Method in class org.checkerframework.dataflow.cfg.builder.ExtendedNode: Returns a verbose string representation of this, useful for debugging.
toStringDebug() - Method in class org.checkerframework.dataflow.cfg.builder.PhaseOneResult: Returns a verbose string representation of this, useful for debugging.
toStringDebug() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns a verbose string representation of this, useful for debugging.
toStringDebug() - Method in class org.checkerframework.dataflow.cfg.node.Node: Returns a verbose string representation of this, useful for debugging.
toStringDebug() - Method in class org.checkerframework.dataflow.expression.ArrayCreation
toStringDebug() - Method in class org.checkerframework.dataflow.expression.FieldAccess
toStringDebug() - Method in class org.checkerframework.dataflow.expression.FormalParameter
toStringDebug() - Method in class org.checkerframework.dataflow.expression.JavaExpression: Format this verbosely, for debugging.
toStringDebug() - Method in class org.checkerframework.dataflow.expression.LocalVariable
transferFunction - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: The transfer function for regular nodes.
TransferFunction<V,S> - Interface in org.checkerframework.dataflow.analysis: Interface of a transfer function for the abstract interpretation used for the flow analysis.
TransferInput<V,S> - Class in org.checkerframework.dataflow.analysis: TransferInput is used as the input type of the individual transfer functions of a ForwardTransferFunction or a BackwardTransferFunction.
TransferInput(TransferInput<V, S>) - Constructor for class org.checkerframework.dataflow.analysis.TransferInput: Copy constructor.
TransferInput(Node, Analysis<V, S, ?>, S) - Constructor for class org.checkerframework.dataflow.analysis.TransferInput: Create a TransferInput, given a store and a node-value mapping.
TransferInput(Node, Analysis<V, S, ?>, S, S) - Constructor for class org.checkerframework.dataflow.analysis.TransferInput: Create a TransferInput, given two stores and a node-value mapping.
TransferInput(Node, Analysis<V, S, ?>, TransferResult<V, S>) - Constructor for class org.checkerframework.dataflow.analysis.TransferInput: Create a TransferInput, given a TransferResult and a node-value mapping.
TransferResult<V,S> - Class in org.checkerframework.dataflow.analysis: TransferResult is used as the result type of the individual transfer functions of a TransferFunction.
TransferResult(V, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.TransferResult: Create a new TransferResult, given TransferResult.resultValue and TransferResult.exceptionalStores.
translateAssertWithAssertionsEnabled(AssertTree) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Translates an assertion statement to the correct CFG nodes.
translateAssignment(Tree, Node, ExpressionTree) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Translate an assignment.
translateAssignment(Tree, Node, Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Translate an assignment where the RHS has already been scanned.
treatMethodAsAssert(MethodInvocationTree, CFGTranslationPhaseOne.AssertMethodTuple, Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Translates a method marked as AssertMethod into CFG nodes corresponding to an assert statement.
tree - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode: The corresponding ArrayAccessTree.
tree - Variable in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode: The tree is null when an array is created for variable arity method calls.
tree - Variable in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode: Tree for the assert statement or assert method.
tree - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentNode: The underlying assignment tree.
tree - Variable in class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode: The tree for this node.
tree - Variable in class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.ClassNameNode: The tree for this node.
tree - Variable in class org.checkerframework.dataflow.cfg.node.ExplicitThisNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.ExpressionStatementNode: The expression constituting this ExpressionStatementNode.
tree - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode: The tree of the field access.
tree - Variable in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: The tree associated with this node.
tree - Variable in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode: Tree for the lambda expression body.
tree - Variable in class org.checkerframework.dataflow.cfg.node.LocalVariableNode: The tree for the local variable.
tree - Variable in class org.checkerframework.dataflow.cfg.node.MarkerNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.MethodAccessNode: The tree of the method access.
tree - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: The tree for the method invocation.
tree - Variable in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.NullChkNode: The entire tree of the null check
tree - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: The tree for the object creation.
tree - Variable in class org.checkerframework.dataflow.cfg.node.PackageNameNode: The package name, which is an IdentifierTree or a MemberSelectTree.
tree - Variable in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.StringConversionNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.SuperNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode: The ConditionalExpressionTree corresponding to this node
tree - Variable in class org.checkerframework.dataflow.cfg.node.ThrowNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.TypeCastNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.UnaryOperationNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.ValueLiteralNode: The tree for the value literal.
tree - Variable in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
treeBuilder - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The tree builder.
treeLookup - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult: Map from AST Trees to sets of Nodes.
treeLookup - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Maps from AST Trees to sets of Nodes.
treeLookupToString(Map<Tree, Set<Node>>) - Static method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns a verbose string representation of a map, useful for debugging.
treePath - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: The tree path to the method invocation.
trees - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The javac tree utilities.
trueFlowRule - Variable in class org.checkerframework.dataflow.cfg.builder.ConditionalJump: The true branch flow rule.
trueSucc - Variable in class org.checkerframework.dataflow.cfg.builder.ConditionalJump: The true successor label.
type - Variable in class org.checkerframework.dataflow.cfg.block.BlockImpl: The type of this basic block.
type - Variable in class org.checkerframework.dataflow.cfg.builder.ExtendedNode: Type of this node.
type - Variable in class org.checkerframework.dataflow.cfg.node.Node: The type of this node.
type - Variable in class org.checkerframework.dataflow.constantpropagation.Constant: What kind of abstract value is this?
type - Variable in class org.checkerframework.dataflow.expression.JavaExpression: The type of this expression.
TypeCastNode - Class in org.checkerframework.dataflow.cfg.node: A node for the cast operator:
TypeCastNode(TypeCastTree, Node, TypeMirror, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.TypeCastNode
typeProcessingOver() - Method in class org.checkerframework.dataflow.cfg.CFGProcessor
types - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The javac type utilities.
types - Variable in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode: For Types.isSameType.
types - Variable in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: For Types.isSameType.
types - Variable in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode: For Types.isSameType.
types - Variable in class org.checkerframework.dataflow.cfg.node.TypeCastNode: For Types.isSameType.
typeToInstantiate - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode: The type to instantiate node of the object creation.

U

uid - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: The UID for the next unique name.
unaryNumericPromotion(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Perform unary numeric promotion on the input node.
UnaryOperation - Class in org.checkerframework.dataflow.expression: JavaExpression for unary operations.
UnaryOperation(TypeMirror, Tree.Kind, JavaExpression) - Constructor for class org.checkerframework.dataflow.expression.UnaryOperation: Create a unary operation.
UnaryOperation(UnaryOperationNode, JavaExpression) - Constructor for class org.checkerframework.dataflow.expression.UnaryOperation: Create a unary operation.
UnaryOperationNode - Class in org.checkerframework.dataflow.cfg.node: A node for a postfix or an unary expression.
UnaryOperationNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.UnaryOperationNode
unbox(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: If the input node is a boxed type, unbox it, otherwise leave it alone.
uncheckedExceptionTypes - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Supertypes of all unchecked exceptions.
UNCONDITIONAL_JUMP - Enum constant in enum class org.checkerframework.dataflow.cfg.builder.ExtendedNode.ExtendedNodeType
underlyingAST - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: The AST this CFG corresponds to.
UnderlyingAST - Class in org.checkerframework.dataflow.cfg: Represents an abstract syntax tree of type Tree that underlies a given control flow graph.
UnderlyingAST(UnderlyingAST.Kind) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST: Creates an UnderlyingAST.
UnderlyingAST.CFGLambda - Class in org.checkerframework.dataflow.cfg: If the underlying AST is a lambda.
UnderlyingAST.CFGMethod - Class in org.checkerframework.dataflow.cfg: If the underlying AST is a method.
UnderlyingAST.CFGStatement - Class in org.checkerframework.dataflow.cfg: If the underlying AST is a statement or expression.
UnderlyingAST.Kind - Enum Class in org.checkerframework.dataflow.cfg: The kinds of underlying ASTs.
uniqueName(String) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Returns a unique name starting with prefix.
Unknown - Class in org.checkerframework.dataflow.expression: Stands for any expression that the Dataflow Framework lacks explicit support for.
Unknown(Tree) - Constructor for class org.checkerframework.dataflow.expression.Unknown: Create a new Unknown JavaExpression.
Unknown(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.Unknown: Create a new Unknown JavaExpression.
Unknown(TypeMirror, String) - Constructor for class org.checkerframework.dataflow.expression.Unknown: Create a new Unknown JavaExpression.
Unknown(Node) - Constructor for class org.checkerframework.dataflow.expression.Unknown: Create a new Unknown JavaExpression.
UnsignedRightShiftNode - Class in org.checkerframework.dataflow.cfg.node: A node for bitwise right shift operations with zero extension:
UnsignedRightShiftNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode: Constructs an UnsignedRightShiftNode
UnusedAbstractValue - Class in org.checkerframework.dataflow.analysis: UnusedAbstractValue is an AbstractValue that is not involved in any lub computation during dataflow analysis.
updateNodeValues(Node, TransferResult<V, S>) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Updates the value of node node in AbstractAnalysis.nodeValues to the value of the transferResult.

V

value - Variable in class org.checkerframework.dataflow.constantpropagation.Constant: The value of this abstract value (or null).
value - Variable in class org.checkerframework.dataflow.expression.ValueLiteral: The value of the literal.
ValueLiteral - Class in org.checkerframework.dataflow.expression: JavaExpression for literals.
ValueLiteral(TypeMirror, Object) - Constructor for class org.checkerframework.dataflow.expression.ValueLiteral: Creates a ValueLiteral where the value is value that has the given type.
ValueLiteral(TypeMirror, ValueLiteralNode) - Constructor for class org.checkerframework.dataflow.expression.ValueLiteral: Creates a ValueLiteral from the node with the given type.
ValueLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a literals that have some form of value: integer literal long literal char literal string literal float literal double literal boolean literal null literal
ValueLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
valueOf(String) - Static method in enum class org.checkerframework.dataflow.analysis.Analysis.BeforeOrAfter: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.checkerframework.dataflow.analysis.Analysis.Direction: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.checkerframework.dataflow.analysis.Store.FlowRule: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.checkerframework.dataflow.analysis.Store.Kind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.checkerframework.dataflow.cfg.block.Block.BlockType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.checkerframework.dataflow.cfg.block.SpecialBlock.SpecialBlockType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.checkerframework.dataflow.cfg.builder.ExtendedNode.ExtendedNodeType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.checkerframework.dataflow.cfg.UnderlyingAST.Kind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.VisualizeWhere: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.checkerframework.dataflow.constantpropagation.Constant.Type: Returns the enum constant of this class with the specified name.
values() - Static method in enum class org.checkerframework.dataflow.analysis.Analysis.BeforeOrAfter: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.checkerframework.dataflow.analysis.Analysis.Direction: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.checkerframework.dataflow.analysis.Store.FlowRule: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.checkerframework.dataflow.analysis.Store.Kind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.checkerframework.dataflow.cfg.block.Block.BlockType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.checkerframework.dataflow.cfg.block.SpecialBlock.SpecialBlockType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.checkerframework.dataflow.cfg.builder.ExtendedNode.ExtendedNodeType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.checkerframework.dataflow.cfg.UnderlyingAST.Kind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.VisualizeWhere: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.checkerframework.dataflow.constantpropagation.Constant.Type: Returns an array containing the constants of this enum class, in the order they are declared.
VariableDeclarationNode - Class in org.checkerframework.dataflow.cfg.node: A node for a variable declaration, including local variables and fields:
VariableDeclarationNode(VariableTree) - Constructor for class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
verbose - Variable in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: If true, CFGVisualizer returns more detailed information.
viewpointAdapt(JavaExpression, List<JavaExpression>) - Static method in class org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression: Replace FormalParameters by args in javaExpr.
viewpointAdapt(JavaExpression, JavaExpression) - Static method in class org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression: Replace ThisReference with thisReference in javaExpr.
viewpointAdapt(JavaExpression, JavaExpression, List<JavaExpression>) - Static method in class org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression: Replace FormalParameters with args and ThisReference with thisReference in javaExpr.
ViewpointAdaptJavaExpression - Class in org.checkerframework.dataflow.expression: This class has methods to viewpoint-adapt JavaExpression by replacing ThisReference and FormalParameter expressions with the given JavaExpressions.
visit(JavaExpression, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visits the given javaExpr.
visitAnnotatedType(AnnotatedTypeTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitAnnotation(AnnotationTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitAnyPattern(AnyPatternNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitAnyPattern(AnyPatternNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor: Visits an any pattern node.
visitArrayAccess(ArrayAccessTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitArrayAccess(ArrayAccessNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitArrayAccess(ArrayAccessNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitArrayAccess(ArrayAccess, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitArrayAccess(ArrayAccess, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitArrayAccess(ArrayAccess, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit an ArrayAccess.
visitArrayCreation(ArrayCreationNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitArrayCreation(ArrayCreationNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitArrayCreation(ArrayCreation, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitArrayCreation(ArrayCreation, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitArrayCreation(ArrayCreation, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit an ArrayCreation.
visitArrayType(ArrayTypeTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitArrayType(ArrayTypeNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitArrayType(ArrayTypeNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitAssert(AssertTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitAssertionError(AssertionErrorNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitAssertionError(AssertionErrorNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitAssignment(AssignmentTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitAssignment(AssignmentTree, Void) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
visitAssignment(AssignmentNode, TransferInput<UnusedAbstractValue, BusyExprStore>) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprTransfer
visitAssignment(AssignmentNode, TransferInput<UnusedAbstractValue, LiveVarStore>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
visitAssignment(AssignmentNode, TransferInput<UnusedAbstractValue, ReachingDefinitionStore>) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionTransfer
visitAssignment(AssignmentNode, TransferInput<Constant, ConstantPropagationStore>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
visitAssignment(AssignmentNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitAssignment(AssignmentNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitBinary(BinaryTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitBinaryOperation(BinaryOperation, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitBinaryOperation(BinaryOperation, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitBinaryOperation(BinaryOperation, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit a BinaryOperation.
visitBindingPattern17(Tree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Visit a BindingPatternTree
visitBitwiseAnd(BitwiseAndNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitBitwiseAnd(BitwiseAndNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitBitwiseComplement(BitwiseComplementNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitBitwiseComplement(BitwiseComplementNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitBitwiseOr(BitwiseOrNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitBitwiseOr(BitwiseOrNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitBitwiseXor(BitwiseXorNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitBitwiseXor(BitwiseXorNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitBlock(BlockTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitBooleanLiteral(BooleanLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitBooleanLiteral(BooleanLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitBreak(BreakTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitCase(CaseTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitCase(CaseNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitCase(CaseNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitCatch(CatchTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitCatch(CatchTree, Void) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
visitCharacterLiteral(CharacterLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitCharacterLiteral(CharacterLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitClass(ClassTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitClassDeclaration(ClassDeclarationNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitClassDeclaration(ClassDeclarationNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor: Visits an anonymous/inner/nested class declaration within a method.
visitClassName(ClassNameNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitClassName(ClassNameNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitClassName(ClassName, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitClassName(ClassName, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitClassName(ClassName, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit a ClassName.
visitCompilationUnit(CompilationUnitTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitCompoundAssignment(CompoundAssignmentTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitCompoundAssignment(CompoundAssignmentTree, Void) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
visitConditionalAnd(ConditionalAndNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitConditionalAnd(ConditionalAndNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitConditionalExpression(ConditionalExpressionTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitConditionalNot(ConditionalNotNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitConditionalNot(ConditionalNotNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitConditionalOr(ConditionalOrNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitConditionalOr(ConditionalOrNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitContinue(ContinueTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitDeconstructionPattern21(Tree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Visit a DeconstructionPatternTree.
visitDeconstructorPattern(DeconstructorPatternNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitDeconstructorPattern(DeconstructorPatternNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor: Visits a deconstructor pattern node.
visitDoubleLiteral(DoubleLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitDoubleLiteral(DoubleLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitDoWhileLoop(DoWhileLoopTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitEmptyStatement(EmptyStatementTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitEnhancedForLoop(EnhancedForLoopTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitEqualTo(EqualToNode, TransferInput<Constant, ConstantPropagationStore>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
visitEqualTo(EqualToNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitEqualTo(EqualToNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitErroneous(ErroneousTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitExplicitThis(ExplicitThisNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitExplicitThis(ExplicitThisNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitExpressionStatement(ExpressionStatementTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitExpressionStatement(ExpressionStatementNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitExpressionStatement(ExpressionStatementNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor: Visits an expression that is used as a statement.
visitFieldAccess(FieldAccessNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitFieldAccess(FieldAccessNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitFieldAccess(FieldAccess, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitFieldAccess(FieldAccess, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitFieldAccess(FieldAccess, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit a FieldAccess.
visitFloatingDivision(FloatingDivisionNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitFloatingDivision(FloatingDivisionNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitFloatingRemainder(FloatingRemainderNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitFloatingRemainder(FloatingRemainderNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitFloatLiteral(FloatLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitFloatLiteral(FloatLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitForLoop(ForLoopTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitFormalParameter(FormalParameter, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitFormalParameter(FormalParameter, Void) - Method in class org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression
visitFormalParameter(FormalParameter, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitFormalParameter(FormalParameter, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit a FormalParameter.
visitGreaterThan(GreaterThanNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitGreaterThan(GreaterThanNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitGreaterThanOrEqual(GreaterThanOrEqualNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitGreaterThanOrEqual(GreaterThanOrEqualNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitIdentifier(IdentifierTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitIf(IfTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitImplicitThis(ImplicitThisNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitImplicitThis(ImplicitThisNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitImport(ImportTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitInstanceOf(InstanceOfTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitInstanceOf(InstanceOfNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitInstanceOf(InstanceOfNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitIntegerDivision(IntegerDivisionNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitIntegerDivision(IntegerDivisionNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitIntegerLiteral(IntegerLiteralNode, TransferInput<Constant, ConstantPropagationStore>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
visitIntegerLiteral(IntegerLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitIntegerLiteral(IntegerLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitIntegerRemainder(IntegerRemainderNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitIntegerRemainder(IntegerRemainderNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitLabeledStatement(LabeledStatementTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitLambdaExpression(LambdaExpressionTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitLambdaResultExpression(LambdaResultExpressionNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitLambdaResultExpression(LambdaResultExpressionNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitLeftShift(LeftShiftNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitLeftShift(LeftShiftNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitLessThan(LessThanNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitLessThan(LessThanNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitLessThanOrEqual(LessThanOrEqualNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitLessThanOrEqual(LessThanOrEqualNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitLiteral(LiteralTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitLocalVariable(LocalVariableNode, TransferInput<Constant, ConstantPropagationStore>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
visitLocalVariable(LocalVariableNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitLocalVariable(LocalVariableNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitLocalVariable(LocalVariable, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitLocalVariable(LocalVariable, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitLocalVariable(LocalVariable, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit a LocalVariable.
visitLongLiteral(LongLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitLongLiteral(LongLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitMarker(MarkerNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitMarker(MarkerNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitMemberReference(MemberReferenceTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitMemberReference(FunctionalInterfaceNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitMemberReference(FunctionalInterfaceNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitMemberSelect(MemberSelectTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitMethod(MethodTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitMethodAccess(MethodAccessNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitMethodAccess(MethodAccessNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitMethodCall(MethodCall, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitMethodCall(MethodCall, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitMethodCall(MethodCall, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit a MethodCall.
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
visitMethodInvocation(MethodInvocationNode, TransferInput<UnusedAbstractValue, BusyExprStore>) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprTransfer
visitMethodInvocation(MethodInvocationNode, TransferInput<UnusedAbstractValue, LiveVarStore>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
visitMethodInvocation(MethodInvocationNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitMethodInvocation(MethodInvocationNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitModifiers(ModifiersTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitNarrowingConversion(NarrowingConversionNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNarrowingConversion(NarrowingConversionNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitNewArray(NewArrayTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitNewClass(NewClassTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitNewClass(NewClassTree, Void) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
visitNode(Node, TransferInput<UnusedAbstractValue, BusyExprStore>) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprTransfer
visitNode(Node, TransferInput<UnusedAbstractValue, LiveVarStore>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
visitNode(Node, TransferInput<UnusedAbstractValue, ReachingDefinitionStore>) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionTransfer
visitNode(Node, TransferInput<Constant, ConstantPropagationStore>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
visitNode(Node, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNotEqual(NotEqualNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNotEqual(NotEqualNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitNullChk(NullChkNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNullChk(NullChkNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitNullLiteral(NullLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNullLiteral(NullLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitNumericalAddition(NumericalAdditionNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNumericalAddition(NumericalAdditionNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitNumericalMinus(NumericalMinusNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNumericalMinus(NumericalMinusNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitNumericalMultiplication(NumericalMultiplicationNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNumericalMultiplication(NumericalMultiplicationNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitNumericalPlus(NumericalPlusNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNumericalPlus(NumericalPlusNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitNumericalSubtraction(NumericalSubtractionNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNumericalSubtraction(NumericalSubtractionNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitObjectCreation(ObjectCreationNode, TransferInput<UnusedAbstractValue, BusyExprStore>) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprTransfer
visitObjectCreation(ObjectCreationNode, TransferInput<UnusedAbstractValue, LiveVarStore>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
visitObjectCreation(ObjectCreationNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitObjectCreation(ObjectCreationNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitOther(Tree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitPackageName(PackageNameNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitPackageName(PackageNameNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitParameterizedType(ParameterizedTypeTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitParameterizedType(ParameterizedTypeNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitParameterizedType(ParameterizedTypeNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitParenthesized(ParenthesizedTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitPrimitiveType(PrimitiveTypeTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitPrimitiveType(PrimitiveTypeNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitPrimitiveType(PrimitiveTypeNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitReturn(ReturnTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitReturn(ReturnNode, TransferInput<UnusedAbstractValue, BusyExprStore>) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprTransfer
visitReturn(ReturnNode, TransferInput<UnusedAbstractValue, LiveVarStore>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
visitReturn(ReturnNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitReturn(ReturnNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitShortLiteral(ShortLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitShortLiteral(ShortLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitSignedRightShift(SignedRightShiftNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitSignedRightShift(SignedRightShiftNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitStringConcatenate(StringConcatenateNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitStringConcatenate(StringConcatenateNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitStringConversion(StringConversionNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitStringConversion(StringConversionNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitStringLiteral(StringLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitStringLiteral(StringLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitSuper(SuperNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitSuper(SuperNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitSuperReference(SuperReference, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitSuperReference(SuperReference, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitSuperReference(SuperReference, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit a SuperReference.
visitSwitch(SwitchTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitSwitchExpression17(Tree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Visit a SwitchExpressionTree
visitSwitchExpressionNode(SwitchExpressionNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitSwitchExpressionNode(SwitchExpressionNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitSynchronized(SynchronizedTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitSynchronized(SynchronizedNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitSynchronized(SynchronizedNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitTernaryExpression(TernaryExpressionNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitTernaryExpression(TernaryExpressionNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitThis(ThisNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitThisReference(ThisReference, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitThisReference(ThisReference, Void) - Method in class org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression
visitThisReference(ThisReference, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitThisReference(ThisReference, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit a ThisReference.
visitThrow(ThrowTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitThrow(ThrowNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitThrow(ThrowNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitTry(TryTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitTypeCast(TypeCastTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitTypeCast(TypeCastNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitTypeCast(TypeCastNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitTypeParameter(TypeParameterTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitUnary(UnaryTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitUnary(UnaryTree, Void) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
visitUnaryOperation(UnaryOperation, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitUnaryOperation(UnaryOperation, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitUnaryOperation(UnaryOperation, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit an UnaryOperation.
visitUnionType(UnionTypeTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitUnknown(Unknown, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitUnknown(Unknown, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitUnknown(Unknown, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit an Unknown.
visitUnsignedRightShift(UnsignedRightShiftNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitUnsignedRightShift(UnsignedRightShiftNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitValueLiteral(ValueLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitValueLiteral(ValueLiteral, Void) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
visitValueLiteral(ValueLiteral, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionScanner
visitValueLiteral(ValueLiteral, P) - Method in class org.checkerframework.dataflow.expression.JavaExpressionVisitor: Visit a ValueLiteral.
visitVariable(VariableTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitVariableDeclaration(VariableDeclarationNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitVariableDeclaration(VariableDeclarationNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitWhileLoop(WhileLoopTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitWideningConversion(WideningConversionNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitWideningConversion(WideningConversionNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitWildcard(WildcardTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitYield17(Tree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Visit a SwitchExpressionTree.
visualize(ControlFlowGraph, Block, Analysis<V, S, T>) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Creates a visualization representing the control flow graph starting at entry.
visualize(ControlFlowGraph, Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualize(ControlFlowGraph, Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualize(CFGVisualizer<?, BusyExprStore, ?>) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
visualize(CFGVisualizer<?, ConstantPropagationStore, ?>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
visualize(CFGVisualizer<?, LiveVarStore, ?>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
visualize(CFGVisualizer<?, ReachingDefinitionStore, ?>) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
visualize(CFGVisualizer<?, S, ?>) - Method in interface org.checkerframework.dataflow.analysis.Store: Delegate visualization responsibility to a visualizer.
visualizeBlock(Block, Analysis<V, S, T>) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Visualize a block based on the analysis.
visualizeBlock(Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeBlock(Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeBlockNode(Node, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer
visualizeBlockNode(Node, Analysis<V, S, T>) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Visualize a Node based on the analysis.
visualizeBlockTransferInputAfter(Block, Analysis<V, S, T>) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Visualize the transferInput after a Block based on the analysis.
visualizeBlockTransferInputAfter(Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeBlockTransferInputAfter(Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeBlockTransferInputBefore(Block, Analysis<V, S, T>) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Visualize the transferInput before a Block based on the analysis.
visualizeBlockTransferInputBefore(Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeBlockTransferInputBefore(Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeBlockTransferInputHelper(AbstractCFGVisualizer.VisualizeWhere, Block, Analysis<V, S, T>, String) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Visualize the transfer input before, or the transfer result after, the given block.
visualizeBlockWithSeparator(Block, Analysis<V, S, T>, String) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Helper method to visualize a block.
visualizeConditionalBlock(ConditionalBlock) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Visualize a ConditionalBlock.
visualizeConditionalBlock(ConditionalBlock) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeConditionalBlock(ConditionalBlock) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeEdge(Object, Object, String) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Generate the String representation of an edge.
visualizeEdge(Object, Object, String) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeEdge(Object, Object, String) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeGraph(ControlFlowGraph, Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Visualize a control flow graph.
visualizeGraphFooter() - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Return the footer of the generated graph.
visualizeGraphFooter() - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeGraphFooter() - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer: Return the footer of the generated graph.
visualizeGraphHeader() - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Return the header of the generated graph.
visualizeGraphHeader() - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeGraphHeader() - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer: Return the header of the generated graph.
visualizeGraphWithoutHeaderAndFooter(ControlFlowGraph, Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Helper method to visualize a control flow graph, without outputting a header or footer.
visualizeNodes(Set<Block>, ControlFlowGraph, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Generate the String representation of the nodes of a control flow graph.
visualizeNodes(Set<Block>, ControlFlowGraph, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeNodes(Set<Block>, ControlFlowGraph, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeSpecialBlock(SpecialBlock) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Visualize a SpecialBlock.
visualizeSpecialBlock(SpecialBlock) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeSpecialBlock(SpecialBlock) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeSpecialBlockHelper(SpecialBlock) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Visualize a special block.
visualizeStore(S) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer
visualizeStore(S) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Delegate the visualization responsibility to the passed Store instance, which will call back to this visualizer instance for sub-components.
visualizeStoreArrayVal(ArrayAccess, V) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Called by CFAbstractStore#internalVisualize() to visualize the value of one array collected by this Store.
visualizeStoreArrayVal(ArrayAccess, V) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeStoreArrayVal(ArrayAccess, V) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeStoreClassVals(ClassName, V) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Called by CFAbstractStore#internalVisualize() to visualize the value of class names collected by this Store.
visualizeStoreClassVals(ClassName, V) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeStoreClassVals(ClassName, V) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeStoreFieldVal(FieldAccess, V) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Called by CFAbstractStore#internalVisualize() to visualize the value of one field collected by this Store.
visualizeStoreFieldVal(FieldAccess, V) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeStoreFieldVal(FieldAccess, V) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeStoreKeyVal(String, Object) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Called by CFAbstractStore#internalVisualize() to visualize the specific information collected according to the specific kind of Store.
visualizeStoreKeyVal(String, Object) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeStoreKeyVal(String, Object) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeStoreLocalVar(LocalVariable, V) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Called by CFAbstractStore#internalVisualize() to visualize a local variable.
visualizeStoreLocalVar(LocalVariable, V) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeStoreLocalVar(LocalVariable, V) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeStoreMethodVals(MethodCall, V) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Called by CFAbstractStore#internalVisualize() to visualize the value of pure method calls collected by this Store.
visualizeStoreMethodVals(MethodCall, V) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeStoreMethodVals(MethodCall, V) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeStoreThisVal(V) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Called by CFAbstractStore#internalVisualize() to visualize the value of the current object this in this Store.
visualizeStoreThisVal(V) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeStoreThisVal(V) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
visualizeWithAction(ControlFlowGraph, Block, Analysis<V, S, T>) - Method in interface org.checkerframework.dataflow.cfg.visualize.CFGVisualizer: Output a visualization representing the control flow graph starting at entry.
visualizeWithAction(ControlFlowGraph, Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
visualizeWithAction(ControlFlowGraph, Block, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer

W

widen(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Perform widening primitive conversion on the input node to make it match the destination type.
widenedUpperBound(BusyExprStore) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
widenedUpperBound(ConstantPropagationStore) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
widenedUpperBound(LiveVarStore) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore: It should not be called since it is not used by the backward analysis.
widenedUpperBound(ReachingDefinitionStore) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
widenedUpperBound(S) - Method in interface org.checkerframework.dataflow.analysis.Store: Compute an upper bound of two stores that is wider than the least upper bound of the two stores.
WideningConversionNode - Class in org.checkerframework.dataflow.cfg.node: A node for the widening primitive conversion operation.
WideningConversionNode(Tree, Node, TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.WideningConversionNode
withoutAssignment(Tree.Kind) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Map an operation with assignment to the corresponding operation without assignment.
worklist - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: The worklist used for the fix-point iteration.
Worklist(Analysis.Direction) - Constructor for class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: Create a Worklist.
writeStringOfCFG(String, String, String, String, Analysis<?, ?, ?>) - Static method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Write generated String representation of the CFG for a method to a file.

A B C D E F G H I J K L M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values