- a - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple
-
- 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
-
- AbstractTypeProcessor - Class in org.checkerframework.javacutil
-
This class is an abstract annotation processor designed to be a
convenient superclass for concrete "type processors", processors that
require the type information in the processed source.
- AbstractTypeProcessor() - Constructor for class org.checkerframework.javacutil.AbstractTypeProcessor
-
Constructor for subclasses to call.
- 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.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.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.Analysis.Worklist
-
- add(T) - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- addAll(Collection<? extends T>) - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- addDotEdge(long, long, String) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- addExceptionalSuccessor(BlockImpl, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
-
Add an exceptional successor.
- addLabelForNextNode(CFGBuilder.Label) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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 reason as 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 reason as a reason why the method is not deterministic.
- addNotSeFreeReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
-
Add reason as a reason why the method is not side-effect
free.
- addPredecessor(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
-
- addStoreBefore(Block, Node, S, Store.Kind, boolean) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
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.CFGBuilder.CFGTranslationPhaseOne
-
Add a node in the post-conversion lookup map.
- addToConvertedLookupMap(Tree, Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Add a node in the post-conversion lookup map.
- addToLookupMap(Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Add a node to the lookup map if it not already present.
- addToWorklist(Block) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
Add a basic block to the worklist.
- Analysis<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> - Class in org.checkerframework.dataflow.analysis
-
An implementation of an iterative algorithm to solve a org.checkerframework.dataflow problem,
given a control flow graph and a transfer function.
- Analysis(ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.analysis.Analysis
-
Construct an object that can perform a org.checkerframework.dataflow analysis over a control
flow graph.
- Analysis(ProcessingEnvironment, T) - Constructor for class org.checkerframework.dataflow.analysis.Analysis
-
Construct an object that can perform a org.checkerframework.dataflow analysis over a control
flow graph, given a transfer function.
- analysis - Variable in class org.checkerframework.dataflow.analysis.TransferInput
-
The corresponding analysis class to get intermediate flow results.
- Analysis.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.
- Analysis.Worklist.DFOComparator - Class in org.checkerframework.dataflow.analysis
-
Comparator to allow priority queue to order blocks by their depth-first order.
- AnalysisResult<A extends AbstractValue<A>,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, A>, IdentityHashMap<Block, TransferInput<A, S>>, IdentityHashMap<Tree, Node>, HashMap<Element, A>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult
-
Initialize with a given node-value mapping.
- AnalysisResult() - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult
-
Initialize empty result.
- annoProvider - Variable in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- annotationName(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- annotationOrdering() - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- annotationProvider - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- AnnotationProvider - Interface in org.checkerframework.javacutil
-
An implementation of AnnotationProvider returns annotations on
Java AST elements.
- annotationsFromArrayCreation(NewArrayTree, int) - Static method in class org.checkerframework.javacutil.InternalUtils
-
- annotationsFromTree(AnnotatedTypeTree) - Static method in class org.checkerframework.javacutil.InternalUtils
-
- annotationsFromTree(TypeParameterTree) - Static method in class org.checkerframework.javacutil.InternalUtils
-
- annotationsFromTypeAnnotationTrees(List<? extends AnnotationTree>) - Static method in class org.checkerframework.javacutil.InternalUtils
-
- annotationSimpleName(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- AnnotationUtils - Class in org.checkerframework.javacutil
-
A utility class for working with annotations.
- areSame(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks if both annotations are the same.
- areSame(Collection<? extends AnnotationMirror>, Collection<? extends AnnotationMirror>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that two collections contain the same annotations.
- areSameByClass(AnnotationMirror, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that the annotation am has the name of anno.
- areSameByName(AnnotationMirror, String) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that the annotation am has the name aname.
- areSameIgnoringValues(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- areSamePrimitiveTypes(TypeMirror, TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true iff the arguments are both the same primitive types.
- arguments - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
-
- arguments - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
-
- array - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
-
- ArrayAccess(TypeMirror, FlowExpressions.Receiver, FlowExpressions.Receiver) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.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(TypeMirror, List<Node>, List<Node>) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
-
- 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
type .class
- ArrayTypeNode(ArrayTypeTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
-
- AssertionErrorNode - Class in org.checkerframework.dataflow.cfg.node
-
- AssertionErrorNode(Tree, Node, Node, TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
-
- assignConvert(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Perform assignment conversion so that it can be assigned to a
variable of the given type.
- assignmentCheck(PurityChecker.PurityResult, ExpressionTree) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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
-
- assumeAssertionsDisabled - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Can assertions be assumed to be disabled?
- assumeAssertionsEnabled - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Can assertions be assumed to be enabled?
- assumeAssertionsEnabledFor(AssertTree) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Should assertions be assumed to be executed for a given
AssertTree? False by default.
- attributeFromAnnotationValue(ProcessingEnvironment, ExecutableElement, AnnotationValue) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
Returns a newly created Attribute corresponding to an argument
AnnotationValue.
- b - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple
-
- BasicAnnotationProvider - Class in org.checkerframework.javacutil
-
- BasicAnnotationProvider() - Constructor for class org.checkerframework.javacutil.BasicAnnotationProvider
-
- BasicTypeProcessor - Class in org.checkerframework.javacutil
-
Process the types in an AST in a trivial manner, with hooks for derived classes
to actually do something.
- BasicTypeProcessor() - Constructor for class org.checkerframework.javacutil.BasicTypeProcessor
-
- binaryNumericPromotion(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Perform binary numeric promotion on the input node to make it match
the expression type.
- binaryPromotedType(TypeMirror, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Compute the type to which two numeric types must be promoted
before performing a binary numeric operation on them.
- bindings - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
The bindings of labels to positions (i.e., indices) in the
nodeList.
- BitwiseAndNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for the bitwise or logical (single bit) and operation:
- BitwiseAndNode(Tree, 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(Tree, 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(Tree, 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(Tree, 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.CFGBuilder.ExtendedNode
-
The basic block this extended node belongs to (as determined in phase
two).
- block - Variable in class org.checkerframework.dataflow.cfg.node.Node
-
The basic block this node belongs to (see invariant about this field
above).
- Block.BlockType - Enum in org.checkerframework.dataflow.cfg.block
-
The types of basic blocks
- BlockImpl - Class in org.checkerframework.dataflow.cfg.block
-
Base class of the
Block implementation hierarchy.
- BlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.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
-
- box(Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
If the input node is an unboxed primitive type, insert a call to the
appropriate valueOf method, otherwise leave it alone.
- breakLabels - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- breakTargetL - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Current
CFGBuilder.Label to which a break statement with no label should
jump, or null if there is no valid destination.
- build(CompilationUnitTree, ProcessingEnvironment, UnderlyingAST, boolean, boolean) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Build the control flow graph of some code.
- build(TreePath, ProcessingEnvironment, UnderlyingAST, boolean, boolean) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Build the control flow graph of some code (method, initializer block, ...).
- build(CompilationUnitTree, ProcessingEnvironment, MethodTree, ClassTree, boolean, boolean) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Build the control flow graph of a method.
- build(CompilationUnitTree, ProcessingEnvironment, UnderlyingAST) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Build the control flow graph of some code.
- build(CompilationUnitTree, ProcessingEnvironment, MethodTree, ClassTree) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Build the control flow graph of a method.
- buildArrayAccess(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to dereference an array.
- buildArrayLengthAccess(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to dereference the length field of an array
- buildAssignment(VariableTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to assign an expression to a variable.
- buildAssignment(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to assign an RHS expression to an LHS expression.
- buildBinary(TypeMirror, Tree.Kind, ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to perform a binary operation.
- buildClassUse(Element) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to refer to a class name.
- buildHasNextMethodAccess(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to access the hasNext() method of an iterator.
- buildIteratorMethodAccess(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to access the iterator() method of some iterable
expression.
- buildLessThan(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to compare two operands with less than.
- buildLiteral(Object) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree representing a literal value of primitive
or String type.
- buildMethodContext() - Method in class org.checkerframework.javacutil.Resolver
-
Build an instance of Resolve$MethodResolutionContext.
- buildMethodInvocation(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to call a method designated by the argument expression.
- buildMethodInvocation(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to call a method designated by methodExpr,
with one argument designated by argExpr.
- buildNextMethodAccess(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to access the next() method of an iterator.
- buildPrimValueMethodAccess(Tree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to access the *Value() method of a
boxed type such as Short or Float, where * is the corresponding
primitive type (i.e.
- buildTypeCast(TypeMirror, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to cast the type of an expression.
- buildValueOfMethodAccess(Tree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to access the valueOf() method of boxed type
such as Short or Float.
- buildVariableDecl(TypeMirror, String, Element, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to declare and initialize a variable, with no modifiers.
- buildVariableDecl(Tree, String, Element, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to declare and initialize a variable.
- buildVariableUse(VariableTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to refer to a variable.
- c - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple
-
- callTransferFunction(Node, TransferInput<A, S>) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
Call the transfer function for node node, and set that node as
current node first.
- canAlias(FlowExpressions.Receiver, FlowExpressions.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(FlowExpressions.Receiver, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
-
- canHaveTypeAnnotation(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- caseExpr - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode
-
- 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
-
- catchLabels - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryCatchFrame
-
An ordered list of pairs because catch blocks are ordered.
- cfg - Variable in class org.checkerframework.dataflow.analysis.Analysis
-
The control flow graph to perform the analysis on.
- CFGBuilder - Class in org.checkerframework.dataflow.cfg
-
Builds the control flow graph of some Java code (either a method, or an
arbitrary statement).
- CFGBuilder(boolean, boolean) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder
-
- CFGBuilder.CFGTranslationPhaseOne - Class in org.checkerframework.dataflow.cfg
-
Class that performs phase one of the translation process.
- CFGBuilder.CFGTranslationPhaseThree - Class in org.checkerframework.dataflow.cfg
-
Class that performs phase three of the translation process.
- CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder - Interface in org.checkerframework.dataflow.cfg
-
A simple wrapper object that holds a basic block and allows to set
one of its successors.
- CFGBuilder.CFGTranslationPhaseTwo - Class in org.checkerframework.dataflow.cfg
-
Class that performs phase two of the translation process.
- CFGBuilder.ConditionalJump - Class in org.checkerframework.dataflow.cfg
-
- CFGBuilder.ExtendedNode - Class in org.checkerframework.dataflow.cfg
-
An extended node can be one of several things (depending on its
type):
NODE.
- CFGBuilder.ExtendedNode.ExtendedNodeType - Enum in org.checkerframework.dataflow.cfg
-
Extended node types (description see above).
- CFGBuilder.Label - Class in org.checkerframework.dataflow.cfg
-
A label is used to refer to other extended nodes using a mapping from
labels to extended nodes.
- CFGBuilder.NodeHolder - Class in org.checkerframework.dataflow.cfg
-
An extended node of type NODE.
- CFGBuilder.NodeWithExceptionsHolder - Class in org.checkerframework.dataflow.cfg
-
An extended node of type EXCEPTION_NODE.
- CFGBuilder.PhaseOneResult - Class in org.checkerframework.dataflow.cfg
-
A wrapper object to pass around the result of phase one.
- CFGBuilder.TryCatchFrame - Class in org.checkerframework.dataflow.cfg
-
A TryCatchFrame contains an ordered list of catch labels that apply
to exceptions with specific types.
- CFGBuilder.TryFinallyFrame - Class in org.checkerframework.dataflow.cfg
-
A TryFinallyFrame applies to exceptions of any type
- CFGBuilder.TryFrame - Interface in org.checkerframework.dataflow.cfg
-
A TryFrame takes a thrown exception type and maps it to a set
of possible control-flow successors.
- CFGBuilder.TryStack - Class in org.checkerframework.dataflow.cfg
-
An exception stack represents the set of all try-catch blocks
in effect at a given point in a program.
- CFGBuilder.Tuple<A,B,C> - Class in org.checkerframework.dataflow.cfg
-
Tuple class with up to three members.
- CFGBuilder.UnconditionalJump - Class in org.checkerframework.dataflow.cfg
-
- CFGLambda(LambdaExpressionTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
-
- CFGMethod(MethodTree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
-
- CFGStatement(Tree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
-
- CFGTranslationPhaseOne() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- CFGTranslationPhaseThree() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
-
- CFGTranslationPhaseTwo() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseTwo
-
- CFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> - Interface in org.checkerframework.dataflow.cfg
-
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
-
- checkerName - Variable in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- checkPurity(Tree, AnnotationProvider, boolean) - Static method in class org.checkerframework.dataflow.util.PurityChecker
-
Compute whether the given statement is
side-effect-free, deterministic, or both.
- classExtendsTAPosition(int, int) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
- ClassName(TypeMirror) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.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
-
- 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.
- classTreeKinds() - Static method in class org.checkerframework.javacutil.TreeUtils
-
- clear() - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- clear() - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- code - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
-
- CollectionUtils - Class in org.checkerframework.javacutil
-
Utility methods related to Java Collections
- CollectionUtils() - Constructor for class org.checkerframework.javacutil.CollectionUtils
-
- combine(AnalysisResult<A, 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.CFGBuilder.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.Analysis.Worklist.DFOComparator
-
- computeNeighborhoodOfEmptyBlock(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
-
Compute the set of empty regular basic blocks empty, starting
at start and going both forward and backwards.
- computeNeighborhoodOfEmptyBlockBackwards(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
-
Compute the set of empty regular basic blocks empty, 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
-
- ConditionalBlock - Interface in org.checkerframework.dataflow.cfg.block
-
Represents a conditional basic block that contains exactly one boolean
Node.
- 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.CFGBuilder.CFGTranslationPhaseOne
-
Convert an operand of a conditional expression to the type of the
whole expression.
- ConditionalJump(CFGBuilder.Label, CFGBuilder.Label) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
-
- ConditionalNotNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for a conditional not expression:
- ConditionalNotNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
-
- 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
-
- ConditionalTransferResult<A extends AbstractValue<A>,S extends Store<S>> - Class in org.checkerframework.dataflow.analysis
-
Implementation of a
TransferResult with two non-exceptional store;
one for the 'then' edge and one for 'else'.
- ConditionalTransferResult(A, S, S, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
Create a
ConditionalTransferResult with
thenStore as the
resulting store if the corresponding
Node evaluates to
true and
elseStore otherwise.
- ConditionalTransferResult(A, S, S) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
- ConditionalTransferResult(A, S, S, Map<TypeMirror, S>, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
Create a
ConditionalTransferResult with
thenStore as the
resulting store if the corresponding
Node evaluates to
true and
elseStore otherwise.
- ConditionalTransferResult(A, S, S, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
- Constant - Class in org.checkerframework.dataflow.constantpropagation
-
- Constant(Constant.Type) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant
-
- Constant(Integer) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant
-
- 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
-
- 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
-
- constructor(NewClassTree) - Static method in class org.checkerframework.javacutil.InternalUtils
-
Determines the symbol for a constructor given an invocation via
new.
- contains(Block) - Method in class org.checkerframework.dataflow.analysis.Analysis.Worklist
-
- contains(Object) - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- containsAll(Collection<?>) - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
-
- containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.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<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
-
- containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
-
- containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
-
- containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
-
- containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
-
- containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
-
- containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
-
- containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
-
- containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
-
- containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
-
- containsSame(Collection<? extends AnnotationMirror>, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that the collection contains the annotation.
- containsSameByClass(Collection<? extends AnnotationMirror>, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that the collection contains the annotation.
- containsSameIgnoringValues(Collection<? extends AnnotationMirror>, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that the collection contains the annotation ignoring values.
- containsSyntacticEqualParameter(FlowExpressions.LocalVariable) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
-
- containsThisConstructorInvocation(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- 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
-
- containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
- containsUnknown() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
-
- contents - Variable in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
-
Internal representation of the contents.
- continueLabels - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- continueTargetL - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Current
CFGBuilder.Label to which a continue statement with no label
should jump, or null if there is no valid destination.
- 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, Node>, IdentityHashMap<Tree, Node>, List<ReturnNode>) - Constructor for class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- conversionRequiresNarrowing(TypeMirror, Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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.CFGBuilder.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
Nodes.
- convertedTreeLookupMap - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Map from AST
Trees to post-conversion
Nodes.
- copy() - Method in interface org.checkerframework.dataflow.analysis.Store
-
- copy() - Method in class org.checkerframework.dataflow.analysis.TransferInput
-
- copy() - Method in class org.checkerframework.dataflow.constantpropagation.Constant
-
- copy() - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
-
- copyTAPosition(TypeAnnotationPosition) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
- createAnnotationMap() - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- createAnnotationSet() - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- createArrayType(Types, TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns an
ArrayType with elements of type
componentType.
- createCompoundFromAnnotationMirror(ProcessingEnvironment, AnnotationMirror) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
Returns a newly created Attribute.Compound corresponding to an
argument AnnotationMirror.
- createEnhancedForLoopArrayVariable(ExpressionTree, VariableElement) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- createEnhancedForLoopIteratorVariable(MethodInvocationTree, VariableElement) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- createLRUCache(int) - Static method in class org.checkerframework.javacutil.CollectionUtils
-
A Utility method for creating LRU cache
- createTreePathScanner(CompilationUnitTree) - Method in class org.checkerframework.javacutil.BasicTypeProcessor
-
Create a TreePathScanner at the given root.
- createTypeCompoundFromAnnotationMirror(ProcessingEnvironment, AnnotationMirror, TypeAnnotationPosition) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
Returns a newly created Attribute.TypeCompound corresponding to an
argument AnnotationMirror.
- currentInput - Variable in class org.checkerframework.dataflow.analysis.Analysis
-
The current transfer input when the analysis is running.
- currentNode - Variable in class org.checkerframework.dataflow.analysis.Analysis
-
The node that is currently handled in the analysis (if it is running).
- currentRoot - Variable in class org.checkerframework.javacutil.BasicTypeProcessor
-
The source tree that's being scanned.
- currentTree - Variable in class org.checkerframework.dataflow.analysis.Analysis
-
The tree that is currently being looked at.
- ea - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
The
VariableTree that indicates whether assertions are
enabled or not.
- element - Variable in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
-
- 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
- elementFromDeclaration(ClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the element for a class corresponding to a declaration.
- elementFromDeclaration(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the element for a method corresponding to a declaration.
- elementFromDeclaration(VariableTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the element for a variable corresponding to its declaration.
- elementFromUse(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the element for the declaration corresponding to this use of an element.
- elementFromUse(MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- elementFromUse(NewClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- elements - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- elements - Variable in class org.checkerframework.javacutil.trees.TreeBuilder
-
- ElementUtils - Class in org.checkerframework.javacutil
-
A Utility class for analyzing Elements.
- elseFlowRule - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
-
- 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.Analysis
-
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.
- enclosingClass(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Returns the innermost type element enclosing the given element
- enclosingClass(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the enclosing class of the tree node defined by the given
{@link TreePath}.
- enclosingMethod(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the enclosing method of the tree node defined by the given
{@link TreePath}.
- enclosingOfClass(TreePath, Class<T>) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the first enclosing tree in path, of the specified class
- enclosingOfKind(TreePath, Tree.Kind) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the first enclosing tree in path, of the specified kind.
- enclosingOfKind(TreePath, Set<Tree.Kind>) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the first enclosing tree in path, with any one of the specified kinds.
- enclosingPackage(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Returns the innermost package element enclosing the given element.
- enclosingTopLevelBlock(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- enclosingVariable(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the enclosing variable of a tree node defined by the given
TreePath.
- entryBlock - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
The entry block of the control flow graph.
- env - Variable in class org.checkerframework.dataflow.analysis.Analysis
-
The associated processing environment
- env - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Annotation processing environment and its associated type and tree
utilities.
- env - Variable in class org.checkerframework.javacutil.trees.TreeBuilder
-
- equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
-
- equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
-
- equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
-
- equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
-
- equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
-
- equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
-
- 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.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.LeftShiftNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LongLiteralNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NullLiteralNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ShortLiteralNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
-
- equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.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.javacutil.Pair
-
- 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
-
- errorAbort(String) - Method in interface org.checkerframework.javacutil.ErrorHandler
-
Log an error message and abort processing.
- errorAbort(String, Throwable) - Method in interface org.checkerframework.javacutil.ErrorHandler
-
- errorAbort(String) - Static method in class org.checkerframework.javacutil.ErrorReporter
-
Log an error message and abort processing.
- errorAbort(String, Object...) - Static method in class org.checkerframework.javacutil.ErrorReporter
-
- errorAbort(String, Throwable) - Static method in class org.checkerframework.javacutil.ErrorReporter
-
- ErrorHandler - Interface in org.checkerframework.javacutil
-
An implementation of the ErrorHandler interface can be registered
with the ErrorReporter class to change the default behavior on
errors.
- ErrorReporter - Class in org.checkerframework.javacutil
-
Handle errors detected in utility classes.
- ErrorReporter() - Constructor for class org.checkerframework.javacutil.ErrorReporter
-
- escapeDoubleQuotes(String) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- exceptionalExitBlock - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
The exceptional exit block of the control flow graph.
- exceptionalExitLabel - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Special label to identify the exceptional exit.
- 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
-
- exceptions - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.NodeWithExceptionsHolder
-
Map from exception type to labels of successors that may
be reached as a result of that exception.
- exitLabel - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryStack
-
- 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
-
- ExtendedNode(CFGBuilder.ExtendedNode.ExtendedNodeType) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
- extendWithExtendedNode(CFGBuilder.ExtendedNode) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Extend the list of extended nodes with an extended node.
- extendWithNode(T) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Extend the list of extended nodes with a node.
- extendWithNodeWithException(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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.CFGBuilder.CFGTranslationPhaseOne
-
Extend the list of extended nodes with a node, where
node might throw any of the exception in
causes.
- generated - Variable in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
Mapping from class/method representation to generated dot file.
- generateDotGraph(ControlFlowGraph, Block, Analysis<A, S, T>) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
Generate the dot representation as String.
- generateDotNodes(Set<Block>, ControlFlowGraph, Analysis<A, S, T>) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- generateDOTofCFG(String, String, String, String, boolean) - Static method in class org.checkerframework.dataflow.cfg.JavaSource2CFGDOT
-
Just like method above but without analysis.
- generateDOTofCFG(String, String, String, String, boolean, Analysis<A, S, T>) - Static method in class org.checkerframework.dataflow.cfg.JavaSource2CFGDOT
-
Generate the DOT representation of the CFG for a method.
- generateDOTofCFG(String, String, String, String, boolean, Analysis<A, S, T>, MethodTree, CompilationUnitTree) - Static method in class org.checkerframework.dataflow.cfg.JavaSource2CFGDOT
-
- getAllBlocks() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- getAllFieldsIn(Elements, TypeElement) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Return all fields declared in the given type or any superclass/interface.
- getAllMethodsIn(Elements, TypeElement) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Return all methods declared in the given type or any superclass/interface.
- getAnnotationByClass(Collection<? extends AnnotationMirror>, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns the AnnotationMirror in c that has the same class as anno.
- getAnnotationMirror(Tree, Class<? extends Annotation>) - Method in interface org.checkerframework.javacutil.AnnotationProvider
-
Return the annotation on tree that has the class
target.
- getAnnotationMirror(Tree, Class<? extends Annotation>) - Method in class org.checkerframework.javacutil.BasicAnnotationProvider
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
Get a synthetic
VariableTree that indicates whether assertions are
enabled or not.
- getAssignmentContext() - Method in class org.checkerframework.dataflow.cfg.node.Node
-
- getAssignmentContext(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns the tree with the assignment context for the treePath
leaf node.
- getBlock() - Method in interface org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder
-
- getBlock() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
- getBlock() - Method in class org.checkerframework.dataflow.cfg.node.Node
-
- getCapturedWildcard(TypeVariable) - Static method in class org.checkerframework.javacutil.InternalUtils
-
If typeVar is a captured wildcard, returns that wildcard; otherwise returns null.
- getCaseOperand() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
-
- getClassTree() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
-
- 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
-
- 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.Analysis
-
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.Analysis
-
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
-
- 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
-
- 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.Analysis
-
- getDeclAnnotation(Element, Class<? extends Annotation>) - Method in interface org.checkerframework.javacutil.AnnotationProvider
-
Returns the actual annotation mirror used to annotate this type,
whose name equals the passed annotationName if one exists, null otherwise.
- getDeclAnnotation(Element, Class<? extends Annotation>) - Method in class org.checkerframework.javacutil.BasicAnnotationProvider
-
- getDeclaration() - Method in class org.checkerframework.javacutil.trees.DetachedVarSymbol
-
Get the declaration tree for the variable.
- getDeclaredClasses() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
- getDeclaredLambdas() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
- getDepthFirstOrderedBlocks() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- 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.analysis.FlowExpressions.ArrayCreation
-
- getDimensions() - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
-
- getElement() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
-
- getElement() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- 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
-
- 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
-
- getElementValue(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Get the attribute with the name name of the annotation
anno.
- getElementValueArray(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Get the attribute with the name name of the annotation
anno, where the attribute has an array type.
- getElementValueClass(AnnotationMirror, CharSequence, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Get the Class that is referenced by attribute 'name'.
- getElementValueClassName(AnnotationMirror, CharSequence, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Get the Name of the class that is referenced by attribute 'name'.
- getElementValueEnum(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Version that is suitable for Enum elements.
- getElementValueEnumArray(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Get the attribute with the name name of the annotation
anno, or the default value if no attribute is present explicitly,
where the attribute has an array type and the elements are Enums.
- getElementValuesWithDefaults(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns the values of an annotation's attributes, including defaults.
- getElseFlowRule() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock
-
- getElseFlowRule() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
-
- getElseLabel() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
-
- 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
-
- getElseStore() - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
- getElseSuccessor() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock
-
- getElseSuccessor() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
-
- getEntryBlock() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- getEnv() - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getExceptionalExitBlock() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- getExceptionalExitStore() - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getExceptionalStore(TypeMirror) - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
- getExceptionalStores() - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
- getExceptionalSuccessors() - Method in interface org.checkerframework.dataflow.cfg.block.ExceptionBlock
-
- getExceptionalSuccessors() - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
-
- getExceptions() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.NodeWithExceptionsHolder
-
- getExplicitAnnotationsOnConstructorResult(MethodTree) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns the annotations explicitly written on a constructor result.
- 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
-
- getFalseFlowRule() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
-
- getField() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- getField(String, String, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns the VariableElement for a field declaration.
- getFieldName() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
-
- getFieldName(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Compute the name of the field that the field access tree
accesses.
- getFinalLocalValues() - Method in class org.checkerframework.dataflow.analysis.AnalysisResult
-
- getFlowRule() - Method in interface org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock
-
- getFlowRule() - Method in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
-
- getId() - Method in interface org.checkerframework.dataflow.cfg.block.Block
-
- getId() - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
-
- getIndex() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- getIndex() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
-
- 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.analysis.FlowExpressions.ArrayCreation
-
- getInitializers() - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
-
- getInput(Block) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
Read the
TransferInput for a particular basic block (or
null if
none exists yet).
- getInputBefore(Block) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getInSource() - Method in class org.checkerframework.dataflow.cfg.node.Node
-
- getIsStartOfBlock() - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
-
- getJavacContext(ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.InternalUtils
-
Helper function to extract the javac Context from the
javac processing environment.
- getKind() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST
-
- getLabel(TreePath) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Returns the label
Name of the leaf in the argument path, or
null if the leaf is not a labeled statement.
- getLabel() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
- getLabel() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.UnconditionalJump
-
- getLambdaTree() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
-
- getLeftOperand() - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
-
- 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.CFGMethod
-
- getMethod(String, String, int, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns the ExecutableElement for a method declaration of
methodName, in class typeName, with params parameters.
- getMethodName(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Compute the name of the method that the method access tree
accesses.
- getMethodTree(String, String, String) - Static method in class org.checkerframework.dataflow.cfg.JavaSource2CFGDOT
-
- getMethodTreeAndCompilationUnit(String, String, String) - Static method in class org.checkerframework.dataflow.cfg.JavaSource2CFGDOT
-
- 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
-
- getName() - Method in class org.checkerframework.javacutil.dist.ManualTaglet
-
- getNode() - Method in class org.checkerframework.dataflow.analysis.TransferInput
-
- getNode() - Method in interface org.checkerframework.dataflow.cfg.block.ExceptionBlock
-
- getNode() - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
-
- getNode() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
- getNode() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.NodeHolder
-
- getNode() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.NodeWithExceptionsHolder
-
- getNodeCorrespondingToTree(Tree) - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- getNodeForTree(Tree) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getNodeForTree(Tree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult
-
- 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.BitwiseComplementNode
-
- getOperand() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
-
- 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.NumericalMinusNode
-
- getOperand() - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
-
- 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.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.BitwiseAndNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
-
- 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.ClassNameNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
-
- 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.GreaterThanNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
-
- 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
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
-
- 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.NumericalAdditionNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
-
- 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.SignedRightShiftNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
-
- getOperands() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
-
- 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.UnsignedRightShiftNode
-
- 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
-
- getParameters() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- getParent() - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
-
- getParent() - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
-
- getPredecessorHolder(BlockImpl, BlockImpl) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder.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 class org.checkerframework.dataflow.cfg.block.BlockImpl
-
- getProcessOrder(ControlFlowGraph) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- getPurityKinds(AnnotationProvider, MethodTree) - Static method in class org.checkerframework.dataflow.util.PurityUtils
-
- getPurityKinds(AnnotationProvider, Element) - Static method in class org.checkerframework.dataflow.util.PurityUtils
-
- getQualifiedClassName(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Returns the qualified name of the inner most class enclosing
the provided Element
- getQualifiedName(DeclaredType) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Gets the fully qualified name for a provided type.
- getReceiver() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- getReceiver() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- getReceiver() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- getReceiver() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
-
- getReceiver() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
-
- getReceiver() - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
-
- getReceiverTree(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns the receiver tree of a field access or a method invocation
- getRefType() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
-
- getRegularExitBlock() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- getRegularExitStore() - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getRegularStore() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
- getRegularStore() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult
-
- getRegularStore() - Method in class org.checkerframework.dataflow.analysis.TransferInput
-
- getRegularStore() - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
- getRegularSuccessor() - Method in interface org.checkerframework.dataflow.cfg.block.RegularBlock
-
- getRegularSuccessor() - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
-
- getResult() - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getResult() - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
-
- getResultValue() - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
- getReturnNodes() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- getReturnStatementStores() - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
-
- getRightOperand() - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
-
- getSpecialType() - Method in interface org.checkerframework.dataflow.cfg.block.SpecialBlock
-
- getSpecialType() - Method in class org.checkerframework.dataflow.cfg.block.SpecialBlockImpl
-
- getStoreAfter(Tree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult
-
- getStoreBefore(Block, Store.Kind) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getStoreBefore(Tree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult
-
- getStoreBefore(Node) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult
-
- getSuccessor() - Method in interface org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock
-
- getSuccessor() - Method in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
-
- getSuperTypes(Elements, TypeElement) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Determine all type elements for the classes and interfaces referenced
in the extends/implements clauses of the given type element.
- 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
-
- getTerminatesExecution() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
- getThenFlowRule() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock
-
- getThenFlowRule() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
-
- getThenLabel() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
-
- 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
-
- getThenStore() - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
- getThenSuccessor() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock
-
- getThenSuccessor() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
-
- getTransferFunction() - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getTransitiveOperands() - Method in class org.checkerframework.dataflow.cfg.node.Node
-
- 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.BitwiseAndNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
-
- 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.FloatingDivisionNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
-
- 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.IntegerDivisionNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
-
- 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.NotEqualNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
-
- 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.SignedRightShiftNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
-
- getTree() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
-
- 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.UnsignedRightShiftNode
-
- 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
-
- getTreePath() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
-
- getTrueFlowRule() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
-
- getType() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
-
- getType() - Method in interface org.checkerframework.dataflow.cfg.block.Block
-
- getType() - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
-
- getType() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
- getType() - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
-
- getType() - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
-
- getType() - Method in class org.checkerframework.dataflow.cfg.node.Node
-
- getType() - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
-
- getType() - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
-
- getType(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Returns the TypeMirror for usage of Element as a value.
- getTypeElement(TypeMirror) - Static method in class org.checkerframework.javacutil.InternalUtils
-
- getTypes() - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getTypes() - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
-
- getUnderlyingAST() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- getValue(Node) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getValue(Tree) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- getValue(Node) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult
-
- getValue(Tree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult
-
- 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
-
- getValue() - Method in class org.checkerframework.dataflow.constantpropagation.Constant
-
- getValueOfMethod(ProcessingEnvironment, TypeMirror) - Static method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Returns the valueOf method of a boxed type such as Short or Float.
- getValueOfSubNode(Node) - Method in class org.checkerframework.dataflow.analysis.TransferInput
-
- getVerboseName(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Returns a verbose name that identifies the element.
- GreaterThanNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for the greater than comparison:
- GreaterThanNode(Tree, 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(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
-
- greatestLowerBound(ProcessingEnvironment, TypeMirror, TypeMirror) - Static method in class org.checkerframework.javacutil.InternalUtils
-
Returns the greatest lower bound of two
TypeMirrors,
ignoring any annotations on the types.
- id - Variable in class org.checkerframework.dataflow.cfg.block.BlockImpl
-
A unique ID for this node.
- 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
-
- inConstructor() - Method in class org.checkerframework.javacutil.dist.ManualTaglet
-
- index - Variable in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- index - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
-
- inField() - Method in class org.checkerframework.javacutil.dist.ManualTaglet
-
- init(ControlFlowGraph) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
Initialize the analysis with a new control flow graph.
- init(Map<String, Object>) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Initialization method guaranteed to be called once before the
first invocation of visualize.
- init(Map<String, Object>) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- init(ProcessingEnvironment) - Method in class org.checkerframework.javacutil.AbstractTypeProcessor
-
Register a TaskListener that will get called after FLOW.
- initializers - Variable in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
-
- initializers - Variable in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
-
- initialStore(UnderlyingAST, List<LocalVariableNode>) - Method in interface org.checkerframework.dataflow.analysis.TransferFunction
-
- initialStore(UnderlyingAST, List<LocalVariableNode>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
-
- inMethod() - Method in class org.checkerframework.javacutil.dist.ManualTaglet
-
- inOverview() - Method in class org.checkerframework.javacutil.dist.ManualTaglet
-
- inPackage() - Method in class org.checkerframework.javacutil.dist.ManualTaglet
-
- inputs - Variable in class org.checkerframework.dataflow.analysis.Analysis
-
The transfer inputs before every basic block (assumed to be 'no information' if
not present).
- insertExtendedNodeAfter(CFGBuilder.ExtendedNode, Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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.CFGBuilder.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.CFGBuilder.CFGTranslationPhaseOne
-
Insert a node that might throw the exception
cause 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:
x instanceof Point
- InstanceOfNode(Tree, Node, TypeMirror, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.InstanceOfNode
-
- IntegerDivisionNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for the integer division:
- IntegerDivisionNode(Tree, 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
-
- IntegerRemainderNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for the integer remainder:
- IntegerRemainderNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
-
- internalReprOf(AnnotationProvider, Node) - Static method in class org.checkerframework.dataflow.analysis.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.analysis.FlowExpressions
-
We ignore operations such as widening and
narrowing when computing the internal representation.
- internalReprOfArrayAccess(AnnotationProvider, ArrayAccessNode) - Static method in class org.checkerframework.dataflow.analysis.FlowExpressions
-
- internalReprOfFieldAccess(AnnotationProvider, FieldAccessNode) - Static method in class org.checkerframework.dataflow.analysis.FlowExpressions
-
- InternalUtils - Class in org.checkerframework.javacutil
-
Static utility methods used by annotation abstractions in this package.
- inType() - Method in class org.checkerframework.javacutil.dist.ManualTaglet
-
- isAnonymous(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true iff the argument is an anonymous type.
- isAnonymousConstructor(MethodTree) - Static method in class org.checkerframework.javacutil.InternalUtils
-
Determines whether or not the node referred to by the given
TreePath is an anonymous constructor (the constructor for an
anonymous class.
- isBooleanType(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Checks if the type represents a boolean type, that is either boolean
(primitive type) or java.lang.Boolean.
- isBooleanTypeNode(Node) - Static method in class org.checkerframework.dataflow.util.NodeUtils
-
- isBottom() - Method in class org.checkerframework.dataflow.constantpropagation.Constant
-
- isBoxedPrimitive(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
- isBoxOf(TypeMirror, TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true if declaredType is a Class that is used to box primitive type
(e.g.
- isCaptured(TypeVariable) - Static method in class org.checkerframework.javacutil.InternalUtils
-
Returns whether a TypeVariable represents a captured type.
- isClass(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Checks if the type represents a java.lang.Class declared type.
- isClassLiteral(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Determine whether tree is a class literal, such
as
- isClassTree(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Is the given tree kind a class, i.e.
- isClassType(TypeMirror) - Static method in class org.checkerframework.javacutil.InternalUtils
-
Returns whether a TypeMirror represents a class type.
- isCompileTimeConstant(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Returns true if the element is a constant time reference
- isCompileTimeString(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns true if the node is a constant-time expression.
- isConstant() - Method in class org.checkerframework.dataflow.constantpropagation.Constant
-
- isConstructor(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Checks if the provided method is a constructor method or no.
- isDeclaredOfName(TypeMirror, CharSequence) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Check if the type represent a declared type of the given qualified name
- isDeterministic(AnnotationProvider, MethodTree) - Static method in class org.checkerframework.dataflow.util.PurityUtils
-
Is the method tree deterministic?
- isDeterministic(AnnotationProvider, Element) - Static method in class org.checkerframework.dataflow.util.PurityUtils
-
Is the method methodElement deterministic?
- isDiamondTree(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns true if the tree is of a diamond type.
- isEffectivelyFinal(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Returns true if the element is a effectively final element.
- isElementFromByteCode(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Returns true if the element is declared in ByteCode.
- isEmpty() - Method in class org.checkerframework.dataflow.analysis.Analysis.Worklist
-
- 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.MostlySingleton
-
- isEnumSuper(MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- isErasedSubtype(Types, TypeMirror, TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true if the erased type of subtype is a subtype of the erased type of supertype.
- isError(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
- isExplicitThisDereference(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Determine whether the given expression is either "this" or an outer
"C.this".
- isExpressionTree(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Determine whether the given tree represents an ExpressionTree.
- isFieldAccess(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Determine whether tree is a field access expressions, such
as
- isFinal() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- isFinal(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Returns true if the element is a final element: a final field, final
method, or final class
- isFloating(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true iff the argument is a floating point type.
- isGetClassInvocation(MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- isInlineTag() - Method in class org.checkerframework.javacutil.dist.ManualTaglet
-
- isIntegral(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true iff the argument is an integral type.
- isLocalVariable(ExpressionTree) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- isLValue() - Method in class org.checkerframework.dataflow.cfg.node.Node
-
- isMethodAccess(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Determine whether tree refers to a method element, such
as
- isMethodInvocation(Tree, ExecutableElement, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns true if the given element is an invocation of the method, or
of any method that overrides that one.
- isNamedMethodCall(String, MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- isNumeric(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true iff the argument is a primitive numeric type.
- isNumericOrBoxed(TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Returns true if the argument type is a numeric primitive or
a boxed numeric primitive and false otherwise.
- isObject(TypeElement) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Check if the element is an element for 'java.lang.Object'
- isObject(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Checks if the type represents a java.lang.Object declared type.
- isPrimitive(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true iff the argument is a primitive type.
- isPure(Collection<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.Analysis
-
Is the analysis currently running?
- isRunning() - Method in class org.checkerframework.dataflow.analysis.Analysis
-
Is the analysis currently running?
- isSameTAPosition(TypeAnnotationPosition, TypeAnnotationPosition) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
Compare two TypeAnnotationPositions for equality.
- isSameTAPositionExceptTreePos(TypeAnnotationPosition, TypeAnnotationPosition) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
- isSelfAccess(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns true if the tree is a tree that 'looks like' either an access
of a field or an invocation of a method that are owned by the same
accessing instance.
- isSideEffectFree(AnnotationProvider, MethodTree) - Static method in class org.checkerframework.dataflow.util.PurityUtils
-
Is the method tree side-effect-free?
- isSideEffectFree(AnnotationProvider, Element) - Static method in class org.checkerframework.dataflow.util.PurityUtils
-
Is the method methodElement side-effect-free?
- isSpecificFieldAccess(Tree, VariableElement) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns true if and only if the given
tree represents a field
access of the given
VariableElement.
- isStatic() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- isStatic() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
-
Is this a static field?
- isStatic(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
Returns true if the element is a static element: whether it is a static
field, static method, or static class
- isString(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Checks if the type represents a java.lang.String declared type.
- isStringCompoundConcatenation(CompoundAssignmentTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns true if the compound assignment tree is a string concatenation
- isStringConcatenation(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns true if the tree represents a String concatenation
operation
- isSuperCall(MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Checks if the method invocation is a call to super.
- isThisCall(MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Checks if the method invocation is a call to this.
- isThrowable(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
- isTop() - Method in class org.checkerframework.dataflow.constantpropagation.Constant
-
- isTypeCompoundContained(Types, List<Attribute.TypeCompound>, Attribute.TypeCompound) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
Check whether a TypeCompound is contained in a list of TypeCompounds.
- isTypeDeclaration(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
-
- isTypeDeclaration(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Determine whether the given tree represents a declaration of a type
(including type parameters).
- isTypeTree(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Is the given tree a type instantiation?
TODO: this is an under-approximation: e.g.
- isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
-
- isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
-
- isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
-
- isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
-
Returns true if and only if the value this expression stands for
cannot be changed by a method call.
- isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
-
- isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
-
- isUnmodifiableByOtherCode() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
-
- isUseOfElement(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Determine whether the given ExpressionTree has an underlying element.
- iterator() - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- sbBlock - Variable in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- sbDigraph - Variable in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- sbStore - Variable in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- scan(Tree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
Scan a single node.
- scan(Iterable<? extends Tree>, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
Scan a list of nodes.
- second - Variable in class org.checkerframework.javacutil.Pair
-
- setAssignmentContext(AssignmentContext) - Method in class org.checkerframework.dataflow.cfg.node.Node
-
- setBlock(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
- setBlock(Block) - Method in class org.checkerframework.dataflow.cfg.node.Node
-
Set the basic block this node belongs to.
- setCurrentTree(Tree) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- setDeclaration(VariableTree) - Method in class org.checkerframework.javacutil.trees.DetachedVarSymbol
-
Set the declaration tree for the variable.
- 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.
- setFalseFlowRule(Store.FlowRule) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
-
- 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
-
- setHandler(ErrorHandler) - Static method in class org.checkerframework.javacutil.ErrorReporter
-
Register a handler to customize error reporting.
- 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(A) - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
- 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.CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder
-
- setTerminatesExecution(boolean) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
- setThenFlowRule(Store.FlowRule) - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock
-
Set the flow rule for information flowing from this block to
its then successor.
- setThenFlowRule(Store.FlowRule) - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
-
- setThenSuccessor(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
-
Set the then branch successor.
- setTransferFunction(T) - Method in class org.checkerframework.dataflow.analysis.Analysis
-
- setTrueFlowRule(Store.FlowRule) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
-
- 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
-
- shutdown() - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Shutdown method called once from the shutdown hook of the
BaseTypeChecker.
- shutdown() - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
Write a file methods.txt that contains a mapping from
source code location to generated dot file.
- 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(Tree, 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
-
Implementation of a non-special basic block.
- SingleSuccessorBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
-
- singleSuccessorHolder(SingleSuccessorBlockImpl, BlockImpl) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
-
- size() - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- skipParens(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
If the given tree is a parenthesized tree, it returns the enclosed
non-parenthesized tree.
- SpecialBlock - Interface in org.checkerframework.dataflow.cfg.block
-
Represents a special basic block; i.e., one of the following:
Entry block of a method.
Regular exit block of a method.
Exceptional exit 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
-
- SpecialBlockImpl(SpecialBlock.SpecialBlockType) - Constructor for class org.checkerframework.dataflow.cfg.block.SpecialBlockImpl
-
- specialType - Variable in class org.checkerframework.dataflow.cfg.block.SpecialBlockImpl
-
The type of this special basic block.
- startOfBlock - Variable in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
-
- store - Variable in class org.checkerframework.dataflow.analysis.RegularTransferResult
-
The regular result store.
- Store<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).
- 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
-
- storeChanged() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
- storeChanged() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult
-
- storeChanged() - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
- stores - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult
-
The stores before every method call.
- storesAtReturnStatements - Variable in class org.checkerframework.dataflow.analysis.Analysis
-
The stores after every return statement.
- 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(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
-
- stringConversion(Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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
-
- substituteMethodReturnType(TypeMirror, TypeMirror) - Static method in class org.checkerframework.javacutil.InternalUtils
-
Returns the return type of a method, where the "raw" return type of that
method is given (i.e., the return type might still contain unsubstituted
type variables), given the receiver of the method call.
- 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
-
- symbol(Tree) - Static method in class org.checkerframework.javacutil.InternalUtils
-
Gets the
Element ("symbol") for the given Tree API node.
- symtab - Variable in class org.checkerframework.javacutil.trees.TreeBuilder
-
- SynchronizedNode - Class in org.checkerframework.dataflow.cfg.node
-
- SynchronizedNode(Tree, Node, boolean, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.SynchronizedNode
-
- syntacticEquals(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- syntacticEquals(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
-
- syntacticEquals(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
-
- syntacticEquals(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- syntacticEquals(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
-
- syntacticEquals(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- syntacticEquals(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
-
- syntacticEquals(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
-
- syntacticEquals(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
-
- target - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
-
- terminatesExecution - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
Does this node terminate the execution? (e.g., "System.exit()")
- 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 rules below say that the THEN store before a conditional
block flows to BOTH of the stores of the then successor, while
the ELSE store before a conditional block flows to BOTH of the
stores of the else 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.Analysis
-
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(TypeMirror) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.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.MostlySingleton
-
- toArray(S[]) - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- toString() - Method in class org.checkerframework.dataflow.analysis.Analysis.Worklist
-
- toString() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
- toString() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- toString() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
-
- toString() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
-
- toString() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- toString() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
-
- toString() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- toString() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
-
- toString() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
-
- toString() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
-
- 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.CFGBuilder.ConditionalJump
-
- toString() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.Label
-
- toString() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.NodeHolder
-
- toString() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.NodeWithExceptionsHolder
-
- toString() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.PhaseOneResult
-
- toString() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.UnconditionalJump
-
- 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.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.LeftShiftNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
-
- toString() - Method in class org.checkerframework.dataflow.cfg.node.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(Tag) - Method in class org.checkerframework.javacutil.dist.ManualTaglet
-
- toString(Tag[]) - Method in class org.checkerframework.javacutil.dist.ManualTaglet
-
- toString() - Method in class org.checkerframework.javacutil.Pair
-
- toStringEscapeDoubleQuotes(Object) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- transferFunction - Variable in class org.checkerframework.dataflow.analysis.Analysis
-
The transfer function for regular nodes.
- TransferFunction<A extends AbstractValue<A>,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<A extends AbstractValue<A>,S extends Store<S>> - Class in org.checkerframework.dataflow.analysis
-
TransferInput is used as the input type of the individual transfer
functions of a
TransferFunction.
- TransferInput(Node, Analysis<A, S, ?>, TransferResult<A, S>) - Constructor for class org.checkerframework.dataflow.analysis.TransferInput
-
- TransferInput(Node, Analysis<A, S, ?>, S) - Constructor for class org.checkerframework.dataflow.analysis.TransferInput
-
- TransferInput(Node, Analysis<A, S, ?>, S, S) - Constructor for class org.checkerframework.dataflow.analysis.TransferInput
-
Create a
TransferInput, given two stores and a node-value
mapping.
- TransferInput(TransferInput<A, S>) - Constructor for class org.checkerframework.dataflow.analysis.TransferInput
-
Copy constructor.
- TransferResult<A extends AbstractValue<A>,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(A) - Constructor for class org.checkerframework.dataflow.analysis.TransferResult
-
- translateAssertWithAssertionsEnabled(AssertTree) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Translates an assertion statement to the correct CFG nodes.
- translateAssignment(Tree, Node, ExpressionTree) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Translate an assignment.
- translateAssignment(Tree, Node, Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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.BitwiseAndNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.ClassNameNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.EqualToNode
-
- 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.FloatingDivisionNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
-
- 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.IntegerDivisionNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.LessThanNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
-
- 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
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.NotEqualNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.NullChkNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
-
- 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.SignedRightShiftNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
-
- 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.UnsignedRightShiftNode
-
- tree - Variable in class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- TreeBuilder - Class in org.checkerframework.javacutil.trees
-
The TreeBuilder permits the creation of new AST Trees using the
non-public Java compiler API TreeMaker.
- TreeBuilder(ProcessingEnvironment) - Constructor for class org.checkerframework.javacutil.trees.TreeBuilder
-
- treeLookup - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult
-
- treeLookup - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- treeLookupMap - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- TreeParser - Class in org.checkerframework.javacutil.trees
-
A Utility class for parsing Java expression snippets, and converting them
to proper Javac AST nodes.
- TreeParser(ProcessingEnvironment) - Constructor for class org.checkerframework.javacutil.trees.TreeParser
-
- treePath - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
-
- trees - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- TreeUtils - Class in org.checkerframework.javacutil
-
A utility class made for helping to analyze a given Tree.
- trueFlowRule - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
-
- trueSucc - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
-
- TryCatchFrame(Types, List<Pair<TypeMirror, CFGBuilder.Label>>) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.TryCatchFrame
-
- TryFinallyFrame(CFGBuilder.Label) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyFrame
-
- TryStack(CFGBuilder.Label) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.TryStack
-
- Tuple(A, B) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple
-
- Tuple(A, B, C) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple
-
- type - Variable in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
-
- type - Variable in class org.checkerframework.dataflow.cfg.block.BlockImpl
-
The type of this basic block.
- type - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
-
Type of this node.
- type - Variable in class org.checkerframework.dataflow.cfg.node.Node
-
The type of this node.
- type - Variable in class org.checkerframework.dataflow.constantpropagation.Constant
-
What kind of abstract value is this?
- TypeAnnotationUtils - Class in org.checkerframework.javacutil
-
A collection of helper methods related to type annotation handling.
- TypeCastNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for the cast operator:
(Point) x
- TypeCastNode(Tree, Node, TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.TypeCastNode
-
- typeFromClass(Types, Elements, Class<?>) - Static method in class org.checkerframework.javacutil.TypesUtils
-
- typeOf(Tree) - Static method in class org.checkerframework.javacutil.InternalUtils
-
- typeParameterBoundTAPosition(int, int, int) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
- typeParameterTAPosition(int, int) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
- typeProcess(TypeElement, TreePath) - Method in class org.checkerframework.javacutil.AbstractTypeProcessor
-
- typeProcess(TypeElement, TreePath) - Method in class org.checkerframework.javacutil.BasicTypeProcessor
-
Visit the tree path for the type element.
- typeProcessingOver() - Method in class org.checkerframework.javacutil.AbstractTypeProcessor
-
A method to be called once all the classes are processed and no error
is reported.
- typeProcessingStart() - Method in class org.checkerframework.javacutil.AbstractTypeProcessor
-
A method to be called once before the first call to typeProcess.
- types - Variable in class org.checkerframework.dataflow.analysis.Analysis
-
Instance of the types utility.
- types - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- types - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryCatchFrame
-
- types - Variable in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
-
- TypesUtils - Class in org.checkerframework.javacutil
-
- typeTreeKinds() - Static method in class org.checkerframework.javacutil.TreeUtils
-
- value - Variable in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
-
- value - Variable in class org.checkerframework.dataflow.constantpropagation.Constant
-
The value of this abstract value (or null)
- ValueLiteral(TypeMirror, ValueLiteralNode) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
-
- ValueLiteral(TypeMirror, Object) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
-
- 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.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.CFGBuilder.ExtendedNode.ExtendedNodeType
-
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.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.
- 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.CFGBuilder.ExtendedNode.ExtendedNodeType
-
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.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.
- 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.DOTCFGVisualizer
-
- visitAnnotatedType(AnnotatedTypeTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitAnnotation(AnnotationTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitArrayAccess(ArrayAccessTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitArrayAccess(ArrayAccessNode, P) - Method in class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
-
- visitArrayAccess(ArrayAccessNode, P) - Method in interface org.checkerframework.dataflow.cfg.node.NodeVisitor
-
- visitArrayAccess(ArrayAccessTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.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.CFGBuilder.CFGTranslationPhaseOne
-
- visitAssert(AssertTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.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(AssignmentTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitBinary(BinaryTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitBinary(BinaryTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitBlock(BlockTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitBreak(BreakTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitCase(CaseTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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
-
- visitCase(CaseTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitCatch(CatchTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitCatch(CatchTree, PurityChecker.PurityResult) - 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitClass(ClassTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitCompoundAssignment(CompoundAssignmentTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitCompoundAssignment(CompoundAssignmentTree, PurityChecker.PurityResult) - 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitConditionalExpression(ConditionalExpressionTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitContinue(ContinueTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitDoWhileLoop(DoWhileLoopTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitEmptyStatement(EmptyStatementTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitEmptyStatement(EmptyStatementTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitEnhancedForLoop(EnhancedForLoopTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitEnhancedForLoop(EnhancedForLoopTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.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.CFGBuilder.CFGTranslationPhaseOne
-
- visitExpressionStatement(ExpressionStatementTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitForLoop(ForLoopTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitIdentifier(IdentifierTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitIf(IfTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitIf(IfTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitInstanceOf(InstanceOfTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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
-
- visitInstanceOf(InstanceOfTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitLabeledStatement(LabeledStatementTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitLambdaExpression(LambdaExpressionTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitLambdaExpression(LambdaExpressionTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitLiteral(LiteralTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.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
-
- visitMemberReference(MemberReferenceTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitMemberSelect(MemberSelectTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitMemberSelect(MemberSelectTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitMethod(MethodTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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.CFGBuilder.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(MethodInvocationTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitModifiers(ModifiersTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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.CFGBuilder.CFGTranslationPhaseOne
-
- visitNewArray(NewArrayTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitNewClass(NewClassTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitNewClass(NewClassTree, PurityChecker.PurityResult) - 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
-
- 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
-
- visitOther(Tree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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.CFGBuilder.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.CFGBuilder.CFGTranslationPhaseOne
-
- visitParenthesized(ParenthesizedTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitPrimitiveType(PrimitiveTypeTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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.CFGBuilder.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
-
- visitReturn(ReturnTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitSwitch(SwitchTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitSynchronized(SynchronizedTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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
-
- visitSynchronized(SynchronizedTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.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
-
- visitThrow(ThrowTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitTry(TryTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitTry(TryTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitTypeCast(TypeCastTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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
-
- visitTypeCast(TypeCastTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitTypeParameter(TypeParameterTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitUnary(UnaryTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- visitUnary(UnaryTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- visitUnionType(UnionTypeTree, Void) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.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.CFGBuilder.CFGTranslationPhaseOne
-
- visitVariable(VariableTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visitWhileLoop(WhileLoopTree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
- 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.CFGBuilder.CFGTranslationPhaseOne
-
- visualize(CFGVisualizer<?, S, ?>) - Method in interface org.checkerframework.dataflow.analysis.Store
-
Delegate visualization responsibility to a visualizer.
- visualize(ControlFlowGraph, Block, Analysis<A, S, T>) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Output a visualization representing the control flow graph starting
at entry.
- visualize(ControlFlowGraph, Block, Analysis<A, S, T>) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
Output a visualization representing the control flow graph starting
at entry.
- visualize(CFGVisualizer<?, ConstantPropagationStore, ?>) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
-
- visualizeBlock(Block, Analysis<A, S, T>) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Visualize a block based on the analysis.
- visualizeBlock(Block, Analysis<A, S, T>) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
Produce a representation of the contests of a basic block.
- visualizeBlockNode(Node, Analysis<A, S, T>) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Visualize a Node based on the analysis.
- visualizeBlockNode(Node, Analysis<A, S, T>) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeBlockTransferInput(Block, Analysis<A, S, T>) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Visualize the transferInput of a Block based on the analysis.
- visualizeBlockTransferInput(Block, Analysis<A, S, T>) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeSpecialBlock(SpecialBlock) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Visualize a SpecialBlock.
- visualizeSpecialBlock(SpecialBlock) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeStore(S) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Delegate the visualization responsibility
to the passed
Store instance, which will call back to this
visualizer instance for sub-components.
- visualizeStore(S) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeStoreArrayVal(FlowExpressions.ArrayAccess, A) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Called by CFAbstractStore#internalVisualize() to visualize
the value of arrays collected by this Store.
- visualizeStoreArrayVal(FlowExpressions.ArrayAccess, A) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeStoreClassVals(FlowExpressions.ClassName, A) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Called by CFAbstractStore#internalVisualize() to visualize
the value of class names collected by this Store.
- visualizeStoreClassVals(FlowExpressions.ClassName, A) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeStoreFieldVals(FlowExpressions.FieldAccess, A) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Called by CFAbstractStore#internalVisualize() to visualize
the value of fields collected by this Store.
- visualizeStoreFieldVals(FlowExpressions.FieldAccess, A) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeStoreFooter() - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Called by CFAbstractStore to visualize
any information after the invocation of CFAbstractStore#internalVisualize().
- visualizeStoreFooter() - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeStoreHeader(String) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Called by a CFAbstractStore to visualize
the class name before calling the
CFAbstractStore#internalVisualize() method.
- visualizeStoreHeader(String) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeStoreKeyVal(String, Object) - Method in interface org.checkerframework.dataflow.cfg.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.DOTCFGVisualizer
-
- visualizeStoreLocalVar(FlowExpressions.LocalVariable, A) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Called by CFAbstractStore#internalVisualize() to visualize
a local variable.
- visualizeStoreLocalVar(FlowExpressions.LocalVariable, A) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeStoreMethodVals(FlowExpressions.MethodCall, A) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Called by CFAbstractStore#internalVisualize() to visualize
the value of pure method calls collected by this Store.
- visualizeStoreMethodVals(FlowExpressions.MethodCall, A) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- visualizeStoreThisVal(A) - Method in interface org.checkerframework.dataflow.cfg.CFGVisualizer
-
Called by CFAbstractStore#internalVisualize() to visualize
the value of the current object this in this Store.
- visualizeStoreThisVal(A) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-