Index (checker-framework 3.8.0 API)

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

A

A - Annotation Type in org.checkerframework.checker.units.qual: Ampere.
A - Static variable in class org.checkerframework.checker.units.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.
AbstractMostlySingleton<T> - Class in org.checkerframework.dataflow.util: Base class for arbitrary-size sets that very efficient (more efficient than HashSet) for 0 and 1 elements.
AbstractMostlySingleton(AbstractMostlySingleton.State) - Constructor for class org.checkerframework.dataflow.util.AbstractMostlySingleton: Create an AbstractMostlySingleton.
AbstractMostlySingleton(AbstractMostlySingleton.State, T) - Constructor for class org.checkerframework.dataflow.util.AbstractMostlySingleton: Create an AbstractMostlySingleton.
AbstractMostlySingleton.State - Enum in org.checkerframework.dataflow.util: The possible states of this set.
AbstractNodeVisitor<R,P> - Class in org.checkerframework.dataflow.cfg.node: A default implementation of the node visitor interface.
AbstractNodeVisitor() - Constructor for class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
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.ExplicitThisLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LongLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.Node: Accept method of the visitor pattern.
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NullLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ShortLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
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
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.
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.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>, 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>) - 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) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
adaptGetClassReturnTypeToReceiver(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory: Java special-cases the return type of getClass().
add(Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist: Add the given block to AbstractAnalysis.Worklist.queue.
add(T) - Method in class org.checkerframework.dataflow.util.IdentityMostlySingleton
add(T) - Method in class org.checkerframework.dataflow.util.MostlySingleton
add(AnnotatedTypeMirror, AnnotatedTypeMirror, RETURN_TYPE) - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
add(AnnotationMirror) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
addAliasedAnnotation(Class<?>, AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory: Adds the annotation aliasClass as an alias for the canonical annotation type that will be used by the Checker Framework in the alias's place.
addAliasedAnnotation(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 type that will be used by the Checker Framework in the alias's place.
addAliasedAnnotation(Class<?>, Class<?>, boolean, String...) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory: Adds the annotation aliasClass as an alias for the canonical annotation type that will be used by the Checker Framework in the alias's place.
addAliasedAnnotation(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 type that will be used by the Checker Framework in the alias's place.
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.
addAll(Collection<? extends T>) - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
addAll(Collection<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
AddAnnotatedFor - Class in org.checkerframework.framework.stub: Utility that generates @AnnotatedFor class annotations.
AddAnnotatedFor() - Constructor for class org.checkerframework.framework.stub.AddAnnotatedFor
addAnnotatedFor(AScene) - Static method in class org.checkerframework.framework.stub.AddAnnotatedFor
addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror: Adds an annotation to this type.
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.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 bases 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(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.
addCheckedCodeDefaults(AnnotationMirror, TypeUseLocation[]) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
addCheckedStandardDefaults(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: Adds the standard CLIMB defaults that do not conflict with previously added defaults.
addClimbStandardDefaults() - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults: Add standard CLIMB defaults that do not conflict with previously added defaults.
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - 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.lowerbound.LowerBoundAnnotatedTypeFactory: Handles cases 1, 2, and 3.
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
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(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
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) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory: Changes annotations on a type obtained from a Tree.
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory: Changes annotations on a type obtained from an Element.
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: This method is final; override GenericAnnotatedTypeFactory.addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) instead.
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: Like GenericAnnotatedTypeFactory.addComputedTypeAnnotations(Tree, AnnotatedTypeMirror).
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: To add annotations to the type of method or constructor parameters, add a TypeAnnotator using GenericAnnotatedTypeFactory.createTypeAnnotator() and see the comment in TypeAnnotator.visitExecutable(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType, Void).
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.
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
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.
addFieldToAnnotationBuilder(String, Object, AnnotationBuilder) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter: Adds a field to an AnnotationBuilder.
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 the method method with corresponding tree methodTree to the store info.
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(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).
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).
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.WholeProgramInferenceScenes
addMissingAnnotations(Iterable<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror: Adds those annotations to the current type, for which 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.
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.
addPolyRelations(QualifierHierarchy, Map<AnnotationMirror, Set<AnnotationMirror>>, Map<AnnotationMirror, AnnotationMirror>, Set<AnnotationMirror>, Set<AnnotationMirror>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy: Deprecated.

Add the relationships for polymorphic qualifiers.
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.
addQualifier(AnnotationMirror) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory: Deprecated.

Adds the passed qualifier to the hierarchy.
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.
addSubtype(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory: Deprecated.

Adds a subtype relationship between the two type qualifiers.
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(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Add a node in the post-conversion lookup map.
addToConvertedLookupMap(Tree, Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Add a node in the post-conversion lookup map.
addToLookupMap(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Add a node to the lookup map if it not already present.
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
addToUnaryAssignLookupMap(UnaryTree, AssignmentNode) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Add a unary tree in the compound assign lookup map.
addToWorklist(Block) - Method in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Add a basic block to AbstractAnalysis.worklist.
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(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: Adds standard unchecked defaults that do not conflict with previously added defaults.
addUncheckedStandardDefaults() - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults: Add 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.
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.
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.
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
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
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.
allStubFiles(String) - Static method in class org.checkerframework.framework.stub.StubUtil: Return stub files found in the file system (does not look on classpath).
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<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> - Interface in org.checkerframework.dataflow.analysis: This interface defines a dataflow analysis, given a control flow graph and a transfer function.
analysis - Variable in class org.checkerframework.dataflow.analysis.TransferInput: The corresponding analysis class to get intermediate flow results.
analysis - 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.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(Map<Node, V>, IdentityHashMap<Block, TransferInput<V, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, AssignmentNode>, HashMap<Element, V>, Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult: Initialize with given mappings.
AnalysisResult(Map<Node, V>, IdentityHashMap<Block, TransferInput<V, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, AssignmentNode>, HashMap<Element, V>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult: Initialize with given mappings and empty cache.
AnalysisResult(Map<TransferInput<V, S>, IdentityHashMap<Node, TransferResult<V, S>>>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult: Initialize empty result with specified cache.
analyze(Queue<Pair<ClassTree, Store>>, Queue<Pair<LambdaExpressionTree, Store>>, UnderlyingAST, List<Pair<VariableElement, 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.FlowExpressionParseUtil: Anchored pattern for a formal parameter.
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
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
annotate(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults: Applies default annotations to a type given an Element.
annotate(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults: Applies default annotations to a type given a Tree.
AnnotatedFor - Annotation Type in org.checkerframework.framework.qual: Indicates that this class has been annotated for the given type system.
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.VariableApplier
AnnotatedTypeCombiner - Class in org.checkerframework.framework.type.visitor: Changes each parameter type to be the GLB of the parameter type and visited type.
AnnotatedTypeComparer<R> - Class in org.checkerframework.framework.type.visitor: A TypeVisitor that takes two AnnotatedTypeMirrors as parameters, and visits them simultaneously.
AnnotatedTypeComparer() - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeComparer
AnnotatedTypeCopier - Class in org.checkerframework.framework.type: AnnotatedTypeCopier is a visitor that deep copies an AnnotatedTypeMirror exactly, including any lazily initialized fields.
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.
AnnotatedTypeCopier() - Constructor for class org.checkerframework.framework.type.AnnotatedTypeCopier: Creates an AnnotatedTypeCopier that copies both the structure and annotations of the source AnnotatedTypeMirror.
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(AnnotatedTypeScanner.Reduce<R>, R) - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner: Constructs an AnnotatedTypeScanner with the given reduce function.
AnnotatedTypeScanner(AnnotatedTypeScanner.Reduce<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() - 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.
AnnotationBuilder - Class in org.checkerframework.javacutil: Builds an annotation mirror that may have some values.
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, 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, 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.
AnnotationConverter() - Constructor for class org.checkerframework.common.wholeprograminference.AnnotationConverter
AnnotationFormatter - Interface in org.checkerframework.framework.util: 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
annotationMirrorToAnnotation(AnnotationMirror) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter: Converts an AnnotationMirror into an Annotation.
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.
AnnotationSetAndTypeMirrorVisitor(TypeMirror, TypeMirror, TypeMirror, Set<AnnotationMirror>, Set<AnnotationMirror>) - Constructor for class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetAndTypeMirrorVisitor
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.
AnnotationUtils - Class in org.checkerframework.javacutil: A utility class for working with annotations.
annotators - Variable in class org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
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.AnnotatedTypeVariable, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.ClassTypeParamApplier: Apply annotations from 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.AnnotatedTypeVariable, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.MethodTypeParamApplier: Apply annotations from element to type.
apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.ParamApplier: 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, Element) - Static method in class org.checkerframework.framework.util.element.VariableApplier: 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.
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, 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(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: Applies defaults for types in a class with an qualifier parameter.
applyQualifierParameterDefaults(Element, 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).
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: Stores the result of DefaultTypeHierarchy.areEqualInHierarchy(AnnotatedTypeMirror, AnnotatedTypeMirror) for type arguments.
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(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils: Returns true iff both annotations are of the same type and have the same annotation values.
areSame(Collection<? extends AnnotationMirror>, Collection<? extends AnnotationMirror>) - Static method in class org.checkerframework.javacutil.AnnotationUtils: Checks that two collections contain the same annotations.
areSameByClass(AnnotationMirror, Class<? extends Annotation>) - 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: Checks that the annotation am has the name of annoClass.
areSameByName(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils: Return true iff a1 and a2 have the same annotation type.
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).
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.FlowExpressionParseUtil.FlowExpressionParseException
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.framework.util.FlowExpressionParseUtil.FlowExpressionContext: In a context for a method declaration or lambda, the formals.
array - Variable in class org.checkerframework.checker.index.Subsequence: Name of the Subsequence.
array - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
ArrayAccess - Class in org.checkerframework.dataflow.expression: An array access.
ArrayAccess(TypeMirror, Receiver, Receiver) - Constructor for class org.checkerframework.dataflow.expression.ArrayAccess
ArrayAccessNode - Class in org.checkerframework.dataflow.cfg.node: A node for an array access:
ArrayAccessNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
ArrayCreation - Class in org.checkerframework.dataflow.expression: FlowExpression for array creations.
ArrayCreation(TypeMirror, List<? extends Receiver>, List<Receiver>) - Constructor for class org.checkerframework.dataflow.expression.ArrayCreation: Creates an ArrayCreation object.
ArrayCreationNode - Class in org.checkerframework.dataflow.cfg.node: A node for new array creation.
ArrayCreationNode(NewArrayTree, TypeMirror, List<Node>, List<Node>) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
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.
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 arrays, 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.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, ExecutableElement) - Static method in class org.checkerframework.framework.util.AnnotatedTypes: Specialization of AnnotatedTypes.asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, Element) with more precise return type.
asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, ExecutableElement, AnnotatedTypeMirror.AnnotatedExecutableType) - Static method in class org.checkerframework.framework.util.AnnotatedTypes: Specialization of AnnotatedTypes.asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, Element, AnnotatedTypeMirror) with more precise return type.
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, 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.
asRegex(String) - Static method in class org.checkerframework.checker.regex.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.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.
assertNotBuilt() - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory: Deprecated.

Throw an exception if the factory was already built.
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.
assertSameSize(Collection<?>, Collection<?>, Collection<?>) - Static method in interface org.checkerframework.framework.type.QualifierHierarchy: Throws an exception if the result does not have the same size as the inputs (which are assumed to have the same size as one another).
assertValidState() - Method in class org.checkerframework.framework.util.CheckerDevelMain
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.
AssignmentContext - Class in org.checkerframework.dataflow.cfg.node: An assignment context for a node, which represents the place to which the node with this context is 'assigned' to.
AssignmentContext() - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentContext
assignmentContext - Variable in class org.checkerframework.dataflow.cfg.node.Node: The assignment context of this node.
AssignmentContext.AssignmentLhsContext - Class in org.checkerframework.dataflow.cfg.node: An assignment context for an assignment 'lhs = rhs'.
AssignmentContext.LambdaReturnContext - Class in org.checkerframework.dataflow.cfg.node: An assignment context for lambda return statements.
AssignmentContext.MethodParameterContext - Class in org.checkerframework.dataflow.cfg.node: An assignment context for a method parameter.
AssignmentContext.MethodReturnContext - Class in org.checkerframework.dataflow.cfg.node: An assignment context for method return statements.
AssignmentLhsContext(Node) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentContext.AssignmentLhsContext
AssignmentNode - Class in org.checkerframework.dataflow.cfg.node: A node for an assignment:
AssignmentNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentNode
assumeAssertionsActivatedForAssertTree(SourceChecker, AssertTree) - Static method in class org.checkerframework.framework.flow.CFCFGBuilder
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(AnnotatedTypeMirror, T) - Method in class org.checkerframework.framework.type.AsSuperVisitor: Implements asSuper.
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(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.
AsSuperVisitor - Class in org.checkerframework.framework.type: Implements asSuper AnnotatedTypes.asSuper(AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror).
AsSuperVisitor(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.AsSuperVisitor: Create a new AsSuperVisitor.
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
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.
attributeFromAnnotationValue(ExecutableElement, AnnotationValue, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils: Returns a newly created Attribute corresponding to an argument AnnotationValue.
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.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
atypeFactory - Variable in class org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement: The annotated type factory.
atypeFactory - Variable in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory: Deprecated.

The annotated type factory associated with this hierarchy.
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

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, boolean) - Constructor for class org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
BaseAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
BaseContext - Interface in org.checkerframework.framework.util: A collection of references to javac components.
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
BaseTypeContext - Interface in org.checkerframework.common.basetype: An extension of CFContext that includes BaseTypeChecker-specific components.
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
BINARY_NAME - Variable in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory: The @BinaryName annotation.
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: FlowExpression.Receiver for binary operations.
BinaryOperation(BinaryOperationNode, Receiver, Receiver) - Constructor for class org.checkerframework.dataflow.expression.BinaryOperation: Create a binary operation.
BinaryOperationNode - Class in org.checkerframework.dataflow.cfg.node: A node for a binary expression.
BinaryOperationNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
binaryPromotedType(TypeMirror, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Compute the type to which two numeric types must be promoted before performing a binary numeric operation on them.
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 binarya operation, accounting for widening and unboxing if applicable.
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(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.
bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.ShortMath
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
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
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(Range) - Method in class org.checkerframework.common.value.util.Range: We give up the analysis for bitwise OR operation.
bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.ShortMath
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
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(Range) - Method in class org.checkerframework.common.value.util.Range: We give up the analysis for bitwise XOR operation.
bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.ShortMath
BitwiseXorNode - Class in org.checkerframework.dataflow.cfg.node: A node for the bitwise or logical (single bit) xor operation:
BitwiseXorNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
Block - Interface in org.checkerframework.dataflow.cfg.block: Represents a basic block in a control flow graph.
block - Variable in class org.checkerframework.dataflow.cfg.node.Node: The basic block this node belongs to.
Block.BlockType - Enum in org.checkerframework.dataflow.cfg.block: The types of basic blocks.
BLOCK_SIZE - Static variable in class org.checkerframework.framework.util.ExecUtil
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_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.
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.
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.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.units.UnitsAnnotatedTypeFactory
bottom - Variable in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory: The canonical bottom annotation for this accumulation checker.
Bottom - Annotation Type in org.checkerframework.common.subtyping.qual: A special annotation intended solely for representing the bottom type in the qualifier hierarchy.
bottom - Variable in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy.DefaultQualifierKind: The bottom of the hierarchy to which this belongs.
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.
bottoms - Variable in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy: Deprecated.

The bottom qualifiers of the type hierarchies.
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
boundsMatch(AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer: Returns true if the underlying types of the bounds for type1 and type2 are equal.
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 or in a checker implementation.
BugInCF(String) - Constructor for exception org.checkerframework.javacutil.BugInCF: Constructs a new CheckerError 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 CheckerError with a detail message composed from the given arguments, and with no cause (use the current callstack as the root cause).
BugInCF(Throwable) - Constructor for exception org.checkerframework.javacutil.BugInCF: Constructs a new CheckerError with the specified cause.
BugInCF(String, Throwable) - Constructor for exception org.checkerframework.javacutil.BugInCF: Constructs a new CheckerError with the specified detail message and cause.
build(CompilationUnitTree, UnderlyingAST, boolean, boolean, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Build the control flow graph of some code.
build(TreePath, UnderlyingAST, boolean, boolean, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Build the control flow graph of some code (method, initializer block, ...).
build(CompilationUnitTree, UnderlyingAST, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Build the control flow graph of some code.
build(CompilationUnitTree, MethodTree, ClassTree, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Build the control flow graph of a method.
build(CompilationUnitTree, UnderlyingAST, BaseTypeChecker, AnnotatedTypeFactory, ProcessingEnvironment) - Static method in class org.checkerframework.framework.flow.CFCFGBuilder: Build the control flow graph of some code.
build() - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory: Deprecated.

Returns an instance of GraphQualifierHierarchy that represents the hierarchy built so far.
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.
build() - Method in class org.checkerframework.javacutil.AnnotationBuilder
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(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.flow.CFTreeBuilder: Builds an AST Tree representing an AnnotatedTypeMirror.
buildArrayAccess(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder: Builds an AST Tree to dereference an array.
buildArrayLengthAccess(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder: Builds an AST Tree to dereference the length field of an array.
buildAssignment(VariableTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder: Builds an AST Tree to assign an expression to a variable.
buildAssignment(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder: Builds an AST Tree to assign an RHS expression to an LHS expression.
buildBinary(TypeMirror, Tree.Kind, ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder: Builds an AST Tree to perform a binary operation.
buildClassUse(Element) - Method in class org.checkerframework.javacutil.trees.TreeBuilder: Builds an AST Tree to refer to a class name.
buildContextForClassDeclaration(ClassTree, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Returns a FlowExpressionParseUtil.FlowExpressionContext for the class classTree as seen at the class declaration.
buildContextForLambda(LambdaExpressionTree, TreePath, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
buildContextForMethodDeclaration(MethodTree, Tree, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Creates a FlowExpressionParseUtil.FlowExpressionContext for the method declared in methodDeclaration.
buildContextForMethodDeclaration(MethodTree, TypeMirror, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Creates a FlowExpressionParseUtil.FlowExpressionContext for the method declared in methodDeclaration.
buildContextForMethodDeclaration(MethodTree, TreePath, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Creates a FlowExpressionParseUtil.FlowExpressionContext for the method declared in methodDeclaration.
buildContextForMethodUse(MethodInvocationNode, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Returns a FlowExpressionParseUtil.FlowExpressionContext for the method methodInvocation (represented as a Node as seen at the method use (i.e., at a method call site).
buildContextForMethodUse(MethodInvocationTree, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Returns a FlowExpressionParseUtil.FlowExpressionContext for the method methodInvocation (represented as a MethodInvocationTree as seen at the method use (i.e., at a method call site).
buildContextForNewClassUse(ObjectCreationNode, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Returns a FlowExpressionParseUtil.FlowExpressionContext for the constructor n (represented as a Node as seen at the method use (i.e., at a method call site).
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(TypeMirror, String, Element, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder: Builds an AST Tree to declare and initialize a variable, with no modifiers.
buildVariableDecl(Tree, String, Element, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder: Builds an AST Tree to declare and initialize a variable.
buildVariableUse(VariableTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder: Builds an AST Tree to refer to a variable.
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.SignednessUtil: Returns an unsigned byte representing the same value as the double.
byteFromFloat(float) - Static method in class org.checkerframework.checker.signedness.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.UnitsTools
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.
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(CFAnalysis) - 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.invalid.
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(Receiver, Receiver) - Method in interface org.checkerframework.dataflow.analysis.Store: Can the objects a and b be aliases? Returns a conservative answer (i.e., returns true if not enough information is available to determine aliasing).
canAlias(Receiver, Receiver) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
canAlias(Receiver, Receiver) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
canAlias(Receiver, Receiver) - 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.
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.
canInsertReceiver(Receiver) - Static method in class org.checkerframework.framework.flow.CFAbstractStore: Returns true if the receiver r can be stored in this store.
CANONICAL_NAME - Variable in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory: The @CanonicalName annotation.
canonicalAnnotation(AnnotationMirror) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
canonicalAnnotation(AnnotationMirror) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
canonicalAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory: Returns the canonical annotation for the passed annotation.
CanonicalName - Annotation Type in org.checkerframework.checker.signature.qual: Canonical names have the same syntactic form as fully-qualified names.
CanonicalNameOrEmpty - Annotation Type in org.checkerframework.checker.signature.qual: Either a CanonicalName or the empty string.
capitalize(String) - Static method in class org.checkerframework.checker.calledmethods.builder.BuilderFrameworkSupportUtils: Capitalizes the first letter of the given string.
caseExpr - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode: The case expression to match the switch expression against.
CaseNode - Class in org.checkerframework.dataflow.cfg.node: A node for a case in a switch statement.
CaseNode(CaseTree, Node, Node, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.CaseNode: Create a new CaseNode.
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.
castNonNull(T) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: A method that suppresses warnings from the Nullness Checker.
castNonNull(T, String) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Suppress warnings from the Nullness Checker, with a custom error message.
castNonNullDeep(T[]) - Static method in class org.checkerframework.checker.nullness.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.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.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.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.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.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.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.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.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.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: Takes a list of ConversionCategory elements, and returns a syntax tree element that represents a Format annotation with the list as value.
categoriesToFormatAnnotation(I18nConversionCategory[]) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Takes a list of ConversionCategory elements, and returns a syntax tree element that represents a I18nFormat annotation with the list as value.
cd - Annotation Type in org.checkerframework.checker.units.qual: Candela (unit of luminance).
cd - Static variable in class org.checkerframework.checker.units.UnitsTools
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>>, List<Pair<VariableElement, V>>, int) - Constructor for class org.checkerframework.framework.flow.CFAbstractAnalysis: Create a CFAbstractAnalysis.
CFAbstractAnalysis(BaseTypeChecker, GenericAnnotatedTypeFactory<V, S, T, ? extends CFAbstractAnalysis<V, S, T>>, List<Pair<VariableElement, V>>) - Constructor for class org.checkerframework.framework.flow.CFAbstractAnalysis
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
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.AnnotationSetAndTypeMirrorVisitor - Class in org.checkerframework.framework.flow: Iterates through two sets of AnnotationMirrors by hierarchy and calls one of three methods depending on whether an annotation exists for the hierarchy in each set.
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>, List<Pair<VariableElement, CFValue>>) - Constructor for class org.checkerframework.framework.flow.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
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.
CFContext - Interface in org.checkerframework.framework.util: A collection of references to various type checker components.
cfg - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: The current control flow graph to perform the analysis on.
CFGBuilder - Class in org.checkerframework.dataflow.cfg.builder: Builds the control flow graph of some Java code (either a method, or an arbitrary statement).
CFGBuilder() - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGBuilder
CFGLambda(LambdaExpressionTree, ClassTree, MethodTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda: Create a new CFGLambda.
CFGMethod(MethodTree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
CFGProcessor - Class in org.checkerframework.dataflow.cfg: Generate the control flow graph of a given method in a given class.
CFGProcessor(String, String) - Constructor for class org.checkerframework.dataflow.cfg.CFGProcessor: Create a CFG processor.
CFGProcessor.CFGProcessResult - Class in org.checkerframework.dataflow.cfg: The result of the CFG process, contains the control flow graph when successful.
CFGStatement(Tree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
CFGTranslationPhaseOne - Class in org.checkerframework.dataflow.cfg.builder: Class that performs phase one of the translation process.
CFGTranslationPhaseOne(TreeBuilder, AnnotationProvider, boolean, boolean, ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
CFGTranslationPhaseThree - Class in org.checkerframework.dataflow.cfg.builder: Class that performs phase three of the translation process.
CFGTranslationPhaseThree() - Constructor for class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
CFGTranslationPhaseThree.PredecessorHolder - Interface in org.checkerframework.dataflow.cfg.builder: A simple wrapper object that holds a basic block and allows to set one of its successors.
CFGTranslationPhaseTwo - Class in org.checkerframework.dataflow.cfg.builder: Class that performs phase two of the translation process.
CFGVisualizeLauncher - Class in org.checkerframework.dataflow.cfg.visualize: Launcher to generate the DOT or String representation of the control flow graph of a given method in a given class.
CFGVisualizeLauncher() - Constructor for class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher
CFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> - Interface in org.checkerframework.dataflow.cfg.visualize: Perform some visualization on a control flow graph.
cfgVisualizer - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: The CFGVisualizer to be used by all CFAbstractAnalysis instances.
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_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 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.
checkAnnotation(AnnotationMirror, Tree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper: Checks every Java expression element of the annotation to see if the expression is an error string as specified by DependentTypesError#isExpressionError.
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.invalid" 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
checkClass(ClassTree, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper: Checks all Java expressions in the class declaration AnnotatedTypeMirror to see if the expression string is an error string as specified by DependentTypesError#isExpressionError.
checkConditionalPostcondition(MethodTree, AnnotationMirror, Receiver, 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.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(Receiver, AnnotationMirror, AnnotationMirror, CFAbstractStore<?, ?>) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
checkContract(Receiver, 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(PatternSyntaxException) - Constructor for exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Constructs a new CheckedPatternSyntaxException equivalent to the given PatternSyntaxException.
CheckedPatternSyntaxException(String, String, int) - Constructor for exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Constructs a new CheckedPatternSyntaxException.
checker - Variable in class org.checkerframework.checker.formatter.FormatterTreeUtil
checker - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
checker - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
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.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
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_QUAL_PATH_OPT - Static variable in class org.checkerframework.javacutil.PluginUtil: Deprecated.

Option name for specifying an alternative checker-qual.jar location.
checkerContext - Variable in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
CheckerDevelMain - Class in org.checkerframework.framework.util: The main entry point to the Checker Framework, for use by Checker Framework developers.
CheckerDevelMain(File, List<String>) - Constructor for class org.checkerframework.framework.util.CheckerDevelMain: 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.
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.
checkerQualJar - Variable in class org.checkerframework.framework.util.CheckerMain: The path to checker-qual.jar.
checkers - Variable in class org.checkerframework.framework.source.AggregateChecker
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.
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.
checkMethod(MethodTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper: Checks all Java expressions in the method declaration AnnotatedTypeMirror to see if the expression string is an error string as specified by DependentTypesError#isExpressionError.
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.invalid" 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(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() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker: Perform the check.
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, Receiver) - 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.invalid" 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?
checkType(AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper: Checks all Java expressions in the given annotated type to see if the expression string is an error string as specified by DependentTypesError.isExpressionError(java.lang.String).
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.type.incompatible" 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.
checkVarargs(AnnotatedTypeMirror.AnnotatedExecutableType, Tree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor: A helper method to check that the array type of actual varargs is a subtype of the corresponding required varargs, and issues "argument.invalid" error if it's not a subtype of the required one.
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.
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: Return the set of kinds that represent classes.
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 - Class in org.checkerframework.dataflow.expression: A ClassName represents the occurrence of a class as part of a static field access or method invocation.
ClassName(TypeMirror) - Constructor for class org.checkerframework.dataflow.expression.ClassName
ClassNameNode - Class in org.checkerframework.dataflow.cfg.node: A node representing a class name used in an expression such as a static method invocation.
ClassNameNode(IdentifierTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
ClassNameNode(ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode: Create a new ClassNameNode.
ClassNameNode(MemberSelectTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
ClassNameNode(TypeMirror, Element) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
classTree - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod: The class tree this method belongs to.
classTree - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement: The class tree this method belongs to.
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
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.
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.dataflow.util.AbstractMostlySingleton
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() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror: Removes all primary annotations on this type.
clearCache() - Method in class org.checkerframework.framework.type.typeannotator.DefaultQualifierForUseTypeAnnotator: Clears all caches.
clearValue(Receiver) - Method in class org.checkerframework.framework.flow.CFAbstractStore: Remove any knowledge about the expression r (correctly deciding where to remove the information depending on the type of the expression r).
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 - 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.
collectionToArrayHeuristics - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory: Determines the nullness type of calls to Collection.toArray().
CollectionUtils - Class in org.checkerframework.javacutil: Utility methods related to Java Collections.
CollectionUtils() - Constructor for class org.checkerframework.javacutil.CollectionUtils
combine(AnalysisResult<V, S>) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult: Combine with another analysis result.
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(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.
combineRs(Void, Void) - Method in class org.checkerframework.framework.type.AnnotatedTypeReplacer
combineRs(Void, Void) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeCombiner
combineRs(R, R) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeComparer: Supplies the logic to reduce on how to combine two R objects.
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(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(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.index.inequality.LessThanVisitor
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, 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(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.checker.index.samelen.SameLenVisitor: Merges SameLen annotations, then calls super.
commonAssignmentCheck(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundVisitor
commonAssignmentCheck(AnnotatedTypeMirror, 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(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.checker.lock.LockVisitor
commonAssignmentCheck(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String, Object...) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, Object...) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
commonAssignmentCheck(Tree, ExpressionTree, String, Object...) - Method in class org.checkerframework.common.aliasing.AliasingVisitor
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, 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.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.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.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.AnnotatedTypeReplacer
compare(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.EqualityAtmComparer: Return true if the twe types are the same.
compare(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeCombiner
compare(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeComparer: Compares two annotated type mirrors.
compare(Object, Object) - Method in class org.checkerframework.javacutil.ToStringComparator
compareAnnotationMirrors(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils: Provide ordering for AnnotationMirrors.
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(short, short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Compares two unsigned shorts x and y.
compareUnsigned(byte, byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Compares two unsigned bytes x and y.
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
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.
concatenate(T[], T...) - Static method in class org.checkerframework.javacutil.SystemUtil: Concatenates two arrays.
concatenate(T, T[], T) - Static method in class org.checkerframework.javacutil.SystemUtil: Concatenates an element, an array, and an element.
condition - Variable in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
condition - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
ConditionalAndNode - Class in org.checkerframework.dataflow.cfg.node: A node for a conditional and expression:
ConditionalAndNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalAndNode: Create a new ConditionalAndNode.
ConditionalBlock - Interface in org.checkerframework.dataflow.cfg.block: Represents a conditional basic block.
ConditionalBlockImpl - Class in org.checkerframework.dataflow.cfg.block: Implementation of a conditional basic block.
ConditionalBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl: Initialize an empty conditional basic block to be filled with contents and linked to other basic blocks later.
conditionalExprPromotion(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Convert an operand of a conditional expression to the type of the whole expression.
ConditionalNotNode - Class in org.checkerframework.dataflow.cfg.node: A node for a conditional not expression:
ConditionalNotNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalNotNode: Create a new ConditionalNotNode.
ConditionalOrNode - Class in org.checkerframework.dataflow.cfg.node: A node for a conditional or expression:
ConditionalOrNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalOrNode: Create a new ConditionalOrNode.
ConditionalPostcondition(String, AnnotationMirror, AnnotationMirror, boolean) - Constructor for class org.checkerframework.framework.util.Contract.ConditionalPostcondition: Create a new 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, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a new ConditionalTransferResult.ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean), using null for TransferResult.exceptionalStores.
ConditionalTransferResult(V, S, S) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a new ConditionalTransferResult.ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean), using false for whether the store changed and null for TransferResult.exceptionalStores.
ConditionalTransferResult(V, S, S, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a new ConditionalTransferResult.ConditionalTransferResult(AbstractValue, Store, Store, Map, boolean), using false for the storeChanged formal parameter.
ConditionalTransferResult(V, S, S, Map<TypeMirror, S>, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult: Create a ConditionalTransferResult with thenStore as the resulting store if the corresponding Node evaluates to true and elseStore otherwise.
Constant - Class in org.checkerframework.dataflow.constantpropagation
Constant(Constant.Type) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant: Create a constant for type.
Constant(Integer) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant: Create a constant for value.
Constant.Type - Enum in org.checkerframework.dataflow.constantpropagation
ConstantPropagationPlayground - Class in org.checkerframework.dataflow.cfg.playground
ConstantPropagationPlayground() - Constructor for class org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground
ConstantPropagationStore - Class in org.checkerframework.dataflow.constantpropagation
ConstantPropagationStore() - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore: Creates a new ConstantPropagationStore.
ConstantPropagationStore(Map<Node, Constant>) - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
ConstantPropagationTransfer - Class in org.checkerframework.dataflow.constantpropagation
ConstantPropagationTransfer() - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
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: Determines the symbol for a constructor given an invocation via new.
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.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(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(Object) - Method in class org.checkerframework.dataflow.util.IdentityMostlySingleton
contains(Object) - Method in class org.checkerframework.dataflow.util.MostlySingleton
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.
contains(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
contains(Object) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
containsAll(Collection<?>) - Method in class org.checkerframework.dataflow.util.AbstractMostlySingleton
containsAll(Collection<?>) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
containsKey(Object) - Method in class org.checkerframework.framework.util.AnnotationMirrorMap
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.ClassName
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.FieldAccess
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.MethodCall
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.Receiver: Returns true if and only if other appears anywhere in this receiver or an expression appears in this receiver such that other might alias this expression, and that expression is modifiable.
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.ThisReference
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.Unknown
containsModifiableAliasOf(Store<?>, Receiver) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
containsModifier(AnnotatedTypeMirror, AnnotationMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes: Checks whether type contains the given modifier, also recursively in type arguments and arrays.
containsNullnessAnnotation(List<? extends AnnotationTree>, Tree) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory: Returns true if some annotation in the given list is a nullness annotation such as @NonNull, @Nullable, @MonotonicNonNull, etc.
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.ClassName
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.FieldAccess
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.LocalVariable
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.MethodCall
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.Receiver
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.ThisReference
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.Unknown
containsOfClass(Class<? extends Receiver>) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
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.
containsSyntacticEqualParameter(LocalVariable) - Method in class org.checkerframework.dataflow.expression.MethodCall
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.FieldAccess
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.LocalVariable
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.MethodCall
containsSyntacticEqualReceiver(Receiver) - Method in class org.checkerframework.dataflow.expression.Receiver: Returns true if and only if this receiver contains a receiver that is syntactically equal to other.
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(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.
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.
containsUnknown() - Method in class org.checkerframework.dataflow.expression.Receiver
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.
Contract - Class in org.checkerframework.framework.util: A contract represents an annotation on an expression.
Contract(Contract.Kind, String, AnnotationMirror, AnnotationMirror) - Constructor for class org.checkerframework.framework.util.Contract: Creates a new Contract.
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, AssignmentNode>, 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.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.
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
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.
copyAndSetUseLocalScope(boolean) - Method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Returns a copy of the context that differs in that useLocalScope is set to the given value.
copyAndUseOuterReceiver() - Method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Returns a copy of the context that differs in that it uses the outer receiver as main receiver (and also retains it as the outer receiver), and parsingMember is set to false.
copyAnnotations - Variable in class org.checkerframework.framework.type.AnnotatedTypeCopier: See AnnotatedTypeCopier.AnnotatedTypeCopier(boolean).
copyChangeToParsingMemberOfReceiver(Receiver) - Method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Returns a copy of the context that differs in that it has a different receiver and parsingMember is set to true.
copyElementValuesFromAnnotation(AnnotationMirror, String...) - 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.
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(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(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(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis: Creates an abstract value from the annotated type mirror.
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
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.
createAccumulatorAnnotation(String) - Method in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory: Creates a new instance of the accumulator annotation that contains exactly one value.
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
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 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.
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(Receiver, Receiver, AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory: Combines the given arrays and annotations into a single SameLen annotation.
createCombinedSameLen(List<Receiver>, List<AnnotationMirror>) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory: Generates a SameLen that includes each receiver, 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(S) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis: Returns an identical copy of the store s.
createCopiedStore(CFStore) - Method in class org.checkerframework.framework.flow.CFAnalysis
createCpOpts(List<String>) - Method in class org.checkerframework.framework.util.CheckerDevelMain
createCpOpts(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
createDefaultApplierElement(AnnotatedTypeFactory, Element, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
createDefaultForTypeAnnotator() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
createDefaultForTypeAnnotator() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: Creates an DefaultForTypeAnnotator.
createDefaultForUseTypeAnnotator() - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
createDefaultForUseTypeAnnotator() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: Creates an DefaultQualifierForUseTypeAnnotator.
createDependentTypesHelper() - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
createDependentTypesHelper() - Method in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory: Creates an DependentTypesHelper that allows use of addition and subtraction in the Substring Index Checker annotations.
createDependentTypesHelper() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
createDependentTypesHelper() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
createDependentTypesHelper() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: Creates an DependentTypesHelper and returns it.
createDependentTypesTreeAnnotator(AnnotatedTypeFactory) - Method in class org.checkerframework.checker.index.OffsetDependentTypesHelper
createDependentTypesTreeAnnotator(AnnotatedTypeFactory) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper: Creates a TreeAnnotator that standardizes 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.
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.
createFactory(CompilationUnitTree) - Method in class org.checkerframework.checker.signature.SignatureChecker
createFlowAnalysis(List<Pair<VariableElement, CFValue>>) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
createFlowAnalysis(List<Pair<VariableElement, KeyForValue>>) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
createFlowAnalysis(List<Pair<VariableElement, NullnessValue>>) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
createFlowAnalysis(List<Pair<VariableElement, CFValue>>) - Method in class org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
createFlowAnalysis(List<Pair<VariableElement, Value>>) - 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<CFValue, LockStore, LockTransfer>) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
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, 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, MethodInvocationNode, I18nFormatterAnnotatedTypeFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Returns an I18nFormatCall instance, only if FormatFor is called.
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(LinkedHashSet<String>) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
createKeyForAnnotationMirrorWithValue(String) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
createLessThanQualifier(List<String>) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory: Creates a less than qualifier given the expressions.
createLessThanQualifier(String) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory: Returns @LessThan(expression).
createLiteral(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.
createMultiGraphQualifierHierarchy(AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy: Deprecated.
Use ElementQualifierHierarchy instead.
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.CheckerDevelMain
createPpOpts(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
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.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.
createQualifierHierarchy() - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory: Deprecated.

Create QualifierHierarchy
createQualifierHierarchyWithMultiGraphFactory(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory: Deprecated.
Use either ElementQualifierHierarchy, NoElementQualifierHierarchy, or MostlyNoElementQualifierHierarchy instead. This method will be removed in a future release.
createQualifierKindHierarchy(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory.FenumQualifierHierarchy
createQualifierKindHierarchy(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory.UnitsQualifierHierarchy
createQualifierKindHierarchy(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.framework.type.ElementQualifierHierarchy: Create the QualifierKindHierarchy.
createQualifierKindHierarchy(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.framework.type.NoElementQualifierHierarchy: Create the QualifierKindHierarchy.
createQualifierKinds(Collection<Class<? extends Annotation>>) - Method in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy: Creates all QualifierKind objects for the given qualifier classes and adds them to qualifierClassMap.
createQualifierPolymorphism() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: Creates the QualifierPolymorphism instance which supports the QualifierPolymorphism mechanism.
createQualifierUpperBounds() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory: Creates QualifierUpperBounds for this type factory.
createRuntimeClasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerDevelMain
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, from an ordered collection such as a list or TreeSet in which the strings are in alphabetical order.
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.
createSourceVisitor() - Method in class org.checkerframework.checker.nullness.NullnessChecker
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(CompilationUnitTree) - Method in class org.checkerframework.common.util.debug.TreeDebug
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.
createSourceVisitorPublic() - Method in class org.checkerframework.common.basetype.BaseTypeChecker: A public variant of BaseTypeChecker.createSourceVisitor().
createStringAnnotation(List<String>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory: Returns a StringVal annotation using the values.
createSupportedLintOptions() - Method in class org.checkerframework.framework.source.SourceChecker: Compute the set of supported lint options.
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory: Copied from SubtypingChecker.
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory: Returns a mutable set of annotation classes that are supported by the Substring Index Checker.
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.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.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
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.
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.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.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.common.basetype.BaseTypeVisitor: Constructs an instance of the appropriate type factory for the implemented type system.
createTypeFactory() - Method in class org.checkerframework.common.reflection.ClassValVisitor
createTypeFactory() - Method in class org.checkerframework.common.reflection.MethodValVisitor
createTypeFactory() - Method in class org.checkerframework.common.value.ValueVisitor
createTypeFactoryPublic() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor: A public variant of BaseTypeVisitor.createTypeFactory().
createTypeHierarchy() - Method in class org.checkerframework.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(AnnotationMirror) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier: Create a UBQualifier from the given annotation.
createUBQualifier(AnnotationMirror, String) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier: Create a UBQualifier from the given annotation, with an extra offset.
createUBQualifier(String, String) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
createUBQualifier(AnnotatedTypeMirror, AnnotationMirror) - 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.
createUnderInitializationAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Creates a UnderInitialization annotation with the given type as its type frame argument.
createUnderInitializationAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Creates a UnderInitialization annotation with the given type frame.
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 contain all the annotations in annos.
Current - Annotation Type in org.checkerframework.checker.units.qual: Electric current.
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.

D

DebugListTreeAnnotator - Class in org.checkerframework.framework.type.treeannotator: A ListTreeAnnotator implementation that additionally outputs debugging information.
DebugListTreeAnnotator(TreeAnnotator...) - Constructor for class org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
DebugListTreeAnnotator(Tree.Kind[], TreeAnnotator...) - Constructor for class org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
debugSpew - Variable in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
debugSpew - Variable in class org.checkerframework.checker.guieffect.GuiEffectVisitor
decl - Variable in class org.checkerframework.javacutil.trees.DetachedVarSymbol
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
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(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror: Returns a deep copy of this type.
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror: Returns a deep copy of this type with annotations.
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_VALUE - Variable in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeVisitor: The default value to return as a default action.
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, Void) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
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, AnnotatedTypeMirror, PARAM) - Method in class org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor: Called by the default implementation of every AbstractAtmComboVisitor visit method.
defaultAction - Variable in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner: The action to perform on every type.
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(Tree, Void) - Method in class org.checkerframework.framework.util.Heuristics.Matcher
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(AnnotationFormatter, 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.FormattingVisitor - Class in org.checkerframework.framework.type: A scanning visitor that prints the entire AnnotatedTypeMirror passed to visit.
DefaultAnnotationFormatter - Class in org.checkerframework.framework.util: A utility for converting AnnotationMirrors to Strings.
DefaultAnnotationFormatter() - Constructor for class org.checkerframework.framework.util.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: Default implementation for CFAbstractAnalysis.createAbstractValue(Set, TypeMirror).
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(QualifierHierarchy, AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.DefaultInferredTypesApplier
DefaultInferredTypesApplier(boolean, 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.
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: Implements support for DefaultQualifierForUse and NoDefaultQualifierForUse.
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: Creates a DefaultQualifierKindHierarchy.
DefaultQualifierKindHierarchy(Collection<Class<? extends Annotation>>, Class<? extends Annotation>) - Constructor for class org.checkerframework.framework.util.DefaultQualifierKindHierarchy: Creates a DefaultQualifierKindHierarchy.
DefaultQualifierKindHierarchy.DefaultQualifierKind - Class in org.checkerframework.framework.util: The default implementation of QualifierKind.
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.
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
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.UnitsTools
degrees - Annotation Type in org.checkerframework.checker.units.qual: Degrees.
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, FlowExpressionParseUtil.FlowExpressionParseException) - 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 annotations belonging to the type hierarchy.
dependentTypesHelper - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: to handle dependent type annotations
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
DependentTypesTreeAnnotator - Class in org.checkerframework.framework.util.dependenttypes: Standardizes Java expressions in annotations and also view points 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.
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.
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.SignednessUtilExtra: Gets the unsigned height of a Dimension.
dimensionUnsignedWidth(Dimension) - Static method in class org.checkerframework.checker.signedness.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.
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.
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(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.
divide(Number) - Method in class org.checkerframework.common.value.util.ShortMath
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.
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.
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.
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.
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.LocalVariable
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.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: Gets the element for a class corresponding to a declaration.
elementFromDeclaration(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils: Gets the element for a method corresponding to a declaration.
elementFromDeclaration(VariableTree) - Static method in class org.checkerframework.javacutil.TreeUtils: Gets the element for a variable corresponding to its declaration.
elementFromTree(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils: Gets the Element for the given Tree API node.
elementFromUse(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils: Gets the element for the declaration corresponding to this use of an element.
elementFromUse(MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils: Returns the ExecutableElement for the called method, from a call.
elementFromUse(NewClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils: Gets the ExecutableElement for the called constrctor, from a constructor invocation.
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
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.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.
elseFlowRule - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl: The initial value says that the ELSE store before a conditional block flows to BOTH of the stores of the else successor.
elseOperand - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
elseStore - Variable in class org.checkerframework.checker.index.IndexRefinementInfo
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.
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(Element) - Static method in class org.checkerframework.javacutil.ElementUtils: Returns the innermost type element enclosing the given element.
enclosingClass(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils: Gets the enclosing class of the tree node defined by the given 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.TreeUtils: Gets the enclosing method of the tree node defined by the given TreePath.
enclosingMethodOrLambda(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils: 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.TreeUtils: Gets the first enclosing tree in path, that is not a parenthesis.
enclosingOfClass(TreePath, Class<T>) - Static method in class org.checkerframework.javacutil.TreeUtils: Gets the first enclosing tree in path, of the specified class.
enclosingOfKind(TreePath, Tree.Kind) - Static method in class org.checkerframework.javacutil.TreeUtils: Gets the first enclosing tree in path, of the specified kind.
enclosingOfKind(TreePath, Set<Tree.Kind>) - Static method in class org.checkerframework.javacutil.TreeUtils: Gets the first enclosing tree in path, with any one of the specified kinds.
enclosingPackage(Element) - Static method in class org.checkerframework.javacutil.ElementUtils: Returns the innermost package element enclosing the given element.
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.TreeUtils
enclosingType - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType: The enclosing Type.
enclosingVariable(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils: Gets the enclosing variable of a tree node defined by the given TreePath.
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.
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.
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.
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.
EnsuresNonNull - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that the value expressions are non-null, if the method terminates successfully.
EnsuresNonNull.List - Annotation Type in org.checkerframework.checker.nullness.qual: A wrapper annotation that makes the EnsuresNonNull annotation repeatable.
EnsuresNonNullIf - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that the given expressions are non-null, if the method returns the given result (either true or false).
EnsuresNonNullIf.List - Annotation Type in org.checkerframework.checker.nullness.qual: * A wrapper annotation that makes the EnsuresNonNullIf annotation repeatable.
EnsuresQualifier - Annotation Type in org.checkerframework.framework.qual: A postcondition annotation to indicate that a method ensures that certain expressions have a certain type qualifier once the method has successfully terminated.
EnsuresQualifier.List - Annotation Type in org.checkerframework.framework.qual: A wrapper annotation that makes the EnsuresQualifier annotation repeatable.
EnsuresQualifierIf - Annotation Type in org.checkerframework.framework.qual: A conditional postcondition annotation to indicate that a method ensures that certain expressions have a certain qualifier once the method has terminated, and if the result is as indicated by result.
EnsuresQualifierIf.List - Annotation Type in org.checkerframework.framework.qual: A wrapper annotation that makes the EnsuresQualifierIf annotation repeatable.
entryBlock - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: The entry block of the control flow graph.
entrySet() - Method in class org.checkerframework.framework.util.AnnotationMirrorMap
EnumVal - Annotation Type in org.checkerframework.common.value.qual: An annotation indicating the possible values for an enum type.
env - Variable in class org.checkerframework.framework.flow.CFAbstractAnalysis: The associated processing environment.
env - Variable in class org.checkerframework.javacutil.trees.TreeBuilder
equalities - Variable in class org.checkerframework.framework.util.typeinference.solver.TargetConstraints
Equalities() - Constructor for class org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Equalities
EqualitiesSolver - Class in org.checkerframework.framework.util.typeinference.solver: EqualitiesSolver infers type arguments for targets using the equality constraints in ConstraintMap.
EqualitiesSolver() - Constructor for class org.checkerframework.framework.util.typeinference.solver.EqualitiesSolver
EQUALITY_COMPARER - Static variable in class org.checkerframework.framework.type.AnnotatedTypeMirror
EqualityAtmComparer - Class in org.checkerframework.framework.type: Compares two annotated type mirrors for structural equality using only the primary annotations and underlying types of the two input types and their component types.
EqualityAtmComparer() - Constructor for class org.checkerframework.framework.type.EqualityAtmComparer
equalityComparer - Variable in class org.checkerframework.framework.type.DefaultTypeHierarchy
equals(Effect) - Method in class org.checkerframework.checker.guieffect.Effect: Return true if this equals the given effect.
equals(Object) - Method in class org.checkerframework.checker.guieffect.Effect
equals(Object) - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation
equals(Object) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
equals(Object) - Method in class org.checkerframework.common.value.util.Range
equals(Object) - Method in class org.checkerframework.dataflow.analysis.TransferInput
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FloatLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LongLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NullLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ShortLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ThisLiteralNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ValueLiteralNode: Compare the value of this nodes.
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
equals(Object) - Method in class org.checkerframework.dataflow.constantpropagation.Constant
equals(Object) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
equals(Object) - Method in class org.checkerframework.dataflow.expression.ArrayAccess
equals(Object) - Method in class org.checkerframework.dataflow.expression.ArrayCreation
equals(Object) - Method in class org.checkerframework.dataflow.expression.BinaryOperation
equals(Object) - Method in class org.checkerframework.dataflow.expression.ClassName
equals(Object) - Method in class org.checkerframework.dataflow.expression.FieldAccess
equals(Object) - Method in class org.checkerframework.dataflow.expression.LocalVariable
equals(Object) - Method in class org.checkerframework.dataflow.expression.MethodCall
equals(Object) - Method in class org.checkerframework.dataflow.expression.ThisReference
equals(Object) - Method in class org.checkerframework.dataflow.expression.Unknown
equals(Object) - Method in class org.checkerframework.dataflow.expression.ValueLiteral
equals(Object) - Method in class org.checkerframework.dataflow.livevariable.LiveVarStore
equals(Object) - Method in class org.checkerframework.dataflow.livevariable.LiveVarValue
equals(Object) - Method in class org.checkerframework.framework.flow.CFAbstractStore
equals(Object) - Method in class org.checkerframework.framework.flow.CFAbstractValue
equals(Object) - Method in class org.checkerframework.framework.source.DiagMessage
equals(Object) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
equals(Object) - Method in class org.checkerframework.framework.type.AnnotatedTypeParameterBounds
equals(Object) - Method in class org.checkerframework.framework.util.Contract.ConditionalPostcondition
equals(Object) - Method in class org.checkerframework.framework.util.Contract
equals(Object) - Method in class org.checkerframework.framework.util.defaults.Default
equals(Object) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesError
equals(Object) - Method in class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
equals(Object) - Method in class org.checkerframework.framework.util.typeinference.constraint.TUConstraint
equals(Object) - Method in class org.checkerframework.javacutil.Pair
EqualsMethod - Annotation Type in org.checkerframework.checker.interning.qual: Method declaration annotation that indicates a method has a specification like equals().
equalTo(Number) - Method in class org.checkerframework.common.value.util.ByteMath
equalTo(Number) - Method in class org.checkerframework.common.value.util.DoubleMath
equalTo(Number) - Method in class org.checkerframework.common.value.util.FloatMath
equalTo(Number) - Method in class org.checkerframework.common.value.util.IntegerMath
equalTo(Number) - Method in class org.checkerframework.common.value.util.LongMath
equalTo(Number) - Method in class org.checkerframework.common.value.util.NumberMath
equalTo(Number) - Method in class org.checkerframework.common.value.util.ShortMath
EqualToNode - Class in org.checkerframework.dataflow.cfg.node: A node for an equality check:
EqualToNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.EqualToNode: Create a new EqualToNode object.
EquivalentAtmComboScanner<RETURN_TYPE,PARAM> - Class in org.checkerframework.framework.type.visitor: EquivalentAtmComboScanner is an AtmComboVisitor that accepts combinations that are identical in TypeMirror structure but might differ in contained AnnotationMirrors.
EquivalentAtmComboScanner() - Constructor for class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner
EquivalentAtmComboScanner.Visited - Class in org.checkerframework.framework.type.visitor: A history of type pairs that have already been visited and the return type of their visit.
error - Variable in class org.checkerframework.framework.util.dependenttypes.DependentTypesError: An error message about that expression.
errorKey - Variable in enum org.checkerframework.framework.util.Contract.Kind: Used for constructing error messages.
errsOnLastExit - Variable in class org.checkerframework.framework.source.SourceChecker: The number of errors at the last exit of the type processor.
escapeQuotesAndSlashes(String) - Static method in class org.checkerframework.javacutil.PluginUtil: Deprecated.
evaluateMethodCall(List<List<?>>, List<?>, MethodInvocationTree) - Method in class org.checkerframework.common.value.ReflectiveEvaluator: Returns all possible values that the method may return, or null if the method could not be evaluated.
evaluatePredicate(AnnotationMirror, String) - Method in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory: Evaluates whether the accumulator annotation subAnno makes the predicate pred true.
evaluatePredicate(List<String>, String) - Method in class org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory: Evaluates whether treating the variables in trueVariables as true literals (and all other names as false literals) makes the predicate pred evaluate to true.
evaluateStaticFieldAccess(String, String, ExpressionTree) - Method in class org.checkerframework.common.value.ReflectiveEvaluator: Return the value of a static field access.
evaluator - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory: Helper class that evaluates statically executable methods, constructors, and fields.
evaluteConstructorCall(ArrayList<List<?>>, NewClassTree, TypeMirror) - Method in class org.checkerframework.common.value.ReflectiveEvaluator
EVERYTHING - Static variable in class org.checkerframework.common.value.util.Range: An alias to the range containing all possible 64-bit values.
exceptionalExitBlock - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph: The exceptional exit block of the control flow graph.
exceptionalExitStores - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: A mapping from methods (or other code blocks) to their exceptional exit store.
exceptionalStores - Variable in class org.checkerframework.dataflow.analysis.TransferResult: The stores in case the basic block throws an exception (or null if the corresponding Node does not throw any exceptions).
exceptionalSuccessors - Variable in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl: Set of exceptional successors.
ExceptionBlock - Interface in org.checkerframework.dataflow.cfg.block: Represents a basic block that contains exactly one Node which can throw an exception.
ExceptionBlockImpl - Class in org.checkerframework.dataflow.cfg.block: Base class of the Block implementation hierarchy.
ExceptionBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl: Create an empty exceptional block.
exceptionStores - Variable in class org.checkerframework.dataflow.analysis.BackwardAnalysisImpl: Exception store of an exception block, propagated by exceptional successors of its exception block, and merged with the normal TransferResult.
exceptionToInvalidFormatAnnotation(IllegalFormatException) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil: Takes an exception that describes an invalid formatter string and, returns a syntax trees element that represents a InvalidFormat annotation with the exception's error message as value.
exceptionToInvalidFormatAnnotation(IllegalArgumentException) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Takes an exception that describes an invalid formatter string and returns a syntax trees element that represents a I18nInvalidFormat annotation with the exception's error message as value.
ExcessiveOrMissingFormatArgumentException(int, int) - Constructor for exception org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException: Constructs an instance of this class with the actual argument length and the expected one.
execDotToPng(File, File) - Static method in class org.checkerframework.common.util.TypeVisualizer: Converts the given dot file to a png file at the specified location.
executableType - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory.ParameterizedExecutableType: The method's/constructor's type.
execute(String[], OutputStream, OutputStream) - Static method in class org.checkerframework.framework.util.ExecUtil
ExecUtil - Class in org.checkerframework.framework.util
ExecUtil() - Constructor for class org.checkerframework.framework.util.ExecUtil
ExecUtil.Redirection - Class in org.checkerframework.framework.util
expandArgFiles(List<File>) - Static method in class org.checkerframework.framework.util.CheckerMain: Return all the lines in all the files.
expandCFOptions(List<? extends Class<?>>, String[]) - Method in class org.checkerframework.framework.source.SourceChecker: Generate the possible command-line option names by prefixing each class name from classPrefixes to options, separated by SourceChecker.OPTION_SEPARATOR.
expandVarArgs(AnnotatedTypeFactory, AnnotatedTypeMirror.AnnotatedExecutableType, List<? extends ExpressionTree>) - Static method in class org.checkerframework.framework.util.AnnotatedTypes: Returns the method parameters for the invoked method, with the same number of arguments passed in the methodInvocation tree.
expandVarArgsFromTypes(AnnotatedTypeMirror.AnnotatedExecutableType, List<AnnotatedTypeMirror>) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
ExplicitThisLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a reference to 'this'.
ExplicitThisLiteralNode(Tree) - Constructor for class org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode
expression - Variable in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
expression - Variable in class org.checkerframework.dataflow.cfg.node.ThrowNode
expression - Variable in class org.checkerframework.framework.util.Contract: The expression for which the condition must hold, such as "foo" in @RequiresNonNull("foo").
expression - Variable in class org.checkerframework.framework.util.dependenttypes.DependentTypesError: The expression that is unparseable or otherwise problematic.
expressionElementName - Variable in enum org.checkerframework.framework.util.Contract.Kind: The name of the element that contains the Java expressions on which a contract is enforced.
extendedNodeCollectionToStringDebug(Collection<? extends ExtendedNode>) - Static method in class org.checkerframework.dataflow.cfg.builder.CFGBuilder: Return a printed representation of a collection of extended nodes.
extendWithExtendedNode(ExtendedNode) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Extend the list of extended nodes with an extended node.
extendWithNode(Node) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Extend the list of extended nodes with a node.
extendWithNodeWithException(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Extend the list of extended nodes with a node, where node might throw the exception cause.
extendWithNodeWithExceptions(Node, Set<TypeMirror>) - Method in class org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne: Extend the list of extended nodes with a node, where node might throw any of the exception in causes.
extractAndApply() - Method in class org.checkerframework.framework.util.element.MethodApplier: Sets the method's element, annotates its return type, parameters, type parameters, and throws annotations.
extractAndApply() - Method in class org.checkerframework.framework.util.element.ParamApplier
extractAndApply() - Method in class org.checkerframework.framework.util.element.TypeDeclarationApplier: Adds extends/implements and class annotations to type.
extractAndApply() - Method in class org.checkerframework.framework.util.element.TypeVarUseApplier: Applies the bound annotations from the declaration of the type parameter and then applies the explicit annotations written on the type variable.
extractAndApply() - Method in class org.checkerframework.framework.util.element.VariableApplier
extractArg(String, String, List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain: Remove the argument given by argumentName and the subsequent value from the list args if present.
extractBootClassPath(List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain: Remove all -Xbootclasspath/p: or -J-Xbootclasspath/p: arguments from args and add them to the returned list.
extractCpOpts(List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain: Return the last -cp or -classpath option.
extractFileArg(String, File, List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain: Remove the argument given by argumentName and the subsequent value from the list args if present.
extractJvmOpts(List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain: Remove all -J arguments from args and add them to the returned list (without the -J prefix).
extractOptWithPattern(Pattern, boolean, List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain: Find all args that match the given pattern and extract their index 1 group.
extractPpOpts(List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain: Remove the -processorpath options and their arguments from args.

F

F2A - Class in org.checkerframework.framework.util.typeinference.constraint: A constraint of the form: F 《 A or A 》 F
F2A(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.F2A: Create a constraint with an argument greater than a formal.
F2AReducer - Class in org.checkerframework.framework.util.typeinference.constraint: F2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.
F2AReducer(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.F2AReducer
factory - Variable in class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne: Type factory to provide types used during CFG building.
factory - Variable in class org.checkerframework.framework.util.ContractsFromMethod: The factory that this ContractsFromMethod is associated with.
factory - Variable in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
failure(FormatterTreeUtil.Result<?>, String, Object...) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil: Reports an error.
failure(FormatterTreeUtil.Result<?>, String, Object...) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Reports an error.
FBCBOTTOM - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: FBCBottom.
FBCBottom - Annotation Type in org.checkerframework.checker.initialization.qual: The bottom type in the initialization type system.
Fenum - Annotation Type in org.checkerframework.checker.fenum.qual: A generic fake enumeration qualifier that is parameterized by a name.
FENUM_BOTTOM - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory: AnnotationMirror for FenumBottom.
FENUM_TOP - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory: AnnotationMirror for FenumTop.
FENUM_UNQUALIFIED - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory: AnnotationMirror for FenumUnqualified.
FenumAnnotatedTypeFactory - Class in org.checkerframework.checker.fenum: The type factory for the Fenum Checker.
FenumAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory: Create a FenumAnnotatedTypeFactory.
FenumAnnotatedTypeFactory.FenumQualifierHierarchy - Class in org.checkerframework.checker.fenum: Fenum qualifier hierarchy.
FenumBottom - Annotation Type in org.checkerframework.checker.fenum.qual: The bottom type in the Fenum type system.
FenumChecker - Class in org.checkerframework.checker.fenum: The main checker class for the Fake Enum Checker.
FenumChecker() - Constructor for class org.checkerframework.checker.fenum.FenumChecker
FenumQualifierHierarchy(Collection<Class<? extends Annotation>>, Elements) - Constructor for class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory.FenumQualifierHierarchy: Creates FenumQualifierHierarchy.
FenumTop - Annotation Type in org.checkerframework.checker.fenum.qual: The top of the fake enumeration type hierarchy.
FenumUnqualified - Annotation Type in org.checkerframework.checker.fenum.qual: An unqualified type.
FenumVisitor - Class in org.checkerframework.checker.fenum
FenumVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.fenum.FenumVisitor
field - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
field - Variable in class org.checkerframework.dataflow.expression.FieldAccess
FieldAccess - Class in org.checkerframework.dataflow.expression
FieldAccess(Receiver, FieldAccessNode) - Constructor for class org.checkerframework.dataflow.expression.FieldAccess
FieldAccess(Receiver, TypeMirror, VariableElement) - Constructor for class org.checkerframework.dataflow.expression.FieldAccess
FieldAccessNode - Class in org.checkerframework.dataflow.cfg.node: A node for a field access, including a method accesses:
FieldAccessNode(Tree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FieldAccessNode
FieldAccessNode(Tree, VariableElement, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FieldAccessNode
FieldDescriptor - Annotation Type in org.checkerframework.checker.signature.qual: Represents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorForPrimitive - Annotation Type in org.checkerframework.checker.signature.qual: Represents a field descriptor (JVM type format) for a primitive as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorWithoutPackage - Annotation Type in org.checkerframework.checker.signature.qual: Represents a field descriptor for a primitive or for an array whose base type is primitive or in the unnamed package.
FieldInvariant - Annotation Type in org.checkerframework.framework.qual: Specifies that a field's type, in the class on which this annotation is written, is a subtype of its declared type.
FieldInvariants - Class in org.checkerframework.framework.util: Represents field invariants, which the user states by writing @FieldInvariant.
FieldInvariants(List<String>, List<AnnotationMirror>) - Constructor for class org.checkerframework.framework.util.FieldInvariants: Creates a new FieldInvariants object.
FieldInvariants(FieldInvariants, List<String>, List<AnnotationMirror>) - Constructor for class org.checkerframework.framework.util.FieldInvariants: Creates a new object with all the invariants in other, plus those specified by fields and qualifiers.
fieldTAPosition(int) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils: Create a field TypeAnnotationPosition.
fieldValues - Variable in class org.checkerframework.framework.flow.CFAbstractAnalysis: Initial abstract types for fields.
fieldValues - Variable in class org.checkerframework.framework.flow.CFAbstractStore: Information collected about fields, using the internal representation FieldAccess.
fileArgToStr(File) - Static method in class org.checkerframework.javacutil.PluginUtil: Deprecated.
FileStubResource - Class in org.checkerframework.framework.stub: File-based implementation of StubResource.
FileStubResource(File) - Constructor for class org.checkerframework.framework.stub.FileStubResource: Constructs a StubResource for the specified stub file.
filter(T, Predicate<? super T>) - Static method in class org.checkerframework.checker.nullness.Opt: If primary is non-null, and its value matches the given predicate, return the value.
finalLocalValues - Variable in class org.checkerframework.dataflow.analysis.AbstractAnalysis: Map from (effectively final) local variable elements to their abstract value.
finalLocalValues - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult: Map from (effectively final) local variable elements to their abstract value.
findAnnotationInHierarchy(Collection<? extends AnnotationMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.ElementQualifierHierarchy
findAnnotationInHierarchy(Collection<? extends AnnotationMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.NoElementQualifierHierarchy
findAnnotationInHierarchy(Collection<? extends AnnotationMirror>, AnnotationMirror) - Method in interface org.checkerframework.framework.type.QualifierHierarchy: Returns the annotation in qualifiers that is in the hierarchy for which top is top.
findAnnotationInSameHierarchy(Collection<? extends AnnotationMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.ElementQualifierHierarchy
findAnnotationInSameHierarchy(Collection<? extends AnnotationMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.NoElementQualifierHierarchy
findAnnotationInSameHierarchy(Collection<? extends AnnotationMirror>, AnnotationMirror) - Method in interface org.checkerframework.framework.type.QualifierHierarchy: Returns the annotation in qualifiers that is in the same hierarchy as qualifier.
findBottoms(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy: Deprecated.

Infer the bottoms of the subtype hierarchy.
findClass(String, TreePath) - Method in class org.checkerframework.javacutil.Resolver: Finds the class literal with name name.
findClassInPackage(String, Symbol.PackageSymbol, TreePath) - Method in class org.checkerframework.javacutil.Resolver: Finds the class with name name in a given package.
findConcreteUpperBound(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils: Given a bounded type (wildcard or typevar) get the concrete type of its upper bound.
FindDistinct - Annotation Type in org.checkerframework.checker.interning.qual: This formal parameter annotation indicates that the method searches for the given value, using reference equality (==).
findEffectiveAnnotationInHierarchy(QualifierHierarchy, AnnotatedTypeMirror, AnnotationMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes: When comparing types against the bounds of a type variable, we may encounter other type variables, wildcards, and intersections in those bounds.
findEffectiveAnnotationInHierarchy(QualifierHierarchy, AnnotatedTypeMirror, AnnotationMirror, boolean) - Static method in class org.checkerframework.framework.util.AnnotatedTypes: When comparing types against the bounds of a type variable, we may encounter other type variables, wildcards, and intersections in those bounds.
findEffectiveAnnotations(QualifierHierarchy, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes: When comparing types against the bounds of a type variable, we may encounter other type variables, wildcards, and intersections in those bounds.
findEffectiveLowerBoundAnnotations(QualifierHierarchy, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes: When comparing types against the bounds of a type variable, we may encounter other type variables, wildcards, and intersections in those bounds.
findElement(CharSequence) - Method in class org.checkerframework.javacutil.AnnotationBuilder
findEqualTarget(TargetConstraints.Equalities, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.EqualitiesSolver: Attempt to find a target which is equal to this target.
findField(String, TypeMirror, TreePath) - Method in class org.checkerframework.javacutil.Resolver: Finds the field with name name in a given type.
findFieldInType(TypeElement, String) - Static method in class org.checkerframework.javacutil.ElementUtils: Returns the field of the class or null if not found.
findFieldsInType(TypeElement, Collection<String>) - Static method in class org.checkerframework.javacutil.ElementUtils: Returns the elements of the fields whose simple names are names and are declared in type.
findFieldsInTypeOrSuperType(TypeMirror, Collection<String>) - Static method in class org.checkerframework.javacutil.ElementUtils: Returns non-private field elements, and side-effects names to remove them.
findFunction(Tree, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TreeUtils: The type of the lambda or method reference tree is a functional interface type.
findHighestQualifiers(Set<QualifierKind>) - Static method in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy: Returns the highest qualifiers in the passed set.
findInheritedEffectRange(TypeElement, ExecutableElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
findInheritedEffectRange(TypeElement, ExecutableElement, boolean, Tree) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory: Find the greatest and least effects of methods the specified definition overrides.
findJavaOverride(ExecutableElement, TypeMirror) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
findLocalVariableOrParameterOrField(String, TreePath) - Method in class org.checkerframework.javacutil.Resolver: Finds the local variable with name name in the given scope.
findLowestQualifiers(Set<QualifierKind>) - Static method in class org.checkerframework.framework.util.DefaultQualifierKindHierarchy: Returns the lowest qualifiers in the passed set.
findLub(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy: Deprecated.

Finds and returns the Least Upper Bound (LUB) of two annotation mirrors a1 and a2 by recursively climbing the qualifier hierarchy of a1 until one of them is a subtype of the other, or returns null if no subtype relationships can be found.
findMethod(String, TypeMirror, TreePath, List<TypeMirror>) - Method in class org.checkerframework.javacutil.Resolver: Finds the method element for a given name and list of expected parameter types.
findPackage(String, TreePath) - Method in class org.checkerframework.javacutil.Resolver: Finds the package with name name.
findPathTo(Class<?>, boolean) - Static method in class org.checkerframework.framework.util.CheckerMain: Find the jar file or directory containing the .class file from which cls was loaded.
findTops(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy: Deprecated.

Infer the tops of the subtype hierarchy.
findTypeArguments(ProcessingEnvironment, AnnotatedTypeFactory, ExpressionTree, ExecutableElement, AnnotatedTypeMirror.AnnotatedExecutableType) - Static method in class org.checkerframework.framework.util.AnnotatedTypes: Given a method or constructor invocation, return a mapping of the type variables to their type arguments, if any exist.
finish(QualifierHierarchy, Map<AnnotationMirror, Set<AnnotationMirror>>, Map<AnnotationMirror, AnnotationMirror>, Set<AnnotationMirror>, Set<AnnotationMirror>, Object...) - Method in class org.checkerframework.framework.util.GraphQualifierHierarchy: Deprecated.
finish(QualifierHierarchy, Map<AnnotationMirror, Set<AnnotationMirror>>, Map<AnnotationMirror, AnnotationMirror>, Set<AnnotationMirror>, Set<AnnotationMirror>, Object...) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy: Deprecated.

Method to finalize the qualifier hierarchy before it becomes unmodifiable.
finishValue(NullnessValue, NullnessStore) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
finishValue(NullnessValue, NullnessStore, NullnessStore) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
finishValue(V, S) - Method in class org.checkerframework.framework.flow.CFAbstractTransfer: A hook for subclasses to modify the result of the transfer function.
finishValue(V, S, S) - Method in class org.checkerframework.framework.flow.CFAbstractTransfer: A hook for subclasses to modify the result of the transfer function.
first - Variable in class org.checkerframework.javacutil.Pair: The first element in the pair.
firstStatement(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils: Returns the first statement of the tree if it is a block.
FIsA - Class in org.checkerframework.framework.util.typeinference.constraint: A constraint of the form: F = A or A = F
FIsA(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.FIsA: Create a constraint with an argument equal to a formal.
FIsAReducer - Class in org.checkerframework.framework.util.typeinference.constraint: FIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.
FIsAReducer(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.FIsAReducer
FloatingDivisionNode - Class in org.checkerframework.dataflow.cfg.node: A node for the floating-point division:
FloatingDivisionNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
FloatingRemainderNode - Class in org.checkerframework.dataflow.cfg.node: A node for the floating-point remainder:
FloatingRemainderNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
FloatLiteralNode - Class in org.checkerframework.dataflow.cfg.node: A node for a float literal.
FloatLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.FloatLiteralNode: Create a new FloatLiteralNode.
FloatMath - Class in org.checkerframework.common.value.util
FloatMath(float) - Constructor for class org.checkerframework.common.value.util.FloatMath
flowByDefault - Static variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: Should use flow by default.
FlowExpressionContext(Receiver, List<Receiver>, BaseContext) - Constructor for class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext: Creates context for parsing a flow expression.
FlowExpressionParseException(String, Object...) - Constructor for exception org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionParseException
FlowExpressionParseException(Throwable, String, Object...) - Constructor for exception org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionParseException
FlowExpressionParseUtil - Class in org.checkerframework.framework.util: A collection of helper methods to parse a string that represents a restricted Java expression.
FlowExpressionParseUtil() - Constructor for class org.checkerframework.framework.util.FlowExpressionParseUtil
FlowExpressionParseUtil.FlowExpressionContext - Class in org.checkerframework.framework.util: Context used to parse a flow expression.
FlowExpressionParseUtil.FlowExpressionParseException - Exception in org.checkerframework.framework.util: An exception that indicates a parse error.
FlowExpressions - Class in org.checkerframework.dataflow.expression: Collection of classes and helper functions to represent Java expressions about which the org.checkerframework.dataflow analysis can possibly infer facts.
FlowExpressions() - Constructor for class org.checkerframework.dataflow.expression.FlowExpressions
flowResult - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: The result of the flow analysis.
flowResultAnalysisCaches - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory: Caches for AnalysisResult.runAnalysisFor(Node, Analysis.BeforeOrAfter, TransferInput, IdentityHashMap, Map).
flowRule - Variable in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl: The initial value for the rule below says that EACH store at the end of a single successor block flows to the corresponding store of the successor.
FluentAPIGenerator - Class in org.checkerframework.common.returnsreceiver: A utility class to support fluent API generators so the checker can add @This annotations on method return types when a generator has been used.
FluentAPIGenerator() - Constructor for class org.checkerframework.common.returnsreceiver.FluentAPIGenerator
FORMAL_PARAM_NAME_STRING - Static variable in class org.checkerframework.framework.util.dependenttypes.DependentTypesError: How to format warnings about use of formal parameter name.
formalParameter - Variable in class org.checkerframework.framework.util.typeinference.constraint.AFConstraint: The formal parameter type.
Format - Annotation Type in org.checkerframework.checker.formatter.qual: This annotation, attached to a String type, indicates that the String may be passed to Formatter.format and similar methods.
format(Object) - Method in class org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer: Format the given object as a String suitable for the output format, i.e.
format(Object) - Method in class org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
format(Object) - Method in class org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
format(AnnotatedTypeMirror) - Method in interface org.checkerframework.framework.type.AnnotatedTypeFormatter: Formats type into a String.
format(AnnotatedTypeMirror, boolean) - Method in interface org.checkerframework.framework.type.AnnotatedTypeFormatter: Formats type into a String.
format(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
format(AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
format() - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesError: Like toString, but uses better formatting sometimes.
FORMAT_NAME - Static variable in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory: The fully-qualified name of the Format qualifier.
formatAnnotation(Annotation) - Static method in class org.checkerframework.common.wholeprograminference.SceneToStubWriter: Returns the String representation of an annotation in Java source format.
formatAnnotationMirror(AnnotationMirror) - Method in interface org.checkerframework.framework.util.AnnotationFormatter: Converts an individual annotation mirror into a String.
formatAnnotationMirror(AnnotationMirror) - Method in class org.checkerframework.framework.util.DefaultAnnotationFormatter: Returns the string representation of a single AnnotationMirror, without showing full package names.
formatAnnotationMirror(AnnotationMirror, StringBuilder) - Method in class org.checkerframework.framework.util.DefaultAnnotationFormatter: A helper method to output a single AnnotationMirror, without showing full package names.
formatAnnotationMirrorArg(AnnotationValue, StringBuilder) - Method in class org.checkerframework.framework.util.DefaultAnnotationFormatter
formatAnnotationString(Collection<? extends AnnotationMirror>, boolean) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
formatAnnotationString(Collection<? extends AnnotationMirror>, boolean) - Method in interface org.checkerframework.framework.util.AnnotationFormatter: Converts a collection of annotation mirrors into a String.
formatAnnotationString(Collection<? extends AnnotationMirror>, boolean) - Method in class org.checkerframework.framework.util.DefaultAnnotationFormatter: Creates a String of each annotation in annos separated by a single space character and terminated by a space character, obeying the printInvisible parameter.
formatAnnotationToCategories(AnnotationMirror) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil: Takes a syntax tree element that represents a Format annotation, and returns its value.
formatAnnotationToCategories(AnnotationMirror) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Takes a syntax tree element that represents a I18nFormat annotation, and returns its value.
FORMATBOTTOM - Variable in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory: The @FormatBottom annotation.
FormatBottom - Annotation Type in org.checkerframework.checker.formatter.qual: The bottom type in the Format String type system.
FormatCall(MethodInvocationTree, AnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.formatter.FormatterTreeUtil.FormatCall
formatFlatType(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
FORMATMETHOD - Variable in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory: The @FormatMethod annotation.
FormatMethod - Annotation Type in org.checkerframework.checker.formatter.qual: If this annotation is attached to a Formatter.format-like method, then the first parameter, which must be of type String, is treated as a format string for the remaining arguments.
formatParameterCategories(String) - Static method in class org.checkerframework.checker.formatter.FormatUtil: Returns a ConversionCategory for every conversion found in the format string.
formatParameterCategories(String) - Static method in class org.checkerframework.checker.i18nformatter.I18nFormatUtil: Returns a I18nConversionCategory for every conversion found in the format string.
FormatterAnnotatedTypeFactory - Class in org.checkerframework.checker.formatter: Adds Format to the type of tree, if it is a String or char literal that represents a satisfiable format.
FormatterAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory: Creates a FormatterAnnotatedTypeFactory.
FormatterChecker - Class in org.checkerframework.checker.formatter: A type-checker plug-in for the Format qualifier that finds syntactically invalid formatter calls.
FormatterChecker() - Constructor for class org.checkerframework.checker.formatter.FormatterChecker
FormatterTransfer - Class in org.checkerframework.checker.formatter
FormatterTransfer(CFAnalysis) - Constructor for class org.checkerframework.checker.formatter.FormatterTransfer
FormatterTreeUtil - Class in org.checkerframework.checker.formatter: This class provides a collection of utilities to ease working with syntax trees that have something to do with Formatters.
FormatterTreeUtil(BaseTypeChecker) - Constructor for class org.checkerframework.checker.formatter.FormatterTreeUtil
FormatterTreeUtil.FormatCall - Class in org.checkerframework.checker.formatter: Represents a format method invocation in the syntax tree.
FormatterTreeUtil.InvocationType - Enum in org.checkerframework.checker.formatter: Describes the ways a format method may be invoked.
FormatterTreeUtil.Result<E> - Class in org.checkerframework.checker.formatter: A wrapper around a value of type E, plus an ExpressionTree location.
FormatterVisitor - Class in org.checkerframework.checker.formatter: Whenever a format method invocation is found in the syntax tree, checks are performed as specified in the Format String Checker manual.
FormatterVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.formatter.FormatterVisitor
formattingVisitor - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
FormattingVisitor(AnnotationFormatter, boolean, boolean) - Constructor for class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
FormatUtil - Class in org.checkerframework.checker.formatter: This class provides a collection of utilities to ease working with format strings.
FormatUtil() - Constructor for class org.checkerframework.checker.formatter.FormatUtil
FormatUtil.ExcessiveOrMissingFormatArgumentException - Exception in org.checkerframework.checker.formatter
FormatUtil.IllegalFormatConversionCategoryException - Exception in org.checkerframework.checker.formatter
ForName - Annotation Type in org.checkerframework.common.reflection.qual: Annotation for methods like Class.forName.
ForwardAnalysis<V extends AbstractValue<V>,S extends Store<S>,T extends ForwardTransferFunction<V,S>> - Interface in org.checkerframework.dataflow.analysis: This interface defines a forward analysis, given a control flow graph and a forward transfer function.
ForwardAnalysisImpl<V extends AbstractValue<V>,