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

a - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple

A2F - Class in org.checkerframework.framework.util.typeinference.constraint

A2F(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.A2F

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

abortIfParentNotKind(TypeKind, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.type.BoundsInitializer

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

AbstractMostlySingleton<T> - Class in org.checkerframework.dataflow.util

Base class for sets that are more efficient than HashSet for 0 and 1 elements.

AbstractMostlySingleton() - Constructor for class org.checkerframework.dataflow.util.AbstractMostlySingleton

AbstractMostlySingleton.State - Enum in org.checkerframework.dataflow.util

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

AbstractNullnessChecker - Class in org.checkerframework.checker.nullness

An implementation of the nullness type-system, parameterized by an initialization type-system for safe initialization.

AbstractNullnessChecker(boolean) - Constructor for class org.checkerframework.checker.nullness.AbstractNullnessChecker

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

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

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

accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.TypeVarUseApplier

accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.VariableApplier

accessLabel() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeCell

actualType - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror

Actual type wrapped with this AnnotatedTypeMirror.

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.Analysis.Worklist

add(T) - Method in class org.checkerframework.dataflow.util.IdentityMostlySingleton

add(T) - Method in class org.checkerframework.dataflow.util.MostlySingleton

add(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror, Boolean) - Method in class org.checkerframework.framework.type.SubtypeVisitHistory

Add a visit for type1 and type2.

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

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

Like {#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror)}.

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 {#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror)}.

addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

addConstraintsBetweenTargets(Set<TUConstraint>, Set<TypeVariable>, boolean, AnnotatedTypeFactory) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference

Declarations of the form: <A, B extends A> implies a TUConstraint of B <: A.

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

addDotEdge(long, long, String) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer

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(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(FlowExpressions.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(CFGBuilder.Label) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Add the label l to the extended node that will be placed next in the sequence.

addLiteralKind(LiteralKind, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator

Added an implicit rule for a particular LiteralKind

addMainToArgs(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain

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

addPolyRelations(QualifierHierarchy, Map<AnnotationMirror, Set<AnnotationMirror>>, Map<AnnotationMirror, AnnotationMirror>, Set<AnnotationMirror>, Set<AnnotationMirror>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

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

Adds the passed qualifier to the hierarchy.

addStoreBefore(Block, Node, S, Store.Kind, boolean) - Method in class org.checkerframework.dataflow.analysis.Analysis

Add a store before the basic block b by merging with the existing stores for that location.

addStringPattern(String, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator

Added an implicit rule for all String literals that match the given pattern.

addSubtype(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory

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.CFGBuilder.CFGTranslationPhaseOne

Add a node in the post-conversion lookup map.

addToConvertedLookupMap(Tree, Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Add a node in the post-conversion lookup map.

addToLookupMap(Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Add a node to the lookup map if it not already present.

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.CFGBuilder.CFGTranslationPhaseOne

Add a unary tree in the compound assign lookup map.

addToWorklist(Block) - Method in class org.checkerframework.dataflow.analysis.Analysis

Add a basic block to the worklist.

addTreeClass(Class<? extends Tree>, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator

Added an implicit rule for a particular Tree class.

addTreeKind(Tree.Kind, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator

Added an implicit rule for a particular Tree.Kind

addTypeClass(Class<? extends AnnotatedTypeMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.typeannotator.ImplicitsTypeAnnotator

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.typeannotator.ImplicitsTypeAnnotator

addTypeName(Class<?>, AnnotationMirror) - Method in class org.checkerframework.framework.type.typeannotator.ImplicitsTypeAnnotator

addTypeNameImplicit(Class<?>, AnnotationMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

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(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Adds default qualifiers for code that is not type-checked by reading @DefaultInUncheckedCodeFor and @DefaultQualifierInHierarchyInUncheckedCode meta-annotations.

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.

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, int) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.AFConstraint

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

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

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(MultiGraphQualifierHierarchy.MultiGraphFactory) - Constructor for class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.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).

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

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<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> - Class in org.checkerframework.dataflow.analysis

An implementation of an iterative algorithm to solve a org.checkerframework.dataflow problem, given a control flow graph and a transfer function.

Analysis(ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.analysis.Analysis

Construct an object that can perform a org.checkerframework.dataflow analysis over a control flow graph.

Analysis(T, ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.analysis.Analysis

Construct an object that can perform a org.checkerframework.dataflow analysis over a control flow graph, given a transfer function.

Analysis(T, int, ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.analysis.Analysis

Construct an object that can perform a org.checkerframework.dataflow analysis over a control flow graph, given 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 class this store belongs to.

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.Worklist - Class in org.checkerframework.dataflow.analysis

A worklist is a priority queue of blocks in which the order is given by depth-first ordering to place non-loop predecessors ahead of successors.

Analysis.Worklist.DFOComparator - Class in org.checkerframework.dataflow.analysis

Comparator to allow priority queue to order blocks by their depth-first order.

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<A extends AbstractValue<A>,S extends Store<S>> - Class in org.checkerframework.dataflow.analysis

An AnalysisResult represents the result of a org.checkerframework.dataflow analysis by providing the abstract values given a node or a tree.

AnalysisResult(Map<Node, A>, IdentityHashMap<Block, TransferInput<A, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, AssignmentNode>, HashMap<Element, A>, Map<TransferInput<A, S>, IdentityHashMap<Node, TransferResult<A, S>>>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult

Initialize with given mappings.

AnalysisResult(Map<Node, A>, IdentityHashMap<Block, TransferInput<A, S>>, IdentityHashMap<Tree, Set<Node>>, IdentityHashMap<UnaryTree, AssignmentNode>, HashMap<Element, A>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult

Initialize with given mappings and empty cache.

AnalysisResult(Map<TransferInput<A, S>, IdentityHashMap<Node, TransferResult<A, 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.

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

annoResult - Variable in class org.checkerframework.framework.util.ContractsUtils.ConditionalPostcondition

The return value for the annotated method that ensures that the conditional postcondition holds.

annotate(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism

Resolves polymorphism annotations for the given type.

annotate(NewClassTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism

annotate(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism

annotate(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in interface org.checkerframework.framework.type.poly.QualifierPolymorphism

Resolves polymorphism annotations for the given type.

annotate(NewClassTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in interface org.checkerframework.framework.type.poly.QualifierPolymorphism

Resolves polymorphism annotations for the given type.

annotate(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in interface org.checkerframework.framework.type.poly.QualifierPolymorphism

Resolves polymorphism annotations for the given type.

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

annotatedTargets() - Method in class org.checkerframework.framework.util.element.ParamApplier

annotatedTargets() - Method in class org.checkerframework.framework.util.element.SuperTypeApplier

annotatedTargets() - Method in class org.checkerframework.framework.util.element.TypeDeclarationApplier

annotatedTargets() - Method in class org.checkerframework.framework.util.element.VariableApplier

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.

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.InheritedFromClassAnnotator - Class in org.checkerframework.framework.type

A singleton utility class for pulling annotations down from a class type.

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.

AnnotatedTypeMerger - Class in org.checkerframework.framework.type.visitor

Replaces or adds all the annotations in the parameter with the annotations from the visited type.

AnnotatedTypeMerger() - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeMerger

AnnotatedTypeMerger(AnnotationMirror) - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeMerger

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

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

Duplicates annotated types and replaces components according to a replacement map.

AnnotatedTypeReplacer() - Constructor for class org.checkerframework.framework.type.AnnotatedTypeReplacer

AnnotatedTypeReplacer.Visitor - Class in org.checkerframework.framework.type

AnnotatedTypeCopier maintains a mapping of typeVisited &rArr; copyOfTypeVisited When a reference, typeVisited, is encountered again, it will use the recorded reference, copyOfTypeVisited, instead of generating a new copy of typeVisited.

AnnotatedTypes - Class in org.checkerframework.framework.util

Utility methods for operating on AnnotatedTypeMirror.

AnnotatedTypeScanner<R,P> - Class in org.checkerframework.framework.type.visitor

A TypeVisitor that visits all the child tree nodes.

AnnotatedTypeScanner() - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

AnnotatedTypeVisitor<R,P> - Interface in org.checkerframework.framework.type.visitor

A visitor of annotated types, in the style of the visitor design pattern.

annotateInheritedFromClass(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Adds implicit annotations to the type based on the annotations on the class declaration.

annotateInheritedFromClass(AnnotatedTypeMirror, Set<AnnotationMirror>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Callback to determine what to do with the annotations from a class declaration.

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.ContractsUtils.Contract

The annotation that must be on the type of expression as part of 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.

AnnotationConverter - Class in org.checkerframework.common.wholeprograminference

This class has auxiliary methods that performs conversion between Annotation and AnnotationMirror.

AnnotationConverter() - Constructor for class org.checkerframework.common.wholeprograminference.AnnotationConverter

AnnotationFormatter - Interface in org.checkerframework.framework.util

Converts AnnotationMirrors to Strings For converting AnnotatedTypeMirrors.

annotationFromAnnotationTree(AnnotationTree) - Static method in class org.checkerframework.javacutil.TreeUtils

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

annotationOrdering() - Static method in class org.checkerframework.javacutil.AnnotationUtils

Provide ordering for AnnotationMirror based on their fully qualified name.

annotationProvider - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

AnnotationProvider - Interface in org.checkerframework.javacutil

An implementation of AnnotationProvider returns annotations on Java AST elements.

annotations - Variable in class org.checkerframework.framework.flow.CFAbstractValue

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

annotationsFromTree(AnnotatedTypeTree) - Static method in class org.checkerframework.javacutil.TreeUtils

annotationsFromTree(TypeParameterTree) - Static method in class org.checkerframework.javacutil.TreeUtils

annotationsFromTypeAnnotationTrees(List<? extends AnnotationTree>) - Static method in class org.checkerframework.javacutil.TreeUtils

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

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

annotators - Variable in class org.checkerframework.framework.type.typeannotator.ListTypeAnnotator

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(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.MethodApplier

apply(AnnotatedTypeMirror.AnnotatedTypeVariable, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.MethodTypeParamApplier

apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.ParamApplier

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

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.

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.

applyUncheckedCodeDefaults(Element) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults

Given an element, returns whether the unchecked code default (i.e.

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.

areAllFieldsCommittedOnly(ClassTree) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory

Are all fields committed-only?

areAllSubtypes(Iterable<? extends AnnotatedTypeMirror>, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy

areBoundsValid(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.common.basetype.BaseTypeValidator

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

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>) - 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 primitive types.

areSamePrimitiveTypes(TypeMirror, TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils

Returns true iff the arguments are both the same primitive types.

args - Variable in exception org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionParseException

argument - Variable in class org.checkerframework.framework.util.typeinference.constraint.AFConstraint

arguments - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode

arguments - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode

arguments - Variable in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext

array - Variable in class org.checkerframework.checker.index.Subsequence

Name of the Subsequence.

array - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode

ArrayAccess(TypeMirror, FlowExpressions.Receiver, FlowExpressions.Receiver) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess

ArrayAccessNode - Class in org.checkerframework.dataflow.cfg.node

A node for an array access:

ArrayAccessNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayAccessNode

ArrayCreation(TypeMirror, List<FlowExpressions.Receiver>, List<FlowExpressions.Receiver>) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation

ArrayCreationNode - Class in org.checkerframework.dataflow.cfg.node

A node for new array creation.

ArrayCreationNode(NewArrayTree, TypeMirror, List<Node>, List<Node>) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayCreationNode

ArrayLen - Annotation Type in org.checkerframework.common.value.qual

An annotation indicating the length of an array or a string.

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.

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 FlowExpressions.ArrayAccess.

asFormat(String, ConversionCategory...) - Static method in class org.checkerframework.checker.formatter.FormatUtil

Returns 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

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.

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

Throw an exception if the factory was already built.

assertValidState() - Method in class org.checkerframework.framework.util.CheckerDevelMain

assertValidState() - Method in class org.checkerframework.framework.util.CheckerMain

assignConvert(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Perform assignment conversion so that it can be assigned to a variable of the given type.

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

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

assumeAssertionsDisabled - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Can assertions be assumed to be disabled?

assumeAssertionsEnabled - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Can assertions be assumed to be enabled?

assumeAssertionsEnabledFor(AssertTree) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Should assertions be assumed to be executed for a given AssertTree? False by default.

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

AsSuperVisitor - Class in org.checkerframework.framework.type

Implements asSuper AnnotatedTypes.asSuper(AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror).

AsSuperVisitor(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.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.

atypeFactory - Variable in class org.checkerframework.checker.initialization.InitializationTransfer

atypeFactory - Variable in class org.checkerframework.common.basetype.BaseTypeValidator

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

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

atypeFactory - Variable in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory

The annotated type factory associated with this hierarchy.

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

AwtFlowLayout - Annotation Type in org.checkerframework.checker.fenum.qual

Line alignments in a flow layout (see FlowLayout for more details).

B

b - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple

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

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

BinaryNameInUnnamedPackage - 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.CFGBuilder.CFGTranslationPhaseOne

Perform binary numeric promotion on the input node to make it match the expression type.

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.CFGBuilder.CFGTranslationPhaseOne

Compute the type to which two numeric types must be promoted before performing a binary numeric operation on them.

bindings - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

The bindings of labels to positions (i.e., indices) in the nodeList.

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.CFGBuilder.ExtendedNode

The basic block this extended node belongs to (as determined in phase two).

block - Variable in class org.checkerframework.dataflow.cfg.node.Node

The basic block this node belongs to (see invariant about this field above).

Block.BlockType - Enum in org.checkerframework.dataflow.cfg.block

The types of basic blocks.

BLOCK_SIZE - Static variable in class org.checkerframework.framework.util.ExecUtil

blockCount - Variable in class org.checkerframework.dataflow.analysis.Analysis

Number of times every 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

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

BoolVal - Annotation Type in org.checkerframework.common.value.qual

An annotation indicating the possible values for a bool type.

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

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

BOTTOM - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory

Bottom - Annotation Type in org.checkerframework.common.subtyping.qual

A special annotation intended solely for representing the bottom type in the qualifier hierarchy.

bottoms - Variable in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

The bottom qualifiers of the type hierarchies.

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.

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

box(Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

If the input node is an unboxed primitive type, insert a call to the appropriate valueOf method, otherwise leave it alone.

breakLabels - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Map from AST label Names to CFG CFGBuilder.Labels for breaks.

breakTargetL - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Current CFGBuilder.TryFinallyScopeCell to which a break statement with no label should jump, or null if there is no valid destination.

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 this at the root 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.CFGBuilder

Build the control flow graph of some code.

build(TreePath, UnderlyingAST, boolean, boolean, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder

Build the control flow graph of some code (method, initializer block, ...).

build(CompilationUnitTree, UnderlyingAST, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder

Build the control flow graph of some code.

build(CompilationUnitTree, MethodTree, ClassTree, ProcessingEnvironment) - Static method in class org.checkerframework.dataflow.cfg.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

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

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

buildContextForMethodUse(MethodInvocationTree, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext

buildContextForNewClassUse(ObjectCreationNode, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext

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 a 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

c - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple

callTransferFunction(Node, TransferInput<A, S>) - Method in class org.checkerframework.dataflow.analysis.Analysis

Call the transfer function for node node, and set that node as current node first.

canAlias(FlowExpressions.Receiver, FlowExpressions.Receiver) - Method in interface org.checkerframework.dataflow.analysis.Store

Can the objects a and b be aliases? Returns a conservative answer (i.e., returns true if not enough information is available to determine aliasing).

canAlias(FlowExpressions.Receiver, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore

canAlias(FlowExpressions.Receiver, FlowExpressions.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 class org.checkerframework.framework.type.QualifierHierarchy

Returns true if and only if the given type can have empty annotation sets (and thus the *TypeVariable methods need to be used).

canHaveTypeAnnotation(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils

canInsertReceiver(FlowExpressions.Receiver) - Static method in class org.checkerframework.framework.flow.CFAbstractStore

Returns true if the receiver r can be stored in this store.

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.

caseExpr - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode

CaseNode - Class in org.checkerframework.dataflow.cfg.node

A node for a case in a switch statement.

CaseNode(CaseTree, Node, Node, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.CaseNode

castedAsSuper(AnnotatedTypeMirror, T) - Static method in class org.checkerframework.framework.type.DefaultTypeHierarchy

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.

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[][]) - 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[][][][]) - 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.

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

catchLabels - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryCatchFrame

An ordered list of pairs because catch blocks are ordered.

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

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 tracks the annotations of memory locations such as local variables and fields.

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

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

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

CFCFGBuilder.CFCFGTranslationPhaseOne - Class in org.checkerframework.framework.flow

CFCFGTranslationPhaseOne(CFTreeBuilder, BaseTypeChecker, AnnotatedTypeFactory, boolean, boolean, ProcessingEnvironment) - Constructor for class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne

CFContext - Interface in org.checkerframework.framework.util

A collection of references to various type checker components.

cfg - Variable in class org.checkerframework.dataflow.analysis.Analysis

The current control flow graph to perform the analysis on.

CFGBuilder - Class in org.checkerframework.dataflow.cfg

Builds the control flow graph of some Java code (either a method, or an arbitrary statement).

CFGBuilder() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder

CFGBuilder.CFGTranslationPhaseOne - Class in org.checkerframework.dataflow.cfg

Class that performs phase one of the translation process.

CFGBuilder.CFGTranslationPhaseThree - Class in org.checkerframework.dataflow.cfg

Class that performs phase three of the translation process.

CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder - Interface in org.checkerframework.dataflow.cfg

A simple wrapper object that holds a basic block and allows to set one of its successors.

CFGBuilder.CFGTranslationPhaseTwo - Class in org.checkerframework.dataflow.cfg

Class that performs phase two of the translation process.

CFGBuilder.ConditionalJump - Class in org.checkerframework.dataflow.cfg

An extended node of type CFGBuilder.ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP.

CFGBuilder.ExtendedNode - Class in org.checkerframework.dataflow.cfg

An extended node can be one of several things (depending on its type): NODE.

CFGBuilder.ExtendedNode.ExtendedNodeType - Enum in org.checkerframework.dataflow.cfg

Extended node types (description see above).

CFGBuilder.Label - Class in org.checkerframework.dataflow.cfg

A label is used to refer to other extended nodes using a mapping from labels to extended nodes.

CFGBuilder.NodeHolder - Class in org.checkerframework.dataflow.cfg

An extended node of type NODE.

CFGBuilder.NodeWithExceptionsHolder - Class in org.checkerframework.dataflow.cfg

An extended node of type EXCEPTION_NODE.

CFGBuilder.PhaseOneResult - Class in org.checkerframework.dataflow.cfg

A wrapper object to pass around the result of phase one.

CFGBuilder.TryCatchFrame - Class in org.checkerframework.dataflow.cfg

A TryCatchFrame contains an ordered list of catch labels that apply to exceptions with specific types.

CFGBuilder.TryFinallyFrame - Class in org.checkerframework.dataflow.cfg

A TryFinallyFrame applies to exceptions of any type.

CFGBuilder.TryFinallyScopeCell - Class in org.checkerframework.dataflow.cfg

Storage cell for a single Label, with tracking whether it was accessed.

CFGBuilder.TryFinallyScopeMap - Class in org.checkerframework.dataflow.cfg

A map that keeps track of new labels added within a try block.

CFGBuilder.TryFrame - Interface in org.checkerframework.dataflow.cfg

A TryFrame takes a thrown exception type and maps it to a set of possible control-flow successors.

CFGBuilder.TryStack - Class in org.checkerframework.dataflow.cfg

An exception stack represents the set of all try-catch blocks in effect at a given point in a program.

CFGBuilder.Tuple<A,B,C> - Class in org.checkerframework.dataflow.cfg

Tuple class with up to three members.

CFGBuilder.UnconditionalJump - Class in org.checkerframework.dataflow.cfg

An extended node of type CFGBuilder.ExtendedNode.ExtendedNodeType.UNCONDITIONAL_JUMP.

CFGLambda(LambdaExpressionTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda

CFGMethod(MethodTree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod

CFGStatement(Tree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement

CFGTranslationPhaseOne(TreeBuilder, AnnotationProvider, boolean, boolean, ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

CFGTranslationPhaseThree() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree

CFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> - Interface in org.checkerframework.dataflow.cfg

Perform some visualization on a control flow graph.

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(CFAbstractAnalysis<CFValue, CFStore, ?>, CFAbstractStore<CFValue, CFStore>) - Constructor for class org.checkerframework.framework.flow.CFStore

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

CFValue - Class in org.checkerframework.framework.flow

The default abstract value used in the Checker Framework.

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

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

checkAccess(IdentifierTree, Void) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor

checkAndPerformFlowAnalysis(Tree) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Flow analysis will be performed if all of the following are true.

checkAndSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy

Check and subtype first determines if the subtype/supertype combination has already been visited.

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>) - 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, AnnotationMirror, FlowExpressions.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.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(FlowExpressions.Receiver, AnnotationMirror, AnnotationMirror, CFAbstractStore<?, ?>) - Method in class org.checkerframework.checker.initialization.InitializationVisitor

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

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

CHECKER_BASE_DIR_NAME - Static variable in class org.checkerframework.framework.util.CheckerMain

CHECKER_BASE_PACKAGE - Static variable in class org.checkerframework.framework.util.CheckerMain

All "built-in" Checker Framework checkers, except SubtypingChecker, start with this package file path.

CHECKER_QUAL_PATH_OPT - Static variable in class org.checkerframework.javacutil.PluginUtil

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

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

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.

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.

checkForAnnotatedJdk() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor

Warn if the annotated JDK is not being used.

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, AnnotationMirror, FlowExpressions.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<ContractsUtils.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(TreePath, AnnotationProvider, boolean) - Static method in class org.checkerframework.dataflow.util.PurityChecker

Compute whether the given statement is side-effect-free, deterministic, or both.

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

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.

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>) - 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, Void) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor

checkTypecastSafety(TypeCastTree, Void) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor

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

classExtendsTAPosition(int, int) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils

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(TypeMirror) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName

ClassNameNode - Class in org.checkerframework.dataflow.cfg.node

A node representing a class name used in an expression such as a static method invocation.

ClassNameNode(IdentifierTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode

ClassNameNode(ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode

ClassNameNode(MemberSelectTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode

ClassNameNode(TypeMirror, Element) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode

classTree - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod

The class tree this method belongs to.

classTree - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement

The class tree this method belongs to.

classTreeKinds() - Static method in class org.checkerframework.javacutil.TreeUtils

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

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(MultiGraphQualifierHierarchy.MultiGraphFactory) - Constructor for class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory.ClassValQualifierHierarchy

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 FlowExpressions.ClassName.

ClassValVisitor - Class in org.checkerframework.common.reflection

ClassValVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.common.reflection.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

clear() - Static method in class org.checkerframework.javacutil.AnnotationBuilder

clear() - Static method in class org.checkerframework.javacutil.AnnotationUtils

clearAnnotations() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror

Removes all primary annotations on this type.

clearValue(FlowExpressions.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(ProcessingEnvironment, NullnessAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.nullness.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<A, S>) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult

Combine with another analysis result.

combine(AnnotationMirror, AnnotationMirrorSet, AnnotationMirrorSet) - Method in class org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism

Returns an annotation set that is the merge of the two sets of annotations.

combine(AnnotationMirror, AnnotationMirrorSet, AnnotationMirrorSet) - Method in class org.checkerframework.framework.type.poly.DefaultQualifierPolymorphism

Returns the lub of the two sets.

combineRs(R, R) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeComparer

Supplies the logic to reduce on how to combine two R objects.

combineRs(Void, Void) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeMerger

CommitmentTreeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator

CommitmentTypeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator

COMMITTED - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory

Initialized or NonRaw.

commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.formatter.FormatterVisitor

commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterVisitor

commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.index.inequality.LessThanVisitor

commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.index.inequality.LessThanVisitor

commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundVisitor

commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.index.samelen.SameLenVisitor

Modifies the common assignment checks to ensure that SameLen annotations are always merged.

commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundVisitor

commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundVisitor

commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.initialization.InitializationVisitor

commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.lock.LockVisitor

commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.nullness.NullnessVisitor

commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String) - Method in class org.checkerframework.checker.nullness.NullnessVisitor

commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.nullness.NullnessVisitor

commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.common.aliasing.AliasingVisitor

commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.common.aliasing.AliasingVisitor

commonAssignmentCheck(Tree, ExpressionTree, String) - 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) - 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) - 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) - 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) - Method in class org.checkerframework.common.value.ValueVisitor

commonConvert(Node, TypeMirror, boolean) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Assignment conversion and method invocation conversion are almost identical, except that assignment conversion allows narrowing.

compare(Block, Block) - Method in class org.checkerframework.dataflow.analysis.Analysis.Worklist.DFOComparator

compare(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.EqualityAtmComparer

compare(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeComparer

Compares two annotated type mirrors.

compare(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeMerger

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

compareUnsigned(long, long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil

Compares two unsigned longs x and y.

compareUnsigned(int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil

Compares two unsigned ints x and y.

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

The annotation to distinguish compiler message Strings from normal Strings.

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

computeNeighborhoodOfEmptyBlock(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree

Compute the set of empty regular basic blocks empty, starting at start and going both forward and backwards.

computeNeighborhoodOfEmptyBlockBackwards(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree

Compute the set of empty regular basic blocks empty, starting at start and looking only backwards in the control flow graph.

condition - Variable in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode

condition - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode

ConditionalAndNode - Class in org.checkerframework.dataflow.cfg.node

A node for a conditional and expression:

ConditionalAndNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalAndNode

ConditionalBlock - Interface in org.checkerframework.dataflow.cfg.block

Represents a conditional basic block that contains exactly one boolean Node.

ConditionalBlockImpl - Class in org.checkerframework.dataflow.cfg.block

Implementation of a conditional basic block.

ConditionalBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl

Initialize an empty conditional basic block to be filled with contents and linked to other basic blocks later.

conditionalExprPromotion(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Convert an operand of a conditional expression to the type of the whole expression.

ConditionalJump(CFGBuilder.Label, CFGBuilder.Label) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump

ConditionalNotNode - Class in org.checkerframework.dataflow.cfg.node

A node for a conditional not expression:

ConditionalNotNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalNotNode

ConditionalOrNode - Class in org.checkerframework.dataflow.cfg.node

A node for a conditional or expression:

ConditionalOrNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalOrNode

ConditionalPostcondition(String, boolean, AnnotationMirror, AnnotationMirror) - Constructor for class org.checkerframework.framework.util.ContractsUtils.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.

ConditionalTransferResult<A extends AbstractValue<A>,S extends Store<S>> - Class in org.checkerframework.dataflow.analysis

Implementation of a TransferResult with two non-exceptional store; one for the 'then' edge and one for 'else'.

ConditionalTransferResult(A, S, S, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult

Create a ConditionalTransferResult with thenStore as the resulting store if the corresponding Node evaluates to true and elseStore otherwise.

ConditionalTransferResult(A, S, S) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult

ConditionalTransferResult(A, S, S, Map<TypeMirror, S>, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult

Create a ConditionalTransferResult with thenStore as the resulting store if the corresponding Node evaluates to true and elseStore otherwise.

ConditionalTransferResult(A, S, S, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult

Constant - Annotation Type in org.checkerframework.checker.signedness.qual

The value is a compile-time constant, and may be interpreted as Signed or Unsigned.

Constant - Class in org.checkerframework.dataflow.constantpropagation

Constant(Constant.Type) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant

Constant(Integer) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant

Constant.Type - Enum in org.checkerframework.dataflow.constantpropagation

ConstantPropagationPlayground - Class in org.checkerframework.dataflow.cfg.playground

ConstantPropagationPlayground() - Constructor for class org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground

ConstantPropagationStore - Class in org.checkerframework.dataflow.constantpropagation

ConstantPropagationStore() - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore

ConstantPropagationStore(Map<Node, Constant>) - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore

ConstantPropagationTransfer - Class in org.checkerframework.dataflow.constantpropagation

ConstantPropagationTransfer() - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer

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

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 element is contained in this range.

contains(Block) - Method in class org.checkerframework.dataflow.analysis.Analysis.Worklist

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 add 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.dataflow.cfg.CFGBuilder.TryFinallyScopeMap

containsKey(Object) - Method in class org.checkerframework.framework.util.AnnotationMirrorMap

containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess

containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName

containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess

containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall

containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver

Returns true if and only if other appears anywhere in this receiver or an expression appears in this receiver such that other might alias this expression, and that expression is modifiable.

containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference

containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown

containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral

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.

containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess

containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation

containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName

containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess

containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable

containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall

containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver

containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference

containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown

containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral

containsSame(Collection<? extends AnnotationMirror>, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Checks that the collection contains the annotation.

containsSameByClass(Collection<? extends AnnotationMirror>, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Checks that the collection contains the annotation.

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(FlowExpressions.LocalVariable) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall

containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess

containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation

containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess

containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable

containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall

containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver

containsThisConstructorInvocation(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils

containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult

containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult

containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferInput

containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferResult

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.

containsUnknown() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.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.

continueLabels - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Map from AST label Names to CFG CFGBuilder.Labels for continues.

continueTargetL - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Current CFGBuilder.TryFinallyScopeCell to which a continue statement with no label should jump, or null if there is no valid destination.

Contract(String, AnnotationMirror, AnnotationMirror, ContractsUtils.Contract.Kind) - Constructor for class org.checkerframework.framework.util.ContractsUtils.Contract

Creates a new Contract.

contractAnnotation - Variable in class org.checkerframework.framework.util.ContractsUtils.Contract

The annotation that expressed this contract; used for diagnostic messages.

contractsUtils - Variable in class org.checkerframework.common.basetype.BaseTypeVisitor

An instance of the ContractsUtils helper class.

ContractsUtils - Class in org.checkerframework.framework.util

A utility class to handle pre- and postconditions.

ContractsUtils.ConditionalPostcondition - Class in org.checkerframework.framework.util

Represents a conditional postcondition that must be verified by BaseTypeVisitor or one of its subclasses.

ContractsUtils.Contract - Class in org.checkerframework.framework.util

A contract represents an annotation on an expression, along with the kind: precondition, postcondition, or conditional postcondition.

ContractsUtils.Contract.Kind - Enum in org.checkerframework.framework.util

ContractsUtils.Postcondition - Class in org.checkerframework.framework.util

A postcondition contract.

ContractsUtils.Precondition - Class in org.checkerframework.framework.util

A precondition contract.

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.

conversionRequiresNarrowing(TypeMirror, Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Return whether a conversion from the type of the node to varType requires narrowing.

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.CFGBuilder.CFGTranslationPhaseOne

Given a method element and as list of argument expressions, return a list of Nodes representing the arguments converted for a call of the method.

convertedTreeLookup - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph

Map from AST Trees to post-conversion sets of Nodes.

convertedTreeLookupMap - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

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.

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

copy() - Method in class org.checkerframework.dataflow.analysis.TransferInput

copy() - Method in class org.checkerframework.dataflow.constantpropagation.Constant

copy() - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore

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

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

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

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.

COVERED_CLASS_STRINGS - Static variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory

The domain of the Constant Value Checker: the types for which it estimates possible values.

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

createAbstractValue(Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAnalysis

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.

createAnnotationSet() - Static method in class org.checkerframework.javacutil.AnnotationUtils

Constructs a Set for storing AnnotationMirrors.

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.

createCFGVisualizer() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

createCharAnnotation(List<Character>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory

Returns a IntVal annotation using the values.

createCombinedSameLen(FlowExpressions.Receiver, FlowExpressions.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<FlowExpressions.Receiver>, List<AnnotationMirror>) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory

For the use of the transfer function; generates a SameLen that includes a and b, as well as everything in sl1 and sl2, if they are SameLen annotations.

createCompilationBootclasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerDevelMain

createCompilationBootclasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain

createCompoundFromAnnotationMirror(AnnotationMirror, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils

Returns a newly created Attribute.Compound corresponding to an argument AnnotationMirror.

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

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

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.

createDoubleValAnnotation(List<Double>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory

Returns a DoubleVal annotation using the values.

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

createEmptyStore(boolean) - Method in class org.checkerframework.framework.flow.CFAnalysis

createEnhancedForLoopArrayVariable(ExpressionTree, VariableElement) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

createEnhancedForLoopArrayVariable(ExpressionTree, VariableElement) - Method in class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne

createEnhancedForLoopIteratorVariable(MethodInvocationTree, VariableElement) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

createEnhancedForLoopIteratorVariable(MethodInvocationTree, VariableElement) - Method in class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne

createEqualityComparer() - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy

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

createFreeAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory

Creates a UnderInitialization annotation with the given type as its type frame argument.

createFreeAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory

Creates a UnderInitialization annotation with the given type frame.

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

createLRUCache(int) - Static method in class org.checkerframework.javacutil.CollectionUtils

A Utility method for creating LRU cache.

createNumberAnnotationMirror(List<Number>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory

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

createQualifierDefaults() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Create QualifierDefaults which handles checker specified defaults.

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory

Creates the Substring Index qualifier hierarchy.

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory

Set the Bottom qualifier as the bottom of the hierarchy.

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.common.util.debug.TypeOutputtingChecker.GeneralAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory

createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Factory method to easily change what QualifierHierarchy is created.

createQualifierHierarchy() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns the type qualifier hierarchy graph to be used by this processor.

createQualifierHierarchy(Elements, Set<Class<? extends Annotation>>, MultiGraphQualifierHierarchy.MultiGraphFactory) - Static method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns the type qualifier hierarchy graph for a given set of type qualifiers and a factory.

createQualifierHierarchy() - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory

createQualifierHierarchyFactory() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory

createQualifierHierarchyFactory() - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory

createQualifierHierarchyFactory() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Factory method to easily change what Factory is used to create a QualifierHierarchy.

createQualifierPolymorphism() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Creates the QualifierPolymorphism instance which supports the QualifierPolymorphism mechanism.

createRuntimeClasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerDevelMain

createRuntimeClasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain

createSameLen(String...) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory

Creates a @SameLen annotation whose values are the given strings.

createSingleAnnotationValue(AnnotationMirror, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis

Returns an abstract value containing an annotated type with the annotation anno, and 'top' for all other hierarchies.

createSourceVisitor() - Method in class org.checkerframework.checker.nullness.AbstractNullnessChecker

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.

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.formatter.FormatterAnnotatedTypeFactory

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.i18nformatter.I18nFormatterAnnotatedTypeFactory

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

createTransferFunction() - Method in class org.checkerframework.checker.lock.LockAnalysis

createTransferFunction() - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis

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

Returns a TreeAnnotator that adds annotations to a type based on the contents of a tree.

createTreeAnnotator() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory

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.javacutil.BasicTypeProcessor

Create a TreePathScanner at the given root.

createType(TypeMirror, AnnotatedTypeFactory, boolean) - Static method in class org.checkerframework.framework.type.AnnotatedTypeMirror

Creates the appropriate AnnotatedTypeMirror specific wrapper for the provided type.

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.value.ValueAnnotatedTypeFactory

createTypeAnnotator() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Returns a ImplicitsTypeAnnotator 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.util.report.ReportVisitor

createTypeFactory() - Method in class org.checkerframework.common.value.ValueVisitor

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 subtyping checker using the current type qualifier hierarchy.

createTypeOfObject(AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.type.AnnotatedTypeMirror

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

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.

createUnclassifiedAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory

Creates a UnknownInitialization or Raw annotation with a given type frame.

createUnclassifiedAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory

Creates an UnknownInitialization or Raw annotation with a given type frame.

Current - Annotation Type in org.checkerframework.checker.units.qual

Electric current.

currentInput - Variable in class org.checkerframework.dataflow.analysis.Analysis

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

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

currentTree - Variable in class org.checkerframework.dataflow.analysis.Analysis

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.CFGBuilder.CFGTranslationPhaseOne

Class declarations that have been encountered when building the control-flow graph for a method.

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.CFGBuilder.CFGTranslationPhaseOne

Lambdas encountered when building the control-flow graph for a method, variable initializer, or initializer.

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, 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.ImplicitsTreeAnnotator

defaultAction(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.treeannotator.ListTreeAnnotator

defaultAction(AnnotatedTypeMirror, AnnotatedTypeMirror, PARAM) - Method in class org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor

Called by the default implementation of every AbstractAtmComboVisitor visit method.

defaultAction(AnnotatedTypeMirror, P) - Method in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner

Called by default for any visit method that is not overridden.

defaultAction(AnnotatedTypeMirror, P) - Method in 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

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

Applied to the declaration of a type qualifier specifies that the given annotation should be the default for a particular location.

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

DefaultInUncheckedCodeFor - Annotation Type in org.checkerframework.framework.qual

Applied to the declaration of a type qualifier, specifies that the given annotation should be the default for unannotated type uses (in bytecode or source code) at the given location(s).

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.

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.

DefaultQualifierInHierarchyInUncheckedCode - Annotation Type in org.checkerframework.framework.qual

Indicates that the annotated qualifier is the default qualifier on unannotated type uses (in bytecode or source code that has not been type-checked).

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 the given factory for querying type qualifiers and the given factory for getting annotated types.

DefaultQualifiers - Annotation Type in org.checkerframework.framework.qual

Specifies the annotations to be included in a type without having to provide them explicitly.

DefaultReflectionResolver - Class in org.checkerframework.common.reflection

Default implementation of ReflectionResolver.

DefaultReflectionResolver(BaseTypeChecker, MethodValAnnotatedTypeFactory, boolean) - Constructor for class org.checkerframework.common.reflection.DefaultReflectionResolver

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

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

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.

DFOComparator() - Constructor for class org.checkerframework.dataflow.analysis.Analysis.Worklist.DFOComparator

DiagMessage(String, Object[]) - Constructor for class org.checkerframework.framework.source.Result.DiagMessage

dimensions - Variable in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation

dimensions - Variable in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode

The length of this list is the number of dimensions in the array.

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.

directSuperTypes() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType

directSuperTypes() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType

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.

directSuperTypesField() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType

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

@DotSeparatedIdentifiers annotation.

DOTCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> - Class in org.checkerframework.dataflow.cfg

Generate a graph description in the DOT language of a control graph.

DOTCFGVisualizer() - Constructor for class org.checkerframework.dataflow.cfg.DOTCFGVisualizer

dotOutputFileName(UnderlyingAST) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer

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.

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

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.

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.CFGBuilder.CFGTranslationPhaseOne

The VariableTree that indicates whether assertions are enabled or not.

Effect - Class in org.checkerframework.checker.guieffect

Effect(Class<? extends Annotation>) - Constructor for class org.checkerframework.checker.guieffect.Effect

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.analysis.FlowExpressions.LocalVariable

element - Variable in class org.checkerframework.dataflow.cfg.node.ClassNameNode

The class named by this node.

element - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode

element - Variable in class org.checkerframework.dataflow.cfg.node.PackageNameNode

The package named by this node.

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

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

elementFromUse(NewClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils

Specialization for return type.

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.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

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 - Static variable in class org.checkerframework.framework.util.defaults.QualifierDefaults

ElementUtils - Class in org.checkerframework.javacutil

A Utility class for analyzing Elements.

elseFlowRule - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl

elseOperand - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode

elseStore - Variable in class org.checkerframework.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.Analysis

Else stores before every basic block (assumed to be 'no information' if not present).

elseSuccessor - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl

Successor of the else branch.

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.

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

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.

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.

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

EnsuresLockHeld - Annotation Type in org.checkerframework.checker.lock.qual

Indicates that the given expressions are held if the method terminates successfully.

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

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.

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

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

EnsuresNonNull - Annotation Type in org.checkerframework.checker.nullness.qual

Indicates that the value expressions are non-null, if the method terminates successfully.

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

EnsuresQualifier - Annotation Type in org.checkerframework.framework.qual

A postcondition annotation to indicate that a method ensures certain expressions to have a certain type qualifier once the method has successfully terminated.

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 finished, and if the result is as indicated by result.

EnsuresQualifiers - Annotation Type in org.checkerframework.framework.qual

An annotation wrapper to allow multiple postcondition annotations.

EnsuresQualifiersIf - Annotation Type in org.checkerframework.framework.qual

A meta-annotation to allow multiple conditional postcondition annotations.

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

env - Variable in class org.checkerframework.checker.nullness.SystemGetPropertyHandler

env - Variable in class org.checkerframework.dataflow.analysis.Analysis

The associated processing environment.

env - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Annotation processing environment and its associated type and tree utilities.

env - Variable in class org.checkerframework.javacutil.trees.TreeBuilder

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

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.FlowExpressions.ArrayAccess

equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation

equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName

equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess

equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable

equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall

equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference

equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown

equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral

equals(Object) - Method in class org.checkerframework.dataflow.analysis.TransferInput

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.CaseNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode

equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.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.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.framework.flow.CFAbstractStore

equals(Object) - Method in class org.checkerframework.framework.flow.CFAbstractValue

equals(Object) - Method in class org.checkerframework.framework.source.Result.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.ContractsUtils.ConditionalPostcondition

equals(Object) - Method in class org.checkerframework.framework.util.ContractsUtils.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

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

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

error - Variable in class org.checkerframework.framework.util.dependenttypes.DependentTypesError

An error message about that expression.

errorKey - Variable in enum org.checkerframework.framework.util.ContractsUtils.Contract.Kind

errsOnLastExit - Variable in class org.checkerframework.framework.source.SourceChecker

The number of errors at the last exit of the type processor.

escapeDoubleQuotes(String) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer

escapeQuotesAndSlashes(String) - Static method in class org.checkerframework.javacutil.PluginUtil

evaluateMethodCall(List<List<?>>, List<?>, MethodInvocationTree) - Method in class org.checkerframework.common.value.ReflectiveEvaluator

evaluateStaticFieldAccess(String, String, MemberSelectTree) - Method in class org.checkerframework.common.value.ReflectiveEvaluator

evaluteConstructorCall(ArrayList<List<?>>, NewClassTree, TypeMirror) - Method in class org.checkerframework.common.value.ReflectiveEvaluator

EVERYTHING - Static variable in class org.checkerframework.common.value.util.Range

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

exceptionalExitLabel - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Special label to identify the exceptional exit.

exceptionalStores - Variable in class org.checkerframework.dataflow.analysis.TransferResult

The stores in case the basic block throws an exception (or null if the corresponding Node does not throw any exceptions).

exceptionalSuccessors - Variable in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl

Set of exceptional successors.

ExceptionBlock - Interface in org.checkerframework.dataflow.cfg.block

Represents a basic block that contains exactly one Node which can throw an exception.

ExceptionBlockImpl - Class in org.checkerframework.dataflow.cfg.block

Base class of the Block implementation hierarchy.

ExceptionBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl

exceptions - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.NodeWithExceptionsHolder

Map from exception type to labels of successors that may be reached as a result of that exception.

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

exitLabel - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryStack

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

ExtendedNode(CFGBuilder.ExtendedNode.ExtendedNodeType) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

extendWithExtendedNode(CFGBuilder.ExtendedNode) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Extend the list of extended nodes with an extended node.

extendWithNode(T) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Extend the list of extended nodes with a node.

extendWithNodeWithException(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Extend the list of extended nodes with a node, where node might throw the exception cause.

extendWithNodeWithExceptions(Node, Set<TypeMirror>) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Extend the list of extended nodes with a node, where node might throw any of the exception in causes.

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

F2A(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.F2A

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.checker.nullness.SystemGetPropertyHandler

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

factory - Variable in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper

failure(FormatterTreeUtil.Result<E>, String, Object...) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil

Reports an error.

failure(FormatterTreeUtil.Result<E>, String, Object...) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil

Reports an error.

failure(String, Object...) - Static method in class org.checkerframework.framework.source.Result

Creates a new failure result with the given message key.

falseFlowRule - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump

falseSucc - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump

FBCBOTTOM - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory

FBCBottom or NonRaw.

FBCBottom - Annotation Type in org.checkerframework.checker.initialization.qual

The bottom type in the Freedom Before Commitment type system.

FENUM - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory

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

FENUM_UNQUALIFIED - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory

FenumAnnotatedTypeFactory - Class in org.checkerframework.checker.fenum

FenumAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory

FenumAnnotatedTypeFactory.FenumQualifierHierarchy - Class in org.checkerframework.checker.fenum

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(MultiGraphQualifierHierarchy.MultiGraphFactory) - Constructor for class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory.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.analysis.FlowExpressions.FieldAccess

field - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode

FieldAccess(FlowExpressions.Receiver, FieldAccessNode) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess

FieldAccess(FlowExpressions.Receiver, TypeMirror, VariableElement) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.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.

FieldDescriptorForPrimitiveOrArrayInUnnamedPackage - Annotation Type in org.checkerframework.checker.signature.qual

Represents a field descriptor for a primitive or for an array of 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

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 FlowExpressions.FieldAccess.

fileArgToStr(File) - Static method in class org.checkerframework.javacutil.PluginUtil

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

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.

finallyLabel - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyFrame

findAnnotationInHierarchy(Collection<? extends AnnotationMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.QualifierHierarchy

Returns the annotation in annos that is in the hierarchy for which annotationMirror is top.

findAnnotationInSameHierarchy(Collection<? extends AnnotationMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.QualifierHierarchy

Returns the annotation in annos that is in the same hierarchy as annotationMirror.

findBottoms(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy

findBottoms(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

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.

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.

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.

findInheritedEffectRange(TypeElement, ExecutableElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory

findInheritedEffectRange(TypeElement, ExecutableElement, boolean, Tree) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory

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.

findLub(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

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.common.aliasing.AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy

findTops(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

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

finish(QualifierHierarchy, Map<AnnotationMirror, Set<AnnotationMirror>>, Map<AnnotationMirror, AnnotationMirror>, Set<AnnotationMirror>, Set<AnnotationMirror>, Object...) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

Method to finalize the qualifier hierarchy before it becomes unmodifiable.

finishValue(NullnessValue, NullnessStore) - Method in class org.checkerframework.checker.nullness.NullnessTransfer

finishValue(V, S) - Method in class org.checkerframework.framework.flow.CFAbstractTransfer

This method is called before returning the abstract value value as the result of the transfer function.

finishValue(V, S, S) - Method in class org.checkerframework.framework.flow.CFAbstractTransfer

This method is called before returning the abstract value value as the result of the transfer function.

first - Variable in class org.checkerframework.javacutil.Pair

firstStatement(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils

FIsA - Class in org.checkerframework.framework.util.typeinference.constraint

FIsA(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.FIsA

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

FLOAT_PATTERN - Static variable in class org.checkerframework.framework.util.FlowExpressionParseUtil

Matches (some) floating-point and double literals.

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

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(FlowExpressions.Receiver, List<FlowExpressions.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.analysis

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.analysis.FlowExpressions

FlowExpressions.ArrayAccess - Class in org.checkerframework.dataflow.analysis

An array access.

FlowExpressions.ArrayCreation - Class in org.checkerframework.dataflow.analysis

FlowExpressions.ClassName - Class in org.checkerframework.dataflow.analysis

A ClassName represents the occurrence of a class as part of a static field access or method invocation.

FlowExpressions.FieldAccess - Class in org.checkerframework.dataflow.analysis

FlowExpressions.LocalVariable - Class in org.checkerframework.dataflow.analysis

FlowExpressions.MethodCall - Class in org.checkerframework.dataflow.analysis

A call to a @Deterministic method.

FlowExpressions.Receiver - Class in org.checkerframework.dataflow.analysis

The poorly-named Receiver class is actually a Java AST.

FlowExpressions.ThisReference - Class in org.checkerframework.dataflow.analysis

FlowExpressions.Unknown - Class in org.checkerframework.dataflow.analysis

FlowExpressions.ValueLiteral - Class in org.checkerframework.dataflow.analysis

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, boolean, TransferInput, IdentityHashMap, Map).

flowRule - Variable in class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl

The rule below say that EACH store at the end of a single successor block flow to the corresponding store of the successor.

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

FORMAT - Variable in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory

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

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

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

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 - Annotation Type in org.checkerframework.checker.formatter.qual

If this annotation is attached to a Formatter.format-like method, then the first, String parameter 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.

formatStackTrace(StackTraceElement[]) - Method in class org.checkerframework.framework.source.SourceChecker

Format a list of StackTraceElements to be printed out as an error message.

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

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.

frames - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryStack

FREE - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory

UnderInitialization or null.

from - Variable in class org.checkerframework.checker.index.Subsequence

First index of the subsequence in the backing sequence.

from - Variable in class org.checkerframework.common.value.util.Range

The lower bound of the interval, inclusive.

FromByteCode - Annotation Type in org.checkerframework.framework.qual

If a method is annotated with this declaration annotation, then its signature is not written in a stub file and the method is not declared in source.

fromCelsiusToKelvin(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromClass(Elements, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationBuilder

Creates an AnnotationMirror given by a particular annotation class.

fromConversionChar(char) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory

Use this function to get the category associated with a conversion character.

fromElement(Element) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Creates an AnnotatedTypeMirror for elt that includes: annotations explicitly written on the element and annotations from stub files.

fromElement(TypeElement) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

fromElement(ExecutableElement) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

fromExpressionTreeCache - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory

Mapping from an expression tree to its annotated type; before implicits are applied, just what the programmer wrote.

fromGramToKiloGram(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromHourToMinute(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromKelvinToCelsius(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromKiloGramToGram(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromKiloMeterPerHourToMeterPerSecond(double) - Static method in class org.checkerframework.checker.units.UnitsTools

fromKiloMeterToMeter(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromMemberTreeCache - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory

Mapping from a member tree to its annotated type; before implicits are applied, just what the programmer wrote.

fromMeterPerSecondToKiloMeterPerHour(double) - Static method in class org.checkerframework.checker.units.UnitsTools

fromMeterToKiloMeter(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromMeterToMilliMeter(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromMilliMeterToMeter(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromMinuteToHour(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromMinuteToSecond(int) - Static method in class org.checkerframework.checker.units.UnitsTools

fromName(Elements, CharSequence) - Static method in class org.checkerframework.javacutil.AnnotationBuilder

Creates an AnnotationMirror given by a particular fully-qualified name.

fromNewClass(NewClassTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Creates an AnnotatedDeclaredType for a NewClassTree.

fromNewClass(NewClassTree) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

fromSecondToMinute(int) - Static method in class org.checkerframework.checker.units.UnitsTools

FromStubFile - Annotation Type in org.checkerframework.framework.qual

If a method is annotated with this declaration annotation, then its signature was read from a stub file.

fromTypeTreeCache - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory

Mapping from a type tree to its annotated type; before implicits are applied, just what the programmer wrote.

fullMessageOf(String, String) - Method in class org.checkerframework.framework.source.SourceChecker

Returns the localized long message corresponding for this key, and returns the defValue if no localized message is found.

FULLY_QUALIFIED_SUBTYPING_CHECKER - Static variable in class org.checkerframework.framework.util.CheckerMain

FullyQualifiedName - Annotation Type in org.checkerframework.checker.signature.qual

Represents a fully-qualified name as defined in the Java Language Specification, section 6.7.

FunctionalInterfaceNode - Class in org.checkerframework.dataflow.cfg.node

A node for member references and lambdas.

FunctionalInterfaceNode(MemberReferenceTree) - Constructor for class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode

FunctionalInterfaceNode(LambdaExpressionTree) - Constructor for class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode

G

g - Annotation Type in org.checkerframework.checker.units.qual

Gram.

g - Static variable in class org.checkerframework.checker.units.UnitsTools

GeneralAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.common.util.debug.TypeOutputtingChecker.GeneralAnnotatedTypeFactory

generated - Variable in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer

Mapping from class/method representation to generated dot file.

generateDotGraph(ControlFlowGraph, Block, Analysis<A, S, T>) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer

Generate the dot representation as String.

generateDotNodes(Set<Block>, ControlFlowGraph, Analysis<A, S, T>) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer

generateDOTofCFG(String, String, String, String, boolean) - Static method in class org.checkerframework.dataflow.cfg.JavaSource2CFGDOT

Just like method above but without analysis.

generateDOTofCFG(String, String, String, String, boolean, Analysis<A, S, T>) - Static method in class org.checkerframework.dataflow.cfg.JavaSource2CFGDOT

Generate the DOT representation of the CFG for a method.

generateDOTofCFG(String, String, String, String, boolean, Analysis<A, S, T>, MethodTree, CompilationUnitTree) - Static method in class org.checkerframework.dataflow.cfg.JavaSource2CFGDOT

GenericAnnotatedTypeFactory<Value extends CFAbstractValue<Value>,Store extends CFAbstractStore<Value,Store>,TransferFunction extends CFAbstractTransfer<Value,Store,TransferFunction>,FlowAnalysis extends CFAbstractAnalysis<Value,Store,TransferFunction>> - Class in org.checkerframework.framework.type

A factory that extends AnnotatedTypeFactory to optionally use flow-sensitive qualifier inference, qualifier polymorphism, implicit annotations via ImplicitFor, and user-specified defaults via DefaultQualifier.

GenericAnnotatedTypeFactory(BaseTypeChecker, boolean) - Constructor for class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Creates a type factory for checking the given compilation unit with respect to the given annotation.

GenericAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Creates a type factory for checking the given compilation unit with respect to the given annotation.

GenericAnnotatedTypeFactory.ScanState - Enum in org.checkerframework.framework.type

Track the state of org.checkerframework.dataflow analysis scanning for each class tree in the compilation unit.

get(T) - Static method in class org.checkerframework.checker.nullness.Opt

If primary is non-null, returns it, otherwise throws NoSuchElementException.

get(Object) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeMap

get(Object) - Method in class org.checkerframework.framework.util.AnnotationMirrorMap

getAccessedNames() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeMap

getAClass(String, String) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesHelper

Returns the AClass in an AScene, given a className and a jaifPath.

getAllBlocks() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph

getAllFields(ClassTree) - Static method in class org.checkerframework.checker.initialization.InitializationChecker

Returns a list of all fields of the given class.

getAllFieldsIn(TypeElement, Elements) - Static method in class org.checkerframework.javacutil.ElementUtils

Return all fields declared in the given type or any superclass/interface.

getAllMethodsIn(TypeElement, Elements) - Static method in class org.checkerframework.javacutil.ElementUtils

Return all methods declared in the given type or any superclass/interface.

getAllTypeElementsIn(TypeElement) - Static method in class org.checkerframework.javacutil.ElementUtils

Return all nested/inner classes/interfaces declared in the given type.

getAlternatives() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType

getAnalysis() - Method in class org.checkerframework.checker.initialization.InitializationStore

getAnnot() - Method in class org.checkerframework.checker.guieffect.Effect

getAnnotatedNullType(Set<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Creates and returns an AnnotatedNullType qualified with annotations.

getAnnotatedType(Tree) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory

getAnnotatedType(Element) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns an AnnotatedTypeMirror representing the annotated type of elt.

getAnnotatedType(Tree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns an AnnotatedTypeMirror representing the annotated type of tree.

getAnnotatedType(ClassTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

getAnnotatedType(NewClassTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

getAnnotatedType(NewArrayTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

getAnnotatedType(MethodTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

getAnnotatedType(TypeElement) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

getAnnotatedType(ExecutableElement) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

getAnnotatedTypeFormatter() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

getAnnotatedTypeFromTypeTree(Tree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Determines the annotated type from a type in tree form.

getAnnotatedTypeLhs(Tree) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory

Handles case 2.

getAnnotatedTypeLhs(Tree) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory

getAnnotatedTypeLhs(Tree) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Returns the type of a left-hand side of an assignment.

getAnnotatedTypeLhsNoTypeVarDefault(Tree) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Returns the type of the left-hand side of an assignment without applying local variable defaults to type variables.

getAnnotatedTypeMirrorOfParameter(AnnotatedTypeMirror.AnnotatedExecutableType, int) - Static method in class org.checkerframework.framework.util.AnnotatedTypes

Given an AnnotatedExecutableType of a method or constructor declaration, get the parameter type expect at the indexth position (unwrapping var args if necessary).

getAnnotatedTypeRhsUnaryAssign(UnaryTree) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

getAnnotatedTypes(AnnotatedTypeFactory, List<AnnotatedTypeMirror>, List<? extends ExpressionTree>) - Static method in class org.checkerframework.framework.util.AnnotatedTypes

Return a list of the AnnotatedTypeMirror of the passed expression trees, in the same order as the trees.

getAnnotatedTypeVarargsArray(Tree) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Returns the type of a varargs array of a method invocation or a constructor invocation.

getAnnotation(Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror

Returns the actual annotation mirror used to annotate this type, whose Class equals the passed annoClass if one exists, null otherwise.

getAnnotationByClass(Collection<? extends AnnotationMirror>, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Returns the AnnotationMirror in c that has the same class as anno.

getAnnotationByName(Collection<? extends AnnotationMirror>, String) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Returns the AnnotationMirror in c that has the same name as anno.

getAnnotationFieldType(ExecutableElement, Object) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter

Returns an AnnotationFieldType given an ExecutableElement or value.

getAnnotationFormatter() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

getAnnotationForRemainder(IntegerRemainderNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer

getAnnotationForRemainder handles these cases:

getAnnotationFromJavaExpressionString(String, Tree, TreePath, Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Returns the primary annotation on expression if it were evaluated at path.

getAnnotationFromReceiver(FlowExpressions.Receiver, Tree, Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Returns the primary annotation on a receiver.

getAnnotationInHierarchy(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror

Returns an annotation from the given sub-hierarchy, if such an annotation targets this type; otherwise returns null.

getAnnotationMirror(Tree, Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Return the annotation on tree that is in the hierarchy that contains the qualifier target.

getAnnotationMirror(Tree, Class<? extends Annotation>) - Method in interface org.checkerframework.javacutil.AnnotationProvider

Return the annotation on tree that is in the hierarchy that contains the qualifier target.

getAnnotationMirror(Tree, Class<? extends Annotation>) - Method in class org.checkerframework.javacutil.BasicAnnotationProvider

Return the annotation on tree that is in the hierarchy that contains the qualifier target.

getAnnotationMirrorFromJavaExpressionString(String, Tree, TreePath) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

Returns the annotation mirror from dataflow for expression.

getAnnotationProvider() - Method in class org.checkerframework.common.basetype.BaseTypeChecker

getAnnotationProvider() - Method in class org.checkerframework.common.util.count.AnnotationStatistics

getAnnotationProvider() - Method in class org.checkerframework.common.util.count.JavaCodeStatistics

getAnnotationProvider() - Method in class org.checkerframework.framework.source.SourceChecker

getAnnotationProvider() - Method in interface org.checkerframework.framework.util.BaseContext

getAnnotations() - Method in class org.checkerframework.framework.flow.CFAbstractValue

Returns a set of annotations.

getAnnotations() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror

Returns the annotations on this type.

getAnnotationsField() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror

Returns the annotations on this type.

getAnnotationWithMetaAnnotation(Element, Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns a list of all annotations used to annotate this element, which have a meta-annotation (i.e., an annotation on that annotation) with class metaAnnotation.

getArgs() - Method in class org.checkerframework.framework.source.Result.DiagMessage

getArgument(int) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode

getArgument(int) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode

getArguments() - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode

getArguments() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode

getArgumentTypes(ExpressionTree, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil

Returns a list of boxed annotated types corresponding to the arguments in methodInvocation.

getArray() - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode

getArrayClassObject(TypeMirror) - Static method in class org.checkerframework.common.value.ValueCheckerUtils

getArrayDepth(AnnotatedTypeMirror.AnnotatedArrayType) - Static method in class org.checkerframework.framework.util.AnnotatedTypes

Returns the depth of the array type of the provided array.

getArrayLength(AnnotationMirror) - Static method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory

Returns the set of possible array lengths as a sorted list with no duplicate values.

getAssertionsEnabledVariable() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

Get a synthetic VariableTree that indicates whether assertions are enabled or not.

getAssignForUnaryTree(UnaryTree) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult

getAssignmentContext() - Method in class org.checkerframework.dataflow.cfg.node.Node

getAssignmentContext() - Method in class org.checkerframework.framework.type.VisitorState

getAssignmentContext(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils

Returns the tree with the assignment context for the treePath leaf node.

getBlock() - Method in interface org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder

getBlock() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

getBlock() - Method in class org.checkerframework.dataflow.cfg.node.Node

getBooleanOption(String) - Method in class org.checkerframework.framework.source.SourceChecker

Determines the boolean value of the option with the given name.

getBooleanOption(String, boolean) - Method in class org.checkerframework.framework.source.SourceChecker

Determines the boolean value of the option with the given name.

getBooleanOption(String) - Method in interface org.checkerframework.framework.util.OptionConfiguration

Determines the boolean value of the option with the given name.

getBooleanOption(String, boolean) - Method in interface org.checkerframework.framework.util.OptionConfiguration

Determines the boolean value of the option with the given name.

getBooleanProp(Map<PluginUtil.CheckerProp, Object>, PluginUtil.CheckerProp, String) - Static method in class org.checkerframework.javacutil.PluginUtil

If prop is in props, return a 1-element list containing cmdLineArg.

getBooleanSystemProperty(String) - Static method in class org.checkerframework.javacutil.PluginUtil

Return true if the system property is set to "true".

getBooleanSystemProperty(String, boolean) - Static method in class org.checkerframework.javacutil.PluginUtil

Return its boolean value if the system property is set.

getBooleanValues(AnnotationMirror) - Static method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory

Returns the set of possible values as a sorted list with no duplicate values.

getBottomAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.QualifierHierarchy

Return the bottom for the given qualifier, that is, the qualifier that is a subtype of start but no further subtypes exist.

getBottomAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

getBottomAnnotations() - Method in class org.checkerframework.framework.type.QualifierHierarchy

getBottomAnnotations() - Method in class org.checkerframework.framework.util.GraphQualifierHierarchy

getBottomAnnotations() - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

getBoundFields() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable

getBounds() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable

getBoxedType(AnnotatedTypeMirror.AnnotatedPrimitiveType) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns the annotated boxed type of the given primitive type.

getBundledAnnotationClasses() - Method in class org.checkerframework.framework.type.AnnotationClassLoader

Gets the set of annotation classes in the qual directory of a checker shipped with the Checker Framework.

getBundledTypeQualifiersWithoutPolyAll(Class<? extends Annotation>...) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Loads all annotations contained in the qual directory of a checker via reflection, and an explicit list of annotations to the set of annotation classes.

getBundledTypeQualifiersWithPolyAll(Class<? extends Annotation>...) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Loads all annotations contained in the qual directory of a checker via reflection, and adds PolyAll, if a polymorphic type qualifier exists, and an explicit array of annotations to the set of annotation classes.

getCacheSize() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns the int supplied to the checker via the atfCacheSize option or the default cache size.

getCapturedWildcard(TypeVariable) - Static method in class org.checkerframework.javacutil.TypesUtils

If typeVar is a captured wildcard, returns that wildcard; otherwise returns null.

getCaseOperand() - Method in class org.checkerframework.dataflow.cfg.node.CaseNode

getCFGVisualizer() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

The CFGVisualizer to be used by all CFAbstractAnalysis instances.

getCharValues(AnnotationMirror) - Static method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory

Returns the set of possible values as a sorted list with no duplicate values.

getChecker() - Method in class org.checkerframework.common.basetype.BaseTypeChecker

getChecker() - Method in interface org.checkerframework.common.basetype.BaseTypeContext

getChecker() - Method in class org.checkerframework.framework.source.SourceChecker

getChecker() - Method in interface org.checkerframework.framework.util.CFContext

GetClass - Annotation Type in org.checkerframework.common.reflection.qual

Annotation for methods like Object.getClassName.

getClassBody() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode

getClassFromType(TypeMirror) - Static method in class org.checkerframework.common.value.ValueCheckerUtils

getClassLoaderForClass(Class<? extends Object>) - Static method in class org.checkerframework.javacutil.InternalUtils

Obtain the class loader for clazz.

getClassNamesFromAnnotation(AnnotationMirror) - Static method in class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory

Returns the list of classnames from @ClassBound or @ClassVal if anno is @ClassBound or @ClassVal, otherwise returns an empty list.

getClassTree() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod

getClassTree() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement

getClassTree() - Method in class org.checkerframework.framework.type.VisitorState

getClassType() - Method in class org.checkerframework.framework.type.VisitorState

getCmd(String, File, File, File, String, String, String, File, String, Map<PluginUtil.CheckerProp, Object>, PrintStream, boolean, String) - Static method in class org.checkerframework.javacutil.PluginUtil

getCmdArgsOnly(File, String, String, String, File, String, Map<PluginUtil.CheckerProp, Object>, PrintStream, boolean, String) - Static method in class org.checkerframework.javacutil.PluginUtil

getCmdArgsOnly(File, File, File, String, String, String, File, String, Map<PluginUtil.CheckerProp, Object>, PrintStream, boolean, String) - Static method in class org.checkerframework.javacutil.PluginUtil

getCmdLine(Map<PluginUtil.CheckerProp, Object>) - Method in enum org.checkerframework.javacutil.PluginUtil.CheckerProp

getCode() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda

getCode() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod

getCode() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement

getCode() - Method in class org.checkerframework.dataflow.cfg.UnderlyingAST

getCombinedSameLen(List<String>, List<String>) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory

This function finds the union of the values of two annotations.

getComponentType() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType

getComputedEffectAtCallsite(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedDeclaredType, ExecutableElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory

Get the effect of a method call at its callsite, acknowledging polymorphic instantiation using type use annotations.

getCondition() - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode

getConditionalPostconditions(ExecutableElement) - Method in class org.checkerframework.framework.util.ContractsUtils

Returns a set of triples (expr, (result, annotation)) of conditional postconditions on the method methodElement.

getConditionOperand() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode

getConstraints(TypeVariable) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap

Gets the equality, subtypes, and supertypes constraints for a particular target.

GetConstructor - Annotation Type in org.checkerframework.common.reflection.qual

Annotation for methods like Class.getConstructor, whose signature is:
{@link MethodVal}(classname=c, methodname="", params=p) Constructor method(Class this, Object...

getConstructor() - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode

getContainingClass(Tree) - Method in class org.checkerframework.dataflow.analysis.Analysis

Get the ClassTree of the current CFG if the argument Tree maps to a Node in the CFG or null otherwise.

getContainingClass(Tree) - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph

Get the ClassTree of the CFG if the argument Tree maps to a Node in the CFG or null otherwise.

getContainingMethod(Tree) - Method in class org.checkerframework.dataflow.analysis.Analysis

Get the MethodTree of the current CFG if the argument Tree maps to a Node in the CFG or null otherwise.

getContainingMethod(Tree) - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph

Get the MethodTree of the CFG if the argument Tree maps to a Node in the CFG or null otherwise.

getContents() - Method in interface org.checkerframework.dataflow.cfg.block.RegularBlock

getContents() - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl

getContext() - Method in class org.checkerframework.common.basetype.BaseTypeChecker

getContext() - Method in class org.checkerframework.framework.source.SourceChecker

getContext() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Accessor for the CFContext.

getContextFromReceiver(FlowExpressions.Receiver, BaseContext) - Static method in class org.checkerframework.checker.index.Subsequence

If the passed receiver is a FieldAccess, returns the context associated with it.

getContextTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.AssignmentLhsContext

getContextTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext

getContextTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.LambdaReturnContext

getContextTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodParameterContext

getContextTree() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext

getContracts(ExecutableElement) - Method in class org.checkerframework.framework.util.ContractsUtils

getCurrentClassTree(Tree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns the current class type being visited by the visitor.

getCurrentClassType(Tree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

getCurrentMethodReceiver(Tree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns the receiver type of the current method being visited, and returns null if the visited tree is not within a method or if that method has no receiver (e.g.

getCurrentTree() - Method in class org.checkerframework.dataflow.analysis.Analysis

getDeclAnnotation(Element, Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns the actual annotation mirror used to annotate this element, whose name equals the passed annotation class (or is an alias for it).

getDeclAnnotation(Element, Class<? extends Annotation>) - Method in interface org.checkerframework.javacutil.AnnotationProvider

Returns the AnnotationMirror, of the given class or an alias of it, used to annotate the element.

getDeclAnnotation(Element, Class<? extends Annotation>) - Method in class org.checkerframework.javacutil.BasicAnnotationProvider

Returns the AnnotationMirror, of the given class, used to annotate the element.

getDeclAnnotationNoAliases(Element, Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns the actual annotation mirror used to annotate this element, whose name equals the passed annotation class.

getDeclAnnotations(Element) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns all of the actual annotation mirrors used to annotate this element (includes stub files and declaration annotations from overridden methods).

getDeclAnnotationWithMetaAnnotation(Element, Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Returns a list of all declaration annotations used to annotate this element, which have a meta-annotation (i.e., an annotation on that annotation) with class metaAnnotation.

getDeclaration() - Method in class org.checkerframework.javacutil.trees.DetachedVarSymbol

Get the declaration tree for the variable.

getDeclaredClasses() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph

getDeclaredEffect(ExecutableElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory

Calling context annotations.

getDeclaredLambdas() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph

getDependentTypesHelper() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

getDepthFirstOrderedBlocks() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph

getDescription() - Method in exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException

Retrieves the description of the error.

getDescription() - Method in class org.checkerframework.framework.stub.FileStubResource

getDescription() - Method in class org.checkerframework.framework.stub.JarEntryStubResource

getDescription() - Method in interface org.checkerframework.framework.stub.StubResource

Returns a user-friendly description of the resource (e.g.

getDetail() - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode

getDiagMessages() - Method in class org.checkerframework.framework.source.Result

getDimension(int) - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode

getDimensions() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation

getDimensions() - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode

getDoubleValues(AnnotationMirror) - Static method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory

Returns the set of possible values as a sorted list with no duplicate values.

getEffectiveAnnotation(Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror

Returns the actual effective annotation mirror used to annotate this type, whose Class equals the passed annoClass if one exists, null otherwise.

getEffectiveAnnotationInHierarchy(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror

Returns an annotation from the given sub-hierarchy, if such an annotation is present on this type or on its extends bounds; otherwise returns null.

getEffectiveAnnotations() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror

Returns the "effective" annotations on this type, i.e.

getElement() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable

getElement() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall

getElement() - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode

getElement() - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode

getElement() - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode

getElement() - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode

getElement() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType

getElementForType() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.AssignmentLhsContext

getElementForType() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext

Returns an Element that has the type of this assignment context.

getElementForType() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.LambdaReturnContext

getElementForType() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodParameterContext

getElementForType() - Method in class org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext

getElementIndex() - Method in class org.checkerframework.framework.util.element.ClassTypeParamApplier

getElementIndex() - Method in class org.checkerframework.framework.util.element.MethodTypeParamApplier

getElementIndex() - Method in class org.checkerframework.framework.util.element.ParamApplier

getElementIndex() - Method in class org.checkerframework.framework.util.element.SuperTypeApplier

getElementKindsForElementType(ElementType) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Returns the set of ElementKinds corresponding to elementType.

getElementKindsForTarget(Target) - Static method in class org.checkerframework.javacutil.AnnotationUtils

getElementUtils() - Method in class org.checkerframework.framework.source.SourceChecker

getElementUtils() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Accessor for the element utilities.

getElementUtils() - Method in interface org.checkerframework.framework.util.BaseContext

getElementValue(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Get the element with the name elementName of the annotation anno.

getElementValueArray(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Get the element with the name elementName of the annotation anno, where the element has an array type.

getElementValueClassName(AnnotationMirror, CharSequence, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Get the Name of the class that is referenced by element elementName.

getElementValueClassNames(AnnotationMirror, CharSequence, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Get the list of Names of the classes that are referenced by element elementName.

getElementValueEnum(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Get the element with the name name of the annotation anno.

getElementValueEnumArray(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Get the element with the name elementName of the annotation anno, or the default value if no element is present explicitly, where the element has an array type and the elements are Enums.

getElementValuesWithDefaults(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils

Returns the values of an annotation's elements, including defaults.

getElseFlowRule() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock

getElseFlowRule() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl

getElseLabel() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump

getElseOperand() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode

getElseStore() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult

getElseStore() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult

getElseStore() - Method in class org.checkerframework.dataflow.analysis.TransferInput

getElseStore() - Method in class org.checkerframework.dataflow.analysis.TransferResult

getElseSuccessor() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock

getElseSuccessor() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl

getEmptyStore() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

getEnclosingElementForArtificialTree(Tree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Gets the Element representing the declaration of the method enclosing a tree node.

getEnclosingType(TypeElement, Tree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory

Determine the type of the most enclosing class of the given tree that is a subtype of the given element.

getEnclosingType() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType

Returns the enclosing type, as in the type of A in the type A.B.

getEntryBlock() - Method in class org.checkerframework.dataflow.cfg.ControlFlowGraph

getEnv() - Method in class org.checkerframework.dataflow.analysis.Analysis

getEnvForPath(TreePath) - Method in class org.checkerframework.javacutil.