Index

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

A

A - Annotation Type in org.checkerframework.checker.units.qual
Ampere.
A - Static variable in class org.checkerframework.checker.units.util.UnitsTools
 
A2F - Class in org.checkerframework.framework.util.typeinference.constraint
A constraint of the form: A 《 F or F 》 A
A2F(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.A2F
Create a constraint with an argument less than a formal.
A2FReducer - Class in org.checkerframework.framework.util.typeinference.constraint
A2FReducer takes an A2F constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.
A2FReducer(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.A2FReducer
 
AbstractAnalysis<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> - Class in org.checkerframework.dataflow.analysis
Implementation of common features for BackwardAnalysisImpl and ForwardAnalysisImpl.
AbstractAnalysis(Analysis.Direction) - Constructor for class org.checkerframework.dataflow.analysis.AbstractAnalysis
Implementation of common features for BackwardAnalysisImpl and ForwardAnalysisImpl.
AbstractAnalysis.Worklist - Class in org.checkerframework.dataflow.analysis
A worklist is a priority queue of blocks in which the order is given by depth-first ordering to place non-loop predecessors ahead of successors.
AbstractAnalysis.Worklist.BackwardDFOComparator - Class in org.checkerframework.dataflow.analysis
Comparators to allow priority queue to order blocks by their depth-first order, using by backward analysis.
AbstractAnalysis.Worklist.ForwardDFOComparator - Class in org.checkerframework.dataflow.analysis
Comparators to allow priority queue to order blocks by their depth-first order, using by forward analysis.
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 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
 
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.
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 Type 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.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.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.StringConcatenateAssignmentNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.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.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 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<CFValue, CFStore>, String...) - Method in class org.checkerframework.checker.calledmethods.CalledMethodsTransfer
 
accumulate(Node, TransferResult<CFValue, CFStore>, String...) - Method in class org.checkerframework.common.accumulation.AccumulationTransfer
Updates the estimate of how many things node has accumulated.
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 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.
AccumulationTransfer - Class in org.checkerframework.common.accumulation
The default transfer function for an accumulation checker.
AccumulationTransfer(CFAnalysis) - 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.
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>) - 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.framework.util.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.
addAliasedAnnotation(String, AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
addAliasedAnnotation(Class<?>, Class<?>, boolean, String...) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Deprecated.
use addAliasedTypeAnnotation
addAliasedAnnotation(Class<?>, AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Deprecated.
use addAliasedTypeAnnotation
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 annotation annotation, where the annotation mirror annotationToUse 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 annotation canonicalAnno 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 annotation canonicalAnno 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 annotation canonicalClass 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 annotation canonicalAnno that will be used by the Checker Framework in the alias's place.
addAll(Collection<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
 
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
Adds an annotation to this type.
addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Adds an annotation to this type.
addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
It never makes sense to add annotations to an executable type - instead, they should be added to the right component.
addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
Adds an annotation to this type.
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 to type.
addAnnotations(Iterable<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Adds multiple annotations to this type.
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 to type.
addAtmClass(Class<? extends AnnotatedTypeMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.typeannotator.DefaultForTypeAnnotator
Add default qualifier, theQual, for the given AnnotatedTypeMirror 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.
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 and DefaultQualifierInHierarchy 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
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.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
addConstraintsBetweenTargets(Set<TUConstraint>, Set<TypeVariable>, boolean, AnnotatedTypeFactory) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
Declarations of the form: <A, B extends A> implies a TUConstraint of B <: A.
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
 
addDiagnosticFiles(Iterable<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
adddToPathOption(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
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.
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).
additionalAnnotations - Variable in class org.checkerframework.framework.util.typeinference.solver.InferredValue.InferredTarget
Indicates that the inferred type should have these primary annotations and the remainder should come from the annotations inferred for target.
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.
addLiteralKind(LiteralKind, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.LiteralTreeAnnotator
Added a rule for a particular LiteralKind
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.
addMissingAnnotations(Iterable<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Adds each of the given annotations to the current type, only if no annotation from the same qualifier hierarchy is present.
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
 
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
 
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
 
addOptions(Iterable<String>) - Method in class org.checkerframework.framework.test.SimpleOptionMap
 
addOptions(Iterable<String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
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.
addOrGetDeclarations(TypeVariable, AnnotatedTypeFactory, Map<TypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable>) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
 
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
 
addPrimaryEqualities(TypeVariable, QualifierHierarchy, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target has primary annotations equal to the given annotations.
addPrimarySubtypes(TypeVariable, QualifierHierarchy, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target's primary annotations are subtypes of the given annotations.
addPrimarySupertype(TypeVariable, QualifierHierarchy, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target's primary annotations are subtypes of the given annotations.
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.
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
 
addSourceFiles(Iterable<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
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.
addTargetEquality(TypeVariable, TypeVariable, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that the equivalent is equal to target in the given qualifier hierarchies.
addTargetSubtype(TypeVariable, TypeVariable, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target is a subtype of supertype in the given qualifier hierarchies.
addTargetSupertype(TypeVariable, TypeVariable, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target is a supertype of subtype in the given qualifier hierarchies.
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.
addToPrimaryRelationship(TypeVariable, TUConstraint, ConstraintMap, AnnotationMirrorSet, QualifierHierarchy) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
 
addToProcessorpath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
 
addToRuntimeClasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
 
addToTypeRelationship(TypeVariable, AnnotatedTypeMirror, ConstraintMap, TUConstraint, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
 
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.
addTypeEqualities(TypeVariable, AnnotatedTypeMirror, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target is equal to type in the given hierarchies.
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.
addTypeSubtype(TypeVariable, AnnotatedTypeMirror, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target is a subtype of supertype in the given qualifier hierarchies.
addTypeSupertype(TypeVariable, AnnotatedTypeMirror, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target is a supertype of subtype in the given qualifier hierarchies.
addUncheckedCodeDefault(AnnotationMirror, TypeUseLocation) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
Sets the 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.livevariable.LiveVarStore
Add the information of live variables in an expression to the live variable set.
addWithoutDuplicates(List<T>, List<? extends T>) - Static method in class org.checkerframework.javacutil.SystemUtil
Deprecated.
use CollectionsPlume.adjoinAll
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
 
AFConstraint - Class in org.checkerframework.framework.util.typeinference.constraint
AFConstraint represent the initial constraints used to infer type arguments for method invocations and new class invocations.
AFConstraint(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
Create a constraint for type arguments for a methodd invocation or new class invocation.
AFReducer - Interface in org.checkerframework.framework.util.typeinference.constraint
AFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until these constraints are irreducible.
AFTER - Enum constant in enum org.checkerframework.dataflow.analysis.Analysis.BeforeOrAfter
Return the post-store.
AFTER - Enum constant in enum org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.VisualizeWhere
Visualize after the block.
afToTuConstraints(Set<? extends AFConstraint>, Set<TypeVariable>) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
Convert AFConstraints to TUConstraints.
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 class AinferValidatePerDirectoryTest) 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 class AinferGeneratePerDirectoryTest) 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 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 org.checkerframework.framework.stub.AnnotationFileUtil.AnnotationFileType
Ajava file provided on command line.
AJAVA_AS_STUB - Enum constant in enum 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 org.checkerframework.framework.qual.LiteralKind
Shorthand for all other LiteralKind constants, other than PRIMITIVE.
ALL - Enum constant in enum 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 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 QualifierKinds sorted in ascending order.
alternatives - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
The types that are unioned to form this AnnotatedUnionType.
AlwaysSafe - Annotation Type 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.
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<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 in org.checkerframework.dataflow.analysis
In calls to Analysis#runAnalysisFor, whether to return the store before or after the given node.
Analysis.Direction - Enum in org.checkerframework.dataflow.analysis
The direction of an analysis instance.
analysisCaches - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult
Caches of the analysis results for each input for the block of the node and each node.
AnalysisResult<V extends AbstractValue<V>,S extends Store<S>> - Class in org.checkerframework.dataflow.analysis
An AnalysisResult represents the result of a org.checkerframework.dataflow analysis by providing the abstract values given a node or a tree.
AnalysisResult(IdentityHashMap<Node, V>, IdentityHashMap<Block, TransferInput<V, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, BinaryTree>, HashMap<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>, HashMap<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<Pair<ClassTree, Store>>, Queue<Pair<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 Type in org.checkerframework.checker.units.qual
Units of measure for angles.
anno - Variable in class org.checkerframework.framework.util.defaults.Default
 
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.
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.
AnnotatedFor - Annotation Type in org.checkerframework.framework.qual
Indicates that this class has been annotated for the given type system.
annotatedGLB(AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
Returns the "annotated greatest lower bound" of type1 and type2.
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 ProcessingEnvironment instance and syntax tree root.
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.
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 an AnnotatedTypeMirror and all of its child AnnotatedTypeMirror and preforms 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 and AnnotationMirror.
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 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.framework.util
The Map interface defines some of its methods with respect to the equals method.
AnnotationMirrorMap() - Constructor for class org.checkerframework.framework.util.AnnotationMirrorMap
Default constructor.
AnnotationMirrorMap(Map<AnnotationMirror, ? extends V>) - Constructor for class org.checkerframework.framework.util.AnnotationMirrorMap
Creates an annotation mirror map and adds all the mappings in copy.
AnnotationMirrorSet - Class in org.checkerframework.framework.util
The Set interface defines many methods with respect to the equals method.
AnnotationMirrorSet() - Constructor for class org.checkerframework.framework.util.AnnotationMirrorSet
Default constructor.
AnnotationMirrorSet(Collection<? extends AnnotationMirror>) - Constructor for class org.checkerframework.framework.util.AnnotationMirrorSet
 
annotationMirrorSetToAnnotationExprList(Set<AnnotationMirror>) - 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 an Annotation.
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 JavaParser AnnotationExpr, namely annotationMirrorToAnnotationExpr.
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.
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.
annotations - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror
The annotations on this type.
AnnotationSetCombiner() - Constructor for class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner
 
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 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 an AnnotationMirror.
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
 
apply(AnnotatedTypeMirror.AnnotatedTypeVariable, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.ClassTypeParamApplier
Apply annotations from element to type.
apply(AnnotatedTypeMirror.AnnotatedTypeVariable, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.MethodTypeParamApplier
Apply annotations from element to type.
apply(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.VariableApplier
Apply annotations from element to type.
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 to type.
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 to type.
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 to annotatedDeclaredType.
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, Set<AnnotationMirror>, 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.
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 org.checkerframework.dataflow.cfg.UnderlyingAST.Kind
The underlying code is an arbitrary Java statement or expression.
Area - Annotation Type 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 of supertype?
areBoundsValid(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.common.basetype.BaseTypeValidator
Returns true if the effective annotations on the upperBound are above 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
arePrimeAnnosEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.EqualityAtmComparer
Return true if type1 and type2 have equivalent sets of annotations.
arePrimeAnnosEqual(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.
areSameByClass(AnnotationMirror, Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Checks that the annotation am has the name of annoClass.
areSameByClass(AnnotationMirror, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
areSameByName(AnnotationMirror, String) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Checks that the annotation am has the name aname (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.
argument - Variable in class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
The argument type.
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
 
arguments - Variable in class org.checkerframework.dataflow.expression.MethodCall
The arguments.
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 org.checkerframework.checker.formatter.FormatterTreeUtil.InvocationType
The parameters are passed as array.
ARRAY - Enum constant in enum org.checkerframework.framework.qual.TypeKind
Corresponds to TypeKind.ARRAY types.
ARRAY_ARRAY - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
ARRAY_DECLARED - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
ARRAY_EXECUTABLE - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
ARRAY_INTERSECTION - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
ARRAY_NONE - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
ARRAY_NULL - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
ARRAY_PRIMITIVE - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
ARRAY_TYPEVAR - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
ARRAY_UNION - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
ARRAY_WILDCARD - Enum constant in enum 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(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
Create an ArrayAccessNode.
ArrayCreation - Class in org.checkerframework.dataflow.expression
JavaExpression for array creations.
ArrayCreation(TypeMirror, List<JavaExpression>, List<JavaExpression>) - Constructor for class org.checkerframework.dataflow.expression.ArrayCreation
Creates an ArrayCreation object.
ArrayCreationNode - Class in org.checkerframework.dataflow.cfg.node
A node for new array creation.
ArrayCreationNode(NewArrayTree, TypeMirror, List<Node>, List<Node>) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
 
arrayExpression - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
If this ArrayAccessNode is a node for an array desugared from an enhanced for loop, then the arrayExpression field is the expression in the for loop, e.g., arr in for(Object o: arr.
ArrayLen - Annotation Type 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 Type 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.
ArrayTypeNode - Class in org.checkerframework.dataflow.cfg.node
A node representing a array type used in an expression such as a field access.
ArrayTypeNode(ArrayTypeTree, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
 
arrayValues - Variable in class org.checkerframework.framework.flow.CFAbstractStore
Information collected about array elements, using the internal representation ArrayAccess.
ArrayWithoutPackage - Annotation Type 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.
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 ConversionCategorys.
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
asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, ExecutableElement, AnnotatedTypeMirror.AnnotatedExecutableType) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
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.
AssertionErrorNode(Tree, Node, Node, TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
 
AssertNonNullIfNonNull - Annotation Type 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 interface 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 interface 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.
assignedTo(AnnotatedTypeFactory, TreePath) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
Returns the annotated type that the leaf of path is assigned to, if it is within an assignment context.
assignedToVariable(AnnotatedTypeFactory, Tree) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
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
 
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.
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
 
asSuper(TypeMirror, TypeMirror, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TypesUtils
Returns type as superType if superType is a super type of type; otherwise, null.
asSuper(AnnotatedTypeFactory, AnnotatedTypeMirror, T) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
Copies annotations from type to a copy of superType where the type variables of superType 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 the newClassTree.
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 receiver receiver.
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 at fieldElement.
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 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 the methodTree by converting any FormalParameter into LocalVariables.
atMethodBody(String, MethodTree, SourceChecker) - Static method in interface org.checkerframework.framework.util.StringToJavaExpression
Parses a string to a JavaExpression as if it were written at methodTree.
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 at method.
atMethodInvocation(MethodInvocationTree) - Method in class org.checkerframework.dataflow.expression.JavaExpression
Viewpoint-adapts this to the methodInvocationTree.
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 the invocationNode.
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 to typeUse.
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 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 at typeElement.
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.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.treeannotator.TreeAnnotator
The type factory.
atypeFactory - Variable in class org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement
The annotated type factory.
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.
AwtAlphaCompositingRule - Annotation Type 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 Type 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 Type in org.checkerframework.checker.fenum.qual
AwtCursorType.
AwtFlowLayout - Annotation Type in org.checkerframework.checker.fenum.qual
Line alignments in a flow layout (see FlowLayout for more details).

B

BACKWARD - Enum constant in enum 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
 
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 by CFAnalysis.
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 simple SourceVisitor 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 org.checkerframework.dataflow.analysis.Analysis.BeforeOrAfter
Return the pre-store.
BEFORE - Enum constant in enum 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.
BinaryName - Annotation Type in org.checkerframework.checker.signature.qual
Represents a binary name as defined in the Java Language Specification, section 13.1.
BinaryNameOrPrimitiveType - Annotation Type in org.checkerframework.checker.signature.qual
Represents a primitive type name or a binary name.
BinaryNameWithoutPackage - Annotation Type in org.checkerframework.checker.signature.qual
Represents a string that is a BinaryName, an InternalForm, and a ClassGetName.
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
Returns the binding variable of bindingPatternTree.
bindingVariable - Variable in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
The node of the binding variable if one exists.
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 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 org.checkerframework.framework.qual.LiteralKind
Corresponds to Tree.Kind.BOOLEAN_LITERAL trees.
BOOLEAN - Enum constant in enum 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.
BoolVal - Annotation Type 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 org.checkerframework.checker.nullness.KeyForPropagator.PropagationDirection
 
BOTH - Enum constant in enum org.checkerframework.dataflow.analysis.Store.Kind
 
BOTH_TO_ELSE - Enum constant in enum org.checkerframework.dataflow.analysis.Store.FlowRule
Both stores flow to the else of successor.
BOTH_TO_THEN - Enum constant in enum org.checkerframework.dataflow.analysis.Store.FlowRule
Both stores flow to the then of successor.
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 Type 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 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
The @MustCall() annotation.
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 Type in org.checkerframework.common.returnsreceiver.qual
The bottom type for the Returns Receiver Checker's type system.
BottomVal - Annotation Type 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.
bounds - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
A list of the bounds of this which are also its direct super types.
BoundsInitializer - Class in org.checkerframework.framework.type
BoundsInitializer creates AnnotatedTypeMirrors (without annotations) for the bounds of type variables and wildcards.
BoundsInitializer() - Constructor for class org.checkerframework.framework.type.BoundsInitializer
 
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.
BugInCF - Exception in org.checkerframework.javacutil
Exception type indicating a bug in the framework.
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, ...).
build(Set<TypeVariable>, Set<TUConstraint>, AnnotatedTypeFactory) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
Let Ti be a the ith target being inferred Let ATV(i) be the annotated type variable that represents as use of Ti which may or may not have primary annotations.
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 provided elementMap.
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.
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 org.checkerframework.framework.stub.AnnotationFileUtil.AnnotationFileType
Stub file built into a checker.
BYTE - Enum constant in enum 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 a 8-bit byte range.

C

C - Annotation Type in org.checkerframework.checker.units.qual
Degree Centigrade (Celsius).
C - Static variable in class org.checkerframework.checker.units.util.UnitsTools
 
CallableDeclarationAnnos(CallableDeclaration<?>) - Constructor for class org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage.CallableDeclarationAnnos
Creates a wrapper for the given method or constructor declaration.
CalledMethods - Annotation Type in org.checkerframework.checker.builder.qual
A deprecated variant of CalledMethods.
CalledMethods - Annotation Type in org.checkerframework.checker.calledmethods.qual
If an expression has type @CalledMethods({"m1", "m2"}), then methods m1 and m2 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 Type 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 Type 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 and b be aliases? Returns a conservative answer (i.e., returns true if not enough information is available to determine aliasing).
canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
 
canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
 
canAlias(JavaExpression, JavaExpression) - Method in class org.checkerframework.framework.flow.CFAbstractStore
Can the objects a and b be aliases? Returns a conservative answer (i.e., returns true if not enough information is available to determine aliasing).
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.
canCreateObligations() - Method in class org.checkerframework.checker.resourceleak.ResourceLeakAnnotatedTypeFactory
Does this type factory support CreatesMustCallFor?
canHaveEmptyAnnotationSet(AnnotatedTypeMirror) - Static method in interface org.checkerframework.framework.type.QualifierHierarchy
Returns true if and only if AnnotatedTypeMirror.getAnnotations() 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 if tree 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
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 Type in org.checkerframework.checker.signature.qual
Canonical names have the same syntactic form as fully-qualified names.
CanonicalNameAndBinaryName - Annotation Type in org.checkerframework.checker.signature.qual
This is a string that is a valid canonical name and a valid binary name.
CanonicalNameOrEmpty - Annotation Type in org.checkerframework.checker.signature.qual
Either a CanonicalName or the empty string.
CanonicalNameOrPrimitiveType - Annotation Type 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.
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>, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.CaseNode
Create a new CaseNode.
caseTreeGetBody(CaseTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Returns the body of the case statement if it is of the form case <expression> -> <expression>.
caseTreeGetExpressions(CaseTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Get the list of expressions from a case expression.
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 type type 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, List<? extends Number>) - Static method in class org.checkerframework.common.value.util.NumberUtils
Converts a List<A> to a List<B>, where A and B are numeric types.
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.
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 Type in org.checkerframework.checker.units.qual
Candela (unit of luminance).
cd - Static variable in class org.checkerframework.checker.units.util.UnitsTools
 
centi - Enum constant in enum 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 propagates information through assignments and uses the AnnotatedTypeFactory to provide checker-specific logic how to combine types (e.g., what is the type of a string concatenation, given the types of the two operands) and as an abstraction function (e.g., determine the annotations on literals).
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, ?, ?>, Set<AnnotationMirror>, 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 as AnnotatedTypeMirrors.
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 Type 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
 
CFGLambda(LambdaExpressionTree, ClassTree, MethodTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
Create a new CFGLambda.
CFGMethod(MethodTree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
 
CFGProcessor - Class in org.checkerframework.dataflow.cfg
Generate the control flow graph of a given method in a given class.
CFGProcessor(String, String) - Constructor for class org.checkerframework.dataflow.cfg.CFGProcessor
Create a CFG processor.
CFGProcessor.CFGProcessResult - Class in org.checkerframework.dataflow.cfg
The result of the CFG process, contains the control flow graph when successful.
CFGStatement(Tree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
 
CFGTranslationPhaseOne - Class in org.checkerframework.dataflow.cfg.builder
Class that performs phase one of the translation process.
CFGTranslationPhaseOne(TreeBuilder, AnnotationProvider, boolean, boolean, ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
 
CFGTranslationPhaseThree - Class in org.checkerframework.dataflow.cfg.builder
Class that performs phase three of the translation process.
CFGTranslationPhaseThree() - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
 
CFGTranslationPhaseThree.PredecessorHolder - Interface in org.checkerframework.dataflow.cfg.builder
A simple wrapper object that holds a basic block and allows to set one of its successors.
CFGTranslationPhaseTwo - Class in org.checkerframework.dataflow.cfg.builder
Class that performs phase two of the translation process.
CFGVisualizeLauncher - Class in org.checkerframework.dataflow.cfg.visualize
Launcher to generate the DOT or String representation of the control flow graph of a given method in a given class.
CFGVisualizeLauncher() - Constructor for class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher
 
cfgVisualizer - 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, ?, ?>, Set<AnnotationMirror>, TypeMirror) - Constructor for class org.checkerframework.framework.flow.CFValue
 
CHAR - Enum constant in enum 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 org.checkerframework.framework.qual.LiteralKind
Corresponds to Tree.Kind.CHAR_LITERAL trees.
CHAR - Enum constant in enum org.checkerframework.framework.qual.TypeKind
Corresponds to TypeKind.CHAR types.
CHAR_AND_INT - Enum constant in enum 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 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
 
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, and issues "argument" error for each passed argument that not a subtype of the required one.
checkArrayInitialization(AnnotatedTypeMirror, List<? extends ExpressionTree>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
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 returns result.
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 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 the necessaryAnnotation.
checkDefaultConstructor(ClassTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
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_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 class AinferGeneratePerDirectoryTest) to do inference using the -Ainfer option, and a "validation test" (of class AinferValidatePerDirectoryTest) 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.
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.
checkExtendsImplements(ClassTree) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
 
checkExtendsImplements(ClassTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
If "@B class Y extends @A X {}", then enforce that @B must be a subtype of @A.
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 for classTree 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.
checkForPolymorphicQualifiers(ClassTree) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
 
checkForPolymorphicQualifiers(ClassTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Issues an "invalid.polymorphic.qualifier" error for all polymorphic annotations written on the class declaration.
checkForPolymorphicQualifiers(List<? extends TypeParameterTree>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Issues an "invalid.polymorphic.qualifier" error for all polymorphic annotations written on the type parameters declaration.
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.
checkForUninferredTypes(AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
Throws an exception if the type is an uninferred type argument.
checkInvalidOptionsInferSignatures() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
This method is called only when -Ainfer is passed as an option.
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 'node' 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.checker.resourceleak.ResourceLeakVisitor
 
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 at tree.
checkPurity(MethodTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Check method purity if needed.
checkPurity(TreePath, AnnotationProvider, boolean, boolean) - Static method in class org.checkerframework.dataflow.util.PurityChecker
Compute whether the given statement is side-effect-free, deterministic, or both.
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.
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 methods 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.
classbody - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
 
ClassBound - Annotation Type 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.
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
 
classElementKinds() - Static method in class org.checkerframework.javacutil.ElementUtils
classExtendsTAPosition(int, int) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
Create a class extends TypeAnnotationPosition.
classGetCanonicalName - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
The Class.getCanonicalName() method.
ClassGetName - Annotation Type in org.checkerframework.checker.signature.qual
The type representation used by the Class.getName(), Class.forName(String), and Class.forName(String, boolean, ClassLoader) methods.
ClassGetSimpleName - Annotation Type 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 type 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 Type 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 Type 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.AnnotationMirrorMap
 
clear() - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
 
clear() - Method in class org.checkerframework.framework.util.TreePathCacher
 
clear() - Method in class org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Equalities
 
clear() - Method in class org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Subtypes
 
clear() - Method in class org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Supertypes
 
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 expression expr).
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.
CollectionUtils() - Constructor for class org.checkerframework.javacutil.CollectionUtils
 
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
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 and to into to 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.
combineNoAnnotations(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.
combineNoAnnotations(AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotationMirror, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueGlb
 
combineNoAnnotations(AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotationMirror, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueLub
 
combineOneAnnotation(AnnotationMirror, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotationMirror, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner
Returns the result of combining annotation with typeVar.
combineOneAnnotation(AnnotationMirror, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotationMirror, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueGlb
 
combineOneAnnotation(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
combineSets(TypeMirror, Set<AnnotationMirror>, TypeMirror, Set<AnnotationMirror>, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner
Combines the two sets.
combineTwoAnnotations(AnnotationMirror, AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner
Returns the result of combining the two annotations.
combineTwoAnnotations(AnnotationMirror, AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueGlb
 
combineTwoAnnotations(AnnotationMirror, AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.flow.CFAbstractValue.ValueLub
 
COMMAND_LINE_STUB - Enum constant in enum org.checkerframework.framework.stub.AnnotationFileUtil.AnnotationFileType
Stub file provided on command line.
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.mustcall.MustCallVisitor
Mark (using the #commonAssignmentCheckOnResourceVariable field of this class) any assignments where the LHS is a resource variable, so that close doesn't need to be considered.
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.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, the IntRangeFromNonNegative annotation, or the IntRangeFromGTENegativeOne 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.mustcall.MustCallVisitor
Iff the LHS is a resource variable, then #commonAssignmentCheckOnResourceVariable will be true.
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
Prints 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.
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 AnnotationMirrors.
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 Type in org.checkerframework.checker.interning.qual
Method declaration annotation that indicates a method has a specification like compareTo() or compare().
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 Type in org.checkerframework.checker.compilermsgs.qual
A string that is definitely a compiler message key.
CompilerMessageKeyBottom - Annotation Type 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
 
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 at start and going both forward and backwards.
computeNeighborhoodOfEmptyBlockBackwards(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
Compute the set of empty regular basic blocks emptyBlocks, starting at start and looking only backwards in the control flow graph.
computeNewValueAndInsert(JavaExpression, V, BinaryOperator<V>, boolean) - Method in class org.checkerframework.framework.flow.CFAbstractStore
Inserts the result of applying merger to value and the previous value for expr.
concatenate(T[], T...) - Static method in class org.checkerframework.javacutil.SystemUtil
Deprecated.
use StringsPlume.concatenate
concatenate(T, T[], T) - Static method in class org.checkerframework.javacutil.SystemUtil
Deprecated.
use PlumeUtil.concat
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
 
condition - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
Node representing the condition checked by the expression
CONDITIONAL_BLOCK - Enum constant in enum org.checkerframework.dataflow.cfg.block.Block.BlockType
A conditional basic block.
CONDITIONAL_JUMP - Enum constant in enum 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
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 org.checkerframework.framework.util.Contract.Kind
A conditional postcondition.
ConditionalPostconditionAnnotation - Annotation Type 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 or EnsuresQualifierIf.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), using false for whether the store changed and null for TransferResult.exceptionalStores.
ConditionalTransferResult(V, S, S, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
ConditionalTransferResult(V, S, S, Map<TypeMirror, S>, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
Create a ConditionalTransferResult with thenStore as the resulting store if the corresponding Node evaluates to true and elseStore otherwise.
ConditionalTransferResult(V, S, S, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
Create a new ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean), using false for the storeChanged formal parameter.
Constant - Class in org.checkerframework.dataflow.constantpropagation
 
Constant(Integer) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant
Create a constant for value.
Constant(Constant.Type) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant
Create a constant for type.
CONSTANT - Enum constant in enum org.checkerframework.dataflow.constantpropagation.Constant.Type
 
Constant.Type - Enum 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.
ConstraintMap - Class in org.checkerframework.framework.util.typeinference.solver
ConstraintMap holds simplified versions of the TUConstraints for ALL type variable for which we are inferring an argument.
ConstraintMap(Set<TypeVariable>) - Constructor for class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
 
ConstraintMap(ConstraintMap) - Constructor for class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
 
ConstraintMapBuilder - Class in org.checkerframework.framework.util.typeinference.solver
Converts a set of TUConstraints into a ConstraintMap.
ConstraintMapBuilder() - Constructor for class org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
 
construct(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.typeinference.constraint.A2F
 
construct(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
Used to create a new constraint of the same subclass of AFConstraint.
construct(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.typeinference.constraint.F2A
 
construct(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.typeinference.constraint.FIsA
 
constructor - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
 
constructor(NewClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromUse instead
CONSTRUCTOR_RESULT - Enum constant in enum org.checkerframework.framework.qual.TypeUseLocation
Apply default annotations to all unannotated raw types of constructor result types.
constructorFromUse(NewClassTree) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
 
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) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
 
constructorFromUsePreSubstitution(NewClassTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.checker.mustcall.MustCallAnnotatedTypeFactory
 
constructorFromUsePreSubstitution(NewClassTree, AnnotatedTypeMirror.AnnotatedExecutableType) - 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) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
 
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.framework.util.AnnotationMirrorSet
 
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.framework.util.AnnotationMirrorSet
 
containsKey(Object) - Method in class org.checkerframework.framework.util.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 that other might alias this expression, and that expression is modifiable.
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.MethodCall
 
containsModifiableAliasOf(Store<?>, JavaExpression) - Method in class org.checkerframework.dataflow.expression.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>) - 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.
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.
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.ClassName
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.FieldAccess
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.FormalParameter
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.JavaExpression
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.LocalVariable
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.MethodCall
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.ThisReference
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.UnaryOperation
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.Unknown
 
containsOfClass(Class<? extends JavaExpression>) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
 
containsSame(Collection<? extends AnnotationMirror>, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Checks that the collection contains the annotation.
containsSameByClass(Collection<? extends AnnotationMirror>, Class<? extends Annotation>) - 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.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.
containsTypeParameter(AnnotatedTypeMirror, Collection<TypeVariable>) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
Returns true if type contains a use of a type variable in typeVariables.
containsUninferredTypeArguments() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Returns whether this type or any component type is a wildcard type for which Java 7 type inference is insufficient.
containsUninferredTypeArguments(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Returns whether this type or any component type is a wildcard type for which Java 7 type inference is insufficient.
containsUnknown() - Method in class org.checkerframework.dataflow.expression.JavaExpression
 
containsValue(Object) - Method in class org.checkerframework.framework.util.AnnotationMirrorMap
 
contents - Variable in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
Internal representation of the contents.
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 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.
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 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 resulting JavaExpression.
convertAnnotatedTypeMirror(StringToJavaExpression, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
Calls DependentTypesHelper.convertAnnotationMirror(StringToJavaExpression, AnnotationMirror) on each annotation mirror on type with stringToJavaExpr.
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 to stringToJavaExpr.
convertArrayLenToArrayLenRange(AnnotationMirror) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Converts an @ArrayLen annotation to an @ArrayLenRange annotation.
convertCallArguments(ExecutableElement, List<? extends ExpressionTree>) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
Given a method element and as list of argument expressions, return a list of Nodes representing the arguments converted for a call of the method.
convertedTreeLookup - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
Map from AST Trees to post-conversion sets of Nodes.
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.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.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 to returnType.
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.
correctResults(Map<TypeVariable, AnnotatedTypeMirror>, ExpressionTree, ExecutableType, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
If the type arguments computed by DefaultTypeArgumentInference don't match the return type mirror of invocation, then replace those type arguments with an uninferred wildcard.
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 Type 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 and to.
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(TypeKind) - Static method in class org.checkerframework.common.value.util.Range
Returns a Range representing all possible values for the given primitive type.
create(Contract.Kind, String, AnnotationMirror, AnnotationMirror, Boolean) - Static method in class org.checkerframework.framework.util.Contract
Creates a new Contract.
createAbstractValue(Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.checker.lock.LockAnalysis
 
createAbstractValue(Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.checker.nullness.KeyForAnalysis
 
createAbstractValue(Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnalysis
 
createAbstractValue(Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
Returns an abstract value containing the given annotations and underlyingType.
createAbstractValue(Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAnalysis
 
createAbstractValue(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
Creates an abstract value from the annotated type mirror.
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.
createAndInitQualifierDefaults() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Create QualifierDefaults which handles checker specified defaults, and initialize the created QualifierDefaults.
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
 
createAnnotationMap() - Static method in class org.checkerframework.javacutil.AnnotationUtils
Create a map suitable for storing AnnotationMirror as keys.
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.
createAnnotationSet() - Static method in class org.checkerframework.javacutil.AnnotationUtils
Constructs a Set for storing AnnotationMirrors.
createAnnotationSet(Collection<AnnotationMirror>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Constructs a Set for storing AnnotationMirrors to contain all the annotations in annos.
createArgumentAFConstraints(AnnotatedTypeFactory, List<AnnotatedTypeMirror>, AnnotatedTypeMirror.AnnotatedExecutableType, Set<TypeVariable>, boolean) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
Step 1: Create a constraint Ai << Fi for each Argument(Ai) to formal parameter(Fi).
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 type componentType.
createAssignmentConstraints(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotatedTypeMirror.AnnotatedExecutableType, Set<AFConstraint>, Map<TypeVariable, AnnotatedTypeMirror>, Set<TypeVariable>, AnnotatedTypeFactory) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
The first half of Step 6.
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 AnnotationMirrors.
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.
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(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
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
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.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 parsing expression
createError(String, JavaExpressionParseUtil.JavaExpressionParseException) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
Creates a JavaExpression representing the exception thrown when parsing expression.
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.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.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 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.
createGlbsMap() - Method in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
Creates the glb of qualifier kinds.
createHierarchyMap(AnnotationMirrorSet, QualifierHierarchy) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
Take a set of annotations and separate them into a mapping of hierarchy top => annotations in hierarchy.
createInitialAssignmentConstraints(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotatedTypeFactory, Set<TypeVariable>) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
Create a set of constraints between return type and any type to which it is assigned.
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
Returns a IntVal or IntRange annotation using the values.
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(String) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
Returns @LessThan(expression).
createLessThanQualifier(List<String>) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
Creates a less than qualifier given the expressions.
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
Creates a LRU cache.
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
createQualifierKindHierarchy(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.framework.type.NoElementQualifierHierarchy
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.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("...") or EnsuresQualifier("...") 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 Type in org.checkerframework.checker.mustcall.qual
Indicates that the method resets the expression's must-call type to its declared type.
CreatesMustCallFor.List - Annotation Type 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 for CreatesMustCallFor and CreatesMustCallFor.List.
CreatesMustCallForToJavaExpression - Class in org.checkerframework.checker.mustcall
Utility methods to convert targets of @CreatesMustCallFor annotations to JavaExpressions.
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
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.signedness.SignednessAnnotatedTypeFactory
 
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.
createTops() - Method in class org.checkerframework.framework.type.NoElementQualifierHierarchy
Creates and returns the unmodifiable set of top AnnotationMirrors.
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.
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.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
TypeArgumentInference infers the method type arguments when they are not explicitly written.
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
createTypeHierarchy() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
 
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 of Object.
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.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.
createUnmodifiableAnnotationSet(Collection<AnnotationMirror>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Constructs an unmodifiable Set for storing AnnotationMirrors containing all the annotations in annos.
Current - Annotation Type 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.
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 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 org.checkerframework.checker.units.qual.Prefix
SI prefix for 10^1.
deci - Enum constant in enum 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.
DeclarationsIntoElements() - Constructor for class org.checkerframework.framework.type.DeclarationsIntoElements
 
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 org.checkerframework.framework.qual.TypeKind
Corresponds to TypeKind.DECLARED types.
DECLARED_ARRAY - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
DECLARED_DECLARED - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
DECLARED_EXECUTABLE - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
DECLARED_INTERSECTION - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
DECLARED_NONE - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
DECLARED_NULL - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
DECLARED_PRIMITIVE - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
DECLARED_TYPEVAR - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
DECLARED_UNION - Enum constant in enum org.checkerframework.framework.util.AtmCombo
 
DECLARED_WILDCARD - Enum constant in enum 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.
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(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.
deeplyEnclosedJavaTestFiles(File) - Static method in class org.checkerframework.framework.test.TestUtilities
Returns all the Java files that are descendants of the given directory.
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
 
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 class org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor
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, ?, ?>, Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, Void) - Method in class org.checkerframework.framework.type.AsSuperVisitor
 
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.EqualityAtmComparer
Called when a visit method is called on two types that do not have the same class, i.e.
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 class org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor
Formats type1, type2 and param into an error message used by all methods of AbstractAtmComboVisitor that are not overridden.
DefaultFor - Annotation Type 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 Type 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 Type in org.checkerframework.framework.qual
A wrapper annotation that makes the DefaultQualifier annotation repeatable.
DefaultQualifierForUse - Annotation Type 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
DefaultQualifierForUseTypeAnnotator(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.typeannotator.DefaultQualifierForUseTypeAnnotator
Creates an DefaultQualifierForUseTypeAnnotator for typeFactory.
DefaultQualifierInHierarchy - Annotation Type 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
DefaultQualifierKindHierarchy(Collection<Class<? extends Annotation>>, Class<? extends Annotation>) - Constructor for class org.checkerframework.framework.util.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 uses factory 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.typeinference
An implementation of TypeArgumentInference that mostly follows the process outlined in JLS7 See the JLS 7: JLS §5.12.2.7
DefaultTypeArgumentInference(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.typeinference.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 Type 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.
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.
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
 
DETAILS_SEPARATOR - Static variable in class org.checkerframework.framework.source.SourceChecker
Separates parts of a "detailed message", to permit easier parsing.
Deterministic - Annotation Type in org.checkerframework.dataflow.qual
A method is called deterministic if it returns the same value (according to ==) every time it is called with the same parameters and in the same environment.
DETERMINISTIC - Enum constant in enum 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.TestDiagnosticUtils
 
DIAGNOSTIC_WARNING_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DiagnosticKind - Enum in org.checkerframework.framework.test.diagnostics
The kinds of errors that can be encountered during typechecking.
diagnosticsToString(List<TestDiagnostic>) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
Converts the given diagnostics to strings (as they would appear in a source file individually).
diagnosticsToStrings(Iterable<Diagnostic<? extends JavaFileObject>>, boolean) - Static method in class org.checkerframework.framework.test.TestUtilities
 
diagnosticToString(Diagnostic<? extends JavaFileObject>, boolean) - Static method in class org.checkerframework.framework.test.TestUtilities
 
didTestFail() - Method in class org.checkerframework.framework.test.TypecheckResult
 
dimensions - Variable in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
The length of this list is the number of dimensions in the array.
dimensions - Variable in class org.checkerframework.dataflow.expression.ArrayCreation
List of dimensions expressions.
dimensionUnsignedHeight(Dimension) - Static method in class org.checkerframework.checker.signedness.util.SignednessUtilExtra
Gets the unsigned height of a Dimension.
dimensionUnsignedWidth(Dimension) - Static method in class org.checkerframework.checker.signedness.util.SignednessUtilExtra
Gets the unsigned width of a Dimension.
direction - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis
The direction of this analysis.
directSupertypes() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
 
directSupertypes() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
This method returns a list of AnnotatedTypeMirrors where the Java type of each ATM is an immediate supertype (class or interface) of the Java type of this.
directSupertypes() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
This method returns a list of AnnotatedTypeMirrors where the Java type of each ATM is an immediate supertype (class or interface) of the Java type of this.
dirnameToPath(String) - Static method in class org.checkerframework.framework.stub.JavaStubifier
Converts a directory name to a path.
DISABLE_BUILDER_FRAMEWORK_SUPPORTS - Static variable in class org.checkerframework.checker.calledmethods.CalledMethodsChecker
This option disables the support for (and therefore the automated checking of) code that uses the given builder frameworks.
DISABLE_RETURNS_RECEIVER - Static variable in class org.checkerframework.checker.calledmethods.CalledMethodsChecker
Some use cases for the Called Methods Checker do not involve checking fluent APIs, and in those cases disabling the Returns Receiver Checker using this flag will make the Called Methods Checker run much faster.
divide(int) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
If divisor == 1, return this object.
divide(Number) - Method in class org.checkerframework.common.value.util.ByteMath
 
divide(Number) - Method in class org.checkerframework.common.value.util.DoubleMath
 
divide(Number) - Method in class org.checkerframework.common.value.util.FloatMath
 
divide(Number) - Method in class org.checkerframework.common.value.util.IntegerMath
 
divide(Number) - Method in class org.checkerframework.common.value.util.LongMath
 
divide(Number) - Method in class org.checkerframework.common.value.util.NumberMath
Returns the result of dividing the this by right.
divide(Number) - Method in class org.checkerframework.common.value.util.ShortMath
 
divide(Range) - Method in class org.checkerframework.common.value.util.Range
Returns the smallest range that includes all possible values resulting from dividing (integer division) an arbitrary value in this range by an arbitrary value in the specified range.
division(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in interface org.checkerframework.checker.units.UnitsRelations
Called for the division of type lht and rht.
division(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.units.UnitsRelationsDefault
Provides rules for resolving the result Unit of the division of checker-framework provided Units.
DOES_NOT_MATCH_REGEX_NAME - Static variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Fully-qualified class name of DoesNotMatchRegex.
doesAnnotatedForApplyToThisChecker(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Does anno, which is an AnnotatedFor annotation, apply to this checker?
DoesNotMatchRegex - Annotation Type in org.checkerframework.common.value.qual
An annotation indicating the possible values for a String type.
doesNotMatchRegexValueElement - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
The value() element/field of a @DoesNotMatchRegex annotation.
DoNothingChecker - Class in org.checkerframework.common.util.report
This is an annotation processor that does nothing.
DoNothingChecker() - Constructor for class org.checkerframework.common.util.report.DoNothingChecker
 
doNotTypecheck(String) - Method in class org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest
Do not typecheck any file ending with the given String.
dontEmitDebugInfo() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
DOT_SEPARATED_IDENTIFIERS - Variable in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
The @DotSeparatedIdentifiers annotation.
DOTCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> - Class in org.checkerframework.dataflow.cfg.visualize
Generate a graph description in the DOT language of a control graph.
DOTCFGVisualizer() - Constructor for class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
 
dotOutputFileName(UnderlyingAST) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
Create a dot file and return its name.
DotSeparatedIdentifiers - Annotation Type in org.checkerframework.checker.signature.qual
This is a string that is a valid fully qualified name and a valid binary name.
DotSeparatedIdentifiersOrPrimitiveType - Annotation Type in org.checkerframework.checker.signature.qual
This is a string that is a valid fully qualified name and a valid binary name or primitive type.
DOUBLE - Enum constant in enum org.checkerframework.framework.qual.LiteralKind
Corresponds to Tree.Kind.DOUBLE_LITERAL trees.
DOUBLE - Enum constant in enum org.checkerframework.framework.qual.TypeKind
Corresponds to TypeKind.DOUBLE types.
DoubleAnnotatedTypeScanner<R> - Class in org.checkerframework.framework.type.visitor
DoubleAnnotatedTypeScanner() - Constructor for class org.checkerframework.framework.type.visitor.DoubleAnnotatedTypeScanner
Constructs an AnnotatedTypeScanner where the reduce function returns the first result if it is nonnull; otherwise the second result is returned.
DoubleAnnotatedTypeScanner(AnnotatedTypeScanner.Reduce<R>, R) - Constructor for class org.checkerframework.framework.type.visitor.DoubleAnnotatedTypeScanner
Creates a scanner with the given reduce function and defaultResult.
DoubleJavaParserVisitor - Class in org.checkerframework.framework.ajava
A visitor that visits two JavaParser ASTs simultaneously that almost match.
DoubleJavaParserVisitor() - Constructor for class org.checkerframework.framework.ajava.DoubleJavaParserVisitor
 
DoubleLiteralNode - Class in org.checkerframework.dataflow.cfg.node
A node for a double literal.
DoubleLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
Create a new DoubleLiteralNode.
DoubleMath - Class in org.checkerframework.common.value.util
 
DoubleMath(double) - Constructor for class org.checkerframework.common.value.util.DoubleMath
 
DoubleVal - Annotation Type in org.checkerframework.common.value.qual
An annotation indicating the possible values for a double or float type.
DOUBLEVAL_NAME - Static variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Fully-qualified class name of DoubleVal.
doubleValValueElement - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
The value() element/field of a @DoubleVal annotation.
drawToDot(File, AnnotatedTypeMirror) - Static method in class org.checkerframework.common.util.TypeVisualizer
Creates a dot file at dest that contains a digraph for the structure of type.
drawToDot(String, AnnotatedTypeMirror) - Static method in class org.checkerframework.common.util.TypeVisualizer
Creates a dot file at dest that contains a digraph for the structure of type.
drawToPng(File, AnnotatedTypeMirror) - Static method in class org.checkerframework.common.util.TypeVisualizer
Draws a dot file for type in a temporary directory then calls the "dot" program to convert that file into a png at the location dest.
drawToPng(String, AnnotatedTypeMirror) - Static method in class org.checkerframework.common.util.TypeVisualizer
Draws a dot file for type in a temporary directory then calls the "dot" program to convert that file into a png at the location dest.

E

ea - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
The VariableTree that indicates whether assertions are enabled or not.
EACH_TO_EACH - Enum constant in enum org.checkerframework.dataflow.analysis.Store.FlowRule
The normal case: then store flows to the then store, and else store flows to the else store.
Effect - Class in org.checkerframework.checker.guieffect
An effect -- either UIEffect, PolyUIEffect, or SafeEffect.
Effect(Class<? extends Annotation>) - Constructor for class org.checkerframework.checker.guieffect.Effect
Create a new Effect object.
Effect.EffectRange - Class in org.checkerframework.checker.guieffect
 
EffectRange(Effect, Effect) - Constructor for class org.checkerframework.checker.guieffect.Effect.EffectRange
 
effStack - Variable in class org.checkerframework.checker.guieffect.GuiEffectVisitor
 
element - Variable in class org.checkerframework.dataflow.cfg.node.ClassNameNode
The class named by this node.
element - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
 
element - Variable in class org.checkerframework.dataflow.cfg.node.PackageNameNode
The package named by this node.
element - Variable in class org.checkerframework.dataflow.expression.FormalParameter
The element for this formal parameter.
element - Variable in class org.checkerframework.dataflow.expression.LocalVariable
The element for this local variable.
element - Variable in class org.checkerframework.framework.util.element.ClassTypeParamApplier
An Element that type represents.
ElementAnnotationApplier - Class in org.checkerframework.framework.type
Utility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element).
ElementAnnotationApplier() - Constructor for class org.checkerframework.framework.type.ElementAnnotationApplier
 
ElementAnnotationUtil - Class in org.checkerframework.framework.util.element
Utility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element).
ElementAnnotationUtil() - Constructor for class org.checkerframework.framework.util.element.ElementAnnotationUtil
 
ElementAnnotationUtil.ErrorTypeKindException - Error in org.checkerframework.framework.util.element
An ERROR TypeKind was found.
ElementAnnotationUtil.UnexpectedAnnotationLocationException - Exception in org.checkerframework.framework.util.element
Exception indicating an invalid location for an annotation was found.
elementFromDeclaration(ClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Returns the type element corresponding to the given class declaration.
elementFromDeclaration(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromUse or elementFromTree
elementFromDeclaration(MemberSelectTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromUse
elementFromDeclaration(MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromUse
elementFromDeclaration(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Returns the ExecutableElement for the given method declaration.
elementFromDeclaration(NewClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromUse
elementFromDeclaration(VariableTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Returns the VariableElement corresponding to the given variable declaration.
elementFromTree(ClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromDeclaration
elementFromTree(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Returns the element corresponding to the given tree.
elementFromTree(MemberSelectTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromUse
elementFromTree(MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromUse
elementFromTree(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromDeclaration
elementFromTree(NewClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromUse
elementFromTree(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
Returns the Element for the given Tree API node.
elementFromTree(VariableTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromDeclaration
elementFromUse(ClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromDeclaration
elementFromUse(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the element for the declaration corresponding to this use of an element.
elementFromUse(MemberSelectTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Returns the element for the given expression.
elementFromUse(MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Returns the ExecutableElement for the called method.
elementFromUse(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromDeclaration
elementFromUse(NewClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the ExecutableElement for the called constructor, from a constructor invocation.
elementFromUse(VariableTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Deprecated.
use elementFromDeclaration
elementNamesValues(String, Object) - Static method in class org.checkerframework.javacutil.AnnotationBuilder
Creates a mapping between element/field names and values.
ElementQualifierHierarchy - Class in org.checkerframework.framework.type
A QualifierHierarchy where qualifiers may be represented by annotations with elements.
ElementQualifierHierarchy(Collection<Class<? extends Annotation>>, Elements) - Constructor for class org.checkerframework.framework.type.ElementQualifierHierarchy
Creates a ElementQualifierHierarchy from the given classes.
elements - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
Javac element utilities.
elements - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
 
elements - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
 
elements - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault
The Element Utilities from the Units Checker's processing environment.
elements - Variable in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
The javac element utilities.
elements - Variable in class org.checkerframework.framework.source.SourceChecker
Element utilities.
elements - Variable in class org.checkerframework.framework.source.SourceVisitor
The Elements helper to use when scanning.
elements - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory
Utility class for working with Elements.
elements - Variable in class org.checkerframework.javacutil.trees.TreeBuilder
 
elementsWithSuppressedWarnings - Variable in class org.checkerframework.framework.source.SourceChecker
Elements with a @SuppressWarnings that actually suppressed a warning for this checker.
elementToBoundType - Variable in class org.checkerframework.framework.util.defaults.QualifierDefaults
Mapping from an Element to the bound type.
elementToDefaults - Variable in class org.checkerframework.framework.type.typeannotator.DefaultQualifierForUseTypeAnnotator
Cache of elements to the set of annotations that should be applied to unannotated uses of the element.
ElementUtils - Class in org.checkerframework.javacutil
Utility methods for analyzing Elements.
ELSE - Enum constant in enum org.checkerframework.dataflow.analysis.Store.Kind
 
ELSE_TO_BOTH - Enum constant in enum org.checkerframework.dataflow.analysis.Store.FlowRule
Else store flows to both then and else of successor.
ELSE_TO_ELSE - Enum constant in enum org.checkerframework.dataflow.analysis.Store.FlowRule
Else store flows to the else of successor.
elseFlowRule - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
The initial value says that the ELSE store before a conditional block flows to BOTH of the stores of the else successor.
elseOperand - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
Node representing the "else" case of the expression
elseStore - Variable in class org.checkerframework.checker.index.IndexRefinementInfo
The else store.
elseStore - Variable in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
The 'else' result store.
elseStore - Variable in class org.checkerframework.dataflow.analysis.TransferInput
The 'else' result store (or null if none is present).
elseStores - Variable in class org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
Else stores before every basic block (assumed to be 'no information' if not present).
elseSuccessor - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
Successor of the else branch.
emitDebugInfo() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
EmptyProcessor - Class in org.checkerframework.common.util.debug
Empty simple processor.
EmptyProcessor() - Constructor for class org.checkerframework.common.util.debug.EmptyProcessor
 
emptyStore - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
An empty store.
enclosingClass(TreePath) - Static method in class org.checkerframework.javacutil.TreePathUtil
Gets the enclosing class of the tree node defined by the given TreePath.
enclosingClass(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
enclosingDeclarationPath(TreePath) - Static method in class org.checkerframework.javacutil.TreePathUtil
Gets the path to nearest enclosing declaration (class, method, or variable) of the tree node defined by the given TreePath.
enclosingMemberSelect() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Call this only when the current path is an identifier.
enclosingMethod(TreePath) - Static method in class org.checkerframework.javacutil.TreePathUtil
Gets the enclosing method of the tree node defined by the given TreePath.
enclosingMethodOrLambda(TreePath) - Static method in class org.checkerframework.javacutil.TreePathUtil
Gets the enclosing method or lambda expression of the tree node defined by the given TreePath.
enclosingNonParen(TreePath) - Static method in class org.checkerframework.javacutil.TreePathUtil
Gets the first (innermost) enclosing tree in path, that is not a parenthesis.
enclosingOfClass(TreePath, Class<T>) - Static method in class org.checkerframework.javacutil.TreePathUtil
Gets the first (innermost) enclosing tree in path, of the given class.
enclosingOfKind(TreePath, Tree.Kind) - Static method in class org.checkerframework.javacutil.TreePathUtil
Gets the first (innermost) enclosing tree in path, of the given kind.
enclosingOfKind(TreePath, Set<Tree.Kind>) - Static method in class org.checkerframework.javacutil.TreePathUtil
Gets the first (innermost) enclosing tree in path, with any one of the given kinds.
enclosingPackage(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
Returns the innermost package element enclosing the given element.
enclosingStatement(Tree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Returns the statement that encloses the given one.
enclosingTopLevelBlock(TreePath) - Static method in class org.checkerframework.javacutil.TreePathUtil
Returns the top-level block that encloses the given path, or null if none does.
enclosingType - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
The enclosing type.
enclosingTypeElement(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
Returns the innermost type element that is, or encloses, the given element.
enclosingVariable(TreePath) - Static method in class org.checkerframework.javacutil.TreePathUtil
Gets the enclosing variable of a tree node defined by the given TreePath.
ensureDirectoryExists(String) - Static method in class org.checkerframework.framework.test.TestUtilities
Create the directory (and its parents) if it does not exist.
EnsuresCalledMethods - Annotation Type in org.checkerframework.checker.calledmethods.qual
Indicates that the method, if it terminates successfully, always invokes the given methods on the given expressions.
EnsuresCalledMethods.List - Annotation Type in org.checkerframework.checker.calledmethods.qual
A wrapper annotation that makes the EnsuresCalledMethods annotation repeatable.
EnsuresCalledMethodsIf - Annotation Type in org.checkerframework.checker.calledmethods.qual
Indicates that the method, if it terminates with the given result, invokes the given methods on the given expressions.
EnsuresCalledMethodsIf.List - Annotation Type in org.checkerframework.checker.calledmethods.qual
A wrapper annotation that makes the EnsuresCalledMethodsIf annotation repeatable.
EnsuresCalledMethodsVarArgs - Annotation Type in org.checkerframework.checker.calledmethods.qual
Indicates that the method, if it terminates successfully, always invokes the given methods on all of the arguments passed in the varargs position.
EnsuresInitializedFields - Annotation Type in org.checkerframework.common.initializedfields.qual
A method postcondition annotation indicates which fields the method definitely initializes.
EnsuresInitializedFields.List - Annotation Type in org.checkerframework.common.initializedfields.qual
A wrapper annotation that makes the EnsuresInitializedFields annotation repeatable.
EnsuresKeyFor - Annotation Type in org.checkerframework.checker.nullness.qual
Indicates that the value expressions evaluate to a value that is a key in all the given maps, if the method terminates successfully.
EnsuresKeyFor.List - Annotation Type in org.checkerframework.checker.nullness.qual
A wrapper annotation that makes the EnsuresKeyFor annotation repeatable.
EnsuresKeyForIf - Annotation Type in org.checkerframework.checker.nullness.qual
Indicates that the given expressions evaluate to a value that is a key in all the given maps, if the method returns the given result (either true or false).
EnsuresKeyForIf.List - Annotation Type in org.checkerframework.checker.nullness.qual
A wrapper annotation that makes the EnsuresKeyForIf annotation repeatable.
EnsuresLockHeld - Annotation Type in org.checkerframework.checker.lock.qual
Indicates that the given expressions are held if the method terminates successfully.
EnsuresLockHeld.List - Annotation Type in org.checkerframework.checker.lock.qual
A wrapper annotation that makes the EnsuresLockHeld annotation repeatable.
EnsuresLockHeldIf - Annotation Type in org.checkerframework.checker.lock.qual
Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false).
EnsuresLockHeldIf.List - Annotation Type in org.checkerframework.checker.lock.qual
A wrapper annotation that makes the EnsuresLockHeldIf annotation repeatable.
ensuresLockHeldIfExpressionElement - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
The EnsuresLockHeldIf.expression element/field.
ensuresLockHeldValueElement - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
The EnsuresLockHeld.value element/field.
EnsuresLTLengthOf - Annotation Type in org.checkerframework.checker.index.qual
Indicates that the value expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method terminates successfully.
EnsuresLTLengthOf.List - Annotation Type in org.checkerframework.checker.index.qual
A wrapper annotation that makes the EnsuresLTLengthOf annotation repeatable.
EnsuresLTLengthOfIf - Annotation Type in org.checkerframework.checker.index.qual
Indicates that the given expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method returns the given result (either true or false).
EnsuresLTLengthOfIf.List - Annotation Type in org.checkerframework.checker.index.qual
A wrapper annotation that makes the EnsuresLTLengthOfIf annotation repeatable.
EnsuresMinLenIf - Annotation Type in org.checkerframework.common.value.qual
Indicates that the value of the given expression is a sequence containing at least the given number of elements, if the method returns the given result (either true or false).
EnsuresMinLenIf.List - Annotation Type in org.checkerframework.common.value.qual
A wrapper annotation that makes the EnsuresMinLenIf annotation repeatable.