Index
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
A
- A - Annotation Interface in org.checkerframework.checker.units.qual
-
Ampere.
- A - Static variable in class org.checkerframework.checker.units.util.UnitsTools
- AbstractAnalysis<V extends AbstractValue<V>,
S extends Store<S>, T extends TransferFunction<V, S>> - Class in org.checkerframework.dataflow.analysis -
Implementation of common features for
BackwardAnalysisImpl
andForwardAnalysisImpl
. - AbstractAnalysis(Analysis.Direction) - Constructor for class org.checkerframework.dataflow.analysis.AbstractAnalysis
-
Implementation of common features for
BackwardAnalysisImpl
andForwardAnalysisImpl
. - AbstractAnalysis.Worklist - Class in org.checkerframework.dataflow.analysis
-
A worklist is a priority queue of blocks in which the order is given by depth-first ordering to place non-loop predecessors ahead of successors.
- AbstractAnalysis.Worklist.BackwardDfoComparator - Class in org.checkerframework.dataflow.analysis
-
Comparators to allow priority queue to order blocks by their depth-first order, using by backward analysis.
- AbstractAnalysis.Worklist.ForwardDfoComparator - Class in org.checkerframework.dataflow.analysis
-
Comparators to allow priority queue to order blocks by their depth-first order, using by forward analysis.
- AbstractAtmComboVisitor<RETURN_TYPE,
PARAM> - Class in org.checkerframework.framework.type.visitor -
Implements all methods from AtmComboVisitor.
- AbstractAtmComboVisitor() - Constructor for class org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor
- AbstractCFGVisualizer<V extends AbstractValue<V>,
S extends Store<S>, T extends TransferFunction<V, S>> - Class in org.checkerframework.dataflow.cfg.visualize -
This abstract class makes implementing a
CFGVisualizer
easier. - AbstractCFGVisualizer() - Constructor for class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer
- AbstractCFGVisualizer.VisualizeWhere - Enum Class in org.checkerframework.dataflow.cfg.visualize
-
Whether to visualize before or after a block.
- AbstractNodeVisitor<R,
P> - Class in org.checkerframework.dataflow.cfg.node -
A default implementation of the node visitor interface.
- AbstractNodeVisitor() - Constructor for class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
- AbstractQualifier - Class in org.checkerframework.framework.util.typeinference8.types
-
This is the super class for a qualifier,
Qualifier
or a qualifier variable,QualifierVar
. - AbstractQualifierPolymorphism - Class in org.checkerframework.framework.type.poly
-
Implements framework support for qualifier polymorphism.
- AbstractQualifierPolymorphism(ProcessingEnvironment, AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism
-
Creates an
AbstractQualifierPolymorphism
instance that uses the given checker for querying type qualifiers and the given factory for getting annotated types. - AbstractType - Class in org.checkerframework.framework.util.typeinference8.types
-
As explained in section 18.1, the JLS Chapter on type inference use the term "type" to "include type-like syntax that contains inference variables".
- AbstractType(Java8InferenceContext) - Constructor for class org.checkerframework.framework.util.typeinference8.types.AbstractType
-
Creates an
AbstractType
. - AbstractType.Kind - Enum Class in org.checkerframework.framework.util.typeinference8.types
-
The kind of
AbstractType
. - 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.
- Acceleration - Annotation Interface in org.checkerframework.checker.units.qual
-
Units of acceleration.
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ExplicitThisNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ExpressionStatementNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatLiteralNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ImplicitThisNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LongLiteralNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.Node
-
Accept method of the visitor pattern.
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NullLiteralNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ShortLiteralNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SwitchExpressionNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
- accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.ClassName
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.FieldAccess
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.FormalParameter
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Accept method of the visitor pattern.
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.LocalVariable
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.MethodCall
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.SuperReference
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.ThisReference
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.Unknown
- accept(JavaExpressionVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
- accept(AnnotatedTypeMirror, AnnotatedTypeMirror, PARAM, AtmComboVisitor<RETURN_TYPE, PARAM>) - Static method in enum class org.checkerframework.framework.util.AtmCombo
-
Call the visit method that corresponds to the AtmCombo that represents the classes of type1 and type2.
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Applies a visitor to this type.
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
- accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
- accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.ClassTypeParamApplier
-
Returns true if element represents a type parameter for a class.
- accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.MethodApplier
- accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.MethodTypeParamApplier
-
Returns true if element represents a type parameter for a method.
- accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.ParamApplier
- accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.TypeDeclarationApplier
-
Returns true if type is an annotated declared type and element is a ClassSymbol.
- accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.TypeVarUseApplier
-
Returns true if type is an AnnotatedTypeVariable, or an AnnotatedArrayType with a type variable component, and the element is not a TYPE_PARAMETER.
- accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.VariableApplier
-
Returns true if this is a variable declaration including fields an enum constants.
- accumulate(Node, TransferResult<AccumulationValue, AccumulationStore>, String...) - Method in class org.checkerframework.checker.calledmethods.CalledMethodsTransfer
- accumulate(Node, TransferResult<AccumulationValue, AccumulationStore>, String...) - Method in class org.checkerframework.common.accumulation.AccumulationTransfer
-
Updates the estimate of how many things
node
has accumulated. - AccumulationAnalysis - Class in org.checkerframework.common.accumulation
-
This class only contains boilerplate code to permit AccumulationValue's accumulatedValues functionality to interact with the rest of an accumulation type system.
- AccumulationAnalysis(BaseTypeChecker, AccumulationAnnotatedTypeFactory) - Constructor for class org.checkerframework.common.accumulation.AccumulationAnalysis
-
Constructs an AccumulationAnalysis.
- AccumulationAnnotatedTypeFactory - Class in org.checkerframework.common.accumulation
-
An annotated type factory for an accumulation checker.
- AccumulationAnnotatedTypeFactory(BaseTypeChecker, Class<? extends Annotation>, Class<? extends Annotation>) - Constructor for class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
-
Create an annotated type factory for an accumulation checker.
- AccumulationAnnotatedTypeFactory(BaseTypeChecker, Class<? extends Annotation>, Class<? extends Annotation>, Class<? extends Annotation>) - Constructor for class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
-
Create an annotated type factory for an accumulation checker.
- AccumulationAnnotatedTypeFactory.AccumulationQualifierHierarchy - Class in org.checkerframework.common.accumulation
-
All accumulation analyses share a similar type hierarchy.
- AccumulationAnnotatedTypeFactory.AccumulationTreeAnnotator - Class in org.checkerframework.common.accumulation
-
This tree annotator implements the following rule(s): RRA If a method returns its receiver, and the receiver has an accumulation type, then the default type of the method's return value is the type of the receiver.
- accumulationChecker - Variable in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
-
The typechecker associated with this factory.
- AccumulationChecker - Class in org.checkerframework.common.accumulation
-
An accumulation checker is one that accumulates some property: method calls, map keys, etc.
- AccumulationChecker() - Constructor for class org.checkerframework.common.accumulation.AccumulationChecker
-
Constructs a new AccumulationChecker.
- AccumulationChecker.AliasAnalysis - Enum Class in org.checkerframework.common.accumulation
-
The alias analyses that an accumulation checker can support.
- AccumulationQualifierHierarchy(Collection<Class<? extends Annotation>>, Elements) - Constructor for class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory.AccumulationQualifierHierarchy
-
Creates a ElementQualifierHierarchy from the given classes.
- AccumulationStore - Class in org.checkerframework.common.accumulation
-
This class is boilerplate, to enable the logic in AccumulationValue.
- AccumulationStore(CFAbstractAnalysis<AccumulationValue, AccumulationStore, ?>, boolean) - Constructor for class org.checkerframework.common.accumulation.AccumulationStore
-
Constructor matching super.
- AccumulationStore(CFAbstractStore<AccumulationValue, AccumulationStore>) - Constructor for class org.checkerframework.common.accumulation.AccumulationStore
-
Constructor matching super's copy constructor.
- AccumulationTransfer - Class in org.checkerframework.common.accumulation
-
The default transfer function for an accumulation checker.
- AccumulationTransfer(AccumulationAnalysis) - Constructor for class org.checkerframework.common.accumulation.AccumulationTransfer
-
Build a new AccumulationTransfer for the given analysis.
- AccumulationTreeAnnotator(AccumulationAnnotatedTypeFactory) - Constructor for class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory.AccumulationTreeAnnotator
-
Creates an instance of this tree annotator for the given type factory.
- AccumulationValue - Class in org.checkerframework.common.accumulation
-
AccumulationValue holds additional information about accumulated facts ("values", not to be confused with "Value" in the name of this class) that cannot be stored in the accumulation type, because they are not a refinement of that type.
- AccumulationValue(CFAbstractAnalysis<AccumulationValue, ?, ?>, AnnotationMirrorSet, TypeMirror) - Constructor for class org.checkerframework.common.accumulation.AccumulationValue
-
Creates a new CFAbstractValue.
- AccumulationVisitor - Class in org.checkerframework.common.accumulation
-
The visitor for an accumulation checker.
- AccumulationVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.common.accumulation.AccumulationVisitor
-
Constructor matching super.
- adaptGetClassReturnTypeToReceiver(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror, ExpressionTree) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
- adaptGetClassReturnTypeToReceiver(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror, ExpressionTree) - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
- adaptGetClassReturnTypeToReceiver(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror, ExpressionTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Java special-cases the return type of
getClass()
. - adaptParameters(AnnotatedTypeFactory, AnnotatedTypeMirror.AnnotatedExecutableType, List<? extends ExpressionTree>, Tree) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Returns the method parameters for the invoked method (or constructor), with the same number of arguments as passed to the invocation tree.
- add(AnnotationMirror) - Method in class org.checkerframework.javacutil.AnnotationMirrorSet
- add(Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist
-
Add the given block to
AbstractAnalysis.Worklist.queue
. - add(AnnotatedTypeMirror, AnnotatedTypeMirror, RETURN_TYPE) - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
-
Add a new pair to the history.
- add(Constraint) - Method in class org.checkerframework.framework.util.typeinference8.constraint.ConstraintSet
-
Adds
c
to this set, if c isn't already in the list. - addAliasedDeclAnnotation(Class<? extends Annotation>, Class<? extends Annotation>, AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Add the annotation
alias
as an alias for the declaration annotationannotation
, where the annotation mirrorannotationToUse
will be used instead. - addAliasedTypeAnnotation(String, Class<?>, boolean, String...) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Adds the annotation, whose fully-qualified name is given by
aliasName
, as an alias for the canonical annotationcanonicalAnno
that will be used by the Checker Framework in the alias's place. - addAliasedTypeAnnotation(String, AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Adds the annotation, whose fully-qualified name is given by
aliasName
, as an alias for the canonical annotationcanonicalAnno
that will be used by the Checker Framework in the alias's place. - addAliasedTypeAnnotation(Class<?>, Class<?>, boolean, String...) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Adds the annotation
aliasClass
as an alias for the canonical annotationcanonicalClass
that will be used by the Checker Framework in the alias's place. - addAliasedTypeAnnotation(Class<?>, AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Adds the annotation
aliasClass
as an alias for the canonical annotationcanonicalAnno
that will be used by the Checker Framework in the alias's place. - addAll(Collection<? extends AnnotationMirror>) - Method in class org.checkerframework.javacutil.AnnotationMirrorSet
- addAll(Collection<? extends Constraint>) - Method in class org.checkerframework.framework.util.typeinference8.constraint.ConstraintSet
-
Adds all constraints in
constraintSet
to this constraint set. - addAll(ConstraintSet) - Method in class org.checkerframework.framework.util.typeinference8.constraint.ConstraintSet
-
Adds all constraints in
constraintSet
to this constraint set. - addAnnotatedFor(AScene) - Static method in class org.checkerframework.framework.stub.AddAnnotatedFor
-
Add
@AnnotatedFor
annotations to each class in the given scene. - AddAnnotatedFor - Class in org.checkerframework.framework.stub
-
Utility that generates
@AnnotatedFor
class annotations. - addAnnotation(Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Deprecated.
- addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Adds the canonical version of
annotation
as a primary annotation of this type and, in the case ofAnnotatedTypeMirror.AnnotatedTypeVariable
s,AnnotatedTypeMirror.AnnotatedWildcardType
s, andAnnotatedTypeMirror.AnnotatedIntersectionType
s, adds it to all bounds. - addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
-
Deprecated.add to the appropriate component
- addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
-
Adds the canonical version of
annotation
as a primary annotation of this type and, in the case ofAnnotatedTypeMirror.AnnotatedTypeVariable
s,AnnotatedTypeMirror.AnnotatedWildcardType
s, andAnnotatedTypeMirror.AnnotatedIntersectionType
s, adds it to all bounds. - addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
- addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
- addAnnotation(AnnotatedTypeMirror, AnnotationMirror) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement
-
Add the qualifier to the type if it does not already have an annotation in the same hierarchy as qual.
- addAnnotationFromFieldInvariant(AnnotatedTypeMirror, AnnotatedTypeMirror, VariableElement) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Adds the qualifier specified by a field invariant for
field
totype
. - addAnnotations(Iterable<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Adds the canonical version of all
annotations
as primary annotations of this type and, in the case ofAnnotatedTypeMirror.AnnotatedTypeVariable
s,AnnotatedTypeMirror.AnnotatedWildcardType
s, andAnnotatedTypeMirror.AnnotatedIntersectionType
s, adds them to all bounds. - addAnnotationsFromDefaultForType(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
- addAnnotationsFromDefaultForType(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
- addAnnotationsFromDefaultForType(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Adds default qualifiers based on the underlying type of
type
totype
. - addAtmClass(Class<? extends AnnotatedTypeMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.typeannotator.DefaultForTypeAnnotator
-
Add default qualifier,
theQual
, for the givenAnnotatedTypeMirror
class. - addBlock(Block, Set<Block>, Queue<Block>) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer
-
Checks whether a block exists in the visited blocks list, and, if not, adds it to the visited blocks list and the work list.
- addBlockContent(Block) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer
-
Returns the contents of the block.
- addBound(VariableBounds.BoundKind, AbstractQualifier) - Method in class org.checkerframework.framework.util.typeinference8.types.QualifierVar
-
Add a bound for this qualifier variable
- addBound(VariableBounds.BoundKind, AbstractType) - Method in class org.checkerframework.framework.util.typeinference8.types.UseOfVariable
-
Adds a bound for this variable, is this use does not have a primary annotation.
- addBound(VariableBounds.BoundKind, AbstractType) - Method in class org.checkerframework.framework.util.typeinference8.types.VariableBounds
-
Adds
otherType
as bound against this variable. - addCapture(CaptureBound) - Method in class org.checkerframework.framework.util.typeinference8.bound.BoundSet
-
Adds
capture
to this bound set. - addCheckedCodeDefault(AnnotationMirror, TypeUseLocation) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Sets the default annotations.
- addCheckedCodeDefaults(AnnotationMirror, TypeUseLocation[]) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
- addCheckedCodeDefaults(QualifierDefaults) - Method in class org.checkerframework.common.subtyping.SubtypingAnnotatedTypeFactory
-
If necessary, make Unqualified the default qualifier.
- addCheckedCodeDefaults(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Adds default qualifiers for type-checked code by reading
DefaultFor
andDefaultQualifierInHierarchy
meta-annotations. - addCheckedStandardDefaults(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Adds the standard CLIMB defaults that do not conflict with previously added defaults.
- addClassDeclarationAnnotation(TypeElement, AnnotationMirror) - Method in interface org.checkerframework.common.wholeprograminference.WholeProgramInference
-
Adds an annotation to a class declaration.
- addClassDeclarationAnnotation(TypeElement, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceImplementation
- addClassDeclarationAnnotation(TypeElement, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage
- addClassDeclarationAnnotation(TypeElement, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage
- addClassDeclarationAnnotation(TypeElement, AnnotationMirror) - Method in interface org.checkerframework.common.wholeprograminference.WholeProgramInferenceStorage
-
Adds an annotation to a class declaration.
- addClimbStandardDefaults() - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Add standard CLIMB defaults that do not conflict with previously added defaults.
- addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Changes annotations on a type obtained from a
Tree
. - addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
This method is final; override
GenericAnnotatedTypeFactory.addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean)
instead. - addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
-
Handles cases 1, 2, and 3.
- addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
- addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
- addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
- addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.optional.OptionalAnnotatedTypeFactory
- addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
- addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
- addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
-
Handles cases 1, 2, and 3.
- addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
- addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
- addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
- addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Changes annotations on a type obtained from an
Element
. - addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
To add annotations to the type of method or constructor parameters, add a
TypeAnnotator
usingGenericAnnotatedTypeFactory.createTypeAnnotator()
and see the comment inTypeAnnotator.visitExecutable(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType, Void)
. - addComputedTypeAnnotationsForWarnRedundant(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
- addComputedTypeAnnotationsForWarnRedundant(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
- addConstraintsFromComplementaryBounds(VariableBounds.BoundKind, Set<? extends AbstractQualifier>) - Method in class org.checkerframework.framework.util.typeinference8.types.VariableBounds
-
Adds constraints from complementary bounds.
- addConstraintsFromComplementaryBounds(VariableBounds.BoundKind, AbstractType) - Method in class org.checkerframework.framework.util.typeinference8.types.VariableBounds
-
Add constraints created via incorporation of the bound.
- addConstraintsFromComplementaryQualifierBounds(VariableBounds.BoundKind, Set<? extends AbstractQualifier>) - Method in class org.checkerframework.framework.util.typeinference8.types.VariableBounds
-
Add constraints created via incorporation of the bound.
- addDeclarationAnnotation(AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage.CallableDeclarationAnnos
-
Adds a declaration annotation to this callable declaration and returns whether it was a new annotation.
- addDeclarationAnnotationToFormalParameter(AnnotationMirror, int) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage.CallableDeclarationAnnos
-
Adds a declaration annotation to this parameter and returns whether it was a new annotation.
- addDeclarationAnnotationToFormalParameter(ExecutableElement, int, AnnotationMirror) - Method in interface org.checkerframework.common.wholeprograminference.WholeProgramInference
-
Adds a declaration annotation to a formal parameter.
- addDeclarationAnnotationToFormalParameter(ExecutableElement, int, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceImplementation
- addDeclarationAnnotationToFormalParameter(ExecutableElement, int, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage
- addDeclarationAnnotationToFormalParameter(ExecutableElement, int, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage
- addDeclarationAnnotationToFormalParameter(ExecutableElement, int, AnnotationMirror) - Method in interface org.checkerframework.common.wholeprograminference.WholeProgramInferenceStorage
-
Adds a declaration annotation to a formal parameter.
- addDefaultAnnotations(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Adds default annotations to
type
. - addDefaultAnnotations(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
- addDiagnosticFile(File) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Adds the given diagnostics file to
this
. - addDiagnosticFiles(Iterable<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Adds the given diagnostics files to
this
. - adddToPathOption(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Adds the given path option to
this
. - addElementDefault(Element, AnnotationMirror, TypeUseLocation) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Sets the default annotations for a certain Element.
- addExceptionalSuccessor(BlockImpl, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
-
Add an exceptional successor.
- addFalse() - Method in class org.checkerframework.framework.util.typeinference8.bound.BoundSet
-
Adds the false bound to this bound set.
- addFieldDeclarationAnnotation(VariableElement, AnnotationMirror) - Method in interface org.checkerframework.common.wholeprograminference.WholeProgramInference
-
Updates a field to add a declaration annotation.
- addFieldDeclarationAnnotation(VariableElement, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceImplementation
- addFieldDeclarationAnnotation(VariableElement, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage
- addFieldDeclarationAnnotation(VariableElement, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage
- addFieldDeclarationAnnotation(VariableElement, AnnotationMirror) - Method in interface org.checkerframework.common.wholeprograminference.WholeProgramInferenceStorage
-
Updates a field to add a declaration annotation.
- addFieldToAnnotationBuilder(String, Object, AnnotationBuilder) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter
-
Adds a field to an AnnotationBuilder.
- addFileOrDirectory(File) - Method in class org.checkerframework.framework.ajava.AnnotationFileStore
-
If
location
is a file, stores it in this as an annotation file. - addInformationFromPreconditions(CFStore, AnnotatedTypeFactory, UnderlyingAST.CFGMethod, MethodTree, ExecutableElement) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
-
Adds a default NonNegative annotation to every character.
- addInformationFromPreconditions(CFStore, AnnotatedTypeFactory, UnderlyingAST.CFGMethod, MethodTree, ExecutableElement) - Method in class org.checkerframework.checker.index.samelen.SameLenTransfer
-
Overridden to ensure that SameLen annotations on method parameters are symmetric.
- addInformationFromPreconditions(S, AnnotatedTypeFactory, UnderlyingAST.CFGMethod, MethodTree, ExecutableElement) - Method in class org.checkerframework.framework.flow.CFAbstractTransfer
-
Add the information from all the preconditions of a method to the initial store in the method body.
- addInheritedAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Adds the annotation
annotation
in the set of declaration annotations that should be inherited. - addInitializedField(VariableElement) - Method in class org.checkerframework.checker.initialization.InitializationStore
-
Mark the field identified by the element
f
as initialized (the caller needs to ensure that the field belongs to the current class, or is a static field). - addInitializedField(FieldAccess) - Method in class org.checkerframework.checker.initialization.InitializationStore
-
Mark the field identified by the element
field
as initialized if it belongs to the current class, or is static (in which case there is no aliasing issue and we can just add all static fields). - ADDITIONAL_ARG - Enum constant in enum class org.checkerframework.framework.util.typeinference8.constraint.Constraint.Kind
-
A single constraint, that when reduced, generates additional argument constraints.
- AdditionalArgument - Class in org.checkerframework.framework.util.typeinference8.constraint
-
A constraint the represent additional argument constraints generated from a method or constructor invocation that is a part of a larger inference problem.
- AdditionalArgument(ExpressionTree) - Constructor for class org.checkerframework.framework.util.typeinference8.constraint.AdditionalArgument
-
Creates a new constraint.
- addLabelForNextNode(Label) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Add the label
l
to the extended node that will be placed next in the sequence. - addLambdaParms(List<? extends VariableTree>) - Method in class org.checkerframework.framework.util.typeinference8.util.Java8InferenceContext
-
Adds the parameters to the list of trees that are lambda parameters.
- addLiteralKind(LiteralKind, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.LiteralTreeAnnotator
-
Added a rule for a particular
LiteralKind
- addLocation(Tree, Throwable) - Static method in exception org.checkerframework.javacutil.BugInCF
-
Adds the location to
throwable
. - addMainToArgs(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
- addMethodDeclarationAnnotation(ExecutableElement, AnnotationMirror) - Method in interface org.checkerframework.common.wholeprograminference.WholeProgramInference
-
Updates a method to add a declaration annotation.
- addMethodDeclarationAnnotation(ExecutableElement, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceImplementation
- addMethodDeclarationAnnotation(ExecutableElement, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage
- addMethodDeclarationAnnotation(ExecutableElement, AnnotationMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage
- addMethodDeclarationAnnotation(ExecutableElement, AnnotationMirror) - Method in interface org.checkerframework.common.wholeprograminference.WholeProgramInferenceStorage
-
Updates a method to add a declaration annotation.
- addMethodDeclarationAnnotation(ExecutableElement, AnnotationMirror, boolean) - Method in interface org.checkerframework.common.wholeprograminference.WholeProgramInference
-
Updates a method to add a declaration annotation.
- addMethodDeclarationAnnotation(ExecutableElement, AnnotationMirror, boolean) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceImplementation
- addMissingAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Add
annotation
if the type does not already have a primary annotation in the same hierarchy. - addMissingAnnotations(Iterable<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Adds only the annotations in
annotations
that the type does not already have a primary annotation in the same hierarchy. - addNode(Node) - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
-
Add a node to the contents of this basic block.
- addNodes(List<? extends Node>) - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
-
Add multiple nodes to the contents of this basic block.
- addNotBothReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
-
Add a reason why the method is not both side-effect-free and deterministic.
- addNotDetReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
-
Add a reason why the method is not deterministic.
- addNotSEFreeReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
-
Add a reason why the method is not side-effect-free.
- addOption(String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
Adds an option that takes no argument.
- addOption(String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Adds the given option to
this
. - addOption(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
Adds an option that takes an argument.
- addOption(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Adds the given option and value to
this
. - addOptionIfValueNonEmpty(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
Adds the option only if value is a non-null, non-empty String.
- addOptionIfValueNonEmpty(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Adds the given option to
this
if the value is non-empty. - addOptions(Iterable<String>) - Method in class org.checkerframework.framework.test.SimpleOptionMap
- addOptions(Iterable<String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Adds the given options to
this
. - addOptions(Map<String, String>) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
Adds all of the options in the given map to this one.
- addOptions(Map<String, String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Adds the given options to this.
- addOptions(Map<String, String>) - Method in class org.checkerframework.framework.source.SourceChecker
-
Add additional active options.
- addPath(Tree, TreePath) - Method in class org.checkerframework.framework.util.TreePathCacher
-
Adds the given key and value to the cache.
- addPredecessor(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
- addProcessor(String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Add a processor.
- addProcessors(Iterable<String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Add processors.
- addQualifierBound(VariableBounds.BoundKind, Set<? extends AbstractQualifier>) - Method in class org.checkerframework.framework.util.typeinference8.types.VariableBounds
-
Adds
qualifiers
as a qualifier bound against this variable. - addQualifierBound(VariableBounds.BoundKind, Set<AbstractQualifier>) - Method in class org.checkerframework.framework.util.typeinference8.types.UseOfVariable
-
Adds a qualifier bound for this variable, is this use does not have a primary annotation.
- addSharedCFGForTree(Tree, ControlFlowGraph) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Add a new entry to the shared CFG.
- addSourceFile(File) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Adds the given source file to
this
. - addSourceFiles(Iterable<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Adds the given source files to
this
. - addStandardDefaults() - Method in class org.checkerframework.framework.type.typeannotator.DefaultForTypeAnnotator
-
Adds standard rules.
- addStandardLiteralQualifiers() - Method in class org.checkerframework.framework.type.treeannotator.LiteralTreeAnnotator
-
Adds standard qualifiers for literals.
- addStoreAfter(Block, Node, S, boolean) - Method in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
-
Add a store after the basic block
pred
by merging with the existing stores for that location. - addStoreBefore(Block, Node, S, Store.Kind, boolean) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
-
Add a store before the basic block
b
by merging with the existing stores for that location. - addStringPattern(String, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.LiteralTreeAnnotator
-
Added a rule for all String literals that match the given pattern.
- addToClasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
- addToConvertedLookupMap(Tree, Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Add a node in the post-conversion lookup map.
- addToConvertedLookupMap(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Add a node in the post-conversion lookup map.
- addToLookupMap(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Add a node to the lookup map if it not already present.
- addToPathOption(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
A method to easily add Strings to an option that takes a filepath as an argument.
- addToProcessorpath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
- addToRuntimeClasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
- addToWorklist(Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
-
Add a basic block to
AbstractAnalysis.worklist
. - addType(Class<?>, AnnotationMirror) - Method in class org.checkerframework.framework.type.QualifierUpperBounds
-
Add default qualifier,
theQual
, for the given class. - addTypeKind(TypeKind, AnnotationMirror) - Method in class org.checkerframework.framework.type.QualifierUpperBounds
-
Add default qualifier,
theQual
, for the given TypeKind. - addTypeKind(TypeKind, AnnotationMirror) - Method in class org.checkerframework.framework.type.typeannotator.DefaultForTypeAnnotator
-
Add default qualifier,
theQual
, for the given TypeKind. - addTypes(Class<?>, AnnotationMirror) - Method in class org.checkerframework.framework.type.typeannotator.DefaultForTypeAnnotator
-
Add default qualifier,
theQual
, for the given type. - addUncheckedCodeDefault(AnnotationMirror, TypeUseLocation) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Add a default annotation for unchecked elements.
- addUncheckedCodeDefaults(AnnotationMirror, TypeUseLocation[]) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Sets the default annotation for unchecked elements, with specific locations.
- addUncheckedStandardDefaults() - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Add standard unchecked defaults that do not conflict with previously added defaults.
- addUncheckedStandardDefaults(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Adds standard unchecked defaults that do not conflict with previously added defaults.
- addUseInExpression(Node) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
-
Add expressions to the store, add sub-expressions to the store recursively
- addUseInExpression(Node) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
-
Add the information of live variables in an expression to the live variable set.
- adjustMethodNameUsingValueChecker(String, MethodInvocationTree) - Method in class org.checkerframework.checker.calledmethods.CalledMethodsAnnotatedTypeFactory
-
Given a tree, returns the name of the method that the tree should be considered as calling.
- adjustTypecheckResult(TypecheckResult) - Method in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
This method is called before issuing assertions about a TypecheckResult.
- advance() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
- AFTER - Enum constant in enum class org.checkerframework.dataflow.analysis.Analysis.BeforeOrAfter
-
Return the post-store.
- AFTER - Enum constant in enum class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.VisualizeWhere
-
Visualize after the block.
- AggregateChecker - Class in org.checkerframework.framework.source
-
An aggregate checker that packages multiple checkers together.
- AggregateChecker() - Constructor for class org.checkerframework.framework.source.AggregateChecker
-
Create a new AggregateChecker.
- AinferGeneratePerDirectoryTest - Class in org.checkerframework.framework.test
-
A specialized variant of
CheckerFrameworkPerDirectoryTest
for testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of this class) to do inference using the-Ainfer
option, and a "validation test" (of classAinferValidatePerDirectoryTest
) to check that files typecheck after those inferences are taken into account. - AinferGeneratePerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.AinferGeneratePerDirectoryTest
-
Creates a new checker test.
- AinferValidatePerDirectoryTest - Class in org.checkerframework.framework.test
-
A specialized variant of
CheckerFrameworkPerDirectoryTest
for testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of classAinferGeneratePerDirectoryTest
) to do inference using the-Ainfer
option, and a "validation test" (of this class) to check that files typecheck after those inferences are taken into account. - AinferValidatePerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, String, Class<? extends AinferGeneratePerDirectoryTest>, String...) - Constructor for class org.checkerframework.framework.test.AinferValidatePerDirectoryTest
-
Creates a new checker test.
- AJAVA - Enum constant in enum class org.checkerframework.common.wholeprograminference.WholeProgramInference.OutputFormat
-
Output the results of whole-program inference as an ajava file that can be read in using the
-Aajava
option. - AJAVA - Enum constant in enum class org.checkerframework.framework.stub.AnnotationFileUtil.AnnotationFileType
-
Ajava file provided on command line.
- AJAVA_AS_STUB - Enum constant in enum class org.checkerframework.framework.stub.AnnotationFileUtil.AnnotationFileType
-
Ajava file being parsed as if it is a stub file.
- AJAVA_FILES_PATH - Static variable in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage
-
Directory where .ajava files will be written to and read from.
- ajavaArgFromFiles(List<File>, String) - Static method in class org.checkerframework.framework.test.AinferValidatePerDirectoryTest
-
Computes the -Aajava argument that corresponds to the test files.
- ajavaTypes - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Parses ajava files and stores annotations on public elements from ajava files.
- AliasingAnnotatedTypeFactory - Class in org.checkerframework.common.aliasing
-
Annotated type factory for the Aliasing Checker.
- AliasingAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
-
Create the type factory.
- AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy - Class in org.checkerframework.common.aliasing
-
AliasingQualifierHierarchy.
- AliasingAnnotatedTypeFactory.AliasingTreeAnnotator - Class in org.checkerframework.common.aliasing
- AliasingChecker - Class in org.checkerframework.common.aliasing
-
Aliasing type system -- used to identify expressions that definitely have no aliases.
- AliasingChecker() - Constructor for class org.checkerframework.common.aliasing.AliasingChecker
- AliasingQualifierHierarchy(Collection<Class<? extends Annotation>>, Elements) - Constructor for class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy
-
Create AliasingQualifierHierarchy.
- AliasingTransfer - Class in org.checkerframework.common.aliasing
-
Type refinement is treated in the usual way, except that at (pseudo-)assignments the RHS may lose its type refinement, before the LHS is type-refined.
- AliasingTransfer(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Constructor for class org.checkerframework.common.aliasing.AliasingTransfer
-
Create a new AliasingTransfer.
- AliasingTreeAnnotator(AliasingAnnotatedTypeFactory) - Constructor for class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingTreeAnnotator
- AliasingVisitor - Class in org.checkerframework.common.aliasing
-
This visitor ensures that every constructor whose result is annotated as @Unique does not leak aliases.
- AliasingVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.common.aliasing.AliasingVisitor
- ALL - Enum constant in enum class org.checkerframework.framework.qual.LiteralKind
-
Shorthand for all other LiteralKind constants, other than PRIMITIVE.
- ALL - Enum constant in enum class org.checkerframework.framework.qual.TypeUseLocation
-
Apply default annotations to all type uses other than uses of type parameters.
- allAnnotationFiles(String, AnnotationFileUtil.AnnotationFileType) - Static method in class org.checkerframework.framework.stub.AnnotationFileUtil
-
Return annotation files found at a given file system location (does not look on classpath).
- allLiteralKinds() - Static method in enum class org.checkerframework.framework.qual.LiteralKind
-
Returns all LiteralKinds except for ALL and PRIMITIVE (which are shorthands for groups of other LiteralKinds).
- allQualifierKinds() - Method in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
- allQualifierKinds() - Method in interface org.checkerframework.framework.util.QualifierKindHierarchy
-
Returns a list of all
QualifierKind
s sorted in ascending order. - allSubtypes(TypeMirror) - Static method in interface org.checkerframework.checker.resourceleak.SetOfTypes
-
Create a set containing the given type and all of its subtypes.
- alternatives - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
-
The types that are unioned to form this AnnotatedUnionType.
- AlwaysSafe - Annotation Interface in org.checkerframework.checker.guieffect.qual
-
Annotation to override the UI effect on a class, and make a field or method safe for non-UI code to use.
- ALWAYSSAFE - Variable in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
-
The @
AlwaysSafe
annotation. - analysis - Variable in class org.checkerframework.dataflow.analysis.TransferInput
-
The corresponding analysis class to get intermediate flow results.
- analysis - Variable in class org.checkerframework.framework.flow.CFAbstractStore
-
The analysis class this store belongs to.
- analysis - Variable in class org.checkerframework.framework.flow.CFAbstractTransfer
-
The analysis used by this transfer function.
- analysis - Variable in class org.checkerframework.framework.flow.CFAbstractValue
-
The analysis class this value belongs to.
- analysis - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
analysis.getResult()
is the result of the most recent analysis. - Analysis<V extends AbstractValue<V>,
S extends Store<S>, T extends TransferFunction<V, S>> - Interface in org.checkerframework.dataflow.analysis -
This interface defines a dataflow analysis, given a control flow graph and a transfer function.
- Analysis.BeforeOrAfter - Enum Class in org.checkerframework.dataflow.analysis
-
In calls to
Analysis#runAnalysisFor
, whether to return the store before or after the given node. - Analysis.Direction - Enum Class in org.checkerframework.dataflow.analysis
-
The direction of an analysis instance.
- analysisCaches - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult
-
Caches of the analysis results.
- AnalysisResult<V extends AbstractValue<V>,
S extends Store<S>> - Class in org.checkerframework.dataflow.analysis -
An
AnalysisResult
represents the result of a org.checkerframework.dataflow analysis by providing the abstract values given a node or a tree. - AnalysisResult(IdentityHashMap<Node, V>, IdentityHashMap<Block, TransferInput<V, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, BinaryTree>, Map<VariableElement, V>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult
-
Initialize with given mappings and empty cache.
- AnalysisResult(IdentityHashMap<Node, V>, IdentityHashMap<Block, TransferInput<V, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, BinaryTree>, Map<VariableElement, V>, Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult
-
Initialize with given mappings.
- AnalysisResult(Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult
-
Initialize empty result with specified cache.
- analyze(Queue<IPair<ClassTree, Store>>, Queue<IPair<LambdaExpressionTree, Store>>, UnderlyingAST, List<CFAbstractAnalysis.FieldInitialValue<Value>>, ClassTree, boolean, boolean, boolean, Store) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Analyze the AST
ast
and store the result. - ANCHORED_PARAMETER_PATTERN - Static variable in class org.checkerframework.framework.util.JavaExpressionParseUtil
-
Anchored pattern for a formal parameter use; matches a string that is exactly a formal parameter use.
- Angle - Annotation Interface in org.checkerframework.checker.units.qual
-
Units of measure for angles.
- anno - Variable in class org.checkerframework.framework.util.defaults.Default
-
The default annotation mirror.
- annoFormatter - Variable in class org.checkerframework.checker.initialization.InitializationVisitor
-
The annotation formatter.
- annoFormatter - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
-
The object responsible for converting annotations to strings.
- annoInferenceFailed - Variable in class org.checkerframework.framework.util.typeinference8.bound.BoundSet
-
If true, then type argument inference failed because an annotated type could not be inferred.
- annoProvider - Variable in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
The annotation provider (typically an AnnotatedTypeFactory).
- annosInPackage(PackageElement) - Static method in class org.checkerframework.framework.stub.AnnotationFileParser
-
All annotations defined in the package (but not those nested within classes in the package).
- annosInType(TypeElement) - Static method in class org.checkerframework.framework.stub.AnnotationFileParser
-
All annotations declared (directly) within a class.
- annotate(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Applies default annotations to a type given a
Tree
. - annotate(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Applies default annotations to a type obtained from an
Element
. - AnnotatedContainsInferenceVariable - Class in org.checkerframework.framework.util.typeinference8.types
-
Helper class for determining if a type contains an inference variable.
- AnnotatedContainsInferenceVariable() - Constructor for class org.checkerframework.framework.util.typeinference8.types.AnnotatedContainsInferenceVariable
-
Creates an AnnotatedContainsInferenceVariable.
- AnnotatedFor - Annotation Interface in org.checkerframework.framework.qual
-
Indicates that this class has been annotated for the given type system.
- annotatedForValueElement - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
The AnnotatedFor.value argument/element.
- annotatedGLB(AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Returns the "annotated greatest lower bound" of
type1
andtype2
. - annotatedTargets() - Method in class org.checkerframework.framework.util.element.MethodApplier
-
Returns receiver, returns, and throws.
- annotatedTargets() - Method in class org.checkerframework.framework.util.element.ParamApplier
-
Returns {TargetType.METHOD_FORMAL_PARAMETER, TargetType.METHOD_RECEIVER}.
- annotatedTargets() - Method in class org.checkerframework.framework.util.element.SuperTypeApplier
-
Returns TargetType.CLASS_EXTENDS.
- annotatedTargets() - Method in class org.checkerframework.framework.util.element.TypeDeclarationApplier
- annotatedTargets() - Method in class org.checkerframework.framework.util.element.ClassTypeParamApplier
-
Returns the lower bound and upper bound targets.
- annotatedTargets() - Method in class org.checkerframework.framework.util.element.VariableApplier
- AnnotatedTypeCombiner - Class in org.checkerframework.framework.type.visitor
-
Changes each parameter type to be the GLB of the parameter type and visited type.
- AnnotatedTypeCombiner(QualifierHierarchy) - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeCombiner
-
Create an AnnotatedTypeCombiner.
- AnnotatedTypeCopier - Class in org.checkerframework.framework.type
-
AnnotatedTypeCopier is a visitor that deep copies an AnnotatedTypeMirror exactly, including any lazily initialized fields.
- AnnotatedTypeCopier() - Constructor for class org.checkerframework.framework.type.AnnotatedTypeCopier
-
Creates an AnnotatedTypeCopier that copies both the structure and annotations of the source AnnotatedTypeMirror.
- AnnotatedTypeCopier(boolean) - Constructor for class org.checkerframework.framework.type.AnnotatedTypeCopier
-
Creates an AnnotatedTypeCopier that may or may not copyAnnotations By default AnnotatedTypeCopier provides two major properties in its copies: Structure preservation -- the exact structure of the original AnnotatedTypeMirror is preserved in the copy including all component types.
- AnnotatedTypeCopierWithReplacement - Class in org.checkerframework.framework.type
-
Duplicates annotated types and replaces components according to a replacement map.
- AnnotatedTypeCopierWithReplacement() - Constructor for class org.checkerframework.framework.type.AnnotatedTypeCopierWithReplacement
- AnnotatedTypeCopierWithReplacement.Visitor - Class in org.checkerframework.framework.type
-
AnnotatedTypeCopier maintains a mapping of typeVisited => copyOfTypeVisited When a reference, typeVisited, is encountered again, it will use the recorded reference, copyOfTypeVisited, instead of generating a new copy of typeVisited.
- AnnotatedTypeFactory - Class in org.checkerframework.framework.type
-
The methods of this class take an element or AST node, and return the annotated type as an
AnnotatedTypeMirror
. - AnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Constructs a factory from the given checker.
- AnnotatedTypeFactory.CapturedTypeVarSubstitutor - Class in org.checkerframework.framework.type
-
Substitutes references to captured types in
type
usingcapturedTypeVarToAnnotatedTypeVar
. - AnnotatedTypeFactory.ParameterizedExecutableType - Class in org.checkerframework.framework.type
-
The type for an instantiated generic method or constructor.
- AnnotatedTypeFormatter - Interface in org.checkerframework.framework.type
-
Converts an AnnotatedTypeMirror mirror into a formatted string.
- AnnotatedTypeMirror - Class in org.checkerframework.framework.type
-
Represents an annotated type in the Java programming language, including: standard types: primitive types, declared types (class and interface types), array types, type variables, and the null type wildcard type arguments
executable types
(their signature and return types)pseudo-types
corresponding to packages and to the keywordvoid
- AnnotatedTypeMirror.AnnotatedArrayType - Class in org.checkerframework.framework.type
-
Represents Array types in java.
- AnnotatedTypeMirror.AnnotatedDeclaredType - Class in org.checkerframework.framework.type
-
Represents a declared type (whether class or interface).
- AnnotatedTypeMirror.AnnotatedExecutableType - Class in org.checkerframework.framework.type
-
Represents a type of an executable.
- AnnotatedTypeMirror.AnnotatedIntersectionType - Class in org.checkerframework.framework.type
-
Represents an intersection type.
- AnnotatedTypeMirror.AnnotatedNoType - Class in org.checkerframework.framework.type
-
A pseudo-type used where no actual type is appropriate.
- AnnotatedTypeMirror.AnnotatedNullType - Class in org.checkerframework.framework.type
-
Represents the null type.
- AnnotatedTypeMirror.AnnotatedPrimitiveType - Class in org.checkerframework.framework.type
-
Represents a primitive type.
- AnnotatedTypeMirror.AnnotatedTypeVariable - Class in org.checkerframework.framework.type
-
Represents a type variable.
- AnnotatedTypeMirror.AnnotatedUnionType - Class in org.checkerframework.framework.type
- AnnotatedTypeMirror.AnnotatedWildcardType - Class in org.checkerframework.framework.type
-
Represents a wildcard type argument.
- AnnotatedTypeParameterBounds - Class in org.checkerframework.framework.type
-
Represents upper and lower bounds, each an AnnotatedTypeMirror.
- AnnotatedTypeParameterBounds(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.type.AnnotatedTypeParameterBounds
- AnnotatedTypeReplacer - Class in org.checkerframework.framework.type
-
Replaces or adds all the annotations in the parameter with the annotations from the visited type.
- AnnotatedTypeReplacer() - Constructor for class org.checkerframework.framework.type.AnnotatedTypeReplacer
-
Construct an AnnotatedTypeReplacer that will replace all annotations.
- AnnotatedTypeReplacer(AnnotationMirror) - Constructor for class org.checkerframework.framework.type.AnnotatedTypeReplacer
-
Construct an AnnotatedTypeReplacer that will only replace annotations in
top
's hierarchy. - AnnotatedTypes - Class in org.checkerframework.framework.util
-
Utility methods for operating on
AnnotatedTypeMirror
. - AnnotatedTypeScanner<R,
P> - Class in org.checkerframework.framework.type.visitor -
An
AnnotatedTypeScanner
visits anAnnotatedTypeMirror
and all of its childAnnotatedTypeMirror
s and performs some function depending on the kind of type. - AnnotatedTypeScanner() - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
-
Constructs an AnnotatedTypeScanner where the reduce function returns the first result if it is nonnull; otherwise the second result is returned.
- AnnotatedTypeScanner(AnnotatedTypeScanner.Reduce<R>) - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
-
Constructs an AnnotatedTypeScanner with the given reduce function.
- AnnotatedTypeScanner(AnnotatedTypeScanner.Reduce<R>, R) - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
-
Constructs an AnnotatedTypeScanner with the given reduce function.
- AnnotatedTypeScanner(R) - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
-
Constructs an AnnotatedTypeScanner where the reduce function returns the first result if it is nonnull; otherwise the second result is returned.
- AnnotatedTypeScanner.Reduce<R> - Interface in org.checkerframework.framework.type.visitor
-
Reduces two results into a single result.
- AnnotatedTypeVisitor<R,
P> - Interface in org.checkerframework.framework.type.visitor -
A visitor of annotated types, in the style of the visitor design pattern.
- annotateSupers(List<AnnotatedTypeMirror.AnnotatedDeclaredType>, TypeElement) - Static method in class org.checkerframework.framework.type.ElementAnnotationApplier
-
Annotate the list of supertypes using the annotations on the TypeElement representing a class or interface.
- annotateSupers(List<AnnotatedTypeMirror.AnnotatedDeclaredType>, TypeElement) - Static method in class org.checkerframework.framework.util.element.SuperTypeApplier
-
Annotates each supertype with annotations from subtypeElement's extends/implements clauses.
- annotation - Variable in class org.checkerframework.framework.util.Contract
-
The annotation on the type of expression, according to this contract.
- annotationBinaryName(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns the binary name of an annotation as a String.
- AnnotationBuilder - Class in org.checkerframework.javacutil
-
Builds an annotation mirror that may have some values.
- AnnotationBuilder(ProcessingEnvironment, CharSequence) - Constructor for class org.checkerframework.javacutil.AnnotationBuilder
-
Create a new AnnotationBuilder for the given annotation name (with no elements/fields, but they can be added later).
- AnnotationBuilder(ProcessingEnvironment, Class<? extends Annotation>) - Constructor for class org.checkerframework.javacutil.AnnotationBuilder
-
Create a new AnnotationBuilder for the given annotation and environment (with no elements/fields, but they can be added later).
- AnnotationBuilder(ProcessingEnvironment, AnnotationMirror) - Constructor for class org.checkerframework.javacutil.AnnotationBuilder
-
Create a new AnnotationBuilder that copies the given annotation, including its elements/fields.
- AnnotationClassLoader - Class in org.checkerframework.framework.type
-
This class assists the
AnnotatedTypeFactory
by reflectively looking up the list of annotation class names in each checker's qual directory, and then loading and returning it as a set of annotation classes. - AnnotationClassLoader(BaseTypeChecker) - Constructor for class org.checkerframework.framework.type.AnnotationClassLoader
-
Constructor for loading annotations defined for a checker.
- annotationClassName(Class<? extends Annotation>) - Static method in interface org.checkerframework.framework.util.QualifierKindHierarchy
-
Returns the canonical name of
clazz
. - AnnotationConverter - Class in org.checkerframework.common.wholeprograminference
-
This class contains static methods that convert between
Annotation
andAnnotationMirror
. - AnnotationEqualityVisitor - Class in org.checkerframework.framework.ajava
-
Given two ASTs representing the same Java file that may differ in annotations, tests if they have the same annotations.
- AnnotationEqualityVisitor() - Constructor for class org.checkerframework.framework.ajava.AnnotationEqualityVisitor
-
Constructs an
AnnotationEqualityVisitor
. - AnnotationFileAnnotations() - Constructor for class org.checkerframework.framework.stub.AnnotationFileParser.AnnotationFileAnnotations
- AnnotationFileElementTypes - Class in org.checkerframework.framework.stub
-
Holds information about types parsed from annotation files (stub files or ajava files).
- AnnotationFileElementTypes(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.stub.AnnotationFileElementTypes
-
Creates an empty annotation source.
- AnnotationFileParser - Class in org.checkerframework.framework.stub
-
This class has three static methods.
- AnnotationFileParser.AnnotationFileAnnotations - Class in org.checkerframework.framework.stub
-
The result of calling AnnotationFileParser.parse: the annotated types and declaration annotations from the file.
- AnnotationFileParser.AnnotationFileParserException - Exception in org.checkerframework.framework.stub
-
An exception indicating a problem while parsing an annotation file.
- AnnotationFileParser.RecordComponentStub - Class in org.checkerframework.framework.stub
-
Information about a record component: its type, and whether there was an accessor in the stubs for that component.
- AnnotationFileParser.RecordStub - Class in org.checkerframework.framework.stub
-
Information about a record from a stub file.
- AnnotationFileResource - Interface in org.checkerframework.framework.stub
-
Interface for sources of stub data.
- AnnotationFileStore - Class in org.checkerframework.framework.ajava
-
Stores a collection of annotation files.
- AnnotationFileStore() - Constructor for class org.checkerframework.framework.ajava.AnnotationFileStore
-
Constructs an
AnnotationFileStore
. - AnnotationFileUtil - Class in org.checkerframework.framework.stub
-
Utility class for annotation files (stub files and ajava files).
- AnnotationFileUtil() - Constructor for class org.checkerframework.framework.stub.AnnotationFileUtil
- AnnotationFileUtil.AnnotationFileType - Enum Class in org.checkerframework.framework.stub
-
The types of files that can contain annotations.
- AnnotationFormatter - Interface in org.checkerframework.javacutil
-
Converts AnnotationMirrors to Strings.
- annotationFromAnnotationTree(AnnotationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Converts the given AnnotationTree to an AnnotationMirror.
- AnnotationMirrorMap<V> - Class in org.checkerframework.javacutil
-
The Map interface defines some of its methods with respect to the equals method.
- AnnotationMirrorMap() - Constructor for class org.checkerframework.javacutil.AnnotationMirrorMap
-
Default constructor.
- AnnotationMirrorMap(Map<AnnotationMirror, ? extends V>) - Constructor for class org.checkerframework.javacutil.AnnotationMirrorMap
-
Creates an annotation mirror map and adds all the mappings in
copy
. - AnnotationMirrorSet - Class in org.checkerframework.javacutil
-
The Set interface defines many methods with respect to the equals method.
- AnnotationMirrorSet() - Constructor for class org.checkerframework.javacutil.AnnotationMirrorSet
-
Default constructor.
- AnnotationMirrorSet(Collection<? extends AnnotationMirror>) - Constructor for class org.checkerframework.javacutil.AnnotationMirrorSet
-
Returns a new
AnnotationMirrorSet
that contains the given annotation mirrors. - AnnotationMirrorSet(AnnotationMirror) - Constructor for class org.checkerframework.javacutil.AnnotationMirrorSet
-
Creates a new
AnnotationMirrorSet
that containsvalue
. - annotationMirrorSetToAnnotationExprList(AnnotationMirrorSet) - Static method in class org.checkerframework.framework.ajava.AnnotationMirrorToAnnotationExprConversion
-
Converts a Set of AnnotationMirror into List of JavaParser
AnnotationExpr
. - annotationMirrorToAnnotation(AnnotationMirror) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter
-
Converts an
AnnotationMirror
into anAnnotation
. - annotationMirrorToAnnotationExpr(AnnotationMirror) - Static method in class org.checkerframework.framework.ajava.AnnotationMirrorToAnnotationExprConversion
-
Converts an AnnotationMirror into a JavaParser
AnnotationExpr
. - AnnotationMirrorToAnnotationExprConversion - Class in org.checkerframework.framework.ajava
-
Methods for converting a
AnnotationMirror
into a JavaParserAnnotationExpr
, namelyannotationMirrorToAnnotationExpr
. - AnnotationMirrorToAnnotationExprConversion() - Constructor for class org.checkerframework.framework.ajava.AnnotationMirrorToAnnotationExprConversion
- annotationMirrorToClass(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Converts an AnnotationMirror to a Class.
- annotationName(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns the fully-qualified name of an annotation as a String.
- annotationNameInterned(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns the fully-qualified name of an annotation as a String.
- annotationProvider - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
The annotation provider, e.g., a type factory.
- AnnotationProvider - Interface in org.checkerframework.javacutil
-
An implementation of AnnotationProvider returns annotations on Java AST elements.
- annotations - Variable in class org.checkerframework.framework.flow.CFAbstractValue
-
The annotations in this abstract value.
- AnnotationSetCombiner() - Constructor for class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner
- annotationsForIrrelevantJavaType(TypeMirror) - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
- annotationsForIrrelevantJavaType(TypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Returns the annotations that should appear on the given irrelevant Java type.
- annotationsFromArrayCreation(NewArrayTree, int) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Converts the given NewArrayTree to a list of AnnotationMirrors.
- annotationsFromTree(AnnotatedTypeTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Converts the given AnnotatedTypeTree to a list of AnnotationMirrors.
- annotationsFromTree(TypeParameterTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Converts the given TypeParameterTree to a list of AnnotationMirrors.
- annotationsFromTypeAnnotationTrees(List<? extends AnnotationTree>) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Converts the given AnnotationTrees to AnnotationMirrors.
- AnnotationsInContexts() - Constructor for class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage.AnnotationsInContexts
- AnnotationStatistics - Class in org.checkerframework.common.util.count
-
An annotation processor for counting the annotations in a program and for listing the potential locations of annotations.
- AnnotationStatistics() - Constructor for class org.checkerframework.common.util.count.AnnotationStatistics
-
Creates an AnnotationStatistics.
- annotationToAnnotationMirror(Annotation, ProcessingEnvironment) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter
-
Converts an
Annotation
into anAnnotationMirror
. - AnnotationTransferVisitor - Class in org.checkerframework.framework.ajava
-
A visitor that adds all annotations from a
AnnotatedTypeMirror
to the corresponding JavaParser type, including nested types like array components. - AnnotationTransferVisitor() - Constructor for class org.checkerframework.framework.ajava.AnnotationTransferVisitor
- AnnotationUtils - Class in org.checkerframework.javacutil
-
A utility class for working with annotations.
- annotationValueContains(AnnotationValue, String) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns true if an AnnotationValue list contains the given value.
- annotationValueContains(List<? extends AnnotationValue>, String) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns true if an AnnotationValue list contains the given value.
- annotationValueContainsToString(AnnotationValue, String) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns true if an AnnotationValue list contains a value whose
toString()
is the given string. - annotationValueContainsToString(List<? extends AnnotationValue>, String) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns true if an AnnotationValue list contains a value whose
toString()
is the given string. - annotationValueListToEnumArray(List<AnnotationValue>, Class<T>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Converts a list of AnnotationValue to an array of enum.
- annotationValueListToEnumArray(AnnotationValue, Class<T>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Converts a list of AnnotationValue to an array of enum.
- annotationValueToList(List<? extends AnnotationValue>, Class<T>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Converts an annotation value to a list.
- annotationValueToList(AnnotationValue, Class<T>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Converts an annotation value to a list.
- annotators - Variable in class org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
- anyOfTheseNames(ImmutableSet<String>) - Static method in interface org.checkerframework.checker.resourceleak.SetOfTypes
-
Create a set containing exactly the types with the given names, but not their subtypes.
- apply(AnnotatedTypeMirror.AnnotatedTypeVariable, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.ClassTypeParamApplier
-
Apply annotations from
element
totype
. - apply(AnnotatedTypeMirror.AnnotatedTypeVariable, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.MethodTypeParamApplier
-
Apply annotations from
element
totype
. - apply(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.VariableApplier
-
Apply annotations from
element
totype
. - apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.type.ElementAnnotationApplier
-
Add all of the relevant annotations stored in Element to type.
- apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.MethodApplier
-
Apply annotations from
element
totype
. - apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.TypeDeclarationApplier
- apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.TypeVarUseApplier
- apply(AnnotatedTypeMirror, VariableElement, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.ParamApplier
-
Apply annotations from
element
totype
. - applyAllElementAnnotations(List<? extends AnnotatedTypeMirror>, List<? extends Element>, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.ElementAnnotationUtil
-
For each type/element pair, add all of the annotations stored in Element to type.
- applyAnnotationsFromDeclaredType(AnnotatedTypeMirror.AnnotatedDeclaredType, DeclaredType) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Add all the annotations in
declaredType
toannotatedDeclaredType
. - applyCaptureConversion(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Apply capture conversion to
typeToCapture
. - applyCaptureConversion(AnnotatedTypeMirror, TypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Apply capture conversion to
type
. - applyConservativeDefaults(Element) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Given an element, returns whether the conservative default should be applied for it.
- applyDefault(Default) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement
-
Apply default to the type.
- applyInferredAnnotations(AnnotatedTypeMirror, CFValue) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
- applyInferredAnnotations(AnnotatedTypeMirror, Value) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Applies the annotations inferred by the org.checkerframework.dataflow analysis to the type
type
. - applyInferredType(AnnotatedTypeMirror, AnnotationMirrorSet, TypeMirror) - Method in class org.checkerframework.framework.type.DefaultInferredTypesApplier
-
For each top in qualifier hierarchy, traverse inferred and copy the required annotations over to type.
- applyInstantiations() - Method in class org.checkerframework.framework.util.typeinference8.constraint.ConstraintSet
-
Applies the instantiations to all the constraints in this set.
- applyInstantiations() - Method in class org.checkerframework.framework.util.typeinference8.constraint.TypeConstraint
-
Apply the given instantiations to any type mentioned in this constraint -- meaning replace any mention of a variable in
instantiations
with its proper type. - applyInstantiations() - Method in class org.checkerframework.framework.util.typeinference8.constraint.Typing
- applyInstantiations() - Method in class org.checkerframework.framework.util.typeinference8.types.AbstractType
-
Return a new type that is the same as this one except the variables in
instantiations
have been replaced by their instantiation. - applyInstantiations() - Method in class org.checkerframework.framework.util.typeinference8.types.InferenceType
- applyInstantiations() - Method in class org.checkerframework.framework.util.typeinference8.types.ProperType
- applyInstantiations() - Method in class org.checkerframework.framework.util.typeinference8.types.UseOfVariable
- applyInstantiationsToBounds() - Method in class org.checkerframework.framework.util.typeinference8.types.VariableBounds
-
Apply instantiations to all bounds and constraints of this variable.
- applyQualifierParameterDefaults(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Applies defaults for types in a class with an qualifier parameter.
- applyQualifierParameterDefaults(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Applies defaults for types in a class with an qualifier parameter.
- applyUnboxing(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Return a primitive type: either the argument, or the result of unboxing it (which might affect its annotations).
- ARBITRARY_CODE - Enum constant in enum class org.checkerframework.dataflow.cfg.UnderlyingAST.Kind
-
The underlying code is an arbitrary Java statement or expression.
- Area - Annotation Interface in org.checkerframework.checker.units.qual
-
Units of areas.
- areAllEqual(Collection<? extends AnnotatedTypeMirror>, Collection<? extends AnnotatedTypeMirror>) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
-
Compare each type in types1 and types2 pairwise and return true if they are all equal.
- areAllFieldsInitializedOnly(ClassTree) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
-
Are all fields initialized-only?
- areAllSubtypes(Iterable<? extends AnnotatedTypeMirror>, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
Are all the types in
subtypes
a subtype ofsupertype
? - areBoundsValid(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.common.basetype.BaseTypeValidator
-
Returns true if the effective annotations on the upperBound are above (or equal to) those on the lowerBound.
- areCorrespondingTypeVariables(Elements, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
When overriding a method, you must include the same number of type parameters as the base method.
- areEqualInHierarchy(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
- areEqualInHierarchy(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
- areEqualVisitHistory - Variable in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
Stores the result of
DefaultTypeHierarchy.areEqualInHierarchy(AnnotatedTypeMirror, AnnotatedTypeMirror)
for type arguments. - arePrimaryAnnosEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.EqualityAtmComparer
-
Return true if
type1
andtype2
have equivalent sets of annotations. - arePrimaryAnnosEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
-
Return true if type1 and type2 have the same set of annotations.
- areSame(Collection<? extends AnnotationMirror>, Collection<? extends AnnotationMirror>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that two collections contain the same annotations.
- areSame(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns true iff both annotations are of the same type and have the same annotation values.
- areSame(TypeVariable, TypeVariable) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true if the two type variables are the same type variable.
- areSameByClass(AnnotationMirror, Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Checks that the annotation
am
has the name ofannoClass
. - areSameByClass(AnnotationMirror, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Deprecated.use
AnnotatedTypeFactory#areSameByClass
orAnnotationUtils.areSameByName(javax.lang.model.element.AnnotationMirror, javax.lang.model.element.AnnotationMirror)
- areSameByName(AnnotationMirror, String) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that the annotation
am
has the nameaname
(a fully-qualified type name). - areSameByName(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Return true iff a1 and a2 have the same annotation type.
- areSameDeclaredTypes(Type.ClassType, Type.ClassType) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true iff the arguments are both the same declared types.
- areSamePrimitiveTypes(TypeMirror, TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true iff the arguments are both the same primitive type.
- args - Variable in exception org.checkerframework.framework.util.JavaExpressionParseUtil.JavaExpressionParseException
-
The arguments to the error message key.
- arguments - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
-
The arguments of the method invocation.
- arguments - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
-
The arguments of the object creation.
- arguments - Variable in class org.checkerframework.dataflow.expression.MethodCall
-
The arguments.
- arithmeticExceptionType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
The ArithmeticException type.
- array - Variable in class org.checkerframework.checker.index.Subsequence
-
Name of the Subsequence.
- array - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
-
The array expression being accessed.
- array - Variable in class org.checkerframework.dataflow.expression.ArrayAccess
-
The array being accessed.
- ARRAY - Enum constant in enum class org.checkerframework.checker.formatter.FormatterTreeUtil.InvocationType
-
The parameters are passed as array.
- ARRAY - Enum constant in enum class org.checkerframework.framework.qual.TypeKind
-
Corresponds to
TypeKind.ARRAY
types. - ARRAY_ARRAY - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- ARRAY_CTOR - Enum constant in enum class org.checkerframework.javacutil.TreeUtils.MemberReferenceKind
-
ArrayType # new
- ARRAY_DECLARED - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- ARRAY_EXECUTABLE - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- ARRAY_INTERSECTION - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- ARRAY_NONE - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- ARRAY_NULL - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- ARRAY_PRIMITIVE - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- ARRAY_TYPEVAR - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- ARRAY_UNION - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- ARRAY_WILDCARD - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- ArrayAccess - Class in org.checkerframework.dataflow.expression
-
An array access.
- ArrayAccess(TypeMirror, JavaExpression, JavaExpression) - Constructor for class org.checkerframework.dataflow.expression.ArrayAccess
-
Create a new ArrayAccess.
- ArrayAccessNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for an array access:
- ArrayAccessNode(ArrayAccessTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
-
Create an ArrayAccessNode.
- ArrayCreation - Class in org.checkerframework.dataflow.expression
-
JavaExpression for array creations.
- ArrayCreation(TypeMirror, List<JavaExpression>, List<JavaExpression>) - Constructor for class org.checkerframework.dataflow.expression.ArrayCreation
-
Creates an ArrayCreation object.
- ArrayCreationNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for new array creation.
- ArrayCreationNode(NewArrayTree, TypeMirror, List<Node>, List<Node>) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
- arrayExpression - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
-
If this ArrayAccessNode is a node for an array desugared from an enhanced for loop, then the
arrayExpression
field is the expression in the for loop, e.g.,arr
infor(Object o: arr
. - arrayIndexOutOfBoundsExceptionType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
The ArrayIndexOutOfBoundsException type.
- ArrayLen - Annotation Interface in org.checkerframework.common.value.qual
-
An annotation indicating the length of an array or a string.
- ARRAYLEN_NAME - Static variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Fully-qualified class name of
ArrayLen
. - ArrayLenRange - Annotation Interface in org.checkerframework.common.value.qual
-
An expression with this type evaluates to an array or a string whose length is in the given range.
- ARRAYLENRANGE_NAME - Static variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Fully-qualified class name of
ArrayLenRange
. - arrayLenRangeFromElement - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
The from() element/field of an @ArrayLenRange annotation.
- arrayLenRangeToElement - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
The to() element/field of an @ArrayLenRange annotation.
- arrayLenValueElement - Variable in class org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
-
The ArrayLen.value argument/element.
- arrayLenValueElement - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
The value() element/field of an @ArrayLen annotation.
- arraysAreRelevant - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Whether users may write type annotations on arrays.
- ArrayTypeNode - Class in org.checkerframework.dataflow.cfg.node
-
A node representing an array type used in an expression such as a field access.
- ArrayTypeNode(ArrayTypeTree, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
- arrayValues - Variable in class org.checkerframework.framework.flow.CFAbstractStore
-
Information collected about array elements, using the internal representation
ArrayAccess
. - ArrayWithoutPackage - Annotation Interface in org.checkerframework.checker.signature.qual
-
An identifier or primitive type, followed by any number of array square brackets.
- artificialTreeToEnclosingElementMap - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Mapping from CFG-generated trees to their enclosing elements.
- ASceneWrapper - Class in org.checkerframework.common.wholeprograminference.scenelib
-
scene-lib (from the Annotation File Utilities) doesn't provide enough information to usefully print stub files: it lacks information about what is and is not an enum, about the base types of variables, and about formal parameter names.
- ASceneWrapper(AScene) - Constructor for class org.checkerframework.common.wholeprograminference.scenelib.ASceneWrapper
-
Constructor.
- asFieldAccess(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Return the field that
tree
is a field access expression for, or null. - asFormat(String, ConversionCategory...) - Static method in class org.checkerframework.checker.formatter.util.FormatUtil
-
Returns the first argument if the format string is satisfiable, and if the format's parameters match the passed
ConversionCategory
s. - asFormatCallCategories(MethodInvocationNode) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil
- asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, Element, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Returns the type of an element when that element is viewed as a member of, or otherwise directly contained by, a given type.
- asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Returns the type of an element when that element is viewed as a member of, or otherwise directly contained by, a given type.
- asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, ExecutableElement) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Specialization of
AnnotatedTypes.asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, Element)
with more precise return type. - asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, ExecutableElement, AnnotatedTypeMirror.AnnotatedExecutableType) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Specialization of
AnnotatedTypes.asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, Element, AnnotatedTypeMirror)
with more precise return type. - asRegex(String) - Static method in class org.checkerframework.checker.regex.util.RegexUtil
-
Returns the argument as a
@Regex String
if it is a regex, otherwise throws an error. - asRegex(String, int) - Static method in class org.checkerframework.checker.regex.util.RegexUtil
-
Returns the argument as a
@Regex(groups) String
if it is a regex with at least the given number of groups, otherwise throws an error. - AssertionErrorNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for the
AssertionError
when an assertion fails or when a method call markedAssertMethod
fails. - AssertionErrorNode(Tree, Node, Node, TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
-
Creates an AssertionErrorNode.
- assertionErrorType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
The AssertionError type.
- AssertMethod - Annotation Interface in org.checkerframework.dataflow.qual
-
AssertMethod
is a method annotation that indicates that a method throws an exception if the value of a boolean argument is false. - AssertMethodTuple(int, TypeMirror, boolean) - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne.AssertMethodTuple
-
Creates an AssertMethodTuple.
- AssertNonNullIfNonNull - Annotation Interface in org.checkerframework.checker.nullness.qual
-
Indicates that if the method returns a non-null value, then the value expressions are also non-null.
- assertSameSize(Collection<? extends Object>, Collection<? extends Object>, Collection<? extends Object>) - Static method in class org.checkerframework.framework.type.QualifierHierarchy
-
Throws an exception if the result and the inputs do not all have the same size.
- assertSameSize(Collection<?>, Collection<?>) - Static method in class org.checkerframework.framework.type.QualifierHierarchy
-
Throws an exception if the given collections do not have the same size.
- assertTestDidNotFail(TypecheckResult) - Static method in class org.checkerframework.framework.test.TestUtilities
-
If the given TypecheckResult has unexpected or missing diagnostics, fail the running JUnit test.
- assertValidState() - Method in class org.checkerframework.framework.util.CheckerMain
-
Assert that required jars exist.
- assignConvert(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Perform assignment conversion so that it can be assigned to a variable of the given type.
- assignedToVariable(AnnotatedTypeFactory, Tree) - Static method in class org.checkerframework.framework.util.typeinference8.types.InferenceFactory
-
If the variable's type is a type variable, return getAnnotatedTypeLhsNoTypeVarDefault(tree).
- assignmentCheck(ExpressionTree) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
-
Check whether
variable
is permitted on the left-hand-side of an assignment. - AssignmentNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for an assignment:
- AssignmentNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentNode
-
Create a (non-synthetic) AssignmentNode.
- AssignmentNode(Tree, Node, Node, boolean) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentNode
-
Create an AssignmentNode.
- assumeAssertionsActivatedForAssertTree(BaseTypeChecker, AssertTree) - Static method in class org.checkerframework.framework.flow.CFCFGBuilder
-
Given a SourceChecker and an AssertTree, returns whether the AssertTree uses an @AssumeAssertion string that is relevant to the SourceChecker.
- assumeAssertionsDisabled - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Can assertions be assumed to be disabled?
- assumeAssertionsEnabled - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Can assertions be assumed to be enabled?
- assumeAssertionsEnabledFor(AssertTree) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Should assertions be assumed to be executed for a given
AssertTree
? False by default. - assumeAssertionsEnabledFor(AssertTree) - Method in class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne
- assumePureGetters - Variable in class org.checkerframework.common.basetype.BaseTypeVisitor
-
True if "-AassumePureGetters" was passed on the command line.
- asSuper(TypeMirror) - Method in class org.checkerframework.framework.util.typeinference8.types.AbstractType
-
If
superType
is a super type of this type, then this method returns the super type of this type that is the same class assuperType
. - asSuper(TypeMirror, TypeMirror, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns
type
assuperType
ifsuperType
is a super type oftype
; otherwise, null. - asSuper(AnnotatedTypeFactory, AnnotatedTypeMirror, T) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Copies annotations from
type
to a copy ofsuperType
where the type variables ofsuperType
have been substituted. - asSuper(AnnotatedTypeMirror, T) - Method in class org.checkerframework.framework.type.AsSuperVisitor
-
Implements asSuper.
- AsSuperVisitor - Class in org.checkerframework.framework.type
- AsSuperVisitor(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.AsSuperVisitor
-
Create a new AsSuperVisitor.
- astubsArgFromFiles(List<File>, String) - Static method in class org.checkerframework.framework.test.AinferValidatePerDirectoryTest
-
Computes the -Astubs argument that corresponds to the test files.
- asUse() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
- asUse() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
- asUse() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
- atConstructorInvocation(NewClassTree) - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Viewpoint-adapts
this
to thenewClassTree
. - atConstructorInvocation(String, NewClassTree, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
-
Parses a string as if it were written at the declaration of the invoked constructor and then viewpoint-adapts the result to the call site.
- atConstructorInvocation(AnnotatedTypeMirror.AnnotatedExecutableType, NewClassTree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Viewpoint-adapts the dependent type annotations in the constructorType to the newClassTree.
- atExpression(AnnotatedTypeMirror, ExpressionTree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Standardize the Java expressions in annotations in written in the
expressionTree
. - atFieldAccess(String, MemberSelectTree, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
-
uf found Parses a string as if it were written at the declaration of the field and then viewpoint-adapts the result to the use.
- atFieldAccess(JavaExpression) - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Viewpoint-adapts
this
to a field access with receiverreceiver
. - atFieldAccess(AnnotatedTypeMirror, MemberSelectTree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Viewpoint-adapts the Java expressions in annotations written on a field declaration to the use at
fieldAccess
. - atFieldDecl(String, VariableElement, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
-
Parses a string to a
JavaExpression
as if it were written atfieldElement
. - atLambdaParameter(String, LambdaExpressionTree, TreePath, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
-
Parses a string as if it were written at one of the parameters of
lambdaTree
. - atLocalVariable(AnnotatedTypeMirror, Element) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Standardize the Java expressions in annotations in a type.
- AtmCombo - Enum Class in org.checkerframework.framework.util
-
An enum representing the cartesian product of the set of AtmKinds with itself.
- AtmComboVisitor<RETURN_TYPE,
PARAM> - Interface in org.checkerframework.framework.type.visitor -
Visitor interface for all pair-wise combinations of AnnotatedTypeMirrors.
- atMethodBody(MethodTree) - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Viewpoint-adapts
this
to themethodTree
by converting anyFormalParameter
intoLocalVariable
s. - atMethodBody(String, MethodTree, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
-
Parses a string to a
JavaExpression
as if it were written atmethodTree
. - atMethodBody(AnnotatedTypeMirror, MethodTree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Viewpoint-adapts the Java expressions in annotations written on the signature of the method declaration (for example, a return type) to the body of the method.
- atMethodDecl(String, ExecutableElement, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
-
Parses a string to a
JavaExpression
as if it were written atmethod
. - atMethodInvocation(MethodInvocationTree) - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Viewpoint-adapts
this
to themethodInvocationTree
. - atMethodInvocation(String, MethodInvocationTree, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
-
Parses a string as if it were written at the declaration of the invoked method and then viewpoint-adapts the result to the call site.
- atMethodInvocation(String, MethodInvocationNode, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
-
Parses a string as if it were written at the declaration of the invoked method and then viewpoint-adapts the result to the call site.
- atMethodInvocation(MethodInvocationNode) - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Viewpoint-adapts
this
to theinvocationNode
. - atMethodInvocation(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Viewpoint-adapts the dependent type annotations in the methodType to the methodInvocationTree.
- atmFromStorageLocation(TypeMirror, ATypeElement) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage
- atmFromStorageLocation(TypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage
- atmFromStorageLocation(TypeMirror, T) - Method in interface org.checkerframework.common.wholeprograminference.WholeProgramInferenceStorage
-
Obtain the type from a storage location.
- atParameterizedTypeUse(List<AnnotatedTypeParameterBounds>, TypeElement) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Viewpoint-adapts the dependent type annotations on the bounds of the type parameters of the declaration of
typeUse
totypeUse
. - atPath(String, TreePath, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
-
Parses a string as if it were written at
localVarPath
. - atto - Enum constant in enum class org.checkerframework.checker.units.qual.Prefix
-
SI prefix for 10^-18.
- attributeFromAnnotationValue(ExecutableElement, AnnotationValue, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
Returns a newly created Attribute corresponding to an argument AnnotationValue.
- atTypeDecl(String, TypeElement, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
-
Parses a string to a
JavaExpression
as if it were written attypeElement
. - atTypeDecl(AnnotatedTypeMirror, TypeElement) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Standardizes the Java expressions in annotations to a type declaration.
- atVariableDeclaration(AnnotatedTypeMirror, Tree, VariableElement) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Standardize the Java expressions in annotations in a variable declaration.
- aTypeElementToString(ATypeElement) - Static method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage
-
Returns a string representation of an ATypeElement, for use as part of a key in
WholeProgramInferenceScenesStorage.AnnotationsInContexts
. - atypeFactory - Variable in class org.checkerframework.checker.initialization.InitializationTransfer
- atypeFactory - Variable in class org.checkerframework.common.accumulation.AccumulationTransfer
-
The type factory.
- atypeFactory - Variable in class org.checkerframework.common.basetype.BaseTypeValidator
-
AnnotatedTypeFactory.
- atypeFactory - Variable in class org.checkerframework.common.basetype.BaseTypeVisitor
-
The factory to use for obtaining "parsed" version of annotations.
- atypeFactory - Variable in class org.checkerframework.common.value.ValueTransfer
-
The Value type factory.
- atypeFactory - Variable in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceImplementation
-
The type factory associated with this.
- atypeFactory - Variable in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage
-
The type factory associated with this.
- atypeFactory - Variable in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage
-
The type factory associated with this WholeProgramInferenceScenesStorage.
- atypeFactory - Variable in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
A type factory that can provide static type annotations for AST Trees.
- atypeFactory - Variable in class org.checkerframework.framework.flow.CFAbstractValue
-
The type factory.
- atypeFactory - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
The factory to use for lazily creating annotated types.
- atypeFactory - Variable in class org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism
-
Annotated type factory.
- atypeFactory - Variable in class org.checkerframework.framework.type.QualifierHierarchy
-
The associated type factory.
- atypeFactory - Variable in class org.checkerframework.framework.type.treeannotator.TreeAnnotator
-
The type factory.
- atypeFactory - Variable in class org.checkerframework.framework.type.typeannotator.TypeAnnotator
-
The type factory.
- atypeFactory - Variable in class org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement
-
The annotated type factory.
- aTypeFactory - Variable in class org.checkerframework.checker.nonempty.NonEmptyTransfer
-
A
NonEmptyAnnotatedTypeFactory
instance. - atypes - Variable in class org.checkerframework.framework.stub.AnnotationFileParser.AnnotationFileAnnotations
-
Map from element to its type as declared in the annotation file.
- AutoValueSupport - Class in org.checkerframework.checker.calledmethods.builder
-
AutoValue support for the Called Methods Checker.
- AutoValueSupport(CalledMethodsAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.calledmethods.builder.AutoValueSupport
-
Create a new AutoValueSupport.
- available(InputStream) - Static method in class org.checkerframework.javacutil.SystemUtil
-
Calls
InputStream.available()
, but returns null instead of throwing an IOException. - AwtAlphaCompositingRule - Annotation Interface in org.checkerframework.checker.fenum.qual
-
Basic alpha compositing rules for combining source and destination colors to achieve blending and transparency effects with graphics and images (see
AlphaComposite
for more details). - AwtColorSpace - Annotation Interface in org.checkerframework.checker.fenum.qual
-
Color space tags to identify the specific color space of a Color object or, via a ColorModel object, of an Image, a BufferedImage, or a GraphicsDevice (see
ColorSpace
for more details). - AwtCursorType - Annotation Interface in org.checkerframework.checker.fenum.qual
-
AwtCursorType.
- AwtFlowLayout - Annotation Interface in org.checkerframework.checker.fenum.qual
-
Line alignments in a flow layout (see
FlowLayout
for more details).
B
- BACKWARD - Enum constant in enum class org.checkerframework.dataflow.analysis.Analysis.Direction
-
The backward direction.
- BackwardAnalysis<V extends AbstractValue<V>,
S extends Store<S>, T extends BackwardTransferFunction<V, S>> - Interface in org.checkerframework.dataflow.analysis -
This interface defines a backward analysis, given a control flow graph and a backward transfer function.
- BackwardAnalysisImpl<V extends AbstractValue<V>,
S extends Store<S>, T extends BackwardTransferFunction<V, S>> - Class in org.checkerframework.dataflow.analysis -
An implementation of a backward analysis to solve a org.checkerframework.dataflow problem given a control flow graph and a backward transfer function.
- BackwardAnalysisImpl() - Constructor for class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
-
Construct an object that can perform a org.checkerframework.dataflow backward analysis over a control flow graph.
- BackwardAnalysisImpl(T) - Constructor for class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
-
Construct an object that can perform a org.checkerframework.dataflow backward analysis over a control flow graph given a transfer function.
- BackwardDfoComparator() - Constructor for class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.BackwardDfoComparator
-
Creates a new BackwardDfoComparator.
- BackwardTransferFunction<V extends AbstractValue<V>,
S extends Store<S>> - Interface in org.checkerframework.dataflow.analysis -
Interface of a backward transfer function for the abstract interpretation used for the backward flow analysis.
- BaseAnnotatedTypeFactory - Class in org.checkerframework.common.basetype
-
A factory that extends
GenericAnnotatedTypeFactory
to use the default flow-sensitive analysis as provided byCFAnalysis
. - BaseAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
- BaseAnnotatedTypeFactory(BaseTypeChecker, boolean) - Constructor for class org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
- BaseAnnotatedTypeFactoryForIndexChecker - Class in org.checkerframework.checker.index
-
A class for functionality common to multiple type-checkers that are used by the Index Checker.
- BaseAnnotatedTypeFactoryForIndexChecker(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.BaseAnnotatedTypeFactoryForIndexChecker
-
Creates a new BaseAnnotatedTypeFactoryForIndexChecker.
- BaseTypeChecker - Class in org.checkerframework.common.basetype
-
An abstract
SourceChecker
that provides a simpleSourceVisitor
implementation that type-checks assignments, pseudo-assignments such as parameter passing and method invocation, and method overriding. - BaseTypeChecker() - Constructor for class org.checkerframework.common.basetype.BaseTypeChecker
- BaseTypeValidator - Class in org.checkerframework.common.basetype
-
A visitor to validate the types in a tree.
- BaseTypeValidator(BaseTypeChecker, BaseTypeVisitor<?>, AnnotatedTypeFactory) - Constructor for class org.checkerframework.common.basetype.BaseTypeValidator
- BaseTypeVisitor<Factory extends GenericAnnotatedTypeFactory<?,
?, ?, ?>> - Class in org.checkerframework.common.basetype -
A
SourceVisitor
that performs assignment and pseudo-assignment checking, method invocation checking, and assignability checking. - BaseTypeVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.common.basetype.BaseTypeVisitor
- BaseTypeVisitor(BaseTypeChecker, Factory) - Constructor for class org.checkerframework.common.basetype.BaseTypeVisitor
- BaseTypeVisitor.OverrideChecker - Class in org.checkerframework.common.basetype
-
Class to perform method override and method reference checks.
- BasicAnnotationProvider - Class in org.checkerframework.javacutil
-
An AnnotationProvider that is independent of any type hierarchy.
- 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
- BEFORE - Enum constant in enum class org.checkerframework.dataflow.analysis.Analysis.BeforeOrAfter
-
Return the pre-store.
- BEFORE - Enum constant in enum class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.VisualizeWhere
-
Visualize before the block.
- BINARY_NAME - Variable in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
-
The @
BinaryName
annotation. - binaryName(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns the binary name of a type.
- BinaryName - Annotation Interface in org.checkerframework.checker.signature.qual
-
Represents a binary name as defined in the Java Language Specification, section 13.1.
- BinaryNameOrPrimitiveType - Annotation Interface in org.checkerframework.checker.signature.qual
-
Represents a primitive type name or a
binary name
. - BinaryNameWithoutPackage - Annotation Interface in org.checkerframework.checker.signature.qual
- binaryNumericPromotion(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Perform binary numeric promotion on the input node to make it match the expression type.
- BinaryOperation - Class in org.checkerframework.dataflow.expression
-
JavaExpression for binary operations.
- BinaryOperation(TypeMirror, Tree.Kind, JavaExpression, JavaExpression) - Constructor for class org.checkerframework.dataflow.expression.BinaryOperation
-
Create a binary operation.
- BinaryOperation(BinaryOperationNode, JavaExpression, JavaExpression) - Constructor for class org.checkerframework.dataflow.expression.BinaryOperation
-
Create a binary operation.
- BinaryOperationNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for a binary expression.
- BinaryOperationNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
- binaryPromotedType(TypeMirror, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Compute the type to which two numeric types must be promoted before performing a binary numeric operation on them.
- binaryTreeArgTypes(BinaryTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Returns the types of the two arguments to the BinaryTree, accounting for widening and unboxing if applicable.
- binaryTreeArgTypes(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Returns the types of the two arguments to a binary operation, accounting for widening and unboxing if applicable.
- bindingPatternTreeGetVariable(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Deprecated.
- bindingVariables - Variable in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode
-
A list of nested binding variables.
- bindingVariables - Variable in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
-
A list of all binding variables in this instanceof.
- bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.ByteMath
- bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.DoubleMath
- bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.FloatMath
- bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.IntegerMath
- bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.LongMath
- bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.NumberMath
- bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.ShortMath
- bitwiseAnd(Range) - Method in class org.checkerframework.common.value.util.Range
-
Returns a range that includes all possible values resulting from performing the bitwise and operation on a value in this range by a mask in the specified range.
- BitwiseAndNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for the bitwise or logical (single bit) and operation:
- BitwiseAndNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
-
Constructs a
BitwiseAndNode
. - bitwiseComplement() - Method in class org.checkerframework.common.value.util.ByteMath
- bitwiseComplement() - Method in class org.checkerframework.common.value.util.DoubleMath
- bitwiseComplement() - Method in class org.checkerframework.common.value.util.FloatMath
- bitwiseComplement() - Method in class org.checkerframework.common.value.util.IntegerMath
- bitwiseComplement() - Method in class org.checkerframework.common.value.util.LongMath
- bitwiseComplement() - Method in class org.checkerframework.common.value.util.NumberMath
- bitwiseComplement() - Method in class org.checkerframework.common.value.util.Range
-
Returns the range of a variable that falls within this range after applying the bitwise complement operation.
- bitwiseComplement() - Method in class org.checkerframework.common.value.util.ShortMath
- BitwiseComplementNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for the bitwise complement operation:
- BitwiseComplementNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
-
Constructs a
BitwiseComplementNode
. - bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.ByteMath
- bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.DoubleMath
- bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.FloatMath
- bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.IntegerMath
- bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.LongMath
- bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.NumberMath
- bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.ShortMath
- bitwiseOr(Range) - Method in class org.checkerframework.common.value.util.Range
-
We give up the analysis for bitwise OR operation.
- BitwiseOrNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for the bitwise or logical (single bit) or operation:
- BitwiseOrNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
-
Constructs a
BitwiseOrNode
. - bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.ByteMath
- bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.DoubleMath
- bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.FloatMath
- bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.IntegerMath
- bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.LongMath
- bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.NumberMath
- bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.ShortMath
- bitwiseXor(Range) - Method in class org.checkerframework.common.value.util.Range
-
We give up the analysis for bitwise XOR operation.
- BitwiseXorNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for the bitwise or logical (single bit) xor operation:
- BitwiseXorNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
-
Constructs a
BitwiseXorNode
. - block - Variable in class org.checkerframework.dataflow.cfg.builder.ExtendedNode
-
The basic block this extended node belongs to (as determined in phase two).
- block - Variable in class org.checkerframework.dataflow.cfg.node.Node
-
The basic block this node belongs to.
- Block - Interface in org.checkerframework.dataflow.cfg.block
-
Represents a basic block in a control flow graph.
- BLOCK_SIZE - Static variable in class org.checkerframework.framework.util.ExecUtil
- Block.BlockType - Enum Class in org.checkerframework.dataflow.cfg.block
-
The types of basic blocks.
- blockCount - Variable in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
-
Number of times each block has been analyzed since the last time widening was applied.
- BlockImpl - Class in org.checkerframework.dataflow.cfg.block
-
Base class of the
Block
implementation hierarchy. - BlockImpl(Block.BlockType) - Constructor for class org.checkerframework.dataflow.cfg.block.BlockImpl
-
Create a new BlockImpl.
- BOOLEAN - Enum constant in enum class org.checkerframework.framework.qual.LiteralKind
-
Corresponds to
Tree.Kind.BOOLEAN_LITERAL
trees. - BOOLEAN - Enum constant in enum class org.checkerframework.framework.qual.TypeKind
-
Corresponds to
TypeKind.BOOLEAN
types. - BOOLEAN_FALSE - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
The canonical @
BoolVal
(false) annotation. - BOOLEAN_TRUE - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
The canonical @
BoolVal
(true) annotation. - BooleanLiteralNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for a boolean literal:
- BooleanLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
-
Create a new BooleanLiteralNode.
- booleanParam - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne.AssertMethodTuple
-
0-based index of the parameter of the expression that is tested by the assert method.
- BoolVal - Annotation Interface in org.checkerframework.common.value.qual
-
An annotation indicating the possible values for a bool type.
- BOOLVAL_NAME - Static variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Fully-qualified class name of
BoolVal
. - boolValValueElement - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
The value() element/field of a @BoolVal annotation.
- BOOT_CLASS_PATH_REGEX - Static variable in class org.checkerframework.framework.util.CheckerMain
-
A pattern to match bootclasspath prepend entries, used to construct one
-Xbootclasspath/p:
command-line argument. - BOTH - Enum constant in enum class org.checkerframework.checker.nullness.KeyForPropagator.PropagationDirection
- BOTH - Enum constant in enum class org.checkerframework.dataflow.analysis.Store.Kind
- bothHaveSpecificPrefix(Prefix, Prefix, Prefix) - Method in class org.checkerframework.checker.units.UnitsRelationsDefault
-
Checks to see if both lhtPrefix and rhtPrefix have the same prefix as specificPrefix.
- bottom - Variable in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
-
The canonical bottom annotation for this accumulation checker.
- bottom - Variable in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy.DefaultQualifierKind
-
The bottom of the hierarchy to which this belongs.
- Bottom - Annotation Interface in org.checkerframework.common.subtyping.qual
-
A special annotation intended solely for representing the bottom type in the qualifier hierarchy.
- BOTTOM - Enum constant in enum class org.checkerframework.dataflow.constantpropagation.Constant.Type
- BOTTOM - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
-
The bottom annotation.
- BOTTOM - Variable in class org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
-
The @
SearchIndexBottom
annotation. - BOTTOM - Variable in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory
-
The bottom qualifier of the Substring Index hierarchy.
- BOTTOM - Variable in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
-
The @
UpperBoundBottom
annotation. - BOTTOM - Variable in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
- BOTTOM - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
- bottoms - Variable in class org.checkerframework.framework.type.ElementQualifierHierarchy
-
The set of bottom annotation mirrors.
- bottoms - Variable in class org.checkerframework.framework.type.NoElementQualifierHierarchy
-
Set of bottom annotation mirrors.
- bottomsMap - Variable in class org.checkerframework.framework.type.ElementQualifierHierarchy
-
A mapping from bottom QualifierKinds to their corresponding AnnotationMirror.
- BottomThis - Annotation Interface in org.checkerframework.common.returnsreceiver.qual
-
The bottom type for the Returns Receiver Checker's type system.
- BottomVal - Annotation Interface in org.checkerframework.common.value.qual
-
The bottom type in the Constant Value type system.
- BOTTOMVAL - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
The bottom type for this hierarchy.
- BOTTOMVAL_NAME - Static variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Fully-qualified class name of
BottomVal
. - BOUND - Enum constant in enum class org.checkerframework.javacutil.TreeUtils.MemberReferenceKind
-
Expr # instMethod
- bounds - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
-
A list of the bounds of this which are also its direct super types.
- bounds - Variable in class org.checkerframework.framework.util.typeinference8.types.VariableBounds
-
Bounds on this variable.
- boundSet - Variable in class org.checkerframework.framework.util.typeinference8.constraint.ReductionResult.ReductionResultPair
-
A bound set.
- BoundSet - Class in org.checkerframework.framework.util.typeinference8.bound
-
Manages a set of bounds.
- BoundSet(BoundSet) - Constructor for class org.checkerframework.framework.util.typeinference8.bound.BoundSet
-
Copy constructor.
- BoundSet(Java8InferenceContext) - Constructor for class org.checkerframework.framework.util.typeinference8.bound.BoundSet
-
Creates a bound set.
- BoundsInitializer - Class in org.checkerframework.framework.type
-
BoundsInitializer
creates AnnotatedTypeMirrors (without annotations) for the bounds of type variables and wildcards. - box(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
If the input node is an unboxed primitive type, insert a call to the appropriate valueOf method, otherwise leave it alone.
- boxType() - Method in class org.checkerframework.framework.util.typeinference8.types.ProperType
-
If this is a primitive type, then the proper type corresponding to its wrapper is returned.
- BugInCF - Exception in org.checkerframework.javacutil
-
Exception type indicating a bug in the framework.
- BugInCF(Tree, String, Throwable) - Constructor for exception org.checkerframework.javacutil.BugInCF
-
Constructs a new BugInCF with the specified detail message and cause.
- BugInCF(Tree, Throwable) - Constructor for exception org.checkerframework.javacutil.BugInCF
-
Constructs a new BugInCF with the specified cause.
- BugInCF(String) - Constructor for exception org.checkerframework.javacutil.BugInCF
-
Constructs a new BugInCF with the specified detail message and no cause (use this at the root cause).
- BugInCF(String, Object...) - Constructor for exception org.checkerframework.javacutil.BugInCF
-
Constructs a new BugInCF with a detail message composed from the given arguments, and with no cause (use the current callstack as the root cause).
- BugInCF(String, Throwable) - Constructor for exception org.checkerframework.javacutil.BugInCF
-
Constructs a new BugInCF with the specified detail message and cause.
- BugInCF(Throwable) - Constructor for exception org.checkerframework.javacutil.BugInCF
-
Constructs a new BugInCF with the specified cause.
- BugInCF(Throwable, String, Object...) - Constructor for exception org.checkerframework.javacutil.BugInCF
-
Constructs a new BugInCF with the specified cause and with a detail message composed from the given arguments.
- build() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Creates a TestConfiguration using the settings in this builder.
- build() - Method in class org.checkerframework.javacutil.AnnotationBuilder
- build(CompilationUnitTree, MethodTree, ClassTree, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder
-
Build the control flow graph of a method.
- build(CompilationUnitTree, UnderlyingAST, boolean, boolean, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder
-
Build the control flow graph of some code.
- build(CompilationUnitTree, UnderlyingAST, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder
-
Build the control flow graph of some code.
- build(CompilationUnitTree, UnderlyingAST, BaseTypeChecker, AnnotatedTypeFactory, ProcessingEnvironment) - Static method in class org.checkerframework.framework.flow.CFCFGBuilder
-
Build the control flow graph of some code.
- build(TreePath, UnderlyingAST, boolean, boolean, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder
-
Build the control flow graph of some code (method, initializer block, ...).
- buildAnnoMirrorWithDefaultPrefix(ProcessingEnvironment, Class<? extends Annotation>) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools
-
Creates an AnnotationMirror representing a unit defined by annoClass, with the default Prefix of
Prefix.one
. - buildAnnoMirrorWithNoPrefix(ProcessingEnvironment, CharSequence) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools
-
Creates an AnnotationMirror representing a unit defined by annoClass, with no prefix.
- buildAnnoMirrorWithSpecificPrefix(ProcessingEnvironment, CharSequence, Prefix) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools
-
Creates an AnnotationMirror representing a unit defined by annoClass, with the specific Prefix p.
- buildAnnoMirrorWithSpecificPrefix(ProcessingEnvironment, Class<? extends Annotation>, Prefix) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools
-
Creates an AnnotationMirror representing a unit defined by annoClass, with the specific Prefix p.
- buildAnnotatedType(TypeMirror) - Method in class org.checkerframework.framework.flow.CFTreeBuilder
-
Builds an AST Tree representing a type, including AnnotationTrees for its annotations.
- buildAnnotation(AnnotationMirror, Map<ExecutableElement, List<JavaExpression>>) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Create a new annotation of the same type as
originalAnno
using the providedelementMap
. - 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(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to assign an RHS expression to an LHS expression.
- buildAssignment(VariableTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to assign an expression to a variable.
- 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.
- buildCloseMethodAccess(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Build a
MemberSelectTree
for accessing theclose
method of an expression that implementsAutoCloseable
. - buildDefaultConfiguration(String, File, Class<?>, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
This is the default configuration used by Checker Framework JUnit tests.
- buildDefaultConfiguration(String, Iterable<File>, Iterable<String>, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
This is the default configuration used by Checker Framework JUnit tests.
- buildDefaultConfiguration(String, Iterable<File>, Collection<String>, Iterable<String>, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
This is the default configuration used by Checker Framework JUnit tests.
- BuilderFrameworkSupport - Interface in org.checkerframework.checker.calledmethods.builder
-
Provides hooks to add CalledMethods annotations to code generated by a builder framework like Lombok or AutoValue.
- BuilderFrameworkSupportUtils - Class in org.checkerframework.checker.calledmethods.builder
-
A utility class of static methods used in supporting builder-generation frameworks.
- 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.
- buildNewArray(TypeMirror, List<ExpressionTree>) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to create a new array with initializers.
- 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(Tree, String, Element, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to declare and initialize a variable.
- 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.
- buildVariableUse(VariableTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Builds an AST Tree to refer to a variable.
- BUILTIN_STUB - Enum constant in enum class org.checkerframework.framework.stub.AnnotationFileUtil.AnnotationFileType
-
Stub file built into a checker.
- busyExpression - Variable in class org.checkerframework.dataflow.busyexpr.BusyExprValue
-
A busy expression is represented by a node, which can be a
BinaryOperationNode
- BusyExpressionPlayground - Class in org.checkerframework.dataflow.cfg.playground
-
The playground for busy expression analysis.
- BusyExprStore - Class in org.checkerframework.dataflow.busyexpr
-
A busy expression store contains a set of busy expressions represented by nodes.
- BusyExprStore() - Constructor for class org.checkerframework.dataflow.busyexpr.BusyExprStore
-
Create a new BusyExprStore.
- BusyExprStore(Set<BusyExprValue>) - Constructor for class org.checkerframework.dataflow.busyexpr.BusyExprStore
-
Create a new BusyExprStore.
- BusyExprTransfer - Class in org.checkerframework.dataflow.busyexpr
-
A busy expression transfer function
- BusyExprTransfer() - Constructor for class org.checkerframework.dataflow.busyexpr.BusyExprTransfer
- BusyExprValue - Class in org.checkerframework.dataflow.busyexpr
-
BusyExprValue class contains a BinaryOperationNode.
- BusyExprValue(BinaryOperationNode) - Constructor for class org.checkerframework.dataflow.busyexpr.BusyExprValue
-
Create a new busy expression.
- BYTE - Enum constant in enum class org.checkerframework.framework.qual.TypeKind
-
Corresponds to
TypeKind.BYTE
types. - BYTE_EVERYTHING - Static variable in class org.checkerframework.common.value.util.Range
-
A range containing all possible 8-bit values.
- byteFromDouble(double) - Static method in class org.checkerframework.checker.signedness.util.SignednessUtil
-
Returns an unsigned byte representing the same value as the double.
- byteFromFloat(float) - Static method in class org.checkerframework.checker.signedness.util.SignednessUtil
-
Returns an unsigned byte representing the same value as the float.
- ByteMath - Class in org.checkerframework.common.value.util
- ByteMath(byte) - Constructor for class org.checkerframework.common.value.util.ByteMath
- byteRange() - Method in class org.checkerframework.common.value.util.Range
-
Converts this range to an 8-bit byte range.
C
- C - Annotation Interface in org.checkerframework.checker.units.qual
-
Degree Centigrade (Celsius).
- C - Static variable in class org.checkerframework.checker.units.util.UnitsTools
- calculateTransitiveDependencies() - Method in class org.checkerframework.framework.util.typeinference8.types.Dependencies
-
Calculate and add transitive dependencies.
- CallableDeclarationAnnos(CallableDeclaration<?>) - Constructor for class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage.CallableDeclarationAnnos
-
Creates a wrapper for the given method or constructor declaration.
- CalledMethods - Annotation Interface in org.checkerframework.checker.builder.qual
-
A deprecated variant of
CalledMethods
. - CalledMethods - Annotation Interface in org.checkerframework.checker.calledmethods.qual
-
If an expression has type
@CalledMethods({"m1", "m2"})
, then methodsm1
andm2
have definitely been called on its value. - CalledMethodsAnalysis - Class in org.checkerframework.checker.calledmethods
-
The analysis for the Called Methods Checker.
- CalledMethodsAnalysis(BaseTypeChecker, CalledMethodsAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.calledmethods.CalledMethodsAnalysis
-
Creates a new
CalledMethodsAnalysis
. - CalledMethodsAnnotatedTypeFactory - Class in org.checkerframework.checker.calledmethods
-
The annotated type factory for the Called Methods Checker.
- CalledMethodsAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.calledmethods.CalledMethodsAnnotatedTypeFactory
-
Create a new CalledMethodsAnnotatedTypeFactory.
- CalledMethodsBottom - Annotation Interface in org.checkerframework.checker.calledmethods.qual
-
The bottom type for the Called Methods type system.
- CalledMethodsChecker - Class in org.checkerframework.checker.calledmethods
-
The Called Methods Checker tracks the methods that have definitely been called on an object.
- CalledMethodsChecker() - Constructor for class org.checkerframework.checker.calledmethods.CalledMethodsChecker
- CalledMethodsPredicate - Annotation Interface in org.checkerframework.checker.calledmethods.qual
-
This annotation represents a predicate on
@
CalledMethods
annotations. - CalledMethodsTransfer - Class in org.checkerframework.checker.calledmethods
-
A transfer function that accumulates the names of methods called.
- CalledMethodsTransfer(CalledMethodsAnalysis) - Constructor for class org.checkerframework.checker.calledmethods.CalledMethodsTransfer
-
Create a new CalledMethodsTransfer.
- CalledMethodsVisitor - Class in org.checkerframework.checker.calledmethods
-
This visitor implements the custom error message "finalizer.invocation".
- CalledMethodsVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.calledmethods.CalledMethodsVisitor
-
Creates a new CalledMethodsVisitor.
- callTransferFunction(Node, TransferInput<V, S>) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis
-
Call the transfer function for node
node
, and set that node as current node first. - callTransferFunction(Node, TransferInput<V, S>) - Method in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
- canAlias(JavaExpression, JavaExpression) - Method in interface org.checkerframework.dataflow.analysis.Store
-
Can the objects
a
andb
be aliases? Returns a conservative answer (i.e., returnstrue
if not enough information is available to determine aliasing). - canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
- canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
- canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
- canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
- canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.framework.flow.CFAbstractStore
-
Can the objects
a
andb
be aliases? Returns a conservative answer (i.e., returnstrue
if not enough information is available to determine aliasing). - canBeMissingAnnotations() - Method in class org.checkerframework.framework.flow.CFAbstractValue
-
Returns whether or not the set of annotations can be missing an annotation for any hierarchy.
- canBeNarrowingPrimitiveConversion(TypeMirror, Types) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true if the type is byte, short, char, Byte, Short, or Character.
- canCreateObligations() - Method in class org.checkerframework.checker.resourceleak.ResourceLeakAnnotatedTypeFactory
-
Does this type factory support
CreatesMustCallFor
? - canHaveEmptyAnnotationSet(AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.type.QualifierHierarchy
-
Returns true if and only if
AnnotatedTypeMirror.getPrimaryAnnotations()
can return a set with fewer qualifiers than the width of the QualifierHierarchy. - canHaveTypeAnnotation(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Return
true
if and only iftree
can have a type annotation. - canInsertJavaExpression(JavaExpression) - Static method in class org.checkerframework.framework.flow.CFAbstractStore
-
Returns true if
expr
can be stored in this store. - CANONICAL_NAME - Variable in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
-
The @
CanonicalName
annotation. - CANONICAL_NAME_AND_BINARY_NAME - Variable in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
-
The @
CanonicalNameAndBinaryName
annotation. - canonicalAnnotation(AnnotationMirror) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
- canonicalAnnotation(AnnotationMirror) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
- canonicalAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Returns the canonical annotation for the passed annotation.
- CanonicalName - Annotation Interface in org.checkerframework.checker.signature.qual
-
Canonical names have the same syntactic form as
fully-qualified name
s. - CanonicalNameAndBinaryName - Annotation Interface in org.checkerframework.checker.signature.qual
-
This is a string that is a valid canonical name and a valid binary name.
- CanonicalNameOrEmpty - Annotation Interface in org.checkerframework.checker.signature.qual
-
Either a
CanonicalName
or the empty string. - CanonicalNameOrPrimitiveType - Annotation Interface in org.checkerframework.checker.signature.qual
-
This is a string that is a valid canonical name and a valid binary name or primitive type.
- capitalize(String) - Static method in class org.checkerframework.checker.calledmethods.builder.BuilderFrameworkSupportUtils
-
Capitalizes the first letter of the given string.
- capture(Java8InferenceContext) - Method in class org.checkerframework.framework.util.typeinference8.types.AbstractType
-
Return a new type that is the capture of this type.
- capture(Java8InferenceContext) - Method in class org.checkerframework.framework.util.typeinference8.types.UseOfVariable
- CaptureBound - Class in org.checkerframework.framework.util.typeinference8.bound
-
A bound of the form:
G<a1, ..., an> = capture(G<A1, ..., An>)
. - captureConversionIds - Static variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
-
Maps from type variables to deterministic IDs.
- capturedTypeVarSubstitutor - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Substitutes references to captured type variables.
- CapturedTypeVarSubstitutor() - Constructor for class org.checkerframework.framework.type.AnnotatedTypeFactory.CapturedTypeVarSubstitutor
-
Creates a CapturedTypeVarSubstitutor.
- CaptureVariable - Class in org.checkerframework.framework.util.typeinference8.types
-
Variables created as a part of a capture bound.
- caseExprs - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode
-
The case expressions to match the switch expression against: the operands of (possibly multiple) case labels.
- CaseNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for a case in a switch statement.
- CaseNode(CaseTree, AssignmentNode, List<Node>, Node, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.CaseNode
-
Create a new CaseNode.
- caseTreeGetBody(CaseTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Deprecated.
- caseTreeGetExpressions(CaseTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Deprecated.
- castedAsSuper(AnnotatedTypeFactory, AnnotatedTypeMirror, T) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Calls asSuper and casts the result to the same type as the input supertype.
- castNode(Class<T>, Node, Tree) - Method in class org.checkerframework.framework.ajava.JointJavacJavaParserVisitor
-
Cast
javaParserNode
to typetype
and return it. - castNonNull(T) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
A method that suppresses warnings from the Nullness Checker.
- castNonNull(T, String) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Suppress warnings from the Nullness Checker, with a custom error message.
- castNonNullDeep(T[]) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
- castNonNullDeep(T[][]) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
- castNonNullDeep(T[][][]) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
- castNonNullDeep(T[][][][]) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
- castNonNullDeep(T[][][][][]) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
- castNonNullDeep(T[][][][][], String) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
- castNonNullDeep(T[][][][], String) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
- castNonNullDeep(T[][][], String) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
- castNonNullDeep(T[][], String) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
- castNonNullDeep(T[], String) - Static method in class org.checkerframework.checker.nullness.util.NullnessUtil
-
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
- castNumbers(TypeMirror, boolean, List<? extends Number>) - Static method in class org.checkerframework.common.value.util.NumberUtils
-
Converts a
List<A>
to aList<B>
, where A and B are numeric types. - castNumbers(TypeMirror, List<? extends Number>) - Static method in class org.checkerframework.common.value.util.NumberUtils
-
Converts a
List<A>
to aList<B>
, where A and B are numeric types. - castPresent(Optional<T>) - Static method in class org.checkerframework.checker.optional.util.OptionalUtil
-
A method that suppresses warnings from the Optional Checker.
- castRange(TypeMirror, Range) - Static method in class org.checkerframework.common.value.util.NumberUtils
-
Return a range that restricts the given range to the given type.
- CatchMarkerNode - Class in org.checkerframework.dataflow.cfg.node
-
A CatchMarkerNode is a marker node for the beginning or end of a catch block.
- CatchMarkerNode(Tree, String, TypeMirror, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.CatchMarkerNode
-
Creates a new CatchMarkerNode.
- categoriesToFormatAnnotation(ConversionCategory[]) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil
-
Creates a
@
Format
annotation with the given list as its value. - categoriesToFormatAnnotation(I18nConversionCategory[]) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
-
Creates a
@
I18nFormat
annotation with the given list as its value. - cd - Annotation Interface in org.checkerframework.checker.units.qual
-
Candela (unit of luminance).
- cd - Static variable in class org.checkerframework.checker.units.util.UnitsTools
- ceiling(AnnotationMirror) - Method in class org.checkerframework.javacutil.AnnotationMirrorSet
- centi - Enum constant in enum class org.checkerframework.checker.units.qual.Prefix
-
SI prefix for 10^-2.
- CFAbstractAnalysis<V extends CFAbstractValue<V>,
S extends CFAbstractStore<V, S>, T extends CFAbstractTransfer<V, S, T>> - Class in org.checkerframework.framework.flow -
CFAbstractAnalysis
is an extensible org.checkerframework.dataflow analysis for the Checker Framework that tracks the annotations using a flow-sensitive analysis. - CFAbstractAnalysis(BaseTypeChecker, GenericAnnotatedTypeFactory<V, S, T, ? extends CFAbstractAnalysis<V, S, T>>) - Constructor for class org.checkerframework.framework.flow.CFAbstractAnalysis
-
Create a CFAbstractAnalysis.
- CFAbstractAnalysis(BaseTypeChecker, GenericAnnotatedTypeFactory<V, S, T, ? extends CFAbstractAnalysis<V, S, T>>, int) - Constructor for class org.checkerframework.framework.flow.CFAbstractAnalysis
-
Create a CFAbstractAnalysis.
- CFAbstractAnalysis.FieldInitialValue<V extends CFAbstractValue<V>> - Class in org.checkerframework.framework.flow
-
A triple of field, value corresponding to the annotations on its declared type, value of its initializer.
- CFAbstractStore<V extends CFAbstractValue<V>,
S extends CFAbstractStore<V, S>> - Class in org.checkerframework.framework.flow -
A store for the Checker Framework analysis.
- CFAbstractStore(CFAbstractAnalysis<V, S, ?>, boolean) - Constructor for class org.checkerframework.framework.flow.CFAbstractStore
-
Creates a new CFAbstractStore.
- CFAbstractStore(CFAbstractStore<V, S>) - Constructor for class org.checkerframework.framework.flow.CFAbstractStore
-
Copy constructor.
- CFAbstractTransfer<V extends CFAbstractValue<V>,
S extends CFAbstractStore<V, S>, T extends CFAbstractTransfer<V, S, T>> - Class in org.checkerframework.framework.flow -
The default analysis transfer function for the Checker Framework.
- CFAbstractTransfer(CFAbstractAnalysis<V, S, T>) - Constructor for class org.checkerframework.framework.flow.CFAbstractTransfer
-
Create a CFAbstractTransfer.
- CFAbstractTransfer(CFAbstractAnalysis<V, S, T>, boolean) - Constructor for class org.checkerframework.framework.flow.CFAbstractTransfer
-
Constructor that allows forcing concurrent semantics to be on for this instance of CFAbstractTransfer.
- CFAbstractValue<V extends CFAbstractValue<V>> - Class in org.checkerframework.framework.flow
-
An implementation of an abstract value used by the Checker Framework org.checkerframework.dataflow analysis.
- CFAbstractValue(CFAbstractAnalysis<V, ?, ?>, AnnotationMirrorSet, TypeMirror) - Constructor for class org.checkerframework.framework.flow.CFAbstractValue
-
Creates a new CFAbstractValue.
- CFAbstractValue.AnnotationSetCombiner - Class in org.checkerframework.framework.flow
-
Combines two sets of AnnotationMirrors by hierarchy.
- CFAbstractValue.ValueGlb - Class in org.checkerframework.framework.flow
-
Computes the GLB of two sets of annotations.
- CFAbstractValue.ValueLub - Class in org.checkerframework.framework.flow
-
Computes the least upper bound or, if
shouldWiden
is true, an upper bounds of two sets of annotations. - CFAnalysis - Class in org.checkerframework.framework.flow
-
The default org.checkerframework.dataflow analysis used in the Checker Framework.
- CFAnalysis(BaseTypeChecker, GenericAnnotatedTypeFactory<CFValue, CFStore, CFTransfer, CFAnalysis>) - Constructor for class org.checkerframework.framework.flow.CFAnalysis
-
Creates a new
CFAnalysis
. - CFCFGBuilder - Class in org.checkerframework.framework.flow
-
A control-flow graph builder (see
CFGBuilder
) that knows about the Checker Framework annotations and their representation asAnnotatedTypeMirror
s. - CFCFGBuilder() - Constructor for class org.checkerframework.framework.flow.CFCFGBuilder
-
This class should never be instantiated.
- CFCFGBuilder.CFCFGTranslationPhaseOne - Class in org.checkerframework.framework.flow
-
A specialized phase-one CFG builder, with a few modifications that make use of the type factory.
- CFCFGTranslationPhaseOne(CFTreeBuilder, BaseTypeChecker, AnnotatedTypeFactory, boolean, boolean, ProcessingEnvironment) - Constructor for class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne
- CFComment - Annotation Interface in org.checkerframework.framework.qual
-
This annotation is for comments related to the Checker Framework.
- cfg - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis
-
The current control flow graph to perform the analysis on.
- CFGBuilder - Class in org.checkerframework.dataflow.cfg.builder
-
Builds the control flow graph of some Java code (either a method, or an arbitrary statement).
- CFGBuilder() - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGBuilder
-
Creates a CFGBuilder.
- CFGLambda(LambdaExpressionTree, ClassTree, MethodTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
-
Create a new CFGLambda.
- CFGMethod(MethodTree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
- CFGProcessor - Class in org.checkerframework.dataflow.cfg
-
Generate the control flow graph of a given method in a given class.
- CFGProcessor(String, String) - Constructor for class org.checkerframework.dataflow.cfg.CFGProcessor
-
Create a CFG processor.
- CFGProcessor.CFGProcessResult - Class in org.checkerframework.dataflow.cfg
-
The result of the CFG process, contains the control flow graph when successful.
- CFGStatement(Tree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
- CFGTranslationPhaseOne - Class in org.checkerframework.dataflow.cfg.builder
-
Class that performs phase one of the translation process.
- CFGTranslationPhaseOne(TreeBuilder, AnnotationProvider, boolean, boolean, ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Creates
CFGTranslationPhaseOne
. - CFGTranslationPhaseOne.AssertMethodTuple - Class in org.checkerframework.dataflow.cfg.builder
-
Holds the elements of an
AssertMethod
annotation. - CFGTranslationPhaseThree - Class in org.checkerframework.dataflow.cfg.builder
-
Class that performs phase three of the translation process.
- CFGTranslationPhaseThree() - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
- CFGTranslationPhaseThree.PredecessorHolder - Interface in org.checkerframework.dataflow.cfg.builder
-
A simple wrapper object that holds a basic block and allows to set one of its successors.
- CFGTranslationPhaseTwo - Class in org.checkerframework.dataflow.cfg.builder
-
Class that performs phase two of the translation process.
- CFGVisualizeLauncher - Class in org.checkerframework.dataflow.cfg.visualize
-
Launcher to generate the DOT or String representation of the control flow graph of a given method in a given class.
- CFGVisualizeOptions - Class in org.checkerframework.dataflow.cfg.visualize
-
Options for running analysis on files.
- cfgVisualizer - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
The CFGVisualizer to be used by all CFAbstractAnalysis instances.
- CFGVisualizer<V extends AbstractValue<V>,
S extends Store<S>, T extends TransferFunction<V, S>> - Interface in org.checkerframework.dataflow.cfg.visualize -
Perform some visualization on a control flow graph.
- CFStore - Class in org.checkerframework.framework.flow
-
The default store used in the Checker Framework.
- CFStore(CFAbstractAnalysis<CFValue, CFStore, ?>, boolean) - Constructor for class org.checkerframework.framework.flow.CFStore
- CFStore(CFAbstractStore<CFValue, CFStore>) - Constructor for class org.checkerframework.framework.flow.CFStore
-
Copy constructor.
- CFTransfer - Class in org.checkerframework.framework.flow
-
The default transfer function used in the Checker Framework.
- CFTransfer(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Constructor for class org.checkerframework.framework.flow.CFTransfer
- CFTreeBuilder - Class in org.checkerframework.framework.flow
-
The TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker.
- CFTreeBuilder(ProcessingEnvironment) - Constructor for class org.checkerframework.framework.flow.CFTreeBuilder
-
Creates a
CFTreeBuilder
. - CFValue - Class in org.checkerframework.framework.flow
-
The default abstract value used in the Checker Framework: a set of annotations and a TypeMirror.
- CFValue(CFAbstractAnalysis<CFValue, ?, ?>, AnnotationMirrorSet, TypeMirror) - Constructor for class org.checkerframework.framework.flow.CFValue
-
Creates a new CFValue.
- CHAR - Enum constant in enum class org.checkerframework.checker.formatter.qual.ConversionCategory
-
Use if the parameter is of a basic types which represent Unicode characters: char, Character, byte, Byte, short, and Short.
- CHAR - Enum constant in enum class org.checkerframework.framework.qual.LiteralKind
-
Corresponds to
Tree.Kind.CHAR_LITERAL
trees. - CHAR - Enum constant in enum class org.checkerframework.framework.qual.TypeKind
-
Corresponds to
TypeKind.CHAR
types. - CHAR_AND_INT - Enum constant in enum class org.checkerframework.checker.formatter.qual.ConversionCategory
-
Use if the parameter is both a char and an int.
- CHAR_EVERYTHING - Static variable in class org.checkerframework.common.value.util.Range
-
A range containing all possible char values.
- CharacterLiteralNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for a character literal.
- CharacterLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
-
Create a new CharacterLiteralNode.
- charRange() - Method in class org.checkerframework.common.value.util.Range
-
Converts this range to a char range.
- chars - Variable in enum class org.checkerframework.checker.formatter.qual.ConversionCategory
-
The format specifier characters.
- check(AnnotatedTypeMirror.AnnotatedExecutableType) - Static method in class org.checkerframework.common.returnsreceiver.FluentAPIGenerator
-
Check if a method was generated by a known fluent API generator and returns its receiver.
- checkAccess(IdentifierTree, Void) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Issues an error if access not allowed, based on an @Unused annotation.
- checkAccessAllowed(Element, AnnotatedTypeMirror, ExpressionTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Issues an error if access not allowed, based on an @Unused annotation.
- checkAndPerformFlowAnalysis(Tree) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Flow analysis will be performed if all of the following are true.
- checkAnnotationForErrorExpressions(AnnotationMirror, Tree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Reports a flowexpr.parse.error error for each Java expression in the given annotation that is an expression error string.
- checkArguments(List<? extends AnnotatedTypeMirror>, List<? extends ExpressionTree>, CharSequence, List<?>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
A helper method to check that each passed argument is a subtype of the corresponding required argument.
- checkArrayInitialization(AnnotatedTypeMirror, List<? extends ExpressionTree>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Checks that the array initializers are consistent with the array type.
- checkCanonicalName(String) - Method in class org.checkerframework.checker.resourceleak.ResourceLeakChecker
-
Check if the given String refers to an actual type.
- checkClassForErrorExpressions(ClassTree, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Reports an expression.unparsable error for each Java expression in the given class declaration AnnotatedTypeMirror that is an expression error string.
- checkConditionalPostcondition(MethodTree, AnnotationMirror, JavaExpression, boolean) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Check that the expression's type is annotated with
annotation
at every regular exit that returnsresult
. - checkConstructorInvocation(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, NewClassTree) - Method in class org.checkerframework.checker.fenum.FenumVisitor
- checkConstructorInvocation(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, NewClassTree) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
- checkConstructorInvocation(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, NewClassTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Check that the (explicit) annotations on a new class tree are comparable to the result type of the constructor.
- checkConstructorResult(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Method in class org.checkerframework.checker.fenum.FenumVisitor
- checkConstructorResult(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
- checkConstructorResult(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
- checkConstructorResult(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Method in class org.checkerframework.checker.interning.InterningVisitor
- checkConstructorResult(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Method in class org.checkerframework.checker.lock.LockVisitor
- checkConstructorResult(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Method in class org.checkerframework.checker.mustcall.MustCallVisitor
-
This method typically issues a warning if the result type of the constructor is not top, because in top-default type systems that indicates a potential problem.
- checkConstructorResult(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Method in class org.checkerframework.checker.signedness.SignednessVisitor
- checkConstructorResult(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Method in class org.checkerframework.checker.tainting.TaintingVisitor
-
Don't check that the constructor result is top.
- checkConstructorResult(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Method in class org.checkerframework.common.aliasing.AliasingVisitor
- checkConstructorResult(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Issue a warning if the result type of the constructor declaration is not top.
- checkContract(JavaExpression, AnnotationMirror, AnnotationMirror, CFAbstractStore<?, ?>) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
- checkContract(JavaExpression, AnnotationMirror, AnnotationMirror, CFAbstractStore<?, ?>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Returns true if and only if
inferredAnnotation
is valid for a given expression to match thenecessaryAnnotation
. - checkDefaultConstructor(ClassTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Check the default constructor.
- CheckedExceptionConstraint - Class in org.checkerframework.framework.util.typeinference8.constraint
-
<LambdaExpression →throws T>: The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the function type derived from T.
- CheckedExceptionConstraint(ExpressionTree, AbstractType, Theta) - Constructor for class org.checkerframework.framework.util.typeinference8.constraint.CheckedExceptionConstraint
-
Creates a
CheckedExceptionConstraint
. - CheckedExceptionsUtil - Class in org.checkerframework.framework.util.typeinference8.util
-
Util for checked exception constraints.
- CheckedPatternSyntaxException(String, String, int) - Constructor for exception org.checkerframework.checker.regex.util.RegexUtil.CheckedPatternSyntaxException
-
Constructs a new CheckedPatternSyntaxException.
- CheckedPatternSyntaxException(PatternSyntaxException) - Constructor for exception org.checkerframework.checker.regex.util.RegexUtil.CheckedPatternSyntaxException
-
Constructs a new CheckedPatternSyntaxException equivalent to the given
PatternSyntaxException
. - checker - Variable in class org.checkerframework.checker.formatter.FormatterTreeUtil
-
The checker.
- checker - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
-
The checker.
- checker - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
-
The checker.
- checker - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
- checker - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
- checker - Variable in class org.checkerframework.common.basetype.BaseTypeValidator
-
BaseTypeChecker.
- checker - Variable in class org.checkerframework.common.basetype.BaseTypeVisitor
-
The
BaseTypeChecker
for error reporting. - checker - Variable in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
A checker that contains command-line arguments and other information.
- checker - Variable in class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne
-
The associated checker.
- checker - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
-
The checker to use for tests.
- checker - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
The checker to use for option handling and resource management.
- checker - Variable in class org.checkerframework.framework.type.AnnotationClassLoader
-
For issuing errors to the user.
- checker - Variable in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
The type-checker that is associated with this.
- checker - Variable in class org.checkerframework.framework.util.typeinference8.InvocationTypeInference
-
Checker used to issue errors/warnings.
- CHECKER_BASE_DIR_NAME - Static variable in class org.checkerframework.framework.util.CheckerMain
-
Processor shorthand is enabled for processors in this directory in checker.jar.
- CHECKER_QUAL_PATH_OPT - Static variable in class org.checkerframework.framework.util.CheckerMain
-
Option name for specifying an alternative checker-qual.jar location.
- CHECKER_UTIL_PATH_OPT - Static variable in class org.checkerframework.framework.util.CheckerMain
-
Option name for specifying an alternative checker-util.jar location.
- CheckerFrameworkPerDirectoryTest - Class in org.checkerframework.framework.test
-
Compiles all test files in a test directory together.
- CheckerFrameworkPerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
Creates a new checker test.
- CheckerFrameworkPerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, List<String>, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
Creates a new checker test.
- CheckerFrameworkPerDirectoryTest(List<File>, List<String>, String, List<String>, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
Creates a new checker test.
- CheckerFrameworkPerFileTest - Class in org.checkerframework.framework.test
-
Compiles all test files individually.
- CheckerFrameworkPerFileTest(File, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
-
Creates a new checker test.
- CheckerFrameworkWPIPerDirectoryTest - Class in org.checkerframework.framework.test
-
A specialized variant of
CheckerFrameworkPerDirectoryTest
for testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of classAinferGeneratePerDirectoryTest
) to do inference using the-Ainfer
option, and a "validation test" (of classAinferValidatePerDirectoryTest
) to check that files typecheck after those inferences are taken into account. - CheckerFrameworkWPIPerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest
-
Creates a new checker test.
- checkerJar - Variable in class org.checkerframework.framework.util.CheckerMain
-
The path to the jar containing CheckerMain.class (i.e.
- CheckerMain - Class in org.checkerframework.framework.util
-
This class behaves similarly to javac.
- CheckerMain(File, List<String>) - Constructor for class org.checkerframework.framework.util.CheckerMain
-
Construct all the relevant file locations and Java version given the path to this jar and a set of directories in which to search for jars.
- checkerName - Variable in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
-
The (optional) checker name.
- checkerNames - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
The binary names of the checkers to run.
- checkerOptions - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
Extra options to pass to javac when running the checker.
- checkerOptions - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
-
Extra options to pass to javac when running the checker.
- checkerQualJar - Variable in class org.checkerframework.framework.util.CheckerMain
-
The path to checker-qual.jar.
- checkers - Variable in class org.checkerframework.framework.source.AggregateChecker
- checkerUtilJar - Variable in class org.checkerframework.framework.util.CheckerMain
-
The path to checker-util.jar.
- checkExceptionalPostcondition(EnsuresCalledMethodOnExceptionContract, MethodTree) - Method in class org.checkerframework.checker.calledmethods.CalledMethodsVisitor
-
Check if the given postcondition is really ensured by the body of the given method.
- checkExceptionParameter(CatchTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
- checkExceptionParameter(CatchTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Issue error if the exception parameter is not a supertype of the annotation specified by
BaseTypeVisitor.getExceptionParameterLowerBoundAnnotations()
, which is top by default. - checkExplicitAnnotationsOnIntersectionBounds(AnnotatedTypeMirror.AnnotatedIntersectionType, List<? extends Tree>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Issues "explicit.annotation.ignored" warning if any explicit annotation on an intersection bound is not the same as the primary annotation of the given intersection type.
- checkExtendsAndImplements(ClassTree) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
- checkExtendsAndImplements(ClassTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
In
@A class X extends @B Y implements @C Z {}
, enforce that@A
must be a subtype of@B
and@C
. - checkExtendsOrImplements(Tree, AnnotationMirrorSet, TypeMirror, boolean) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Helper for
BaseTypeVisitor.checkExtendsAndImplements(com.sun.source.tree.ClassTree)
that checks one extends or implements clause. - checkFieldInvariantDeclarations(ClassTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Check that the field invariant declaration annotations meet the following requirements: If the superclass of
classTree
has a field invariant, then the field invariant forclassTree
must include all the fields in the superclass invariant and those fields' annotations must be a subtype (or equal) to the annotations for those fields in the superclass. - checkFieldsInitialized(Tree, boolean, Store, List<? extends AnnotationMirror>) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
-
Checks that all fields (all static fields if
staticFields
is true) are initialized in the given store. - checkForDefaultQualifierInHierarchy(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Check that a default qualifier (in at least one hierarchy) has been set and issue an error if not.
- checkForRedundantTests(BinaryTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
-
Reports an error if a comparison of a @NonNull expression with the null literal is performed.
- checkInvalidOptionsInferSignatures() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
This method is called only when
-Ainfer
is passed as an option. - checkInvariants() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
Verify that this is a complete and well-formed CFG, i.e.
- checkMethodForErrorExpressions(MethodTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Reports an expression.unparsable error for each Java expression in the method declaration AnnotatedTypeMirror that is an expression error string.
- checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
- checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
- checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Tests whether the method can be invoked using the receiver of the 'tree' method invocation, and issues a "method.invocation" if the invocation is invalid.
- checkMethodReferenceAsOverride(MemberReferenceTree, Void) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Check that a method reference is allowed.
- checkOrAreEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
-
First check visitHistory to see if type1 and type2 have been compared once already.
- checkOverride() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker
-
Perform the check.
- checkOverride(MethodTree, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class org.checkerframework.checker.lock.LockVisitor
-
Ensures that subclass methods are annotated with a stronger or equally strong side effect annotation than the parent class method.
- checkOverride(MethodTree, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Type checks that a method may override another method.
- checkOverride(MethodTree, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Type checks that a method may override another method.
- checkOverride(MethodTree, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class org.checkerframework.common.value.ValueVisitor
-
Return types for methods that are annotated with
@IntRangeFromX
annotations need to be replaced with@UnknownVal
. - checkPostcondition(MethodTree, AnnotationMirror, JavaExpression) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Check that the expression's type is annotated with
annotation
at the regular exit store. - checkPreconditions(MethodInvocationTree, Set<Contract.Precondition>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Checks that all the given
preconditions
hold true immediately prior to the method invocation or variable access attree
. - checkPurity(TreePath, AnnotationProvider, boolean, boolean, boolean) - Static method in class org.checkerframework.dataflow.util.PurityChecker
-
Compute whether the given statement is side-effect-free, deterministic, or both.
- checkPurityAnnotations(MethodTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Check method purity if needed.
- checkQualifierParameter(ClassTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Issues an error if
classTree
has polymorphic fields but is not annotated with@HasQualifierParameter
. - checkReceiverOverride() - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor.GuiEffectOverrideChecker
-
Extend the receiver part of the method override check.
- checkReceiverOverride() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker
-
Issue an "override.receiver" error if the receiver override is not valid.
- checkResult(TypecheckResult) - Method in class org.checkerframework.framework.test.AinferGeneratePerDirectoryTest
-
Check that the
TypecheckResult
did not fail. - checkSuperConstructorCall(MethodInvocationTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Checks that the following rule is satisfied: The type on a constructor declaration must be a supertype of the return type of "super()" invocation within that constructor.
- checkThisConstructorCall(MethodInvocationTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Checks that the following rule is satisfied: The type on a constructor declaration must be a supertype of the return type of "this()" invocation within that constructor.
- checkThisOrSuperConstructorCall(MethodInvocationTree, String) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
- checkThisOrSuperConstructorCall(MethodInvocationTree, String) - Method in class org.checkerframework.common.aliasing.AliasingVisitor
- checkThisOrSuperConstructorCall(MethodInvocationTree, String) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Checks that the following rule is satisfied: The type on a constructor declaration must be a supertype of the return type of "this()" or "super()" invocation within that constructor.
- checkThrownExpression(ThrowTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
-
Case 4: Check for thrown exception nullness.
- checkThrownExpression(ThrowTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Checks the type of the thrown expression.
- checkTopLevelDeclaredOrPrimitiveType - Variable in class org.checkerframework.common.basetype.BaseTypeValidator
-
Should the primary annotation on the top level type be checked?
- checkTypeArguments(Tree, List<? extends AnnotatedTypeParameterBounds>, List<? extends AnnotatedTypeMirror>, List<? extends Tree>, CharSequence, List<?>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Checks that the annotations on the type arguments supplied to a type or a method invocation are within the bounds of the type variables as declared, and issues the "type.argument" error if they are not.
- checkTypecastRedundancy(TypeCastTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
If the lint option "cast:redundant" is set, this method issues a warning if the cast is redundant.
- checkTypecastSafety(TypeCastTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Issues a warning if the given explicitly-written typecast is unsafe.
- checkTypeForErrorExpressions(AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Reports an expression.unparsable error for each Java expression in the given type that is an expression error string.
- checkVarargs(AnnotatedTypeMirror.AnnotatedExecutableType, Tree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
If the given invocation is a varargs invocation, check that the array type of actual varargs is a subtype of the corresponding formal parameter; issues "argument" error if not.
- classAndMethodTreeKinds() - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns the set of kinds that represent classes and methods.
- classbody - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
-
Class body for anonymous classes, otherwise null.
- ClassBound - Annotation Interface in org.checkerframework.common.reflection.qual
-
This represents a
Class<T>
object whose run-time value is equal to or a subtype of one of the arguments. - classBoundValueElement - Variable in class org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
-
The ClassBound.value argument/element.
- classCastExceptionType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
The ClassCastException type .
- classCircularityErrorType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
The ClassCircularityError type.
- ClassDeclarationNode - Class in org.checkerframework.dataflow.cfg.node
-
A node representing a class declaration that occurs within a method, for example, an anonymous class declaration.
- ClassDeclarationNode(ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
- classExtendsTAPosition(int, int) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
Create a class extends TypeAnnotationPosition.
- classFormatErrorType - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
The ClassFormatErrorType type.
- classGetCanonicalName - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
-
The Class.getCanonicalName() method.
- ClassGetName - Annotation Interface in org.checkerframework.checker.signature.qual
-
The type representation used by the
Class.getName()
,Class.forName(String)
, andClass.forName(String, boolean, ClassLoader)
methods. - ClassGetSimpleName - Annotation Interface in org.checkerframework.checker.signature.qual
-
The format produced by the
Class.getSimpleName()
method. - classLoader - Variable in class org.checkerframework.framework.type.AnnotationClassLoader
-
The class loader used to load annotation classes.
- className() - Element in annotation interface org.checkerframework.common.reflection.qual.MethodVal
-
The binary name of the class that declares this method.
- ClassName - Class in org.checkerframework.dataflow.expression
-
A ClassName represents either a class literal or the occurrence of a class as part of a static field access or static method invocation.
- ClassName(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.ClassName
-
Creates a new ClassName object for the given type.
- ClassNameNode - Class in org.checkerframework.dataflow.cfg.node
-
A node representing a class name used in an expression such as a static method invocation.
- ClassNameNode(ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
-
Create a new ClassNameNode.
- ClassNameNode(IdentifierTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
- ClassNameNode(MemberSelectTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
- ClassNameNode(TypeMirror, Element) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
- classpathExtra - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
Extra entries for the classpath.
- 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
-
Return the set of kinds that represent classes.
- ClassTypeParamApplier - Class in org.checkerframework.framework.util.element
-
Applies the annotations present for a class type parameter onto an AnnotatedTypeVariable.
- ClassVal - Annotation Interface in org.checkerframework.common.reflection.qual
-
This represents a
Class<T>
object where the set of possible values of T is known at compile time. - CLASSVAL_TOP - Variable in class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
- ClassValAnnotatedTypeFactory - Class in org.checkerframework.common.reflection
-
A type factory for the @ClassVal and @ClassBound annotations.
- ClassValAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
-
Create a new ClassValAnnotatedTypeFactory.
- ClassValAnnotatedTypeFactory.ClassValQualifierHierarchy - Class in org.checkerframework.common.reflection
-
The qualifier hierarchy for the ClassVal type system.
- ClassValAnnotatedTypeFactory.ClassValTreeAnnotator - Class in org.checkerframework.common.reflection
-
Implements the following type inference rules.
- ClassValBottom - Annotation Interface in org.checkerframework.common.reflection.qual
-
The bottom type in the ClassVal type system.
- ClassValChecker - Class in org.checkerframework.common.reflection
-
The ClassVal Checker provides a sound estimate of the binary name of Class objects.
- ClassValChecker() - Constructor for class org.checkerframework.common.reflection.ClassValChecker
- ClassValQualifierHierarchy(Set<Class<? extends Annotation>>, Elements) - Constructor for class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory.ClassValQualifierHierarchy
-
Creates a ClassValQualifierHierarchy from the given classes.
- ClassValTreeAnnotator(ClassValAnnotatedTypeFactory) - Constructor for class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory.ClassValTreeAnnotator
- classValues - Variable in class org.checkerframework.framework.flow.CFAbstractStore
-
Information collected about classname.class values, using the internal representation
ClassName
. - classValValueElement - Variable in class org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
-
The ClassVal.value argument/element.
- ClassValVisitor - Class in org.checkerframework.common.reflection
-
A visitor to verify validity of
@
ClassVal
annotations. - ClassValVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.common.reflection.ClassValVisitor
-
Create a new ClassValVisitor.
- clear() - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
- clear() - Method in class org.checkerframework.framework.util.TreePathCacher
- clear() - Method in class org.checkerframework.javacutil.AnnotationMirrorMap
- clear() - Method in class org.checkerframework.javacutil.AnnotationMirrorSet
- clearAnnotations() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Deprecated.
- clearAnnotations(Node) - Static method in class org.checkerframework.framework.util.JavaParserUtil
-
Side-effects
node
by removing all annotations from anywhere inside its subtree. - clearCache() - Method in class org.checkerframework.framework.type.typeannotator.DefaultQualifierForUseTypeAnnotator
-
Clears all caches.
- clearPrimaryAnnotations() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Removes all primary annotations on this type.
- clearValue(JavaExpression) - Method in class org.checkerframework.framework.flow.CFAbstractStore
-
Remove any knowledge about the expression
expr
(correctly deciding where to remove the information depending on the type of the expressionexpr
). - cloneElements(C) - Static method in class org.checkerframework.javacutil.CollectionUtils
-
Deprecated.use org.plumelib.util.CollectionsPlume.cloneElements
- cloneElements(M) - Static method in class org.checkerframework.javacutil.CollectionUtils
-
Deprecated.use org.plumelib.util.CollectionsPlume.cloneElements
- cloneElements(Pair<T1, T2>) - Static method in class org.checkerframework.javacutil.Pair
-
Deprecated.Returns a copy of this in which each element is a clone of the corresponding element of this.
- cloneValues(M) - Static method in class org.checkerframework.javacutil.CollectionUtils
-
Deprecated.use org.plumelib.util.CollectionsPlume.cloneValues
- close() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
- close() - Method in class org.checkerframework.framework.type.AnnotationClassLoader
- code - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
- collectArgFiles(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
-
Return the arguments that start with @ and therefore are files that contain javac arguments.
- collectionToArrayHeuristics - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
-
Determines the nullness type of calls to
Collection.toArray()
. - CollectionToArrayHeuristics - Class in org.checkerframework.checker.nullness
-
Determines the nullness type of calls to
Collection.toArray()
. - CollectionToArrayHeuristics(BaseTypeChecker, NullnessAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.nullness.CollectionToArrayHeuristics
-
Create a CollectionToArrayHeuristics.
- CollectionUtils - Class in org.checkerframework.javacutil
-
Utility methods related to Java Collections.
- colonSplitter - Static variable in class org.checkerframework.javacutil.SystemUtil
-
A splitter that splits on colons.
- com.google.errorprone.annotations - package com.google.errorprone.annotations
- combine(AnnotationMirror, AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism
-
Returns annotation that is the combination of the two annotations.
- combine(AnnotationMirror, AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.type.poly.DefaultQualifierPolymorphism
-
This implementation combines the two annotations using the least upper bound.
- combine(AnalysisResult<V, S>) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult
-
Combine with another analysis result.
- combine(AnnotatedTypeMirror, AnnotatedTypeMirror, QualifierHierarchy) - Static method in class org.checkerframework.framework.type.visitor.AnnotatedTypeCombiner
-
Combines all annotations from
from
andto
intoto
using the GLB. - combineAnnotations(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeCombiner
-
Computes the greatest lower bound of each set of annotations shared by from and to, and replaces the annotations in to with the result.
- combineAnnotationWithTypeVar(AnnotationMirror, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotationMirror, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner
-
Returns the result of combining
annotation
withtypeVar
. - combineAnnotationWithTypeVar(AnnotationMirror, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotationMirror, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueGlb
- combineAnnotationWithTypeVar(AnnotationMirror, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotationMirror, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueLub
- combineResults(R1, R1) - Method in class org.checkerframework.javacutil.SwitchExpressionScanner.FunctionalSwitchExpressionScanner
- combineResults(R, R) - Method in class org.checkerframework.javacutil.SwitchExpressionScanner
-
This method combines the result of two calls to
SwitchExpressionScanner.visitSwitchResultExpression(ExpressionTree, Object)
ornull
and the result of one call toSwitchExpressionScanner.visitSwitchResultExpression(ExpressionTree, Object)
. - combineSets(TypeMirror, AnnotationMirrorSet, TypeMirror, AnnotationMirrorSet, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner
-
Combines the two sets.
- combineTwoAnnotations(AnnotationMirror, TypeMirror, AnnotationMirror, TypeMirror, AnnotationMirror) - Method in class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner
-
Returns the result of combining the two annotations.
- combineTwoAnnotations(AnnotationMirror, TypeMirror, AnnotationMirror, TypeMirror, AnnotationMirror) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueGlb
- combineTwoAnnotations(AnnotationMirror, TypeMirror, AnnotationMirror, TypeMirror, AnnotationMirror) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueLub
- combineTwoTypeVars(AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotationMirror, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner
-
Returns the primary annotation that result from of combining the two
AnnotatedTypeMirror.AnnotatedTypeVariable
. - combineTwoTypeVars(AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotationMirror, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueGlb
- combineTwoTypeVars(AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotationMirror, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueLub
- COMMAND_LINE_STUB - Enum constant in enum class org.checkerframework.framework.stub.AnnotationFileUtil.AnnotationFileType
-
Stub file provided on command line.
- commaSplitter - Static variable in class org.checkerframework.javacutil.SystemUtil
-
A splitter that splits on commas.
- CommitmentTreeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
- CommitmentTypeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator
- COMMON_BASE_DIR_NAME - Static variable in class org.checkerframework.framework.util.CheckerMain
-
Processor shorthand is enabled for processors in this directory in checker.jar.
- commonAssignmentCheck(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.index.inequality.LessThanVisitor
- commonAssignmentCheck(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundVisitor
- commonAssignmentCheck(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundVisitor
- commonAssignmentCheck(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
- commonAssignmentCheck(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
- commonAssignmentCheck(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.common.aliasing.AliasingVisitor
- commonAssignmentCheck(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it is not valid.
- commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundVisitor
- commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
- commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.optional.OptionalVisitor
- commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String, Object...) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it is not valid.
- commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String, Object...) - Method in class org.checkerframework.common.value.ValueVisitor
-
ValueVisitor overrides this method so that it does not have to check variables annotated with the
IntRangeFromPositive
annotation, theIntRangeFromNonNegative
annotation, or theIntRangeFromGTENegativeOne
annotation. - commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.checker.formatter.FormatterVisitor
- commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterVisitor
- commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.checker.index.inequality.LessThanVisitor
- commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.checker.index.samelen.SameLenVisitor
-
Merges SameLen annotations, then calls super.
- commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.checker.lock.LockVisitor
- commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
- commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.common.aliasing.AliasingVisitor
- commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it is not valid.
- commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.common.value.ValueVisitor
- commonAssignmentCheckEndDiagnostic(boolean, String, AnnotatedTypeMirror, AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Prints a diagnostic about exiting
commonAssignmentCheck()
, if the showchecks option was set. - commonAssignmentCheckEndDiagnostic(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Helper method for printing a diagnostic about exiting
commonAssignmentCheck()
, if the showchecks option was set. - commonAssignmentCheckStartDiagnostic(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Prints a diagnostic about entering
commonAssignmentCheck()
, if the showchecks option was set. - commonConvert(Node, TypeMirror, boolean) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Assignment conversion and method invocation conversion are almost identical, except that assignment conversion allows narrowing.
- comparator() - Method in class org.checkerframework.javacutil.AnnotationMirrorSet
- compare(Block, Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.BackwardDfoComparator
- compare(Block, Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.ForwardDfoComparator
- compare(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.EqualityAtmComparer
-
Return true if the twe types are the same.
- compareAnnotationMirrors(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Provide an ordering for
AnnotationMirror
s. - compareByName(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Return -1, 0, or 1 depending on whether the name of a1 is less, equal to, or greater than that of a2 (lexicographically).
- compareDiagnosticPosition(Tree, Tree) - Static method in class org.checkerframework.javacutil.InternalUtils
-
Compares tree1 to tree2 by the position at which a diagnostic (e.g., an error message) for the tree should be printed.
- compareTo(Default) - Method in class org.checkerframework.framework.util.defaults.Default
- compareTo(QualifierKind) - Method in interface org.checkerframework.framework.util.QualifierKind
- CompareToMethod - Annotation Interface in org.checkerframework.checker.interning.qual
-
Method declaration annotation that indicates a method has a specification like
compareTo()
orcompare()
. - compareUnsigned(byte, byte) - Static method in class org.checkerframework.checker.signedness.util.SignednessUtil
-
Compares two unsigned bytes x and y.
- compareUnsigned(short, short) - Static method in class org.checkerframework.checker.signedness.util.SignednessUtil
-
Compares two unsigned shorts x and y.
- CompilationResult - Class in org.checkerframework.framework.test
-
CompilationResult represents the output of the compiler after it is run.
- compile(TestConfiguration) - Method in class org.checkerframework.framework.test.TypecheckExecutor
-
Using the settings from the input configuration, compile all source files in the configuration, and return the result in a CompilationResult.
- compiledWithoutError() - Method in class org.checkerframework.framework.test.CompilationResult
-
Returns whether or not compilation succeeded without errors or exceptions.
- CompilerMessageKey - Annotation Interface in org.checkerframework.checker.compilermsgs.qual
-
A string that is definitely a compiler message key.
- CompilerMessageKeyBottom - Annotation Interface in org.checkerframework.checker.compilermsgs.qual
-
The bottom type in the Compiler Message Key type system.
- CompilerMessagesAnnotatedTypeFactory - Class in org.checkerframework.checker.compilermsgs
-
A PropertyKeyATF that uses CompilerMessageKey to annotate the keys.
- CompilerMessagesAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
- CompilerMessagesChecker - Class in org.checkerframework.checker.compilermsgs
-
A PropertyKeyChecker for the compiler message keys that are used in the Checker Framework.
- CompilerMessagesChecker() - Constructor for class org.checkerframework.checker.compilermsgs.CompilerMessagesChecker
- compileTimeDeclarationType(MemberReferenceTree) - Method in class org.checkerframework.framework.util.typeinference8.types.InferenceFactory
-
Returns the compile-time declaration of the method reference that is the method to which the expression refers.
- componentsByName - Variable in class org.checkerframework.framework.stub.AnnotationFileParser.RecordStub
-
A map from name to record component.
- componentsInCanonicalConstructor - Variable in class org.checkerframework.framework.stub.AnnotationFileParser.RecordStub
-
If the canonical constructor is given in the stubs, the annotated types (in component declaration order) for the constructor.
- compoundAssignmentTreeArgTypes(CompoundAssignmentTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Returns the types of the two arguments to the CompoundAssignmentTree, accounting for widening and unboxing if applicable.
- computeNeighborhoodOfEmptyBlock(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
-
Compute the set of empty regular basic blocks
emptyBlocks
, starting atstart
and going both forward and backwards. - computeNeighborhoodOfEmptyBlockBackwards(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
-
Compute the set of empty regular basic blocks
emptyBlocks
, starting atstart
and looking only backwards in the control flow graph. - computeNewValueAndInsert(JavaExpression, V, BinaryOperator<V>, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractStore
-
Inserts the result of applying
merger
tovalue
and the previous value forexpr
. - concatenateAddedStringLiterals(Node) - Static method in class org.checkerframework.framework.util.JavaParserUtil
-
Side-effects node by combining any added String literals in node's subtree into their concatenation.
- condition - Variable in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
-
The condition that if it is false, the assertion exception is thrown.
- condition - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
-
Node representing the condition checked by the expression
- CONDITIONAL_BLOCK - Enum constant in enum class org.checkerframework.dataflow.cfg.block.Block.BlockType
-
A conditional basic block.
- CONDITIONAL_JUMP - Enum constant in enum class org.checkerframework.dataflow.cfg.builder.ExtendedNode.ExtendedNodeType
- ConditionalAndNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for a conditional and expression:
- ConditionalAndNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
-
Create a new ConditionalAndNode.
- ConditionalBlock - Interface in org.checkerframework.dataflow.cfg.block
-
Represents a conditional basic block.
- ConditionalBlockImpl - Class in org.checkerframework.dataflow.cfg.block
-
Implementation of a conditional basic block.
- ConditionalBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
-
Initialize an empty conditional basic block to be filled with contents and linked to other basic blocks later.
- conditionalExprPromotion(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Convert an operand of a conditional expression to the type of the whole expression.
- ConditionalJump - Class in org.checkerframework.dataflow.cfg.builder
-
An extended node of type
ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP
. - ConditionalJump(Label, Label) - Constructor for class org.checkerframework.dataflow.cfg.builder.ConditionalJump
-
Construct a ConditionalJump.
- ConditionalNotNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for a conditional not expression:
- ConditionalNotNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
-
Create a new ConditionalNotNode.
- ConditionalOrNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for a conditional or expression:
- ConditionalOrNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
-
Create a new ConditionalOrNode.
- ConditionalPostcondition(String, AnnotationMirror, AnnotationMirror, boolean) - Constructor for class org.checkerframework.framework.util.Contract.ConditionalPostcondition
-
Create a new conditional postcondition.
- CONDITIONALPOSTCONDITION - Enum constant in enum class org.checkerframework.framework.util.Contract.Kind
-
A conditional postcondition.
- ConditionalPostconditionAnnotation - Annotation Interface in org.checkerframework.framework.qual
-
A meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version of
EnsuresQualifierIf
orEnsuresQualifierIf.List
. - ConditionalTransferResult<V extends AbstractValue<V>,
S extends Store<S>> - Class in org.checkerframework.dataflow.analysis -
Implementation of a
TransferResult
with two non-exceptional stores. - ConditionalTransferResult(V, S, S) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
Create a new
ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean)
, usingfalse
for whether the store changed andnull
forTransferResult.exceptionalStores
. - ConditionalTransferResult(V, S, S, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
Create a new
ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean)
, usingnull
forTransferResult.exceptionalStores
. - ConditionalTransferResult(V, S, S, Map<TypeMirror, S>, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
Create a
ConditionalTransferResult
withthenStore
as the resulting store if the correspondingNode
evaluates totrue
andelseStore
otherwise. - ConditionalTransferResult(V, S, S, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
Create a new
ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean)
, usingfalse
for thestoreChanged
formal parameter. - Constant - Class in org.checkerframework.dataflow.constantpropagation
- Constant(Integer) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant
-
Create a constant for
value
. - Constant(Constant.Type) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant
-
Create a constant for
type
. - CONSTANT - Enum constant in enum class org.checkerframework.dataflow.constantpropagation.Constant.Type
- Constant.Type - Enum Class in org.checkerframework.dataflow.constantpropagation
- ConstantPropagationPlayground - Class in org.checkerframework.dataflow.cfg.playground
-
Run constant propagation for a specific file and create a PDF of the CFG.
- ConstantPropagationStore - Class in org.checkerframework.dataflow.constantpropagation
-
A store that records information about constant values.
- ConstantPropagationStore() - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
-
Creates a new ConstantPropagationStore.
- ConstantPropagationStore(Map<Node, Constant>) - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
- ConstantPropagationTransfer - Class in org.checkerframework.dataflow.constantpropagation
- ConstantPropagationTransfer() - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
- constrainAnonymousClassToUI(TypeElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
-
Force the given anonymous inner class to be an @UI instantiation of its base class.
- constrainLambdaToUI(LambdaExpressionTree) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
-
Force the given lambda expression to have UIEffect.
- Constraint - Interface in org.checkerframework.framework.util.typeinference8.constraint
-
A constraint.
- Constraint.Kind - Enum Class in org.checkerframework.framework.util.typeinference8.constraint
-
A kind of Constraint.
- constraints - Variable in class org.checkerframework.framework.util.typeinference8.types.VariableBounds
-
Constraints implied by complementary pairs of bounds found during incorporation.
- constraintSet - Variable in class org.checkerframework.framework.util.typeinference8.constraint.ReductionResult.ReductionResultPair
-
A constraint set.
- ConstraintSet - Class in org.checkerframework.framework.util.typeinference8.constraint
-
A set of constraints and the operations that can be performed on them.
- ConstraintSet(Constraint...) - Constructor for class org.checkerframework.framework.util.typeinference8.constraint.ConstraintSet
-
Creates a constraint set with
constraints
. - constructor(NewClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Deprecated.use elementFromUse instead
- CONSTRUCTOR_RESULT - Enum constant in enum class org.checkerframework.framework.qual.TypeUseLocation
-
Apply default annotations to all unannotated raw types of constructor result types.
- constructorFromUse(NewClassTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Determines the type of the invoked constructor based on the passed new class tree.
- constructorFromUse(NewClassTree, boolean) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
- constructorFromUse(NewClassTree, boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
- constructorFromUse(NewClassTree, boolean) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
- constructorFromUsePreSubstitution(NewClassTree, AnnotatedTypeMirror.AnnotatedExecutableType, boolean) - Method in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
- constructorFromUsePreSubstitution(NewClassTree, AnnotatedTypeMirror.AnnotatedExecutableType, boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
A callback method for the AnnotatedTypeFactory subtypes to customize the handling of the declared constructor type before type variable substitution.
- constructorFromUsePreSubstitution(NewClassTree, AnnotatedTypeMirror.AnnotatedExecutableType, boolean) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
- constructorFromUseWithoutTypeArgInference(NewClassTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
The same as
AnnotatedTypeFactory.constructorFromUse(NewClassTree)
, but no type arguments are inferred. - CONTAINED - Enum constant in enum class org.checkerframework.framework.util.typeinference8.constraint.Constraint.Kind
-
< S <= T >
: A type argument S is contained by a type argument T. - containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.ClassName
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.FieldAccess
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.FormalParameter
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Returns the first subexpression whose class is the given class, or null.
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.LocalVariable
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.MethodCall
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.SuperReference
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.ThisReference
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.Unknown
- containedOfClass(Class<T>) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
- containedUnknown() - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Returns the first subexpression whose class is
Unknown
, or null. - contains(long) - Method in class org.checkerframework.common.value.util.Range
-
Returns true if the element is contained in this range.
- contains(Object) - Method in class org.checkerframework.javacutil.AnnotationMirrorSet
- contains(Types, TypeMirror) - Method in interface org.checkerframework.checker.resourceleak.SetOfTypes
-
Test whether this set contains the given type.
- contains(Range) - Method in class org.checkerframework.common.value.util.Range
-
Returns true if the other range is contained in this range.
- contains(Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist
-
Check if
AbstractAnalysis.Worklist.queue
contains the block which is passed as the argument. - contains(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
- contains(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror) - Method in class org.checkerframework.framework.type.SubtypeVisitHistory
-
Returns true if type1 and type2 (or an equivalent pair) have been passed to the put method previously.
- containsAll(Collection<?>) - Method in class org.checkerframework.javacutil.AnnotationMirrorSet
- containsCapture(Collection<Variable>) - Method in class org.checkerframework.framework.util.typeinference8.bound.BoundSet
-
Does the bound set contain a bound of the form
G<..., ai, ...> = capture(G<...>)
for any variable inas
? - containsCapturedTypes() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Whether this contains any captured type variables.
- containsCapturedTypes(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Returns true if
type
contains any captured type variables. - containsFalse() - Method in class org.checkerframework.framework.util.typeinference8.bound.BoundSet
-
Return whether this bound set contains false.
- ContainsInferenceVariable - Class in org.checkerframework.framework.util.typeinference8.types
-
Helper class for determining if a type contains an inference variable.
- containsKey(Object) - Method in class org.checkerframework.framework.util.typeinference8.util.Theta
- containsKey(Object) - Method in class org.checkerframework.javacutil.AnnotationMirrorMap
- containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
- containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
- containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.ClassName
- containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.FieldAccess
- containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Returns true if and only if
other
appears anywhere in this or an expression appears in this such thatother
might alias this expression, and that expression is modifiable. - containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.MethodCall
- containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.SuperReference
- containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.ThisReference
- containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
- containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.Unknown
- containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
- containsModifier(AnnotatedTypeMirror, AnnotationMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Checks whether type contains the given modifier, also recursively in type arguments and arrays.
- containsNullnessAnnotation(List<? extends AnnotationTree>, Tree) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
-
Returns true if some annotation on the given type, or in the given list, is a nullness annotation such as @NonNull, @Nullable, @MonotonicNonNull, etc.
- containsNullnessAnnotation(List<? extends AnnotationTree>) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
-
Returns true if some annotation in the given list is a nullness annotation such as @NonNull, @Nullable, @MonotonicNonNull, etc.
- containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Returns true if some subexpression is of given class.
- 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>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
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.
- containsSameByName(Collection<? extends AnnotationMirror>, String) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that the collection contains an annotation of the given name.
- containsSameByName(Collection<? extends AnnotationMirror>, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that the collection contains an annotation of the given name.
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ClassName
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.FieldAccess
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.FormalParameter
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Returns true if and only if this contains a JavaExpression that is syntactically equal to
other
. - containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.LocalVariable
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.MethodCall
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.SuperReference
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ThisReference
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.Unknown
- containsSyntacticEqualJavaExpression(JavaExpression) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
- containsThisConstructorInvocation(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Returns true if the first statement in the body is a self constructor invocation within a constructor.
- containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
- containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult
- containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferInput
-
Returns
true
if and only if this transfer input contains two stores that are potentially not equal. - containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
Returns
true
if and only if this transfer result contains two stores that are potentially not equal. - containsUnknown() - Method in class org.checkerframework.dataflow.expression.JavaExpression
-
Returns true if some subexpression is
Unknown
. - containsValue(Object) - Method in class org.checkerframework.javacutil.AnnotationMirrorMap
- contents - Variable in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
-
Internal representation of the contents.
- context - Variable in class org.checkerframework.framework.util.typeinference8.InvocationTypeInference
-
Stores information about the current inference problem being solved.
- context - Variable in class org.checkerframework.framework.util.typeinference8.types.AbstractQualifier
-
The context.
- context - Variable in class org.checkerframework.framework.util.typeinference8.types.AbstractType
-
The context object.
- context - Variable in class org.checkerframework.framework.util.typeinference8.types.Variable
-
The context.
- continuationPart(String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
Return the continuation part.
- Contract - Class in org.checkerframework.framework.util
-
A contract represents an annotation on an expression.
- Contract.ConditionalPostcondition - Class in org.checkerframework.framework.util
-
Represents a conditional postcondition that must be verified by
BaseTypeVisitor
or one of its subclasses. - Contract.Kind - Enum Class in org.checkerframework.framework.util
-
Enumerates the kinds of contracts.
- Contract.Postcondition - Class in org.checkerframework.framework.util
-
A postcondition contract.
- Contract.Precondition - Class in org.checkerframework.framework.util
-
A precondition contract.
- contractAnnotation - Variable in class org.checkerframework.framework.util.Contract
-
The annotation that expressed this contract; used for diagnostic messages, but not for the location of the diagnostic message.
- contractExpressionAndType(String, AnnotationMirror) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Returns a string representation of an expression and type qualifier.
- ContractsFromMethod - Class in org.checkerframework.framework.util
-
A utility class to retrieve pre- and postconditions from a method.
- ContractsFromMethod(GenericAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.framework.util.ContractsFromMethod
-
Creates a ContractsFromMethod for the given factory.
- contractsUtils - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
To handle method pre- and postconditions.
- ControlFlowGraph - Class in org.checkerframework.dataflow.cfg
-
A control flow graph (CFG for short) of a single method.
- ControlFlowGraph(SpecialBlock, SpecialBlockImpl, SpecialBlockImpl, UnderlyingAST, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, BinaryTree>, List<ReturnNode>, List<ClassTree>, List<LambdaExpressionTree>) - Constructor for class org.checkerframework.dataflow.cfg.ControlFlowGraph
- ConversionCategory - Enum Class in org.checkerframework.checker.formatter.qual
-
Elements of this enumeration are used in a
Format
annotation to indicate the valid types that may be passed as a format parameter. - conversionCharFromFormat(String) - Static method in class org.checkerframework.checker.formatter.util.FormatUtil
-
Deprecated.This method is public only for testing. Use private method
#conversionCharFromFormat(Matcher)
. - conversionRequiresNarrowing(TypeMirror, Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Return whether a conversion from the type of the node to varType requires narrowing.
- convert(List<JavaExpression>) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
-
Converts all the expressions in
list
and returns the resulting list. - convert(JavaExpression) - Method in class org.checkerframework.dataflow.expression.JavaExpressionConverter
-
Converts
javaExpr
and returns the resultingJavaExpression
. - convertAnnotatedTypeMirror(StringToJavaExpression, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Calls
DependentTypesHelper.convertAnnotationMirror(StringToJavaExpression, AnnotationMirror)
on each annotation mirror on type withstringToJavaExpr
. - convertAnnotationMirror(StringToJavaExpression, AnnotationMirror) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Given an annotation
anno
, this method builds a new annotation with the Java expressions transformed according tostringToJavaExpr
. - convertArrayLenToArrayLenRange(AnnotationMirror) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Converts an
@ArrayLen
annotation to an@ArrayLenRange
annotation. - convertCallArguments(ExpressionTree, ExecutableElement, ExecutableType, List<? extends ExpressionTree>) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
-
Given a method element, its type at the call site, and a list of argument expressions, return a list of
Node
s representing the arguments converted for a call of the method. - convertedTreeLookup - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
- convertIntRangeToIntVal(AnnotationMirror) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Convert an
@IntRange
annotation to an@IntVal
annotation, or to UNKNOWNVAL if the input is too wide to be represented as an@IntVal
. - convertIntValToIntRange(AnnotationMirror) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Converts an
@IntVal
annotation to an@IntRange
annotation. - convertToAnnotation(ProcessingEnvironment) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
-
Returns the AnnotationMirror that represents this qualifier.
- convertToPredicate(AnnotationMirror) - Method in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
-
Converts the given annotation mirror to a predicate.
- convertToSubstringIndexAnnotation(ProcessingEnvironment) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
-
Returns the @
SubstringIndexFor
AnnotationMirror from the Substring Index hierarchy that imposes the same upper bounds on the annotated expression as this qualifier. - convertUBQualifierToAnnotation(UBQualifier) - Method in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory
-
Converts an instance of
UBQualifier
to an annotation from the Substring Index hierarchy. - convertUBQualifierToAnnotation(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
-
Convert the internal representation to an annotation.
- copy() - Method in interface org.checkerframework.dataflow.analysis.Store
-
Returns an exact copy of this store.
- copy() - Method in class org.checkerframework.dataflow.analysis.TransferInput
-
Returns an exact copy of this store.
- copy() - Method in class org.checkerframework.dataflow.busyexpr.BusyExprStore
- copy() - Method in class org.checkerframework.dataflow.constantpropagation.Constant
- copy() - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
- copy() - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
- copy() - Method in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
- copy() - Method in class org.checkerframework.framework.flow.CFAbstractStore
- copyAdd(char, OffsetEquation) - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation
-
Adds or subtracts the other equation to a copy of this one.
- copyAnnotations - Variable in class org.checkerframework.framework.type.AnnotatedTypeCopier
- copyElementValuesFromAnnotation(AnnotationMirror, String...) - Method in class org.checkerframework.javacutil.AnnotationBuilder
-
Copies every element value from the given annotation.
- copyElementValuesFromAnnotation(AnnotationMirror, Collection<ExecutableElement>) - Method in class org.checkerframework.javacutil.AnnotationBuilder
-
Copies every element value from the given annotation.
- copyIntersectionBoundAnnotations() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
-
Copy the first annotation (in each hierarchy) on a bound to the primary annotation location of the intersection type.
- copyOnlyExplicitConstructorAnnotations(AnnotatedTypeFactory, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
Copies explicit annotations and annotations resulting from resolution of polymorphic qualifiers from
constructor
toreturnType
. - copyRenameElementValuesFromAnnotation(AnnotationMirror, Map<String, String>) - Method in class org.checkerframework.javacutil.AnnotationBuilder
-
Copies the specified element values from the given annotation, using the specified renaming map.
- copyTAPosition(TypeAnnotationPosition) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
Copy a TypeAnnotationPosition.
- COUNT_FRAMEWORK_BUILD_CALLS - Static variable in class org.checkerframework.checker.calledmethods.CalledMethodsChecker
-
If this option is supplied, count the number of analyzed calls to build() in supported builder frameworks and print it when analysis is complete.
- COUNT_MUST_CALL - Static variable in class org.checkerframework.checker.resourceleak.ResourceLeakChecker
-
Command-line option for counting how many must-call obligations were checked by the Resource Leak Checker, and emitting the number after processing all files.
- Covariant - Annotation Interface in org.checkerframework.framework.qual
-
A marker annotation, written on a class declaration, that signifies that one or more of the class's type parameters can be treated covariantly.
- create(int) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundLiteralQualifier
-
Creates an UpperBoundLiteralQualifier.
- create(long, long) - Static method in class org.checkerframework.common.value.util.Range
-
Constructs a range with its bounds specified by two parameters,
from
andto
. - create(MethodInvocationTree, AnnotatedTypeFactory) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil
-
Creates a new FormatCall, or returns null.
- create(Collection<? extends Number>) - Static method in class org.checkerframework.common.value.util.Range
-
Create a Range from a collection of Numbers.
- create(List<AnnotatedTypeMirror>, List<? extends TypeMirror>, Theta, AnnotationMirrorMap<QualifierVar>, Java8InferenceContext) - Static method in class org.checkerframework.framework.util.typeinference8.types.InferenceType
-
Creates abstract types for each TypeMirror.
- create(Set<AnnotationMirror>, AnnotationMirrorMap<QualifierVar>, Java8InferenceContext) - Static method in class org.checkerframework.framework.util.typeinference8.types.AbstractQualifier
-
Creates an
AbstractQualifier
for eachAnnotationMirror
inannos
. - create(TypeKind) - Static method in class org.checkerframework.common.value.util.Range
-
Returns a Range representing all possible values for the given primitive type.
- create(AnnotatedTypeMirror, TypeMirror) - Method in class org.checkerframework.framework.util.typeinference8.types.AbstractType
-
Creates a type using the given types.
- create(AnnotatedTypeMirror, TypeMirror) - Method in class org.checkerframework.framework.util.typeinference8.types.InferenceType
- create(AnnotatedTypeMirror, TypeMirror) - Method in class org.checkerframework.framework.util.typeinference8.types.ProperType
- create(AnnotatedTypeMirror, TypeMirror) - Method in class org.checkerframework.framework.util.typeinference8.types.UseOfVariable
- create(AnnotatedTypeMirror, TypeMirror, Theta, Java8InferenceContext) - Static method in class org.checkerframework.framework.util.typeinference8.types.InferenceType
-
Creates an abstract type for the given TypeMirror.
- create(AnnotatedTypeMirror, TypeMirror, Theta, AnnotationMirrorMap<QualifierVar>, Java8InferenceContext) - Static method in class org.checkerframework.framework.util.typeinference8.types.InferenceType
-
Creates an abstract type for the given TypeMirror.
- create(Contract.Kind, String, AnnotationMirror, AnnotationMirror, Boolean) - Static method in class org.checkerframework.framework.util.Contract
-
Creates a new
Contract
. - createAbstractValue(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
Creates an abstract value from the annotated type mirror.
- createAbstractValue(AnnotationMirrorSet, TypeMirror) - Method in class org.checkerframework.checker.lock.LockAnalysis
- createAbstractValue(AnnotationMirrorSet, TypeMirror) - Method in class org.checkerframework.checker.nullness.KeyForAnalysis
- createAbstractValue(AnnotationMirrorSet, TypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnalysis
- createAbstractValue(AnnotationMirrorSet, TypeMirror) - Method in class org.checkerframework.common.accumulation.AccumulationAnalysis
- createAbstractValue(AnnotationMirrorSet, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
Returns an abstract value containing the given
annotations
andunderlyingType
. - createAbstractValue(AnnotationMirrorSet, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAnalysis
- createAccumulatorAnnotation(String) - Method in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
-
Creates a new instance of the accumulator annotation that contains exactly one value.
- createAccumulatorAnnotation(List<String>) - Method in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
-
Creates a new instance of the accumulator annotation that contains the elements of
values
. - createAliasAnalyses() - Method in class org.checkerframework.common.accumulation.AccumulationChecker
-
Get the alias analyses that this checker should employ.
- createAndIncorporateCaptureConstraint(AbstractType, AbstractType, ExpressionTree, Java8InferenceContext) - Static method in class org.checkerframework.framework.util.typeinference8.bound.CaptureBound
-
Given
r
, a parameterized type,G<A1, ..., An>
}, and one ofA1, ..., An
is a wildcard, then, for fresh inference variablesB1, ..., Bn
, the constraint formula<G<B1, ..., Bn> -> T>
is reduced and incorporated, along with the boundG<B1, ..., Bn> = capture(G<A1, ..., An>)
, with B2. - createAndInitQualifierDefaults() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Create
QualifierDefaults
which handles checker specified defaults, and initialize the createdQualifierDefaults
. - createAnnotatedTypeFormatter() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
-
Returns an AnnotatedTypeFormatter that does not print the qualifiers on null literals.
- createAnnotatedTypeFormatter() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
- createAnnotatedTypeFormatter() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Creates the AnnotatedTypeFormatter used by this type factory and all AnnotatedTypeMirrors it creates.
- createAnnotationClassLoader() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
- createAnnotationClassLoader() - Method in class org.checkerframework.common.subtyping.SubtypingAnnotatedTypeFactory
- createAnnotationClassLoader() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Factory method to easily change what
AnnotationClassLoader
is created to load type annotation classes. - createAnnotationFormatter() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
- createAnnotationMirrors(Elements) - Method in class org.checkerframework.framework.type.NoElementQualifierHierarchy
-
Creates and returns a mapping from qualifier kind to an annotation mirror created from the qualifier kind's annotation class.
- createArrayLenAnnotation(List<Integer>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Returns a
ArrayLen
annotation using the values. - createArrayLenRangeAnnotation(int, int) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Create an
@ArrayLenRange
annotation from the two (inclusive) bounds. - createArrayLenRangeAnnotation(Range) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Create an
@ArrayLenRange
annotation from the range. - createArrayType(TypeMirror, Types) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns an
ArrayType
with elements of typecomponentType
. - createB2(InvocationType, List<? extends ExpressionTree>, Theta) - Method in class org.checkerframework.framework.util.typeinference8.InvocationTypeInference
-
Creates the bound set used to determine whether a method is applicable.
- createB2MethodRef(InvocationType, List<AbstractType>, Theta) - Method in class org.checkerframework.framework.util.typeinference8.InvocationTypeInference
-
Same as
InvocationTypeInference.createB2(InvocationType, List, Theta)
, but for method references. - createB3(BoundSet, ExpressionTree, InvocationType, AbstractType, Theta) - Method in class org.checkerframework.framework.util.typeinference8.InvocationTypeInference
-
Creates constraints against the target type of
invocation
and then reduces and incorporates those constraints withb2
. - createBasicTreeAnnotator() - Method in class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
- createBooleanAnnotation(List<Boolean>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Returns a
BoolVal
annotation using the values. - createBottoms() - Method in class org.checkerframework.framework.type.NoElementQualifierHierarchy
-
Creates and returns the unmodifiable set of bottom
AnnotationMirror
s. - createBottomsMap() - Method in class org.checkerframework.framework.type.ElementQualifierHierarchy
-
Creates a mapping from QualifierKind to AnnotationMirror, where the QualifierKind is bottom and the AnnotationMirror is bottom in their respective hierarchies.
- createC(InvocationType, List<? extends ExpressionTree>, Theta) - Method in class org.checkerframework.framework.util.typeinference8.InvocationTypeInference
-
Creates the constraints between the formal parameters and arguments that are not pertinent to applicability.
- createCalledMethods(String...) - Method in class org.checkerframework.checker.resourceleak.ResourceLeakAnnotatedTypeFactory
-
Creates a @CalledMethods annotation whose values are the given strings.
- createCFGVisualizer() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Create a new CFGVisualizer.
- createCharAnnotation(List<Character>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Returns a
IntVal
annotation using the values. - createCombinedSameLen(List<JavaExpression>, List<AnnotationMirror>) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
-
Generates a SameLen that includes each expression, as well as everything in the annotations2, if they are SameLen annotations.
- createCompilationBootclasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
-
Returns the compilation bootclasspath from
argsList
. - createCompoundFromAnnotationMirror(AnnotationMirror, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
Returns a newly created Attribute.Compound corresponding to an argument AnnotationMirror.
- createContractsFromMethod() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Creates an
ContractsFromMethod
and returns it. - createCopiedStore(LockStore) - Method in class org.checkerframework.checker.lock.LockAnalysis
- createCopiedStore(KeyForStore) - Method in class org.checkerframework.checker.nullness.KeyForAnalysis
- createCopiedStore(NullnessStore) - Method in class org.checkerframework.checker.nullness.NullnessAnalysis
- createCopiedStore(AccumulationStore) - Method in class org.checkerframework.common.accumulation.AccumulationAnalysis
- createCopiedStore(CFStore) - Method in class org.checkerframework.framework.flow.CFAnalysis
- createCopiedStore(S) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
Returns an identical copy of the store
s
. - createCpOpts(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
- createDefaultApplierElement(AnnotatedTypeFactory, Element, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
- createDefaultForTypeAnnotator() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
- createDefaultForTypeAnnotator() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Creates an
DefaultForTypeAnnotator
. - createDefaultForUseTypeAnnotator() - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
- createDefaultForUseTypeAnnotator() - Method in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
- createDefaultForUseTypeAnnotator() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Creates an
DefaultQualifierForUseTypeAnnotator
. - createDependentTypesHelper() - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
- createDependentTypesHelper() - Method in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory
-
Creates an
DependentTypesHelper
that allows use of addition and subtraction in the Substring Index Checker annotations. - createDependentTypesHelper() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
- createDependentTypesHelper() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
- createDependentTypesHelper() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Creates a
DependentTypesHelper
and returns it. - createDependentTypesTreeAnnotator() - Method in class org.checkerframework.checker.index.OffsetDependentTypesHelper
- createDependentTypesTreeAnnotator() - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Creates a TreeAnnotator that viewpoint-adapts dependent type annotations.
- createDirectSuperMap() - Method in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
-
Creates a mapping from a
QualifierKind
to a set of its direct super qualifier kinds. - createDoesNotMatchRegexAnnotation(List<String>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Creates an
DoesNotMatchRegex
annotation for the given regular expressions. - createDoubleAnnotation(List<Double>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Returns a
DoubleVal
annotation using the values. - createDoubleValAnnotation(List<Double>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Returns a
DoubleVal
annotation using the values. - createElementlessQualifierMap() - Method in class org.checkerframework.framework.type.ElementQualifierHierarchy
-
Creates a mapping from QualifierKind to AnnotationMirror for all qualifiers whose annotations do not have elements.
- createEmptyStore(boolean) - Method in class org.checkerframework.checker.lock.LockAnalysis
- createEmptyStore(boolean) - Method in class org.checkerframework.checker.nullness.KeyForAnalysis
- createEmptyStore(boolean) - Method in class org.checkerframework.checker.nullness.NullnessAnalysis
- createEmptyStore(boolean) - Method in class org.checkerframework.common.accumulation.AccumulationAnalysis
- createEmptyStore(boolean) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
Returns an empty store of the appropriate type.
- createEmptyStore(boolean) - Method in class org.checkerframework.framework.flow.CFAnalysis
- createEnhancedForLoopArrayVariable(ExpressionTree, VariableElement) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
- createEnhancedForLoopArrayVariable(ExpressionTree, VariableElement) - Method in class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne
- createEnhancedForLoopIteratorVariable(MethodInvocationTree, VariableElement) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
- createEnhancedForLoopIteratorVariable(MethodInvocationTree, VariableElement) - Method in class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne
- createEqualityComparer() - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
Create the equality comparer.
- createError(String, String) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Creates a
JavaExpression
representing the error caused when parsingexpression
- createError(String, JavaExpressionParseUtil.JavaExpressionParseException) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Creates a
JavaExpression
representing the exception thrown when parsingexpression
. - createFactory(CompilationUnitTree) - Method in class org.checkerframework.checker.signature.SignatureChecker
- createFlowAnalysis() - Method in class org.checkerframework.checker.calledmethods.CalledMethodsAnnotatedTypeFactory
- createFlowAnalysis() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
- createFlowAnalysis() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
- createFlowAnalysis() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
- createFlowAnalysis() - Method in class org.checkerframework.checker.resourceleak.ResourceLeakAnnotatedTypeFactory
- createFlowAnalysis() - Method in class org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
- createFlowAnalysis() - Method in class org.checkerframework.common.initializedfields.InitializedFieldsAnnotatedTypeFactory
- createFlowAnalysis() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Returns the appropriate flow analysis class that is used for the org.checkerframework.dataflow analysis.
- createFlowTransferFunction(CFAbstractAnalysis<KeyForValue, KeyForStore, KeyForTransfer>) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
- createFlowTransferFunction(CFAbstractAnalysis<NullnessValue, NullnessStore, NullnessTransfer>) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
- createFlowTransferFunction(CFAbstractAnalysis<CFValue, LockStore, LockTransfer>) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
- createFlowTransferFunction(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Method in class org.checkerframework.checker.optional.OptionalAnnotatedTypeFactory
- createFlowTransferFunction(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
- createFlowTransferFunction(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
- createFlowTransferFunction(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
- createFlowTransferFunction(CFAbstractAnalysis<Value, Store, TransferFunction>) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Returns the appropriate transfer function that is used for the given org.checkerframework.dataflow analysis.
- createFormatForCall(MethodInvocationTree, I18nFormatterAnnotatedTypeFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
-
Returns an I18nFormatCall instance, only if there is an
@I18nFormatFor
annotation. - createFreshTypeVariable(ProperType, Set<? extends AnnotationMirror>, AbstractType, Set<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.util.typeinference8.types.InferenceFactory
-
Creates a fresh type variable using the upper and lower bounds provided.
- createGlbsMap() - Method in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
-
Creates the glb of qualifier kinds.
- createIgnoreInstantiated(AnnotatedTypeMirror, TypeMirror, Theta, AnnotationMirrorMap<QualifierVar>, Java8InferenceContext) - Static method in class org.checkerframework.framework.util.typeinference8.types.InferenceType
-
Same as
InferenceType.create(AnnotatedTypeMirror, TypeMirror, Theta, AnnotationMirrorMap, Java8InferenceContext)
, but iftype
contains any type variables that are inmap
, but already have an instantiation, they are treated as proper types. - createIntRangeAnnotation(Range) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Create an
@IntRange
or@IntVal
annotation from the range. - createIntValAnnotation(List<Long>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
- createKeyForAnnotationMirrorWithValue(String) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
-
Given a string 'value', returns an AnnotationMirror corresponding to @KeyFor(value)
- createKeyForAnnotationMirrorWithValue(Set<String>) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
-
Given a string array 'values', returns an AnnotationMirror corresponding to @KeyFor(values)
- createLessThanQualifier(List<String>) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
-
Creates a less than qualifier given the expressions.
- createLessThanQualifier(String) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
-
Returns
@LessThan(expression)
. - createLiteral(int) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
-
Creates a @
UpperBoundLiteral
annotation. - createLiteral(TypeTag, Object, TypeMirror, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Creates a LiteralTree for the given value.
- createLRUCache(int) - Static method in class org.checkerframework.javacutil.CollectionUtils
-
Deprecated.use org.plumelib.util.CollectionsPlume.createLruCache
- createLubsMap() - Method in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
-
Creates the lub of qualifier kinds.
- createMatchesRegexAnnotation(List<String>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Creates an
MatchesRegex
annotation for the given regular expressions. - createMustCall(List<String>) - Method in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
-
Creates a
MustCall
annotation whose values are the given strings. - createNameToAnnotationMap(List<TypeElement>) - Static method in class org.checkerframework.framework.stub.AnnotationFileParser
-
All annotations declared within any of the given elements.
- createNumberAnnotationMirror(List<Number>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Returns an annotation that represents the given set of values.
- createOffsetForInt(int) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation
-
Creates an offset equation that is only the int value specified.
- createOffsetFromJavaExpression(String) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation
-
Creates an offset equation from the expressionEquation.
- createOffsetFromNode(Node, AnnotationProvider, char) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation
-
Creates an offset equation from the Node.
- createOffsetFromNodesValue(Node, ValueAnnotatedTypeFactory, char) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation
-
If node is an int value known at compile time, then the returned equation is just the int value or if op is '-', the return equation is the negation of the int value.
- createOverrideChecker(Tree, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
- createOverrideChecker(Tree, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Create an OverrideChecker.
- createPpOpts(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
-
Returns processor path options.
- createPredicateAnnotation(String) - Method in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
-
Creates a new predicate annotation from the given string.
- createQualifierDefaults() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Create
QualifierDefaults
which handles checker specified defaults. - createQualifierHierarchy() - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
-
Set the Bottom qualifier as the bottom of the hierarchy.
- createQualifierHierarchy() - Method in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.common.util.debug.TypeOutputtingChecker.GeneralAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
- createQualifierHierarchy() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Returns the
QualifierHierarchy
to be used by this checker. - createQualifierKindHierarchy(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory.FenumQualifierHierarchy
- createQualifierKindHierarchy(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory.UnitsQualifierHierarchy
- createQualifierKindHierarchy(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.framework.type.ElementQualifierHierarchy
-
Create the
QualifierKindHierarchy
. - createQualifierKindHierarchy(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.framework.type.NoElementQualifierHierarchy
-
Create the
QualifierKindHierarchy
. - createQualifierKinds(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
-
Creates all QualifierKind objects for the given qualifier classes and adds them to qualifierClassMap.
- createQualifierPolymorphism() - Method in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
- createQualifierPolymorphism() - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
- createQualifierPolymorphism() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Creates the
QualifierPolymorphism
instance which supports the QualifierPolymorphism mechanism. - createQualifierUpperBounds() - Method in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
- createQualifierUpperBounds() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Creates
QualifierUpperBounds
for this type factory. - createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>) - Method in class org.checkerframework.checker.calledmethods.CalledMethodsAnnotatedTypeFactory
- createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
- createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Creates a
RequiresQualifier("...")
orEnsuresQualifier("...")
annotation for the given expression. - createRuntimeClasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
- createSameLen(Collection<String>) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
-
Creates a @SameLen annotation whose values are the given strings.
- createSingleAnnotationValue(AnnotationMirror, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
Returns an abstract value containing an annotated type with the annotation
anno
, and 'top' for all other hierarchies. - CreatesMustCallFor - Annotation Interface in org.checkerframework.checker.mustcall.qual
-
Indicates that the method resets the expression's must-call type to its declared type.
- CreatesMustCallFor.List - Annotation Interface in org.checkerframework.checker.mustcall.qual
-
A wrapper annotation that makes the
CreatesMustCallFor
annotation repeatable. - CreatesMustCallForElementSupplier - Interface in org.checkerframework.checker.mustcall
-
This interface should be implemented by all type factories that can provide an
ExecutableElement
forCreatesMustCallFor
andCreatesMustCallFor.List
. - CreatesMustCallForToJavaExpression - Class in org.checkerframework.checker.mustcall
-
Utility methods to convert targets of
@CreatesMustCallFor
annotations toJavaExpression
s. - createSourceVisitor() - Method in class org.checkerframework.checker.nullness.NullnessChecker
- createSourceVisitor() - Method in class org.checkerframework.checker.resourceleak.ResourceLeakChecker
- createSourceVisitor() - Method in class org.checkerframework.common.basetype.BaseTypeChecker
-
Returns the appropriate visitor that type-checks the compilation unit according to the type system rules.
- createSourceVisitor() - Method in class org.checkerframework.common.reflection.ClassValChecker
- createSourceVisitor() - Method in class org.checkerframework.common.reflection.MethodValChecker
- createSourceVisitor() - Method in class org.checkerframework.common.util.count.AnnotationStatistics
- createSourceVisitor() - Method in class org.checkerframework.common.util.count.JavaCodeStatistics
- createSourceVisitor() - Method in class org.checkerframework.common.util.debug.TypeOutputtingChecker
- createSourceVisitor() - Method in class org.checkerframework.common.value.ValueChecker
- createSourceVisitor() - Method in class org.checkerframework.framework.source.AggregateChecker
- createSourceVisitor() - Method in class org.checkerframework.framework.source.SourceChecker
-
Provides the
SourceVisitor
that the checker should use to scan input source trees. - createSourceVisitor(CompilationUnitTree) - Method in class org.checkerframework.common.util.debug.TreeDebug
- createSourceVisitorPublic() - Method in class org.checkerframework.common.basetype.BaseTypeChecker
-
A public variant of
BaseTypeChecker.createSourceVisitor()
. - createStringAnnotation(List<String>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
Returns a
StringVal
annotation using the values. - createSupportedLintOptions() - Method in class org.checkerframework.framework.source.SourceChecker
-
Compute the set of supported lint options.
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
-
Copied from SubtypingChecker.
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory
-
Returns a mutable set of annotation classes that are supported by the Substring Index Checker.
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.resourceleak.ResourceLeakAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.common.returnsreceiver.ReturnsReceiverAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.common.subtyping.SubtypingAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
- createSupportedTypeQualifiers() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Returns a mutable set of annotation classes that are supported by a checker.
- createSupportedTypeQualifiers() - Method in class org.checkerframework.framework.util.PurityAnnotatedTypeFactory
- createTemporaryVar(Node) - Method in class org.checkerframework.checker.mustcall.MustCallTransfer
-
Creates a variable declaration for the given expression node, if possible.
- createThetaForCapture(ExpressionTree, AbstractType) - Method in class org.checkerframework.framework.util.typeinference8.types.InferenceFactory
-
Creates capture variables for variables introduced by a capture bounds.
- createThetaForInvocation(ExpressionTree, InvocationType, Java8InferenceContext) - Method in class org.checkerframework.framework.util.typeinference8.types.InferenceFactory
-
If a mapping, theta, for
invocation
doesn't exist create it by: - createThetaForLambda(LambdaExpressionTree, AbstractType) - Method in class org.checkerframework.framework.util.typeinference8.types.InferenceFactory
-
If a mapping, theta, for
lambda
doesn't exist create it by: - createThetaForMethodReference(MemberReferenceTree, InvocationType, Java8InferenceContext) - Method in class org.checkerframework.framework.util.typeinference8.types.InferenceFactory
-
If a mapping, theta, for
memRef
doesn't exist create it by: - createTops() - Method in class org.checkerframework.framework.type.NoElementQualifierHierarchy
-
Creates and returns the unmodifiable set of top
AnnotationMirror
s. - createTopsMap() - Method in class org.checkerframework.framework.type.ElementQualifierHierarchy
-
Creates a mapping from QualifierKind to AnnotationMirror, where the QualifierKind is top and the AnnotationMirror is top in their respective hierarchies.
- createTransferFunction() - Method in class org.checkerframework.checker.lock.LockAnalysis
- createTransferFunction() - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
Returns the transfer function to be used by the analysis.
- createTransferResult(V, TransferInput<V, S>) - Method in class org.checkerframework.framework.flow.CFAbstractTransfer
-
Creates a TransferResult.
- createTransferResult(AnnotationMirror, TypeMirror, TransferInput<V, S>) - Method in class org.checkerframework.framework.flow.CFAbstractTransfer
-
Creates a TransferResult just like the given one, but with the given annotation as its value.
- createTreeAnnotator() - Method in class org.checkerframework.checker.calledmethods.CalledMethodsAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.nonempty.NonEmptyAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
- createTreeAnnotator() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Returns a
TreeAnnotator
that adds annotations to a type based on the contents of a tree. - createTreePathScanner(CompilationUnitTree) - Method in class org.checkerframework.dataflow.cfg.CFGProcessor
- createTreePathScanner(CompilationUnitTree) - Method in class org.checkerframework.javacutil.BasicTypeProcessor
-
Create a TreePathScanner at the given root.
- createType(TypeMirror, AnnotatedTypeFactory, boolean) - Static method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Creates an AnnotatedTypeMirror for the provided type.
- createTypeAnnotator() - Method in class org.checkerframework.checker.calledmethods.CalledMethodsAnnotatedTypeFactory
- createTypeAnnotator() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
- createTypeAnnotator() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
- createTypeAnnotator() - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
- createTypeAnnotator() - Method in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
- createTypeAnnotator() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
- createTypeAnnotator() - Method in class org.checkerframework.common.returnsreceiver.ReturnsReceiverAnnotatedTypeFactory
- createTypeAnnotator() - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
- createTypeAnnotator() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Returns a
DefaultForTypeAnnotator
that adds annotations to a type based on the content of the type itself. - createTypeArgumentInference() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Creates the object that infers type arguments.
- createTypeCompoundFromAnnotationMirror(AnnotationMirror, TypeAnnotationPosition, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
Returns a newly created Attribute.TypeCompound corresponding to an argument AnnotationMirror.
- createTypeFactory() - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
- createTypeFactory() - Method in class org.checkerframework.checker.lock.LockVisitor
- createTypeFactory() - Method in class org.checkerframework.checker.nullness.NullnessVisitor
- createTypeFactory() - Method in class org.checkerframework.checker.resourceleak.ResourceLeakVisitor
- createTypeFactory() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Constructs an instance of the appropriate type factory for the implemented type system.
- createTypeFactory() - Method in class org.checkerframework.common.reflection.ClassValVisitor
- createTypeFactory() - Method in class org.checkerframework.common.reflection.MethodValVisitor
- createTypeFactory() - Method in class org.checkerframework.common.value.ValueVisitor
- createTypeFactoryPublic() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
A public variant of
BaseTypeVisitor.createTypeFactory()
. - createTypeHierarchy() - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
- createTypeHierarchy() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Creates the type hierarchy to be used by this factory.
- createTypeOfObject(AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Create an
AnnotatedTypeMirror.AnnotatedDeclaredType
with the underlying type ofObject
. - createTypeOfRecord(AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Create an
AnnotatedTypeMirror.AnnotatedDeclaredType
with the underlying type ofjava.lang.Record
. - createTypeValidator() - Method in class org.checkerframework.checker.nullness.NullnessVisitor
- createTypeValidator() - Method in class org.checkerframework.checker.optional.OptionalVisitor
- createTypeValidator() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
- createTypeValidator() - Method in class org.checkerframework.common.reflection.ClassValVisitor
- createTypeValidator() - Method in class org.checkerframework.common.reflection.MethodValVisitor
- createTypeValidator() - Method in class org.checkerframework.common.util.count.report.ReportVisitor
- createTypeVariableSubstitutor() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
TypeVariableSubstitutor provides a method to replace type parameters with their arguments.
- createUBQualifier(String, String) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
- createUBQualifier(List<String>, List<String>) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
-
Creates an
UBQualifier
from the given sequences and offsets. - createUBQualifier(List<String>, List<String>, String) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
-
Creates an
UBQualifier
from the given sequences and offsets, with the given additional offset. - createUBQualifier(AnnotationMirror, String, UpperBoundChecker) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
-
Create a UBQualifier from the given annotation, with an extra offset.
- createUBQualifier(AnnotationMirror, UpperBoundChecker) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
-
Create a UBQualifier from the given annotation.
- createUBQualifier(AnnotatedTypeMirror, AnnotationMirror, UpperBoundChecker) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
-
Create an upper bound qualifier.
- createUnderInitializationAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
-
Creates a
UnderInitialization
annotation with the given type frame. - createUnderInitializationAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
-
Creates a
UnderInitialization
annotation with the given type as its type frame argument. - createUnknownInitializationAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
-
Creates a
UnknownInitialization
annotation with a given type frame. - createUnknownInitializationAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
-
Creates an
UnknownInitialization
annotation with a given type frame. - createWildcard(TypeMirror, TypeMirror, Types) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Creates a wildcard with the given bounds.
- createWildcard(ProperType, AbstractType) - Method in class org.checkerframework.framework.util.typeinference8.types.InferenceFactory
-
Creates a wildcard using the upper and lower bounds provided.
- Current - Annotation Interface in org.checkerframework.checker.units.qual
-
Electric current.
- currentFileAjavaTypes - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
If type checking a Java file, stores annotations read from an ajava file for that class if one exists.
- currentInput - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis
-
The current transfer input when the analysis is running.
- currentlyPrintingRaw - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
-
Whether the visitor is currently printing a raw type.
- currentMethods - Variable in class org.checkerframework.checker.guieffect.GuiEffectVisitor
- currentNode - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis
-
The node that is currently handled in the analysis (if it is running).
- currentPrintInvisibleSetting - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
-
For a given call to format, this setting specifies whether or not to printInvisibles.
- currentPrintVerboseGenerics - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
-
Prints type variables in a less ambiguous manner using [] to delimit them.
- currentRoot - Variable in class org.checkerframework.framework.source.SourceChecker
-
The source tree that is being scanned.
- currentRoot - Variable in class org.checkerframework.javacutil.BasicTypeProcessor
-
The source tree that's being scanned.
- currentTop - Variable in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
The top annotation of the hierarchy currently being checked.
- currentTree - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis
-
The tree that is currently being looked at.
- customizeOptions(List<String>) - Method in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
Override this method if you would like to supply a checker command-line option that depends on the Java files passed to the test.
- customizeOptions(List<String>) - Method in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
-
Override this method if you would like to supply a checker command-line option that depends on the Java file passed to the test.
D
- DATE - Enum constant in enum class org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory
-
Use if the parameter can be of date, time, or number types.
- DebugListTreeAnnotator - Class in org.checkerframework.framework.type.treeannotator
-
A ListTreeAnnotator implementation that additionally outputs debugging information.
- DebugListTreeAnnotator(Tree.Kind[], TreeAnnotator...) - Constructor for class org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
-
Constructs a DebugListTreeAnnotator that outputs debug for the given tree kinds.
- DebugListTreeAnnotator(TreeAnnotator...) - Constructor for class org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
-
Constructs a DebugListTreeAnnotator that does not output any debug information.
- debugSpew - Variable in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
- debugSpew - Variable in class org.checkerframework.checker.guieffect.GuiEffectVisitor
-
Whether or not to display debugging information.
- deca - Enum constant in enum class org.checkerframework.checker.units.qual.Prefix
-
SI prefix for 10^1.
- deci - Enum constant in enum class org.checkerframework.checker.units.qual.Prefix
-
SI prefix for 10^-1.
- decl - Variable in class org.checkerframework.javacutil.trees.DetachedVarSymbol
- declAnnos - Variable in class org.checkerframework.framework.stub.AnnotationFileParser.AnnotationFileAnnotations
-
Map from a name (actually declaration element string) to the set of declaration annotations on it, as written in the annotation file.
- declaration - Variable in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage.CallableDeclarationAnnos
-
Wrapped method or constructor declaration.
- declarationFromElement(Element) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Gets the declaration tree for the element, if the source is available.
- DeclarationsIntoElements - Class in org.checkerframework.framework.type
-
A helper class that puts the declaration annotations from a method declaration back into the corresponding Elements, so that they get stored in the bytecode by the compiler.
- declarationTreeKinds() - Static method in class org.checkerframework.javacutil.TreeUtils
-
Return the set of kinds that represent declarations: classes, methods, and variables.
- declared - Variable in class org.checkerframework.framework.flow.CFAbstractAnalysis.FieldInitialValue
-
The value corresponding to the annotations on the declared type of the field.
- DECLARED - Enum constant in enum class org.checkerframework.framework.qual.TypeKind
-
Corresponds to
TypeKind.DECLARED
types. - DECLARED_ARRAY - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- DECLARED_DECLARED - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- DECLARED_EXECUTABLE - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- DECLARED_INTERSECTION - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- DECLARED_NONE - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- DECLARED_NULL - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- DECLARED_PRIMITIVE - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- DECLARED_TYPEVAR - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- DECLARED_UNION - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- DECLARED_WILDCARD - Enum constant in enum class org.checkerframework.framework.util.AtmCombo
- declaredClasses - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
Class declarations that have been encountered when building the control-flow graph for a method.
- declaredLambdas - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
Lambdas encountered when building the control-flow graph for a method, variable initializer, or initializer.
- deconstructorPattern - Variable in class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode
-
The
DeconstructorPatternTree
, declared asTree
to permit this file to compile under JDK 20 and earlier. - DeconstructorPatternNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for a deconstrutor pattern.
- DeconstructorPatternNode(TypeMirror, Tree, List<Node>) - Constructor for class org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode
-
Creates a
DeconstructorPatternNode
. - deepCopy() - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage.CallableDeclarationAnnos
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
- deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Returns a deep copy of this type with annotations.
- deepCopy() - Method in class org.checkerframework.javacutil.AnnotationMirrorSet
- deepCopy() - Method in interface org.checkerframework.javacutil.DeepCopyable
-
Deprecated.Returns a deep copy of this.
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
- deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
Returns a deep copy of this type.
- deepCopy(C) - Static method in class org.checkerframework.javacutil.CollectionUtils
-
Deprecated.use org.plumelib.util.CollectionsPlume.deepCopy
- deepCopy(M) - Static method in class org.checkerframework.javacutil.CollectionUtils
-
Deprecated.use org.plumelib.util.CollectionsPlume.deepCopy
- deepCopy(Pair<T1, T2>) - Static method in class org.checkerframework.javacutil.Pair
-
Deprecated.Returns a deep copy of this: each element is a deep copy (according to the
DeepCopyable
interface) of the corresponding element of this. - DeepCopyable<T> - Interface in org.checkerframework.javacutil
-
Deprecated.use org.plumelib.util.DeepCopyable
- deepCopyFirst(Pair<T1, T2>) - Static method in class org.checkerframework.javacutil.Pair
-
Deprecated.Returns a copy, where the
first
element is deep: thefirst
element is a deep copy (according to theDeepCopyable
interface), and thesecond
element is identical to the argument. - deepCopyOrNull(T2) - Static method in interface org.checkerframework.javacutil.DeepCopyable
-
Deprecated.Returns the deep copy of a non-null argument, or
null
for anull
argument. - deepCopySecond(Pair<T1, T2>) - Static method in class org.checkerframework.javacutil.Pair
-
Deprecated.Returns a copy, where the
second
element is deep: thefirst
element is identical to the argument, and thesecond
element is a deep copy (according to theDeepCopyable
interface). - deepCopyValues(M) - Static method in class org.checkerframework.javacutil.CollectionUtils
-
Deprecated.use org.plumelib.util.CollectionsPlume.deepCopyValues
- deeplyEnclosedJavaTestFiles(File) - Static method in class org.checkerframework.framework.test.TestUtilities
-
Returns all the Java files that are descendants of the given directory.
- def - Variable in class org.checkerframework.dataflow.reachingdef.ReachingDefinitionNode
-
A reaching definition is represented by a node, which can only be a
AssignmentNode
. - Default - Class in org.checkerframework.framework.util.defaults
-
Represents a mapping from an Annotation to a TypeUseLocation it should be applied to during defaulting.
- Default(AnnotationMirror, TypeUseLocation) - Constructor for class org.checkerframework.framework.util.defaults.Default
-
Construct a Default object.
- DEFAULT_LANGUAGE_LEVEL - Static variable in class org.checkerframework.framework.util.JavaParserUtil
-
The Language Level to use when parsing if a specific level isn't applied.
- DEFAULT_VALUE - Variable in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeVisitor
-
The default value to return as a default action.
- defaultAction - Variable in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner
-
The action to perform on every type.
- defaultAction(Node) - Method in class org.checkerframework.framework.util.VoidVisitorWithDefaultAction
-
Action performed on each visited node.
- defaultAction(Tree) - Method in class org.checkerframework.framework.ajava.ExpectedTreesVisitor
-
Records that
tree
should have a corresponding JavaParser node. - defaultAction(Tree) - Method in class org.checkerframework.framework.ajava.TreeScannerWithDefaults
-
Action performed on each visited tree.
- defaultAction(Tree, Node) - Method in class org.checkerframework.framework.ajava.JointJavacJavaParserVisitor
-
The default action for this visitor.
- defaultAction(Tree, Void) - Method in class org.checkerframework.framework.util.Heuristics.Matcher
- defaultAction(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
- defaultAction(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
- defaultAction(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.treeannotator.LiteralTreeAnnotator
- defaultAction(AnnotatedTypeMirror, Void) - Method in class org.checkerframework.framework.type.HashcodeAtmVisitor
-
Generates hashcode for type using the underlying type and the primary annotation.
- defaultAction(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeReplacer
- defaultAction(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeCombiner
- defaultAction(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.DoubleAnnotatedTypeScanner
-
Called by default for any visit method that is not overridden.
- defaultAction(AnnotatedTypeMirror, AnnotatedTypeMirror, Void) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
- defaultAction(AnnotatedTypeMirror, AnnotatedTypeMirror, PARAM) - Method in interface org.checkerframework.framework.type.visitor.AtmComboVisitor
-
Called by the default implementation of every AbstractAtmComboVisitor visit method.
- defaultAction(AnnotatedTypeMirror, P) - Method in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner
-
Called by default for any visit method that is not overridden.
- defaultAction(AnnotatedTypeMirror, P) - Method in interface org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner.DefaultAction
-
The action to perform on every type.
- defaultAction(AnnotatedTypeMirror, P) - Method in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeVisitor
-
Performs the default action for visiting trees, if subclasses do not override the visitFOO node.
- defaultAction(T, T) - Method in class org.checkerframework.framework.ajava.AnnotationEqualityVisitor
- defaultAction(T, T) - Method in class org.checkerframework.framework.ajava.DoubleJavaParserVisitor
-
Default action performed on all pairs of nodes from matching ASTs.
- DefaultAnnotatedTypeFormatter - Class in org.checkerframework.framework.type
-
An AnnotatedTypeFormatter used by default by all AnnotatedTypeFactory (and therefore all annotated types).
- DefaultAnnotatedTypeFormatter() - Constructor for class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
-
Constructs a DefaultAnnotatedTypeFormatter that does not print invisible annotations by default.
- DefaultAnnotatedTypeFormatter(boolean, boolean) - Constructor for class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
- DefaultAnnotatedTypeFormatter(DefaultAnnotatedTypeFormatter.FormattingVisitor) - Constructor for class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
-
Used by subclasses and other constructors to specify the underlying implementation of this DefaultAnnotatedTypeFormatter.
- DefaultAnnotatedTypeFormatter(AnnotationFormatter, boolean, boolean) - Constructor for class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
- DefaultAnnotatedTypeFormatter.FormattingVisitor - Class in org.checkerframework.framework.type
-
A scanning visitor that prints the entire AnnotatedTypeMirror passed to visit.
- DefaultAnnotationFormatter - Class in org.checkerframework.javacutil
-
A utility for converting AnnotationMirrors to Strings.
- DefaultAnnotationFormatter() - Constructor for class org.checkerframework.javacutil.DefaultAnnotationFormatter
- DefaultApplierElement(AnnotatedTypeFactory, Element, AnnotatedTypeMirror, boolean) - Constructor for class org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement
- DefaultApplierElementImpl() - Constructor for class org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement.DefaultApplierElementImpl
- defaultCreateAbstractValue(CFAbstractAnalysis<CFValue, ?, ?>, AnnotationMirrorSet, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
Default implementation for
CFAbstractAnalysis.createAbstractValue(AnnotationMirrorSet, TypeMirror)
. - defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, Void) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
Returns error message for the case when two types shouldn't be compared.
- defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, Void) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
-
Called for every combination that isn't specifically handled.
- defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, PARAM) - Method in interface org.checkerframework.framework.type.visitor.AtmComboVisitor
-
Formats type1, type2 and param into an error message used by all methods of AbstractAtmComboVisitor that are not overridden.
- DefaultFor - Annotation Interface in org.checkerframework.framework.qual
-
A meta-annotation applied to the declaration of a type qualifier.
- DefaultForTypeAnnotator - Class in org.checkerframework.framework.type.typeannotator
-
Adds annotations to a type based on the use of a type.
- DefaultForTypeAnnotator(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.typeannotator.DefaultForTypeAnnotator
-
Creates a
DefaultForTypeAnnotator
from the given checker, using that checker to determine the annotations that are in the type hierarchy. - DefaultInferredTypesApplier - Class in org.checkerframework.framework.type
-
Utility class for applying the annotations inferred by dataflow to a given type.
- DefaultInferredTypesApplier(boolean, QualifierHierarchy, AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.DefaultInferredTypesApplier
- DefaultInferredTypesApplier(QualifierHierarchy, AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.DefaultInferredTypesApplier
- defaultInvisiblesSetting - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
-
Represents whether or not invisible annotations should be printed if the client of this class does not use the printInvisibleAnnos parameter.
- defaultJointAction(Tree, Node) - Method in class org.checkerframework.framework.ajava.JointVisitorWithDefaultAction
-
Action performed on each javac tree and JavaParser node pair.
- DefaultJointVisitor - Class in org.checkerframework.framework.ajava
-
An implementation of JointJavacJavaParserVisitor where
process
methods do nothing. - DefaultJointVisitor() - Constructor for class org.checkerframework.framework.ajava.DefaultJointVisitor
- defaultPrintVerboseGenerics - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
-
Default value of currentPrintVerboseGenerics.
- DefaultQualifier - Annotation Interface in org.checkerframework.framework.qual
-
Applied to a declaration of a package, type, method, variable, etc., specifies that the given annotation should be the default.
- DefaultQualifier.List - Annotation Interface in org.checkerframework.framework.qual
-
A wrapper annotation that makes the
DefaultQualifier
annotation repeatable. - DefaultQualifierForUse - Annotation Interface in org.checkerframework.framework.qual
-
Declaration annotation applied to type declarations to specify the qualifier to be added to unannotated uses of the type.
- DefaultQualifierForUseTypeAnnotator - Class in org.checkerframework.framework.type.typeannotator
-
Implements support for
DefaultQualifierForUse
andNoDefaultQualifierForUse
. - DefaultQualifierForUseTypeAnnotator(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.typeannotator.DefaultQualifierForUseTypeAnnotator
-
Creates an DefaultQualifierForUseTypeAnnotator for
typeFactory
. - DefaultQualifierInHierarchy - Annotation Interface in org.checkerframework.framework.qual
-
Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.
- DefaultQualifierKindHierarchy - Class in org.checkerframework.framework.util
-
This is the default implementation of
QualifierKindHierarchy
. - DefaultQualifierKindHierarchy(Collection<Class<? extends Annotation>>) - Constructor for class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
-
Creates a
DefaultQualifierKindHierarchy
. - DefaultQualifierKindHierarchy(Collection<Class<? extends Annotation>>, Class<? extends Annotation>) - Constructor for class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
-
Creates a
DefaultQualifierKindHierarchy
. - DefaultQualifierKindHierarchy.DefaultQualifierKind - Class in org.checkerframework.framework.util
-
The default implementation of
QualifierKind
. - defaultQualifierListValueElement - Variable in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
The value() element/field of a @DefaultQualifier.List annotation.
- defaultQualifierLocationsElement - Variable in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
The locations() element/field of a @DefaultQualifier annotation.
- DefaultQualifierPolymorphism - Class in org.checkerframework.framework.type.poly
-
Default implementation of
AbstractQualifierPolymorphism
. - DefaultQualifierPolymorphism(ProcessingEnvironment, AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.poly.DefaultQualifierPolymorphism
-
Creates a
DefaultQualifierPolymorphism
instance that usesfactory
for querying type qualifiers and for getting annotated types. - defaultQualifierValueElement - Variable in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
The value() element/field of a @DefaultQualifier annotation.
- DefaultReflectionResolver - Class in org.checkerframework.common.reflection
-
Default implementation of
ReflectionResolver
. - DefaultReflectionResolver(BaseTypeChecker, MethodValAnnotatedTypeFactory, boolean) - Constructor for class org.checkerframework.common.reflection.DefaultReflectionResolver
- defaultResult - Variable in class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
-
The result to return if no other result is provided.
- defaults - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
to handle defaults specified by the user
- DefaultTypeArgumentInference - Class in org.checkerframework.framework.util.typeinference8
-
Implementation of type argument inference.
- DefaultTypeArgumentInference() - Constructor for class org.checkerframework.framework.util.typeinference8.DefaultTypeArgumentInference
-
Creates a DefaultTypeArgumentInference.
- defaultTypeFromName(AnnotatedTypeMirror, String) - Method in class org.checkerframework.framework.type.typeannotator.DefaultForTypeAnnotator
-
Apply defaults based on a variable name to a type.
- DefaultTypeHierarchy - Class in org.checkerframework.framework.type
-
Default implementation of TypeHierarchy that implements the JLS specification with minor deviations as outlined by the Checker Framework manual.
- DefaultTypeHierarchy(BaseTypeChecker, QualifierHierarchy, boolean, boolean) - Constructor for class org.checkerframework.framework.type.DefaultTypeHierarchy
-
Creates a DefaultTypeHierarchy.
- deg - Static variable in class org.checkerframework.checker.units.util.UnitsTools
- degrees - Annotation Interface in org.checkerframework.checker.units.qual
-
Degrees.
- delocalize(AnnotatedTypeMirror, MethodTree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Viewpoint-adapt all dependent type annotations to the method declaration,
methodDeclTree
. - delocalizeAtCallsite(AnnotatedTypeMirror, Tree, List<Node>, Node, ExecutableElement) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Delocalizes dependent type annotations in
atm
so that they can be placed on the declaration of the given method or constructor being invoked. - Dependencies - Class in org.checkerframework.framework.util.typeinference8.types
-
A data structure to hold the dependencies between variables.
- Dependencies() - Constructor for class org.checkerframework.framework.util.typeinference8.types.Dependencies
-
Creates Dependencies.
- DependentTypesError - Class in org.checkerframework.framework.util.dependenttypes
-
Helper class for creating dependent type annotation error strings.
- DependentTypesError(String, String) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesError
-
Create a DependentTypesError for the given expression and error message.
- DependentTypesError(String, JavaExpressionParseUtil.JavaExpressionParseException) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesError
-
Create a DependentTypesError for the given expression and exception.
- dependentTypesHelper - Variable in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
The dependent type helper used to standardize both annotations belonging to the type hierarchy, and contract expressions.
- dependentTypesHelper - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
To handle dependent type annotations and contract expressions.
- DependentTypesHelper - Class in org.checkerframework.framework.util.dependenttypes
-
A class that helps checkers use qualifiers that are represented by annotations with Java expression strings.
- DependentTypesHelper(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
-
Creates a
DependentTypesHelper
. - DependentTypesTreeAnnotator - Class in org.checkerframework.framework.util.dependenttypes
-
Standardizes Java expressions in annotations and also viewpoint-adapts field accesses.
- DependentTypesTreeAnnotator(AnnotatedTypeFactory, DependentTypesHelper) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesTreeAnnotator
- depthFirstOrder - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist
-
Map all blocks in the CFG to their depth-first order.
- descendingIterator() - Method in class org.checkerframework.javacutil.AnnotationMirrorSet
- descendingSet() - Method in class org.checkerframework.javacutil.AnnotationMirrorSet
- DetachedVarSymbol - Class in org.checkerframework.javacutil.trees
-
A DetachedVarSymbol represents a variable that is not part of any AST Tree.
- DetachedVarSymbol(long, Name, Type, Symbol) - Constructor for class org.checkerframework.javacutil.trees.DetachedVarSymbol
-
Construct a detached variable symbol, given its flags, name, type and owner.
- detail - Variable in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
-
The node for the expression after
:
in the assert statement, or null. - DETAILS_SEPARATOR - Static variable in class org.checkerframework.framework.source.SourceChecker
-
Separates parts of a "detailed message", to permit easier parsing.
- Deterministic - Annotation Interface in org.checkerframework.dataflow.qual
-
A method is called deterministic if it returns the same value (according to
==
) every time it is called with the same arguments and in the same environment. - DETERMINISTIC - Enum constant in enum class org.checkerframework.dataflow.qual.Pure.Kind
-
The method returns exactly the same value when called in the same environment.
- DETERMINISTIC - Variable in class org.checkerframework.common.basetype.BaseTypeVisitor
-
The @
Deterministic
annotation. - DiagMessage - Class in org.checkerframework.framework.source
-
A
DiagMessage
is a kind, a message key, and arguments. - DiagMessage(Diagnostic.Kind, String, Object...) - Constructor for class org.checkerframework.framework.source.DiagMessage
-
Create a DiagMessage.
- DIAGNOSTIC_FILE_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
- DIAGNOSTIC_FILE_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
- DIAGNOSTIC_FILE_WARNING_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
- DIAGNOSTIC_FILE_WARNING_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
- DIAGNOSTIC_IN_JAVA_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
How the diagnostics appear in Java source files.
- DIAGNOSTIC_IN_JAVA_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
How the diagnostics appear in Java source files.
- DIAGNOSTIC_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
- DIAGNOSTIC_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
- DIAGNOSTIC_WARNING_IN_JAVA_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
- DIAGNOSTIC_WARNING_IN_JAVA_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
- DIAGNOSTIC_WARNING_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.
AnnotationMirror
every time it is called. Instead of calling this method, store theAnnotationMirror
in a field and useAnnotatedTypeMirror.addAnnotation(AnnotationMirror)
instead.