Index (dataflow 3.7.1 API)

A B C D E F G H I K L M N O P Q R S T U V W

A

AbstractAnalysis<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> - 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 extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> - 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 in org.checkerframework.dataflow.cfg.visualize: Whether to visualize before or after a block.
AbstractMostlySingleton<T> - Class in org.checkerframework.dataflow.util: Base class for arbitrary-size sets that very efficient (more efficient than HashSet) for 0 and 1 elements.
AbstractMostlySingleton(AbstractMostlySingleton.State) - Constructor for class org.checkerframework.dataflow.util.AbstractMostlySingleton: Create an AbstractMostlySingleton.
AbstractMostlySingleton(AbstractMostlySingleton.State, T) - Constructor for class org.checkerframework.dataflow.util.AbstractMostlySingleton: Create an AbstractMostlySingleton.
AbstractMostlySingleton.State - Enum in org.checkerframework.dataflow.util: The possible states of this set.
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 extends 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.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.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.ExplicitThisLiteralNode
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.ImplicitThisLiteralNode
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.StringConcatenateAssignmentNode
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.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
add(Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: Add the given block to AbstractAnalysis.Worklist.queue.
add(T) - Method in class org.checkerframework.dataflow.util.IdentityMostlySingleton
add(T) - Method in class org.checkerframework.dataflow.util.MostlySingleton
addAll(Collection<? extends T>) - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
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(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Add a node in the post-conversion lookup map.
addToConvertedLookupMap(Tree, 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.
addToUnaryAssignLookupMap(UnaryTree, AssignmentNode) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Add a unary tree in the compound assign lookup map.
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.livevariable.LiveVarStore: Add the information of live variables in an expression to the live variable set.
Analysis<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> - Interface in org.checkerframework.dataflow.analysis: This interface defines a dataflow analysis, given a control flow graph and a transfer function.
analysis - Variable in class org.checkerframework.dataflow.analysis.TransferInput: The corresponding analysis class to get intermediate flow results.
Analysis.Direction - Enum 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 for each input for the block of the node and each node.
AnalysisResult<V extends AbstractValue<V>,S extends Store<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(Map<Node, V>, IdentityHashMap<Block, TransferInput<V, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, AssignmentNode>, HashMap<Element, V>, Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult: Initialize with given mappings.
AnalysisResult(Map<Node, V>, IdentityHashMap<Block, TransferInput<V, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, AssignmentNode>, HashMap<Element, V>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult: Initialize with given mappings and empty cache.
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
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
array - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
ArrayAccess - Class in org.checkerframework.dataflow.expression: An array access.
ArrayAccess(TypeMirror, Receiver, Receiver) - Constructor for class org.checkerframework.dataflow.expression.ArrayAccess
ArrayAccessNode - Class in org.checkerframework.dataflow.cfg.node: A node for an array access:
ArrayAccessNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
ArrayCreation - Class in org.checkerframework.dataflow.expression: FlowExpression for array creations.
ArrayCreation(TypeMirror, List<? extends Receiver>, List<Receiver>) - 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
ArrayTypeNode - Class in org.checkerframework.dataflow.cfg.node: A node representing a 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.
AssertionErrorNode(Tree, Node, Node, TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
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.
AssignmentContext - Class in org.checkerframework.dataflow.cfg.node: An assignment context for a node, which represents the place to which the node with this context is 'assigned' to.
AssignmentContext() - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentContext
assignmentContext - Variable in class org.checkerframework.dataflow.cfg.node.Node: The assignment context of this node.
AssignmentContext.AssignmentLhsContext - Class in org.checkerframework.dataflow.cfg.node: An assignment context for an assignment 'lhs = rhs'.
AssignmentContext.LambdaReturnContext - Class in org.checkerframework.dataflow.cfg.node: An assignment context for lambda return statements.
AssignmentContext.MethodParameterContext - Class in org.checkerframework.dataflow.cfg.node: An assignment context for a method parameter.
AssignmentContext.MethodReturnContext - Class in org.checkerframework.dataflow.cfg.node: An assignment context for method return statements.
AssignmentLhsContext(Node) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentContext.AssignmentLhsContext
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
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.

B

BackwardAnalysis<V extends AbstractValue<V>,S extends Store<S>,T extends BackwardTransferFunction<V,S>> - Interface in org.checkerframework.dataflow.analysis: This interface defines a backward analysis, given a control flow graph and a backward transfer function.
BackwardAnalysisImpl<V extends AbstractValue<V>,S extends Store<S>,T extends BackwardTransferFunction<V,S>> - 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
BackwardTransferFunction<V extends AbstractValue<V>,S extends Store<S>> - Interface in org.checkerframework.dataflow.analysis: Interface of a backward transfer function for the abstract interpretation used for the backward flow analysis.
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: FlowExpression.Receiver for binary operations.
BinaryOperation(BinaryOperationNode, Receiver, Receiver) - 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.
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
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
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
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
Block - Interface in org.checkerframework.dataflow.cfg.block: Represents a basic block in a control flow graph.
block - Variable in class org.checkerframework.dataflow.cfg.node.Node: The basic block this node belongs to.
Block.BlockType - Enum 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.
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, UnderlyingAST, boolean, boolean, 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, ...).
build(CompilationUnitTree, UnderlyingAST, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Build the control flow graph of some code.
build(CompilationUnitTree, MethodTree, ClassTree, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Build the control flow graph of a method.

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(Receiver, Receiver) - 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(Receiver, Receiver) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
canAlias(Receiver, Receiver) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
caseExpr - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode: The case expression to match the switch expression against.
CaseNode - Class in org.checkerframework.dataflow.cfg.node: A node for a case in a switch statement.
CaseNode(CaseTree, Node, Node, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.CaseNode: Create a new CaseNode.
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
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
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.
CFGVisualizeLauncher() - Constructor for class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher
CFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> - 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.
checkPurity(TreePath, AnnotationProvider, 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
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
ClassName - Class in org.checkerframework.dataflow.expression: A ClassName represents the occurrence of a class as part of a static field access or method invocation.
ClassName(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.ClassName
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(IdentifierTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
ClassNameNode(ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode: Create a new 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.
clear() - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
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
condition - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
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.
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 extends AbstractValue<V>,S extends Store<S>> - Class in org.checkerframework.dataflow.analysis: Implementation of a TransferResult with two non-exceptional stores.
ConditionalTransferResult(V, S, S, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a new ConditionalTransferResult.ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean), using null for TransferResult.exceptionalStores.
ConditionalTransferResult(V, S, S) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a new ConditionalTransferResult.ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean), using false for whether the store changed and null for TransferResult.exceptionalStores.
ConditionalTransferResult(V, S, S, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a new ConditionalTransferResult.ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean), using false for the storeChanged formal parameter.
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.
Constant - Class in org.checkerframework.dataflow.constantpropagation
Constant(Constant.Type) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant: Create a constant for type.
Constant(Integer) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant: Create a constant for value.
Constant.Type - Enum in org.checkerframework.dataflow.constantpropagation
ConstantPropagationPlayground - Class in org.checkerframework.dataflow.cfg.playground
ConstantPropagationPlayground() - Constructor for class org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground
ConstantPropagationStore - Class in org.checkerframework.dataflow.constantpropagation
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
constructor - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
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.
contains(Object) - Method in class org.checkerframework.dataflow.util.IdentityMostlySingleton
contains(Object) - Method in class org.checkerframework.dataflow.util.MostlySingleton
containsAll(Collection<?>) - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.ClassName
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.FieldAccess
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.MethodCall
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.Receiver: Returns true if and only if other appears anywhere in this receiver or an expression appears in this receiver such that other might alias this expression, and that expression is modifiable.
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.ThisReference
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.Unknown
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.ClassName
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.FieldAccess
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.LocalVariable
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.MethodCall
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.Receiver
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.ThisReference
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.Unknown
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
containsSyntacticEqualParameter(LocalVariable) - Method in class org.checkerframework.dataflow.expression.MethodCall
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.FieldAccess
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.LocalVariable
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.MethodCall
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.Receiver: Returns true if and only if this receiver contains a receiver that is syntactically equal to other.
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.Receiver
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, AssignmentNode>, 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.
convertCallArguments(ExecutableElement, List<? extends ExpressionTree>) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Given a method element and as 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.constantpropagation.Constant
copy() - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
copy() - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
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.
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
Deterministic - Annotation Type in org.checkerframework.dataflow.qual: A method is called deterministic if it returns the same value (according to ==) every time it is called with the same parameters and in the same environment.
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.
DOTCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> - 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.
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
element - Variable in class org.checkerframework.dataflow.cfg.node.PackageNameNode: The package named by this node.
element - Variable in class org.checkerframework.dataflow.expression.LocalVariable
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
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.
entryBlock - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: The entry block of the control flow graph.
equals(Object) - Method in class org.checkerframework.dataflow.analysis.TransferInput
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.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.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.StringConcatenateAssignmentNode
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.SynchronizedNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ThisLiteralNode
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: Compare the value of this nodes.
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.LocalVariable
equals(Object) - Method in class org.checkerframework.dataflow.expression.MethodCall
equals(Object) - Method in class org.checkerframework.dataflow.expression.ThisReference
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.LiveVarStore
equals(Object) - Method in class org.checkerframework.dataflow.livevariable.LiveVarValue
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.
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: Base class of the Block implementation hierarchy.
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.
ExplicitThisLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a reference to 'this'.
ExplicitThisLiteralNode(Tree) - Constructor for class org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode
expression - Variable in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
expression - Variable in class org.checkerframework.dataflow.cfg.node.ThrowNode
extendedNodeCollectionToStringDebug(Collection<? extends ExtendedNode>) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Return a printed representation of a collection of extended nodes.
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 exception in causes.

F

field - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
field - Variable in class org.checkerframework.dataflow.expression.FieldAccess
FieldAccess - Class in org.checkerframework.dataflow.expression
FieldAccess(Receiver, FieldAccessNode) - Constructor for class org.checkerframework.dataflow.expression.FieldAccess
FieldAccess(Receiver, TypeMirror, VariableElement) - Constructor for class org.checkerframework.dataflow.expression.FieldAccess
FieldAccessNode - Class in org.checkerframework.dataflow.cfg.node: A node for a field access, including a method accesses:
FieldAccessNode(Tree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FieldAccessNode
FieldAccessNode(Tree, VariableElement, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.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
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
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.
FlowExpressions - Class in org.checkerframework.dataflow.expression: Collection of classes and helper functions to represent Java expressions about which the org.checkerframework.dataflow analysis can possibly infer facts.
FlowExpressions() - Constructor for class org.checkerframework.dataflow.expression.FlowExpressions
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.
format(Object) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Format the given object as a String suitable for the output format, i.e.
format(Object) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
format(Object) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
ForwardAnalysis<V extends AbstractValue<V>,S extends Store<S>,T extends ForwardTransferFunction<V,S>> - Interface in org.checkerframework.dataflow.analysis: This interface defines a forward analysis, given a control flow graph and a forward transfer function.
ForwardAnalysisImpl<V extends AbstractValue<V>,S extends Store<S>,T extends ForwardTransferFunction<V,S>> - 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
ForwardTransferFunction<V extends AbstractValue<V>,S extends Store<S>> - Interface in org.checkerframework.dataflow.analysis: Interface of a forward transfer function for the abstract interpretation used for the forward flow analysis.
FunctionalInterfaceNode - Class in org.checkerframework.dataflow.cfg.node: A node for member references and lambdas.
FunctionalInterfaceNode(MemberReferenceTree) - Constructor for class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
FunctionalInterfaceNode(LambdaExpressionTree) - 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.
generateDOTofCFG(String, String, String, String, boolean, boolean, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Generate the DOT representation of the CFG for a method.
generateDOTofCFGWithoutAnalysis(String, String, String, String, boolean, boolean) - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Generate the DOT representation of the CFG for a method, only.
generateMethodCFG(String, String, String) - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Generate the control flow graph of a method in a class.
generateStringOfCFG(String, String, String, boolean, Analysis<V, S, T>) - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Generate the String representation of the CFG for a method.
generateStringOfCFGWithoutAnalysis(String, String, String, boolean) - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Generate the String representation of the CFG for a method, only.
getAllBlocks() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns the set of all basic blocks in this control flow graph.
getAllNodes() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns all nodes in this control flow graph.
getArgument(int) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
getArgument(int) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
getArguments() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
getArguments() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
getArray() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
getAssertionsEnabledVariable() - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Get a synthetic VariableTree that indicates whether assertions are enabled or not.
getAssignForUnaryTree(UnaryTree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the corresponding AssignmentNode for a given UnaryTree.
getAssignmentContext() - Method in class org.checkerframework.dataflow.cfg.node.Node: The assignment context for the node.
getBlock() - Method in interface org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree.PredecessorHolder
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).
getCaseOperand() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
getCFG() - Method in class org.checkerframework.dataflow.cfg.CFGProcessor.CFGProcessResult: Get 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
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
getConditionOperand() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
getConstructor() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
getContainingClass(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.
getContainingClass(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.
getContainingMethod(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.
getContainingMethod(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.
getContents() - Method in interface org.checkerframework.dataflow.cfg.block.RegularBlock: Deprecated.
use Block.getNodes() instead
getContents() - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
getContextTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.AssignmentLhsContext
getContextTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext: Returns the context tree.
getContextTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.LambdaReturnContext
getContextTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodParameterContext
getContextTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext
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
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 of receivers representing the dimension 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
getElement() - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
getElement() - Method in class org.checkerframework.dataflow.expression.LocalVariable
getElement() - Method in class org.checkerframework.dataflow.expression.MethodCall: Returns the ExecutableElement for the method call.
getElementForType() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.AssignmentLhsContext
getElementForType() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext: Returns an Element that has the type of this assignment context.
getElementForType() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.LambdaReturnContext
getElementForType() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodParameterContext
getElementForType() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext
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
getElseOperand() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
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
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: Get 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
getExpression() - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
getExpression() - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
getField() - Method in class org.checkerframework.dataflow.expression.FieldAccess
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
getIndex() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
getIndex() - Method in class org.checkerframework.dataflow.expression.ArrayAccess
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.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.
getInSource() - Method in class org.checkerframework.dataflow.cfg.node.Node
getIsStartOfBlock() - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
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(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
getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
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: Returns the enclosing method of the lambda.
getMethod() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
getMethodName() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda: Returns the name of the enclosing method of the lambda.
getMethodName() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod: Returns the name of the method
getName() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
getName() - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
getName() - Method in class org.checkerframework.dataflow.cfg.node.ThisLiteralNode
getName() - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
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
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
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.DoubleLiteralNode
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.StringConcatenateAssignmentNode
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.SynchronizedNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ThisLiteralNode
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.
getParameters() - Method in class org.checkerframework.dataflow.expression.MethodCall: Returns the method call parameters (for inspection only - do not modify any of the parameters).
getParametersOfEnclosingMethod(AnnotationProvider, TreePath) - Static method in class org.checkerframework.dataflow.expression.FlowExpressions: Returns Receiver objects for the formal parameters of the method in which path is enclosed.
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.
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.
getPurityKinds(AnnotationProvider, MethodTree) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Returns the types of purity of the method methodTree.
getPurityKinds(AnnotationProvider, Element) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Returns the types of purity of 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.ArrayAccess
getReceiver() - Method in class org.checkerframework.dataflow.expression.FieldAccess
getReceiver() - Method in class org.checkerframework.dataflow.expression.MethodCall: Returns the method call receiver (for inspection only - do not modify).
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: The regular result store.
getRegularStore() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult: The regular result store.
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
getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
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(Block) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the regular store immediately after a given block.
getStoreAfter(Tree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the store immediately after a given Tree.
getStoreAfter(Node) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the store immediately after a given Node.
getStoreAfter(Block) - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl: Returns the store corresponding to the location right after the basic block b.
getStoreBefore(Tree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the store immediately before a given Tree.
getStoreBefore(Node) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Returns the store immediately before a given Node.
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.
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
getSwitchOperand() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
getTarget() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
getTarget() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
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
getThenOperand() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
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.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.ExplicitThisLiteralNode
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.ImplicitThisLiteralNode
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.StringConcatenateAssignmentNode
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.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 the copied tree-lookup map.
getTreePath() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
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.node.Node: Returns a TypeMirror representing the type of a Node.
getType() - Method in class org.checkerframework.dataflow.expression.Receiver
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: Returns the unique ID of this object.
getUid() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
getUid() - Method in class org.checkerframework.dataflow.cfg.node.Node: Returns the unique ID of this object.
getUid() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST
getUnaryAssignNodeLookup() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns the copied lookup-map of the assign node for unary operation.
getUnderlyingAST() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Returns the AST this CFG corresponds to.
getValue(Node) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
getValue(Tree) - 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(Tree) - Method in interface org.checkerframework.dataflow.analysis.Analysis: Return the abstract value for Tree t, 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.
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() - 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.
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
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

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.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.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.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.StringConcatenateAssignmentNode
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.SynchronizedNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
hashCode() - Method in class org.checkerframework.dataflow.cfg.node.ThisLiteralNode
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.LocalVariable
hashCode() - Method in class org.checkerframework.dataflow.expression.MethodCall
hashCode() - Method in class org.checkerframework.dataflow.expression.ThisReference
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.LiveVarStore
hashCode() - Method in class org.checkerframework.dataflow.livevariable.LiveVarValue
hasPurityAnnotation(AnnotationProvider, MethodTree) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Does the method methodTree have any purity annotation?
hasPurityAnnotation(AnnotationProvider, Element) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Does the method methodElement have any purity annotation?

I

IdentityMostlySingleton<T> - Class in org.checkerframework.dataflow.util: An arbitrary-size set that is very efficient (more efficient than HashSet) for 0 and 1 elements.
IdentityMostlySingleton() - Constructor for class org.checkerframework.dataflow.util.IdentityMostlySingleton: Create an IdentityMostlySingleton.
IdentityMostlySingleton(T) - Constructor for class org.checkerframework.dataflow.util.IdentityMostlySingleton: Create an IdentityMostlySingleton.
ImplicitThisLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node to model the implicit this, e.g., in a field access.
ImplicitThisLiteralNode(TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode
index - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
index - Variable in class org.checkerframework.dataflow.expression.ArrayAccess
init(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Initialize the analysis with a new control flow graph.
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>).
init(Map<String, Object>) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
initFields(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Initialize class fields 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.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.livevariable.LiveVarTransfer
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 before blocks in forward analysis, after blocks in backward analysis).
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(Tree, 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
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
internalReprOf(AnnotationProvider, Node) - Static method in class org.checkerframework.dataflow.expression.FlowExpressions: We ignore operations such as widening and narrowing when computing the internal representation.
internalReprOf(AnnotationProvider, Node, boolean) - Static method in class org.checkerframework.dataflow.expression.FlowExpressions: We ignore operations such as widening and narrowing when computing the internal representation.
internalReprOf(AnnotationProvider, ExpressionTree) - Static method in class org.checkerframework.dataflow.expression.FlowExpressions: Returns the internal representation (as Receiver) of any ExpressionTree.
internalReprOf(AnnotationProvider, ExpressionTree, boolean) - Static method in class org.checkerframework.dataflow.expression.FlowExpressions: We ignore operations such as widening and narrowing when computing the internal representation.
internalReprOfArrayAccess(AnnotationProvider, ArrayAccessNode) - Static method in class org.checkerframework.dataflow.expression.FlowExpressions: Returns the internal representation (as FieldAccess) of a FieldAccessNode.
internalReprOfFieldAccess(AnnotationProvider, FieldAccessNode) - Static method in class org.checkerframework.dataflow.expression.FlowExpressions: Returns the internal representation (as FieldAccess) of a FieldAccessNode.
internalReprOfImplicitReceiver(Element) - Static method in class org.checkerframework.dataflow.expression.FlowExpressions: Returns the implicit receiver of ele.
internalReprOfPseudoReceiver(TreePath, TypeMirror) - Static method in class org.checkerframework.dataflow.expression.FlowExpressions: Returns either a new ClassName or ThisReference Receiver object for the enclosingType.
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.
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, MethodTree) - Static method in class org.checkerframework.dataflow.util.PurityUtils: Is the method methodTree deterministic?
isDeterministic(AnnotationProvider, Element) - 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
isEmpty() - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
isFinal() - Method in class org.checkerframework.dataflow.expression.FieldAccess
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, ExecutableElement, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.util.NodeUtils: Returns true iff node is an invocation of the given method.
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.
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: Is the method methodTree side-effect-free?
isSideEffectFree(AnnotationProvider, Element) - 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: Is this a static field?
isStatic() - Method in class org.checkerframework.dataflow.expression.FieldAccess
isSuccess() - Method in class org.checkerframework.dataflow.cfg.CFGProcessor.CFGProcessResult: Check if the CFG process succeeded.
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.ArrayAccess
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ArrayCreation
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.BinaryOperation
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ClassName
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.FieldAccess
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.LocalVariable
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.MethodCall
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.Receiver: Returns true if and only if the value this expression stands for cannot be changed (with respect to ==) by a method call.
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ThisReference
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.Unknown
isUnassignableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ValueLiteral
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ArrayAccess
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ArrayCreation
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.BinaryOperation
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ClassName
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.FieldAccess
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.LocalVariable
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.MethodCall
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.Receiver: Returns true if and only if the value this expression stands for cannot be changed by a method call, including changes to any of its fields.
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ThisReference
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.Unknown
isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.expression.ValueLiteral
iterator() - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton

K

killLiveVar(LiveVarValue) - 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

LambdaResultExpressionNode - Class in org.checkerframework.dataflow.cfg.node: A node for the single expression body of a single expression lambda.
LambdaResultExpressionNode(ExpressionTree, Node, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
LambdaReturnContext(ExecutableElement) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentContext.LambdaReturnContext
leastUpperBound(V) - Method in interface org.checkerframework.dataflow.analysis.AbstractValue: Compute the least upper bound of two stores.
leastUpperBound(S) - Method in interface org.checkerframework.dataflow.analysis.Store: Compute the least upper bound of two stores.
leastUpperBound(TransferInput<V, S>) - Method in class org.checkerframework.dataflow.analysis.TransferInput: Compute the least upper bound of two stores.
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(LiveVarValue) - Method in class org.checkerframework.dataflow.livevariable.LiveVarValue
left - Variable in class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
left - Variable in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
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
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
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
lhs - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentNode
lineSeparator - Variable in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: The line separator.
liveVariable - Variable in class org.checkerframework.dataflow.livevariable.LiveVarValue: 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.
LiveVariablePlayground() - Constructor for class org.checkerframework.dataflow.cfg.playground.LiveVariablePlayground
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<LiveVarValue>) - 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
LiveVarValue - Class in org.checkerframework.dataflow.livevariable: A live variable (which is represented by a node) wrapper turning node into abstract value.
LiveVarValue(Node) - Constructor for class org.checkerframework.dataflow.livevariable.LiveVarValue: Create a new live variable.
LocalVariable - Class in org.checkerframework.dataflow.expression
LocalVariable(LocalVariableNode) - Constructor for class org.checkerframework.dataflow.expression.LocalVariable
LocalVariable(Element) - Constructor for class org.checkerframework.dataflow.expression.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.
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.ConstantPropagationPlayground: Run constant propagation for a specific file and create a PDF of the CFG in the end.
main(String[]) - Static method in class org.checkerframework.dataflow.cfg.playground.LiveVariablePlayground: Run live variable 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.
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.AssignmentContext.LambdaReturnContext
method - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodParameterContext
method - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext
method - Variable in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
method - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod: The method declaration.
method - Variable in class org.checkerframework.dataflow.expression.MethodCall
MethodAccessNode - Class in org.checkerframework.dataflow.cfg.node: A node for a method access, including a method accesses:
MethodAccessNode(ExpressionTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.MethodAccessNode
MethodCall - Class in org.checkerframework.dataflow.expression: A call to a @Deterministic method.
MethodCall(TypeMirror, ExecutableElement, Receiver, List<Receiver>) - Constructor for class org.checkerframework.dataflow.expression.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
MethodParameterContext(ExecutableElement, int) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodParameterContext
MethodReturnContext(MethodTree) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext
MostlySingleton<T> - Class in org.checkerframework.dataflow.util: A set that is more efficient than HashSet for 0 and 1 elements.
MostlySingleton() - Constructor for class org.checkerframework.dataflow.util.MostlySingleton: Create a MostlySingleton.
MostlySingleton(T) - Constructor for class org.checkerframework.dataflow.util.MostlySingleton: Create a MostlySingleton.

N

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
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 - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentContext.AssignmentLhsContext
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.
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.
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
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
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.
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
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
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
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
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

O

ObjectCreationNode - Class in org.checkerframework.dataflow.cfg.node: A node for new object creation.
ObjectCreationNode(NewClassTree, Node, List<Node>, ClassDeclarationNode) - Constructor for class org.checkerframework.dataflow.cfg.node.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
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
operationKind - Variable in class org.checkerframework.dataflow.expression.BinaryOperation: The binary operation kind.
org.checkerframework.dataflow.analysis - package org.checkerframework.dataflow.analysis
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.qual - package org.checkerframework.dataflow.qual
org.checkerframework.dataflow.util - package org.checkerframework.dataflow.util
outDir - Variable in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer: The output directory.
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(Tree) - Constructor for class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
parameters - Variable in class org.checkerframework.dataflow.expression.MethodCall
paramNum - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodParameterContext
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.
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
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, AssignmentNode>, ArrayList<ExtendedNode>, Map<Label, Integer>, Set<Integer>, List<ReturnNode>, Label, Label, List<ClassTree>, List<LambdaExpressionTree>) - Constructor for class org.checkerframework.dataflow.cfg.builder.PhaseOneResult
poll() - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: See PriorityQueue.poll().
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.
printError(String) - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Print error message.
printUsage() - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Print usage information.
process(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: Process the control flow graph, add the blocks to AbstractAnalysis.Worklist.depthFirstOrder.
process(TreePath, UnderlyingAST) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Performs the actual work of phase one.
process(CompilationUnitTree, UnderlyingAST) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
process(ControlFlowGraph) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree: Perform phase three on the control flow graph cfg.
process(PhaseOneResult) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseTwo: Perform phase two of the translation.
process(ConstantPropagationStore, Node, Node) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
producePDF(String) - Method in class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher: Invoke "dot" command to generate a PDF.
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.
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
Pure - Annotation Type in org.checkerframework.dataflow.qual: Pure is a method annotation that means both SideEffectFree and Deterministic.
Pure.Kind - Enum in org.checkerframework.dataflow.qual: The type of purity.
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) - 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.
PurityUtils() - Constructor for class org.checkerframework.dataflow.util.PurityUtils
putLiveVar(LiveVarValue) - 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.

R

readFromStore(Map<Block, S>, Block) - Static method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Read the store for a particular basic block from a map of stores (or null if none exists yet).
receiver - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
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
receiver - Variable in class org.checkerframework.dataflow.expression.ArrayAccess
receiver - Variable in class org.checkerframework.dataflow.expression.FieldAccess
receiver - Variable in class org.checkerframework.dataflow.expression.MethodCall
Receiver - Class in org.checkerframework.dataflow.expression: This class represents a Java expression and its type.
Receiver(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.Receiver: Create a Receiver (a Java AST node representing an expression).
refType - Variable in class org.checkerframework.dataflow.cfg.node.InstanceOfNode: The reference type being tested against.
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 extends AbstractValue<V>,S extends Store<S>> - Class in org.checkerframework.dataflow.analysis: Implementation of a TransferResult with just one non-exceptional store.
RegularTransferResult(V, S, boolean) - Constructor for class org.checkerframework.dataflow.analysis.RegularTransferResult: Create a new RegularTransferResult.RegularTransferResult(AbstractValue, Store, Map, boolean), using null for TransferResult.exceptionalStores.
RegularTransferResult(V, S) - Constructor for class org.checkerframework.dataflow.analysis.RegularTransferResult: Create a new RegularTransferResult.RegularTransferResult(AbstractValue, Store, Map, boolean), using null for TransferResult.exceptionalStores and false for TransferResult.storeChanged().
RegularTransferResult(V, S, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.RegularTransferResult: Create a new RegularTransferResult.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.
remove(Object) - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
removeAll(Collection<?>) - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
removePredecessor(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
result - Variable in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
result - Variable in class org.checkerframework.dataflow.cfg.node.ReturnNode
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.
ret - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext
retainAll(Collection<?>) - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
ReturnNode - Class in org.checkerframework.dataflow.cfg.node: A node for a return statement:
ReturnNode(ReturnTree, Node, Types, MethodTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ReturnNode
ReturnNode(ReturnTree, Node, Types, LambdaExpressionTree, Symbol.MethodSymbol) - Constructor for class org.checkerframework.dataflow.cfg.node.ReturnNode
returnNodes - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: All return nodes (if any) encountered.
rhs - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentNode
right - Variable in class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
right - Variable in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
right - Variable in class org.checkerframework.dataflow.expression.BinaryOperation: The right operand.
runAnalysisFor(Node, boolean, 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, boolean) - 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, boolean, 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, boolean, 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, boolean, TransferInput<V, S>, IdentityHashMap<Node, V>, Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl

S

set - Variable in class org.checkerframework.dataflow.util.AbstractMostlySingleton: The wrapped set, non-null when the state is ANY.
setAssignmentContext(AssignmentContext) - Method in class org.checkerframework.dataflow.cfg.node.Node
setBlock(Block) - Method in class org.checkerframework.dataflow.cfg.node.Node: Set the basic block this node belongs to.
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.
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
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
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.
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.
SideEffectFree - Annotation Type in org.checkerframework.dataflow.qual: A method is called side-effect-free if it has no visible side-effects, such as setting a field of an object that existed before the method was called.
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
SingleSuccessorBlock - Interface in org.checkerframework.dataflow.cfg.block: A basic block that has at 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.
size() - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
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 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
state - Variable in class org.checkerframework.dataflow.util.AbstractMostlySingleton: The current state.
store - Variable in class org.checkerframework.dataflow.analysis.RegularTransferResult: The regular result store.
Store<S extends 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 - 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.FlowRule - Enum in org.checkerframework.dataflow.analysis: A flow rule describes how stores flow along one edge between basic blocks.
Store.Kind - Enum 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 - Variable in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: The indentation for elements of the store.
stores - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult: The stores before every method call.
storesAtReturnStatements - Variable in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl: The stores after every return statement.
StringCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> - 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
StringConcatenateAssignmentNode - Class in org.checkerframework.dataflow.cfg.node: A node for the string concatenation compound assignment:
StringConcatenateAssignmentNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
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
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.
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(Tree) - Constructor for class org.checkerframework.dataflow.cfg.node.SuperNode
switchExpr - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode: The switch expression.
SynchronizedNode - Class in org.checkerframework.dataflow.cfg.node: This represents the start and end of synchronized code block.
SynchronizedNode(Tree, Node, boolean, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.SynchronizedNode
syntacticEquals(Receiver) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
syntacticEquals(Receiver) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
syntacticEquals(Receiver) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
syntacticEquals(Receiver) - Method in class org.checkerframework.dataflow.expression.ClassName
syntacticEquals(Receiver) - Method in class org.checkerframework.dataflow.expression.FieldAccess
syntacticEquals(Receiver) - Method in class org.checkerframework.dataflow.expression.LocalVariable
syntacticEquals(Receiver) - Method in class org.checkerframework.dataflow.expression.MethodCall
syntacticEquals(Receiver) - Method in class org.checkerframework.dataflow.expression.Receiver: Returns true if and only if the two receivers are syntactically identical.
syntacticEquals(Receiver) - Method in class org.checkerframework.dataflow.expression.ThisReference
syntacticEquals(Receiver) - Method in class org.checkerframework.dataflow.expression.ValueLiteral

T

tag - Variable in class org.checkerframework.dataflow.expression.BinaryOperation: The binary operation kind for pretty printing.
target - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode: The target of the method invocation -- that is, the receiver.
TerminatesExecution - Annotation Type in org.checkerframework.dataflow.qual: TerminatesExecution is a method annotation that indicates that a method terminates the execution of the program.
TernaryExpressionNode - Class in org.checkerframework.dataflow.cfg.node: A node for a conditional expression:
TernaryExpressionNode(ConditionalExpressionTree, Node, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
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
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.
ThisLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a reference to 'this', either implicit or explicit.
ThisLiteralNode(TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.ThisLiteralNode
ThisReference - Class in org.checkerframework.dataflow.expression
ThisReference(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.ThisReference
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
toArray() - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
toArray(S[]) - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
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.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.PhaseOneResult
toString() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
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.EqualToNode
toString() - Method in class org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode
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.ImplicitThisLiteralNode
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.StringConcatenateAssignmentNode
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.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.LocalVariable
toString() - Method in class org.checkerframework.dataflow.expression.MethodCall
toString() - Method in class org.checkerframework.dataflow.expression.ThisReference
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.LiveVarStore
toString() - Method in class org.checkerframework.dataflow.livevariable.LiveVarValue
toString() - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
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.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.Receiver: Print this verbosely, for debugging.
transferFunction - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: The transfer function for regular nodes.
TransferFunction<V extends AbstractValue<V>,S extends Store<S>> - Interface in org.checkerframework.dataflow.analysis: Interface of a transfer function for the abstract interpretation used for the flow analysis.
TransferInput<V extends AbstractValue<V>,S extends Store<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(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.
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(TransferInput<V, S>) - Constructor for class org.checkerframework.dataflow.analysis.TransferInput: Copy constructor.
TransferResult<V extends AbstractValue<V>,S extends Store<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.
tree - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
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 - Variable in class org.checkerframework.dataflow.cfg.node.AssignmentNode
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.ExplicitThisLiteralNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
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 - 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
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
tree - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.PackageNameNode
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.ReturnNode
tree - Variable in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
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
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
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.
type - Variable in class org.checkerframework.dataflow.cfg.block.BlockImpl: The type of this basic block.
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.Receiver: The type of this expression.
TypeCastNode - Class in org.checkerframework.dataflow.cfg.node: A node for the cast operator:
TypeCastNode(Tree, 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.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.

U

uid - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
unaryAssignNodeLookup - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult: Map from AST UnaryTrees to corresponding AssignmentNodes.
unaryAssignNodeLookup - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: Map from AST UnaryTrees to corresponding AssignmentNodes.
unaryNumericPromotion(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Perform unary numeric promotion on the input node.
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.
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 in org.checkerframework.dataflow.cfg: The kinds of underlying ASTs.
uniqueName(String) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
Unknown - Class in org.checkerframework.dataflow.expression: Stands for any expression that the Dataflow Framework lacks explicit support for.
Unknown(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.Unknown: Create a new Unknown receiver.
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
updateNodeValues(Node, TransferResult<V, S>) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Updates the value of node node 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.
value - Variable in class org.checkerframework.dataflow.util.AbstractMostlySingleton: The current value, non-null when the state is SINGLETON.
ValueLiteral - Class in org.checkerframework.dataflow.expression: FlowExpression.Receiver for literals.
ValueLiteral(TypeMirror, ValueLiteralNode) - Constructor for class org.checkerframework.dataflow.expression.ValueLiteral: Creates a ValueLiteral from the node with the given type.
ValueLiteral(TypeMirror, Object) - Constructor for class org.checkerframework.dataflow.expression.ValueLiteral: Creates a ValueLiteral where the value is value that has 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 org.checkerframework.dataflow.analysis.Analysis.Direction: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.dataflow.analysis.Store.FlowRule: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.dataflow.analysis.Store.Kind: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.dataflow.cfg.block.Block.BlockType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.dataflow.cfg.block.SpecialBlock.SpecialBlockType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.dataflow.cfg.UnderlyingAST.Kind: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.VisualizeWhere: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.dataflow.constantpropagation.Constant.Type: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.dataflow.qual.Pure.Kind: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.dataflow.util.AbstractMostlySingleton.State: Returns the enum constant of this type with the specified name.
values() - Static method in enum org.checkerframework.dataflow.analysis.Analysis.Direction: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.dataflow.analysis.Store.FlowRule: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.dataflow.analysis.Store.Kind: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.dataflow.cfg.block.Block.BlockType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.dataflow.cfg.block.SpecialBlock.SpecialBlockType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.dataflow.cfg.UnderlyingAST.Kind: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.VisualizeWhere: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.dataflow.constantpropagation.Constant.Type: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.dataflow.qual.Pure.Kind: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.dataflow.util.AbstractMostlySingleton.State: Returns an array containing the constants of this enum type, in the order they are declared.
VariableDeclarationNode - Class in org.checkerframework.dataflow.cfg.node: A node for a local variable declaration:
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.
visitAnnotatedType(AnnotatedTypeTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitAnnotation(AnnotationTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
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
visitArrayCreation(ArrayCreationNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitArrayCreation(ArrayCreationNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
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(AssignmentNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitAssignment(AssignmentNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitAssignment(AssignmentNode, TransferInput<Constant, ConstantPropagationStore>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
visitAssignment(AssignmentNode, TransferInput<LiveVarValue, LiveVarStore>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
visitAssignment(AssignmentTree, Void) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
visitBinary(BinaryTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
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
visitClassName(ClassNameNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitClassName(ClassNameNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
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
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, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitEqualTo(EqualToNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitEqualTo(EqualToNode, TransferInput<Constant, ConstantPropagationStore>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
visitErroneous(ErroneousTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitExplicitThisLiteral(ExplicitThisLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitExplicitThisLiteral(ExplicitThisLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitExpressionStatement(ExpressionStatementTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitFieldAccess(FieldAccessNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitFieldAccess(FieldAccessNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
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
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
visitImplicitThisLiteral(ImplicitThisLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitImplicitThisLiteral(ImplicitThisLiteralNode, 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, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitIntegerLiteral(IntegerLiteralNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitIntegerLiteral(IntegerLiteralNode, TransferInput<Constant, ConstantPropagationStore>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
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, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitLocalVariable(LocalVariableNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitLocalVariable(LocalVariableNode, TransferInput<Constant, ConstantPropagationStore>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
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
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
visitMethodInvocation(MethodInvocationNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitMethodInvocation(MethodInvocationNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitMethodInvocation(MethodInvocationNode, TransferInput<LiveVarValue, LiveVarStore>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
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, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitNode(Node, TransferInput<Constant, ConstantPropagationStore>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
visitNode(Node, TransferInput<LiveVarValue, LiveVarStore>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
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, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitObjectCreation(ObjectCreationNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitObjectCreation(ObjectCreationNode, TransferInput<LiveVarValue, LiveVarStore>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
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, 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
visitStringConcatenateAssignment(StringConcatenateAssignmentNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitStringConcatenateAssignment(StringConcatenateAssignmentNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
visitStringConcatenateAssignment(StringConcatenateAssignmentNode, TransferInput<LiveVarValue, LiveVarStore>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarTransfer
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
visitSwitch(SwitchTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
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
visitThisLiteral(ThisLiteralNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
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
visitUnionType(UnionTypeTree, Void) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
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
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
visualize(CFGVisualizer<?, S, ?>) - Method in interface org.checkerframework.dataflow.analysis.Store: Delegate visualization responsibility to a visualizer.
visualize(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.
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<?, ConstantPropagationStore, ?>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore: Delegate visualization responsibility to a visualizer.
visualize(CFGVisualizer<?, LiveVarStore, ?>) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
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
visualizeBlockHelper(Block, Analysis<V, S, T>, String) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Helper method to visualize a block.
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 after the given 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

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(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.
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.
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.

A B C D E F G H I K L M N O P Q R S T U V W