- 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
-
- 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
-
- 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.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
-
- 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
-
- add(Block) - Method in class org.checkerframework.dataflow.analysis.Analysis.Worklist
-
- add(T) - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- add(AnnotatedTypeMirror, AnnotatedTypeMirror, RETURN_TYPE) - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
-
- add(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.VisitHistory
-
Add a visit for type1 and type2.
- 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<?>, AnnotationMirror, 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, AnnotationMirror, 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 annoationToUse
will be used instead.
- addAll(Collection<? extends T>) - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- addAll(Collection<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
-
- 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
-
- 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.framework.type.GenericAnnotatedTypeFactory
-
- 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(Iterable<? extends AnnotationMirror>, Iterable<? extends AnnotationMirror>) - 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
-
- addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
-
- 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.linear.LinearAnnotatedTypeFactory
-
Case 1: type of class declaration
- 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.nullness.NullnessAnnotatedTypeFactory
-
- 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
-
Adds implicit annotations to a type obtained from a
Tree
.
- addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Adds implicit annotations to a type obtained from a
Element
.
- addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
- 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
-
- addDiagnosticFile(File) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addDiagnosticFiles(Iterable<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addDotEdge(long, long, String) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
-
- adddToPathOption(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addElementDefault(Element, AnnotationMirror, TypeUseLocation) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Sets the default annotations for a certain Element.
- addExceptionalSuccessor(BlockImpl, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
-
Add an exceptional successor.
- 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
-
- 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 reason
as a reason why the method is not both side-effect free and
deterministic.
- addNotDetReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
-
Add reason
as a reason why the method is not deterministic.
- addNotSEFreeReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
-
Add reason
as a reason why the method is not side-effect free.
- addOption(String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
Adds an option that takes no argument
- addOption(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
Adds an option that takes an argument
- addOption(String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addOption(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addOptionIfValueNonEmpty(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
Adds the option only if value is a non-null, non-empty String
- addOptionIfValueNonEmpty(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addOptions(Map<String, String>) - Method in class org.checkerframework.framework.source.SourceChecker
-
Add additional active options.
- addOptions(Map<String, String>) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
Adds all of the options in the given map to this one
- addOptions(Iterable<String>) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
- addOptions(Map<String, String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addOptions(Iterable<String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addOrGetDeclarations(TypeVariable, AnnotatedTypeFactory, Map<TypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable>) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
-
- 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
- addProcessor(String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addProcessors(Iterable<String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addQualifier(AnnotationMirror) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory
-
Adds the passed qualifier to the hierarchy.
- addSourceFile(File) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- addSourceFiles(Iterable<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- 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.
- addToGeneratedTreesLookupMap(Tree, Tree) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Add a tree in the generated-trees 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.
- addToPathOption(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
-
A method to easily add Strings to an option that takes a filepath as an argument
- addToPrimaryRelationship(TypeVariable, TUConstraint, ConstraintMap, AnnotationMirrorSet, QualifierHierarchy) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
-
- addToProcessorpath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
-
- addToRuntimeClasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
-
- addToTypeRelationship(TypeVariable, AnnotatedTypeMirror, ConstraintMap, TUConstraint, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
-
- 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(Iterable<? extends AnnotationMirror>, Iterable<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
Add standard unchecked defaults that do not conflict with previously added defaults.
- advance() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
-
- AFConstraint - Class in org.checkerframework.framework.util.typeinference.constraint
-
AFConstraint represent the initial constraints used to infer type arguments for method
invocations and new class invocations.
- AFConstraint(AnnotatedTypeMirror, AnnotatedTypeMirror, 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
-
- aliasedAnnotation(AnnotationMirror) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
-
- aliasedAnnotation(AnnotationMirror) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
-
- aliasedAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Returns the canonical annotation for the passed annotation if it is an alias of a canonical
one in the framework.
- AliasingAnnotatedTypeFactory - Class in org.checkerframework.common.aliasing
-
- AliasingAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
-
- 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).
- alltests() - Method in class org.checkerframework.checker.i18nformatter.unittests.I18nHasFormatTest
-
- 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.
- analyses - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
- Analysis<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> - Class in org.checkerframework.dataflow.analysis
-
An implementation of an iterative algorithm to solve a org.checkerframework.dataflow problem,
given a control flow graph and a transfer function.
- Analysis(ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.analysis.Analysis
-
Construct an object that can perform a org.checkerframework.dataflow analysis over a control
flow graph.
- Analysis(ProcessingEnvironment, T) - Constructor for class org.checkerframework.dataflow.analysis.Analysis
-
Construct an object that can perform a org.checkerframework.dataflow analysis over a control
flow graph, given a transfer function.
- Analysis(ProcessingEnvironment, T, int) - 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.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, Node>, IdentityHashMap<UnaryTree, AssignmentNode>, HashMap<Element, A>, IdentityHashMap<Tree, List<Tree>>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult
-
Initialize with a given node-value mapping.
- AnalysisResult() - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult
-
Initialize empty result.
- 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<ClassTree>, Queue<Pair<LambdaExpressionTree, Store>>, UnderlyingAST, List<Pair<VariableElement, Value>>, ClassTree, boolean, boolean, boolean) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
Analyze the AST ast
and store the result.
- analyze(Queue<ClassTree>, Queue<Pair<LambdaExpressionTree, Store>>, UnderlyingAST, List<Pair<VariableElement, Value>>, ClassTree, boolean, boolean, boolean, Store) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
-
- Angle - Annotation Type in org.checkerframework.checker.units.qual
-
Units of measure for angles.
- 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(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
.
- annotate(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.util.QualifierPolymorphism
-
Resolves polymorphism annotations for the given type.
- annotate(NewClassTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.util.QualifierPolymorphism
-
- annotate(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.util.QualifierPolymorphism
-
- 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
-
- AnnotatedTypeFactory.InheritedFromClassAnnotator - Class in org.checkerframework.framework.type
-
A singleton utility class for pulling annotations down from a class type.
- 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
-
- 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 ⇒ 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 annotations to the type based on the annotations from its class type if and only if no
annotations are already present on the type.
- 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
-
- AnnotationBuilder(ProcessingEnvironment, CharSequence) - Constructor for class org.checkerframework.javacutil.AnnotationBuilder
-
- AnnotationBuilder(ProcessingEnvironment, AnnotationMirror) - Constructor for class org.checkerframework.javacutil.AnnotationBuilder
-
- 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.InternalUtils
-
- 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
-
- AnnotationMirrorMap(Map<AnnotationMirror, ? extends V>) - Constructor for class org.checkerframework.framework.util.AnnotationMirrorMap
-
- 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
-
- AnnotationMirrorSet(Collection<? extends AnnotationMirror>) - Constructor for class org.checkerframework.framework.util.AnnotationMirrorSet
-
- annotationMirrorToAnnotation(AnnotationMirror) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter
-
- annotationName(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- annotationOrdering() - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- annotationProvider - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- AnnotationProvider - Interface in org.checkerframework.javacutil
-
An implementation of AnnotationProvider returns annotations on Java AST elements.
- annotations - Variable in class org.checkerframework.framework.flow.CFAbstractValue
-
- annotations - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
The annotations on this type.
- AnnotationsCounter - Class in org.checkerframework.common.util.count
-
An annotation processor for counting the occurrences of annotations.
- AnnotationsCounter() - Constructor for class org.checkerframework.common.util.count.AnnotationsCounter
-
- 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.InternalUtils
-
- annotationsFromArrayCreation(NewArrayTree, int) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- annotationsFromTree(AnnotatedTypeTree) - Static method in class org.checkerframework.javacutil.InternalUtils
-
- annotationsFromTree(TypeParameterTree) - Static method in class org.checkerframework.javacutil.InternalUtils
-
- 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.InternalUtils
-
- annotationsFromTypeAnnotationTrees(List<? extends AnnotationTree>) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- annotationToAnnotationMirror(Annotation, ProcessingEnvironment) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter
-
- 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
-
- Area - Annotation Type in org.checkerframework.checker.units.qual
-
Units of areas.
- areAllEqual(Collection<? extends AnnotatedTypeMirror>, Collection<? extends AnnotatedTypeMirror>, VisitHistory) - 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, VisitHistory) - 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.
- areEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
- areEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
-
Returns true if type1 and type2 are structurally equivalent.
- areEqual(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
-
The same as areEqual(type1, type2) except now a visited is passed along in order to avoid
infinite recursion on recursive bounds.
- areEqualInHierarchy(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
- areEqualInHierarchy(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
-
- arePrimaryAnnotationsEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.DefaultRawnessComparer
-
- 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(AnnotatedTypeMirror, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
-
- areSame(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks if both annotations are the same.
- areSame(Collection<? extends AnnotationMirror>, Collection<? extends AnnotationMirror>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that two collections contain the same annotations.
- areSameByClass(AnnotationMirror, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that the annotation am
has the name of annoClass
.
- 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.
- areSameIgnoringValues(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- areSamePrimitiveTypes(TypeMirror, TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
-
Returns true iff the arguments are both the same primitive types.
- areSubtypes(Iterable<? extends AnnotatedTypeMirror>, Iterable<? extends AnnotatedTypeMirror>) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
Calls is subtype pair-wise on the elements of the subtypes/supertypes Iterable.
- 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.dataflow.cfg.node.ArrayAccessNode
-
- ArrayAccess(TypeMirror, FlowExpressions.Receiver, FlowExpressions.Receiver) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- ArrayAccessNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for an array access:
- ArrayAccessNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
-
- ArrayCreation(TypeMirror, List<Node>, List<Node>) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
-
- ArrayCreationNode - Class in org.checkerframework.dataflow.cfg.node
-
A node for new array creation
- ArrayCreationNode(NewArrayTree, TypeMirror, List<Node>, List<Node>) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
-
- 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) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
-
- arrayValues - Variable in class org.checkerframework.framework.flow.CFAbstractStore
-
- 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
ConversionCategory
s.
- 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
-
- 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
-
- assertResultsAreValid(TypecheckResult) - Static method in class org.checkerframework.framework.test.TestUtilities
-
TODO: REDO COMMENT Compares the result of the compiler against an array of Strings.
- 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
-
- asSourceString() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic
-
- asSourceString() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
-
- assumeAssertionsActivatedForAssertTree(SourceChecker, AssertTree) - Static method in class org.checkerframework.framework.flow.CFCFGBuilder
-
- assumeAssertionsDisabled - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Can assertions be assumed to be disabled?
- assumeAssertionsEnabled - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Can assertions be assumed to be enabled?
- assumeAssertionsEnabledFor(AssertTree) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Should assertions be assumed to be executed for a given
AssertTree
? False by
default.
- 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.
- AsSuperVisitor - Class in org.checkerframework.framework.type
-
- 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.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.treeannotator.TreeAnnotator
-
- atypeFactory - Variable in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory
-
- 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 - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple
-
- BaseAnnotatedTypeFactory - Class in org.checkerframework.common.basetype
-
- 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
-
- 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
-
- 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 Type in org.checkerframework.checker.signature.qual
-
- BinaryNameForNonArray - Annotation Type in org.checkerframework.checker.signature.qual
-
- BinaryNameForNonArrayInUnnamedPackage - Annotation Type in org.checkerframework.checker.signature.qual
-
- BinaryNameInUnnamedPackage - Annotation Type in org.checkerframework.checker.signature.qual
-
- 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.framework.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
-
- breakTargetL - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Current
CFGBuilder.Label
to which a break statement with no label should jump, or null if
there is no valid destination.
- build(CompilationUnitTree, ProcessingEnvironment, UnderlyingAST, boolean, boolean) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Build the control flow graph of some code.
- build(TreePath, ProcessingEnvironment, UnderlyingAST, boolean, boolean) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Build the control flow graph of some code (method, initializer block, ...).
- build(CompilationUnitTree, ProcessingEnvironment, MethodTree, ClassTree, boolean, boolean) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Build the control flow graph of a method.
- build(CompilationUnitTree, ProcessingEnvironment, UnderlyingAST) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Build the control flow graph of some code.
- build(CompilationUnitTree, ProcessingEnvironment, MethodTree, ClassTree) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
Build the control flow graph of a method.
- build() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
Creates a TestConfiguration using the settings in this builder.
- build() - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory
-
- 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, Class<? extends Annotation>) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools
-
Creates an AnnotationMirror representing a unit defined by annoClass, with no prefix
- 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
-
- buildContextForMethodDeclaration(MethodTree, TypeMirror, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
-
- buildContextForMethodDeclaration(MethodTree, TreePath, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
-
- buildContextForMethodUse(MethodInvocationNode, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
-
- buildContextForNewClassUse(ObjectCreationNode, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
-
- buildDefaultConfiguration(String, Iterable<File>, Iterable<String>, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
This is the default configuration used by Checker Framework JUnit tests.
- buildDefaultConfiguration(String, File, String, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
This is the default configuration used by Checker Framework JUnit tests.
- buildFullMap(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy
-
Computes the transitive closure of the given map and returns it.
- 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 - 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.
- 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
AnnotatedTypeMirror
s.
- CFCFGBuilder(BaseTypeChecker, AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.flow.CFCFGBuilder
-
- CFCFGBuilder.CFCFGTranslationPhaseOne - Class in org.checkerframework.framework.flow
-
- CFCFGTranslationPhaseOne() - 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 control flow graph to perform the analysis on.
- CFGBuilder - Class in org.checkerframework.dataflow.cfg
-
Builds the control flow graph of some Java code (either a method, or an arbitrary statement).
- CFGBuilder(boolean, boolean) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder
-
- CFGBuilder.CFGTranslationPhaseOne - Class in org.checkerframework.dataflow.cfg
-
Class that performs phase one of the translation process.
- CFGBuilder.CFGTranslationPhaseThree - Class in org.checkerframework.dataflow.cfg
-
Class that performs phase three of the translation process.
- CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder - Interface in org.checkerframework.dataflow.cfg
-
A simple wrapper object that holds a basic block and allows to set one of its successors.
- CFGBuilder.CFGTranslationPhaseTwo - Class in org.checkerframework.dataflow.cfg
-
Class that performs phase two of the translation process.
- CFGBuilder.ConditionalJump - Class in org.checkerframework.dataflow.cfg
-
- CFGBuilder.ExtendedNode - Class in org.checkerframework.dataflow.cfg
-
An extended node can be one of several things (depending on its type
):
NODE.
- CFGBuilder.ExtendedNode.ExtendedNodeType - Enum in org.checkerframework.dataflow.cfg
-
Extended node types (description see above).
- CFGBuilder.Label - Class in org.checkerframework.dataflow.cfg
-
A label is used to refer to other extended nodes using a mapping from labels to extended
nodes.
- CFGBuilder.NodeHolder - Class in org.checkerframework.dataflow.cfg
-
An extended node of type NODE
.
- CFGBuilder.NodeWithExceptionsHolder - Class in org.checkerframework.dataflow.cfg
-
An extended node of type EXCEPTION_NODE
.
- CFGBuilder.PhaseOneResult - Class in org.checkerframework.dataflow.cfg
-
A wrapper object to pass around the result of phase one.
- CFGBuilder.TryCatchFrame - Class in org.checkerframework.dataflow.cfg
-
A TryCatchFrame contains an ordered list of catch labels that apply to exceptions with
specific types.
- CFGBuilder.TryFinallyFrame - Class in org.checkerframework.dataflow.cfg
-
A TryFinallyFrame applies to exceptions of any type
- CFGBuilder.TryFrame - Interface in org.checkerframework.dataflow.cfg
-
A TryFrame takes a thrown exception type and maps it to a set of possible control-flow
successors.
- CFGBuilder.TryStack - Class in org.checkerframework.dataflow.cfg
-
An exception stack represents the set of all try-catch blocks in effect at a given point in a
program.
- CFGBuilder.Tuple<A,B,C> - Class in org.checkerframework.dataflow.cfg
-
Tuple class with up to three members.
- CFGBuilder.UnconditionalJump - Class in org.checkerframework.dataflow.cfg
-
- CFGLambda(LambdaExpressionTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
-
- CFGMethod(MethodTree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
-
- CFGStatement(Tree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
-
- CFGTranslationPhaseOne() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- CFGTranslationPhaseThree() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
-
- CFGTranslationPhaseTwo() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseTwo
-
- CFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> - Interface in org.checkerframework.dataflow.cfg
-
Perform some visualization on a control flow graph.
- 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
-
- 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
-
- 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:
tree is a
ClassTree
Flow analysis has not already been performed on tree
- checkAndSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
Check and subtype first determines if the subtype/supertype combination has already been
visited.
- 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
-
- checkAssignability(AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
Tests, for a re-assignment, whether the variable is assignable or not.
- checkConditionalPostcondition(MethodTree, 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
- checkConflictingPrimaryAnnos(AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.common.basetype.BaseTypeValidator
-
Determines if there are multiple qualifiers from a single hierarchy in type's primary
annotations.
- 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
-
- 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
-
- 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
-
- checker - Variable in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
A checker used to do error reporting.
- checker - Variable in class org.checkerframework.framework.flow.CFCFGBuilder
-
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.
- 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
- CheckerError(String, Throwable, boolean) - Constructor for exception org.checkerframework.framework.source.SourceChecker.CheckerError
-
- CheckerFrameworkPerDirectoryTest - Class in org.checkerframework.framework.test
-
Compiles all test files in a test directory together.
- CheckerFrameworkPerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
Creates a new checker test.
- CheckerFrameworkPerFileTest - Class in org.checkerframework.framework.test
-
Compiles all test files individually.
- CheckerFrameworkPerFileTest(File, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
-
Creates a new checker test.
- 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
-
- checkerName - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
The fully-qualified class name of the checker to use for tests.
- checkerName - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
-
The fully-qualified class name of the checker to use for tests.
- checkerOptions - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
Extra options to pass to javac when running the checker.
- checkerOptions - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
-
Extra options to pass to javac when running the checker.
- checkerQualJar - Variable in class org.checkerframework.framework.util.CheckerMain
-
The path to checker-qual.jar
- checkers - Variable in class org.checkerframework.framework.source.AggregateChecker
-
- checkExceptionParameter(CatchTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
-
- checkExceptionParameter(CatchTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
-
- 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.
- CheckForNull - Annotation Type in edu.umd.cs.findbugs.annotations
-
- CheckForNull - Annotation Type in javax.annotation
-
- CheckForNull - Annotation Type in org.netbeans.api.annotations.common
-
- 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
-
Checks that the type is not 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 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.linear.LinearVisitor
-
Linear Checker does not contain a rule for method invocation.
- 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, VisitHistory) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
-
First check visited 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, 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
-
- 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
-
- 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.
- 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.
- classExtendsTAPosition(int, int) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
-
- ClassGetName - Annotation Type in org.checkerframework.checker.signature.qual
-
- ClassGetSimpleName - Annotation Type in org.checkerframework.checker.signature.qual
-
- 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 these 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
-
- 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.MostlySingleton
-
- clear() - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
-
- clear() - Method in class org.checkerframework.framework.type.visitor.VisitHistory
-
- 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
).
- close() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
-
- code - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
-
- codec - Variable in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
-
- 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
-
Handles calls to
Collection.toArray()
and determines the appropriate nullness
type of the returned value.
- CollectionToArrayHeuristics(ProcessingEnvironment, NullnessAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.nullness.CollectionToArrayHeuristics
-
- collectionToArrayHeuristics - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
-
- 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.
- 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
-
- ComboLog - Class in org.checkerframework.framework.util
-
Created by jburke on 6/12/14.
- ComboLog() - Constructor for class org.checkerframework.framework.util.ComboLog
-
- 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
-
- 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(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(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
-
- 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.
- compareTypeArgs(AnnotatedTypeMirror, AnnotatedTypeMirror, boolean, boolean, boolean, VisitHistory) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
Compare typeArgs is called on a single pair of type args that should share a relationship
subTypeArg <: superTypeArg (subtypeArg is contained by superTypeArg).
- 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.
- CompilationResult - Class in org.checkerframework.framework.test
-
CompilationResult represents the output of the compiler after it is run.
- compile(TestConfiguration) - Method in class org.checkerframework.framework.test.TypecheckExecutor
-
Using the settings from the input configuration, compile all source files in the
configuration, and return place the result in a CompilationResult
- compiledWithoutError() - Method in class org.checkerframework.framework.test.CompilationResult
-
- 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) - Constructor for class org.checkerframework.framework.util.ContractsUtils.ConditionalPostcondition
-
- ConditionalPostconditionAnnotation - Annotation Type in org.checkerframework.framework.qual
-
A meta-annotation that indicates that an annotation is a conditional postcondition annotation,
i.e., 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 could be
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
-
- 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.InternalUtils
-
- 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.checker.nullness.NullnessAnnotatedTypeFactory
-
- 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.MostlySingleton
-
- contains(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
-
- contains(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.VisitHistory
-
Returns true if type1 and type2 (or an equivalent pair) have been passed to the add method
previously.
- contains(Object) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
-
- containsAll(Collection<?>) - Method in class org.checkerframework.dataflow.util.MostlySingleton
-
- containsAll(Collection<?>) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
-
- 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 the annotation.
- containsSameIgnoringValues(Collection<? extends AnnotationMirror>, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Checks that the collection contains the annotation ignoring values.
- containsSyntacticEqualParameter(FlowExpressions.LocalVariable) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
-
- containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
-
- containsThisConstructorInvocation(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils
-
- containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
-
- containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult
-
- containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferInput
-
- containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferResult
-
- 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
-
- continueTargetL - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Current
CFGBuilder.Label
to which a continue statement with no label should jump, or null if
there is no valid destination.
- Contract(String, AnnotationMirror, ContractsUtils.Contract.Kind) - Constructor for class org.checkerframework.framework.util.ContractsUtils.Contract
-
- contractsUtils - Variable in class org.checkerframework.common.basetype.BaseTypeVisitor
-
- 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
-
- ContractsUtils.Precondition - Class in org.checkerframework.framework.util
-
- ControlFlowGraph - Class in org.checkerframework.dataflow.cfg
-
A control flow graph (CFG for short) of a single method.
- ControlFlowGraph(SpecialBlock, SpecialBlockImpl, SpecialBlockImpl, UnderlyingAST, IdentityHashMap<Tree, Node>, IdentityHashMap<Tree, Node>, IdentityHashMap<UnaryTree, AssignmentNode>, List<ReturnNode>, IdentityHashMap<Tree, List<Tree>>) - 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
Node
s representing the arguments converted for a call of the method.
- convertedTreeLookup - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
Map from AST
Tree
s to post-conversion
Node
s.
- convertedTreeLookupMap - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
Map from AST
Tree
s to post-conversion
Node
s.
- 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.
- convertLine(String, long, String) - Method in interface org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader.DiagnosticCodec
-
- 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
-
- copy(T) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
-
Copy an AST Tree, including types and symbols in the tree.
- copyAdd(char, OffsetEquation) - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation
-
Adds or subtracts the other equation to a copy of this one.
- 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 uses it as the outer receiver).
- 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.
- 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
.
- 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.
- coveredClassStrings - 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
-
- 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.
- createAnnotationFormatter() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
- createAnnotationMap() - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- createAnnotationSet() - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
- 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
-
- 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
-
- 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
-
- createFreeAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
-
- 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
-
- createKeyForAnnotationMirrorWithValue(LinkedHashSet<String>) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
-
- createKeyForAnnotationMirrorWithValue(String) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
-
- 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, UpperBoundAnnotatedTypeFactory, char) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation
-
Creates an offset equation from the Node.
- createOffsetFromNodesValue(Node, UpperBoundAnnotatedTypeFactory, 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
-
- 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.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.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(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.framework.type.GeneralAnnotatedTypeFactory
-
- 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
-
- createRawnessComparer() - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
-
- 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.Locations
-
- 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.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.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
-
- 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.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.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
-
- createUnclassifiedAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
-
- 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.
- customizeOptions(List<String>) - Method in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
-
Override this method if you would like to supply a checker command-line option that depends
on the Java files passed to the test.
- customizeOptions(List<String>) - Method in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
-
Override this method if you would like to supply a checker command-line option that depends
on the Java file passed to the test.
- 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
-
Class declarations that have been encountered when building the control-flow graph for a
method.
- declaredLambdas - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
-
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
-
- deeplyEnclosedJavaTestFiles(File) - Static method in class org.checkerframework.framework.test.TestUtilities
-
Returns all the java files that are descendants of the given directory
- DEFAULT_VALUE - Variable in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeVisitor
-
The default value to return as a default action
- defaultAction(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - 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
-
- defaultCreateAbstractValue(CFAbstractAnalysis<CFValue, ?, ?>, Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
-
- defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, Void) - Method in class org.checkerframework.framework.type.AsSuperVisitor
-
- defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.DefaultRawnessComparer
-
- defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - 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, VisitHistory) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
-
Called for every combination in which !type1.getClass().equals(type2.getClass()) except for
Wildcard_Typevar.
- 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).
- DefaultQualifiers - Annotation Type in org.checkerframework.framework.qual
-
Specifies the annotations to be included in a type without having to provide them explicitly.
- DefaultRawnessComparer - Class in org.checkerframework.framework.type
-
Our //TODO: USING THE SAME LOGIC AS THE OLD TYPE_HIERARCHY.isSubtypeAsTypeArgument but only for
//TODO: RAW TypeArguments, we can replace this later if we think there is a more sensible thing
to do //TODO: LOOK AT OLD TYPE_HIERARCHY FOR MORE INFORAMTION
- DefaultRawnessComparer(DefaultTypeHierarchy) - Constructor for class org.checkerframework.framework.type.DefaultRawnessComparer
-
- DefaultReflectionResolver - Class in org.checkerframework.common.reflection
-
- 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.
- Dependent - Annotation Type in org.checkerframework.framework.qual
-
Refines the qualified type of the annotated field or variable based on the qualified type of the
receiver.
- dependentTypes - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
-
Dependent types instance.
- DependentTypes - Class in org.checkerframework.framework.util
-
- DependentTypes(BaseTypeChecker, GeneralAnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.DependentTypes
-
- 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
-
- DependentTypesError(String, FlowExpressionParseUtil.FlowExpressionParseException) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesError
-
- DependentTypesError(String) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesError
-
- 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
-
- DIAGNOSTIC_FILE_CODEC - Static variable in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
-
Interprets a string that was written as a line in a Diagnostic File
- DIAGNOSTIC_FILE_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_FILE_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_FILE_WARNING_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_FILE_WARNING_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_IN_JAVA_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_IN_JAVA_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_WARNING_IN_JAVA_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_WARNING_IN_JAVA_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_WARNING_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DIAGNOSTIC_WARNING_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- DiagnosticKind - Enum in org.checkerframework.framework.test.diagnostics
-
Indicates what type of Error was, or expected to be, encountered during typechecking
- diagnosticsToString(List<TestDiagnostic>) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
Converts the given diagnostics to strings (as they would appear in a source file
individually)
- diagnosticsToStrings(Iterable<Diagnostic<? extends JavaFileObject>>, boolean) - Static method in class org.checkerframework.framework.test.TestUtilities
-
- diagnosticToString(Diagnostic<? extends JavaFileObject>, boolean) - Static method in class org.checkerframework.framework.test.TestUtilities
-
- didTestFail() - Method in class org.checkerframework.framework.test.TypecheckResult
-
- dimensions - Variable in class org.checkerframework.dataflow.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.SignednessUtil
-
Gets the unsigned int height of a Java Dimension.
- dimensionUnsignedWidth(Dimension) - Static method in class org.checkerframework.checker.signedness.SignednessUtil
-
Gets the unsigned int width of a Java 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
- dontEmitDebugInfo() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- doSubsitution(Element, AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.DependentTypes
-
- 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
-
- 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.
- 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
-
- 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
Element
s.
- elements - Variable in class org.checkerframework.javacutil.trees.TreeBuilder
-
- elementToBoundType - Static variable in class org.checkerframework.framework.util.defaults.QualifierDefaults
-
- ElementUtils - Class in org.checkerframework.javacutil
-
A Utility class for analyzing Element
s.
- 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.
- emitDebugInfo() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- EmptyProcessor - Class in org.checkerframework.common.util.debug
-
Empty simple processor.
- EmptyProcessor() - Constructor for class org.checkerframework.common.util.debug.EmptyProcessor
-
- 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
-
- enclosingMethod(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils
-
Gets the enclosing method 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
.
- ensureDirectoryExists(File) - Static method in class org.checkerframework.framework.test.TestUtilities
-
- 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).
- 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
-
A meta-annotation 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
-
- 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 - Static variable in class org.checkerframework.framework.type.AnnotatedTypeMirror
-
- 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.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.test.diagnostics.TestDiagnostic
-
Equality is compared without isFixable/omitParentheses
- 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.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
-
- errorAbort(String) - Method in class org.checkerframework.framework.source.SourceChecker
-
Log an error message and abort processing.
- errorAbort(String, Throwable) - Method in class org.checkerframework.framework.source.SourceChecker
-
Log an error message and abort processing.
- errorAbort(String) - Method in interface org.checkerframework.javacutil.ErrorHandler
-
Log an error message and abort processing.
- errorAbort(String, Throwable) - Method in interface org.checkerframework.javacutil.ErrorHandler
-
- errorAbort(String) - Static method in class org.checkerframework.javacutil.ErrorReporter
-
Log an error message and abort processing.
- errorAbort(String, Object...) - Static method in class org.checkerframework.javacutil.ErrorReporter
-
- errorAbort(String, Throwable) - Static method in class org.checkerframework.javacutil.ErrorReporter
-
- ErrorHandler - Interface in org.checkerframework.javacutil
-
An implementation of the ErrorHandler interface can be registered with the ErrorReporter class to
change the default behavior on errors.
- errorKey - Variable in enum org.checkerframework.framework.util.ContractsUtils.Contract.Kind
-
- ErrorReporter - Class in org.checkerframework.javacutil
-
Handle errors detected in utility classes.
- ErrorReporter() - Constructor for class org.checkerframework.javacutil.ErrorReporter
-
- 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.framework.util.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
-
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.
- 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
-
- 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
-
Remove the -cp
and -classpath
options and their arguments from args.
- 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.
- 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
-
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 - 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
-
- FieldDescriptorForArray - Annotation Type in org.checkerframework.checker.signature.qual
-
- 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.
- FieldInvariants(List<String>, List<AnnotationMirror>) - Constructor for class org.checkerframework.framework.util.FieldInvariants
-
- FieldInvariants(FieldInvariants, List<String>, List<AnnotationMirror>) - Constructor for class org.checkerframework.framework.util.FieldInvariants
-
Creates a new object with all the invariant 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
-
- fileArgToStr(File) - Static method in class org.checkerframework.framework.util.PluginUtil
-
- 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.
- findComparisonFile(File) - Static method in class org.checkerframework.framework.test.TestUtilities
-
- 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.
- findFilesInParent(File, String...) - Static method in class org.checkerframework.framework.test.TestUtilities
-
- findFunction(Tree, ProcessingEnvironment) - Static method in class org.checkerframework.javacutil.InternalUtils
-
- 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
-
- findJavaFilesPerDirectory(File, String...) - Static method in class org.checkerframework.framework.test.TestUtilities
-
Returns a list where each item is a list of Java files, excluding any skip tests, for each
directory given by dirName and also a list for any subdirectory.
- 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.
- findNestedJavaTestFiles(String...) - Static method in class org.checkerframework.framework.test.TestUtilities
-
- 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
- findRelativeNestedJavaFiles(String, String...) - Static method in class org.checkerframework.framework.test.TestUtilities
-
- findRelativeNestedJavaFiles(File, String...) - Static method in class org.checkerframework.framework.test.TestUtilities
-
- 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
-
- flatOptions() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- 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
-
- FLOW_BY_DEFAULT - 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
-
A deterministic method call.
- 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 method call.
- FlowExpressions.Receiver - Class in org.checkerframework.dataflow.analysis
-
- 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
-
- 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.
- 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
-
- 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 space String of each annotation in annos separated by a single 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
-
- formatJavaxToolString(String, boolean) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- 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
-
- formatParameterCategories(String) - Static method in class org.checkerframework.checker.i18nformatter.I18nFormatUtil
-
- formatStackTrace(StackTraceElement[]) - Method in class org.checkerframework.framework.source.SourceChecker
-
- 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 of the form:
{@link ClassVal}("name") Class method(String name) {...}
- frames - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryStack
-
- FREE - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
-
- 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
-
- fromCompilationResults(TestConfiguration, CompilationResult, List<TestDiagnostic>) - Static method in class org.checkerframework.framework.test.TypecheckResult
-
- fromCompilationResultsExpectedDiagnostics(TestConfiguration, CompilationResult, List<TestDiagnostic>) - Static method in class org.checkerframework.framework.test.TypecheckResult
-
- fromConversionChar(char) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory
-
Use this function to get the category associated with a conversion character.
- fromDiagnosticFileLine(String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
Convert a line in a DiagnosticFile to a TestDiagnosticLine
- fromDiagnosticFileString(String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
Instantiate the diagnostic based on a string that would appear in diagnostic files (i.e.
- 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
-
- fromGramToKiloGram(int) - Static method in class org.checkerframework.checker.units.UnitsTools
-
- fromHourToMinute(int) - Static method in class org.checkerframework.checker.units.UnitsTools
-
- fromJavaFileComment(String, long, String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
Instantiate the diagnostic from a string that would appear in a Java file, e.g.: "error:
(message)"
- fromJavaSourceLine(String, String, long) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
Convert a line in a JavaSource file to a (possibly empty) TestDiagnosticLine
- fromJavaxDiagnosticList(List<Diagnostic<? extends JavaFileObject>>, boolean) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- fromJavaxToolsDiagnostic(String, boolean) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
Instantiate a diagnostic using a diagnostic from the Java Compiler.
- 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
-
- 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
-
- 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
-
- fromParseString(String) - Static method in enum org.checkerframework.framework.test.diagnostics.DiagnosticKind
-
Convert a string as it would appear in error messages or source code into a DiagnosticKind
- fromPatternMatching(Pattern, Pattern, String, Long, String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
-
- 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.
- fromTreeCache - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory
-
Mapping from a 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
-
- 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 - Annotation Type in org.checkerframework.checker.units.qual
-
Gram.
- g - Static variable in class org.checkerframework.checker.units.UnitsTools
-
- GeneralAnnotatedTypeFactory - Class in org.checkerframework.framework.type
-
A "general" annotated type factory that supports qualifiers from any type hierarchy.
- GeneralAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.framework.type.GeneralAnnotatedTypeFactory
-
- generalFactory - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
-
Factory for arbitrary qualifiers, used for declarations and "unused" qualifier.
- 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
-
- generatedTreesLookup - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult
-
- generatedTreesLookupMap - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
-
- generatedTreesLookupMap - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
-
- 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
-
- 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.framework.util.AnnotationMirrorMap
-
- getAClass(String, String) - Method in class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesHelper
-
Returns the AClass in an AScene, given a className and a jaifPath.
- getActualDiagnostics() - Method in class org.checkerframework.framework.test.TypecheckResult
-
- 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(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
-
- 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: * % 1/-1 → nn pos/nn % * → nn gten1
% * → gten1 * % * → lbu
- 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
-
- getAnnotationMirror(Tree, Class<? extends Annotation>) - Method in interface org.checkerframework.javacutil.AnnotationProvider
-
Return the annotation on tree
that has the class target
.
- getAnnotationMirror(Tree, Class<? extends Annotation>) - Method in class org.checkerframework.javacutil.BasicAnnotationProvider
-
- getAnnotationProvider() - Method in class org.checkerframework.common.basetype.BaseTypeChecker
-
- getAnnotationProvider() - Method in class org.checkerframework.common.util.count.Locations
-
- 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
-
- getBooleanProp(Map<PluginUtil.CheckerProp, Object>, PluginUtil.CheckerProp, String) - Static method in class org.checkerframework.framework.util.PluginUtil
-
- 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.
- 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.InternalUtils
-
- 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
-
- getChildren() - Method in class org.checkerframework.framework.test.PerDirectorySuite
-
- getChildren() - Method in class org.checkerframework.framework.test.PerFileSuite
-
- GetClass - Annotation Type in org.checkerframework.common.reflection.qual
-
Annotation for methods of the form:
{@link ClassBound}("ReceiverType") Class method(ReceiverType this) {...}
- 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.framework.util.PluginUtil
-
- getCmdArgsOnly(File, String, String, String, File, String, Map<PluginUtil.CheckerProp, Object>, PrintStream, boolean, String) - Static method in class org.checkerframework.framework.util.PluginUtil
-
- getCmdArgsOnly(File, File, File, String, String, String, File, String, Map<PluginUtil.CheckerProp, Object>, PrintStream, boolean, String) - Static method in class org.checkerframework.framework.util.PluginUtil
-
- getCmdLine(Map<PluginUtil.CheckerProp, Object>) - Method in enum org.checkerframework.framework.util.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.
- getCompilationResult() - Method in class org.checkerframework.framework.test.TypecheckResult
-
- getComponentType() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
-
- 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
-
- getConfiguration() - Method in class org.checkerframework.framework.test.TypecheckResult
-
- 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 of the form:
{@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
-
- 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, if one exists, or null otherwise.
- getDeclAnnotation(Element, Class<? extends Annotation>) - Method in interface org.checkerframework.javacutil.AnnotationProvider
-
Returns the actual annotation mirror used to annotate this type, whose name equals the passed
annotationName if one exists, null otherwise.
- getDeclAnnotation(Element, Class<? extends Annotation>) - Method in class org.checkerframework.javacutil.BasicAnnotationProvider
-
- 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, if one exists, or null otherwise.
- 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.CFGBuilder
-
- getDeclaredEffect(ExecutableElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
-
Calling context annotations
- getDeclaredLambdas() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder
-
- getDefaultClassPath() - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
- getDefaultConfigurationBuilder(String, File, String, Iterable<File>, Iterable<String>, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
-
This creates a builder for the default configuration used by Checker Framework JUnit tests.
- 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.
- getDetail() - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
-
- getDiagMessages() - Method in class org.checkerframework.framework.source.Result
-
- getDiagnosticFiles() - Method in class org.checkerframework.framework.test.ImmutableTestConfiguration
-
- getDiagnosticFiles() - Method in interface org.checkerframework.framework.test.TestConfiguration
-
Diagnostic files consist of a set of lines that enumerate expected error/warning diagnostics.
- getDiagnostics() - Method in class org.checkerframework.framework.test.CompilationResult
-
- getDiagnostics() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
-
- 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
ElementKind
s 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 attribute with the name name
of the annotation anno
.
- getElementValueArray(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Get the attribute with the name name
of the annotation anno
, where the
attribute has an array type.
- getElementValueClass(AnnotationMirror, CharSequence, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Get the Class that is referenced by attribute name
.
- getElementValueClassName(AnnotationMirror, CharSequence, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Get the Name of the class that is referenced by attribute name
.
- getElementValueClassNames(AnnotationMirror, CharSequence, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Get the list of Names of the classes that are referenced by attribute name
.
- getElementValueEnum(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Version that is suitable for Enum elements.
- getElementValueEnumArray(AnnotationMirror, CharSequence, Class<T>, boolean) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Get the attribute with the name name
of the annotation anno
, or the default
value if no attribute is present explicitly, where the attribute has an array type and the
elements are Enum
s.
- getElementValuesWithDefaults(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
-
Returns the values of an annotation's attributes, including defaults.
- getElseFlowRule() - Method in interface org.checkerframework.dataflow.cfg.block.ConditionalBlock
-
- getElseFlowRule() - Method in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
-
- getElseLabel() - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
-
- getElseOperand() - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
-
- getElseStore() - Method in class org.checkerframework.dataflow.analysi