Index (checker 2.7.0 API)

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

A

A - Annotation Type in org.checkerframework.checker.units.qual: Ampere.
A - Static variable in class org.checkerframework.checker.units.UnitsTools
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
Acceleration - Annotation Type in org.checkerframework.checker.units.qual: Units of acceleration.
adaptGetClassReturnTypeToReceiver(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: Handles cases 1, 2, and 3.
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: Handles cases 1, 2, and 3.
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
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).
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.
Angle - Annotation Type in org.checkerframework.checker.units.qual: Units of measure for angles.
annoFormatter - Variable in class org.checkerframework.checker.initialization.InitializationVisitor
Area - Annotation Type in org.checkerframework.checker.units.qual: Units of areas.
areAllFieldsCommittedOnly(ClassTree) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Are all fields committed-only?
array - Variable in class org.checkerframework.checker.index.Subsequence: Name of the Subsequence.
asFormat(String, ConversionCategory...) - Static method in class org.checkerframework.checker.formatter.FormatUtil: Returns if the format string is satisfiable, and if the format's parameters match the passed ConversionCategorys.
asFormatCallCategories(MethodInvocationNode) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil
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.
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.
atypeFactory - Variable in class org.checkerframework.checker.initialization.InitializationTransfer
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

BINARY_NAME - Variable in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory: @BinaryName annotation.
BinaryName - Annotation Type in org.checkerframework.checker.signature.qual: Represents a binary name as defined in the Java Language Specification, section 13.1.
BinaryNameInUnnamedPackage - Annotation Type in org.checkerframework.checker.signature.qual: Represents a string that is a BinaryName, an InternalForm, and a ClassGetName.
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
buildAnnoMirrorWithDefaultPrefix(ProcessingEnvironment, Class<? extends Annotation>) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Creates an AnnotationMirror representing a unit defined by annoClass, with the default Prefix of Prefix.one.
buildAnnoMirrorWithNoPrefix(ProcessingEnvironment, CharSequence) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Creates an AnnotationMirror representing a unit defined by annoClass, with no prefix.
buildAnnoMirrorWithSpecificPrefix(ProcessingEnvironment, CharSequence, Prefix) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Creates an AnnotationMirror representing a unit defined by annoClass, with the specific Prefix p.
buildAnnoMirrorWithSpecificPrefix(ProcessingEnvironment, Class<? extends Annotation>, Prefix) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Creates an AnnotationMirror representing a unit defined by annoClass, with the specific Prefix p.
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.

C

C - Annotation Type in org.checkerframework.checker.units.qual: Degree Centigrade (Celsius).
C - Static variable in class org.checkerframework.checker.units.UnitsTools
canonicalAnnotation(AnnotationMirror) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
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.
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
chars - Variable in enum org.checkerframework.checker.formatter.qual.ConversionCategory
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
checkContract(FlowExpressions.Receiver, AnnotationMirror, AnnotationMirror, CFAbstractStore<?, ?>) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
CheckedPatternSyntaxException(PatternSyntaxException) - Constructor for exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Constructs a new CheckedPatternSyntaxException equivalent to the given PatternSyntaxException.
CheckedPatternSyntaxException(String, String, int) - Constructor for exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Constructs a new CheckedPatternSyntaxException.
checker - Variable in class org.checkerframework.checker.formatter.FormatterTreeUtil
checker - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
checker - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
checker - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
checker - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
checkExceptionParameter(CatchTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
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.
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.
checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
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.
checkReceiverOverride() - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor.GuiEffectOverrideChecker: Extend the receiver part of the method override check.
checkThrownExpression(ThrowTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor: Case 4: Check for thrown exception nullness.
ClassGetName - Annotation Type in org.checkerframework.checker.signature.qual: The type representation used by the Class.getName(), Class.forName(String), and Class.forName(String, boolean, ClassLoader) methods.
ClassGetSimpleName - Annotation Type in org.checkerframework.checker.signature.qual: The format produced by the Class.getSimpleName() method.
CollectionToArrayHeuristics - Class in org.checkerframework.checker.nullness: Determines the nullness type of calls to Collection.toArray().
CollectionToArrayHeuristics(ProcessingEnvironment, NullnessAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.nullness.CollectionToArrayHeuristics
collectionToArrayHeuristics - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
CommitmentTreeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
CommitmentTypeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator
COMMITTED - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Initialized or NonRaw.
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.formatter.FormatterVisitor
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterVisitor
commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.index.inequality.LessThanVisitor
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.index.inequality.LessThanVisitor
commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundVisitor
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.index.samelen.SameLenVisitor: Modifies the common assignment checks to ensure that SameLen annotations are always merged.
commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundVisitor
commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundVisitor
commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.lock.LockVisitor
commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
compareUnsigned(long, long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Compares two unsigned longs x and y.
compareUnsigned(int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Compares two unsigned ints x and y.
compareUnsigned(short, short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Compares two unsigned shorts x and y.
compareUnsigned(byte, byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Compares two unsigned bytes x and y.
CompilerMessageKey - Annotation Type in org.checkerframework.checker.compilermsgs.qual: The annotation to distinguish compiler message Strings from normal Strings.
CompilerMessageKeyBottom - Annotation Type in org.checkerframework.checker.compilermsgs.qual: The bottom type in the Compiler Message Key type system.
CompilerMessagesAnnotatedTypeFactory - Class in org.checkerframework.checker.compilermsgs: A PropertyKeyATF that uses CompilerMessageKey to annotate the keys.
CompilerMessagesAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
CompilerMessagesChecker - Class in org.checkerframework.checker.compilermsgs: A PropertyKeyChecker for the compiler message keys that are used in the Checker Framework.
CompilerMessagesChecker() - Constructor for class org.checkerframework.checker.compilermsgs.CompilerMessagesChecker
Constant - Annotation Type in org.checkerframework.checker.signedness.qual: The value is a compile-time constant, and could be Signed or Unsigned.
constrainAnonymousClassToUI(TypeElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory: Force the given anonymous inner class to be an @UI instantiation of its base class.
constrainLambdaToUI(LambdaExpressionTree) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory: Force the given lambda expression to have UIEffect.
constructorFromUse(NewClassTree) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
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.
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
copyAdd(char, OffsetEquation) - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Adds or subtracts the other equation to a copy of this one.
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
createAnnotatedTypeFormatter() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
createAnnotatedTypeFormatter() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
createAnnotationClassLoader() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
createBasicTreeAnnotator() - Method in class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
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.
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
createDependentTypesHelper() - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
createDependentTypesHelper() - Method in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory: Creates an DependentTypesHelper that allows use of addition and subtraction in the Substring Index Checker annotations.
createDependentTypesHelper() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
createDependentTypesHelper() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
createDependentTypesTreeAnnotator(AnnotatedTypeFactory) - Method in class org.checkerframework.checker.index.OffsetDependentTypesHelper
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
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
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
createFormatForCall(MethodInvocationTree, MethodInvocationNode, I18nFormatterAnnotatedTypeFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Returns an I18nFormatCall instance, only if FormatFor is called.
createFreeAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Creates a UnderInitialization annotation with the given type as its type frame argument.
createFreeAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Creates a UnderInitialization annotation with the given type frame.
createKeyForAnnotationMirrorWithValue(LinkedHashSet<String>) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
createKeyForAnnotationMirrorWithValue(String) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
createLessThanQualifier(List<String>) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory: Creates a less than qualifier given the expressions.
createLessThanQualifier(String) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory: Returns @LessThan(expression).
createOffsetForInt(int) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Creates an offset equation that is only the int value specified.
createOffsetFromJavaExpression(String) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Creates an offset equation from the expressionEquation.
createOffsetFromNode(Node, AnnotationProvider, char) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Creates an offset equation from the Node.
createOffsetFromNodesValue(Node, ValueAnnotatedTypeFactory, char) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation: If node is an int value known at compile time, then the returned equation is just the int value or if op is '-', the return equation is the negation of the int value.
createOverrideChecker(Tree, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory: Creates the Substring Index qualifier hierarchy.
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory: Set the Bottom qualifier as the bottom of the hierarchy.
createQualifierHierarchyFactory() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
createSameLen(String...) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory: Creates a @SameLen annotation whose values are the given strings.
createSourceVisitor() - Method in class org.checkerframework.checker.nullness.AbstractNullnessChecker
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory: Copied from SubtypingChecker.
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory: Returns a mutable set of annotation classes that are supported by the Substring Index Checker.
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
createTransferFunction() - Method in class org.checkerframework.checker.lock.LockAnalysis
createTreeAnnotator() - Method in class org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
createTreeAnnotator() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
createTypeAnnotator() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
createTypeAnnotator() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
createTypeAnnotator() - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
createTypeAnnotator() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
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
createTypeHierarchy() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
createTypeValidator() - Method in class org.checkerframework.checker.optional.OptionalVisitor
createUBQualifier(AnnotationMirror) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
createUBQualifier(String, String) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
createUBQualifier(AnnotatedTypeMirror, AnnotationMirror) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
createUBQualifier(List<String>, List<String>) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier: Creates an UBQualifier from the given sequences and offsets.
createUnclassifiedAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Creates a UnknownInitialization or Raw annotation with a given type frame.
createUnclassifiedAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Creates an UnknownInitialization or Raw annotation with a given type frame.
Current - Annotation Type in org.checkerframework.checker.units.qual: Electric current.
currentMethods - Variable in class org.checkerframework.checker.guieffect.GuiEffectVisitor

D

debugSpew - Variable in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
debugSpew - Variable in class org.checkerframework.checker.guieffect.GuiEffectVisitor
deg - Static variable in class org.checkerframework.checker.units.UnitsTools
degrees - Annotation Type in org.checkerframework.checker.units.qual: Degrees.
dimensionUnsignedHeight(Dimension) - Static method in class org.checkerframework.checker.signedness.SignednessUtilExtra: Gets the unsigned height of a Dimension.
dimensionUnsignedWidth(Dimension) - Static method in class org.checkerframework.checker.signedness.SignednessUtilExtra: Gets the unsigned width of a Dimension.
divide(int) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: If divisor == 1, return this object.
division(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in interface org.checkerframework.checker.units.UnitsRelations: Called for the division of type lht and rht.
division(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.units.UnitsRelationsDefault: Provides rules for resolving the result Unit of the division of checker-framework provided Units.
DOT_SEPARATED_IDENTIFIERS - Variable in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory: @DotSeparatedIdentifiers annotation.
DotSeparatedIdentifiers - Annotation Type in org.checkerframework.checker.signature.qual: This is a string that is a valid fully qualified name and a valid binary name.

E

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
elements - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
elements - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
elements - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
elements - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: The Element Utilities from the Units Checker's processing environment.
elseStore - Variable in class org.checkerframework.checker.index.IndexRefinementInfo
EnsuresKeyFor - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that the value expressions evaluate to a value that is a key in all the given maps, if the method terminates successfully.
EnsuresKeyForIf - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that the given expressions evaluate to a value that is a key in all the given maps, if the method returns the given result (either true or false).
EnsuresLockHeld - Annotation Type in org.checkerframework.checker.lock.qual: Indicates that the given expressions are held if the method terminates successfully.
EnsuresLockHeldIf - Annotation Type in org.checkerframework.checker.lock.qual: Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false).
EnsuresLTLengthOf - Annotation Type in org.checkerframework.checker.index.qual: Indicates that the value expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method terminates successfully.
EnsuresLTLengthOfIf - Annotation Type in org.checkerframework.checker.index.qual: Indicates that the given expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method returns the given result (either true or false).
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).
env - Variable in class org.checkerframework.checker.nullness.SystemGetPropertyHandler
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
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.

F

factory - Variable in class org.checkerframework.checker.nullness.SystemGetPropertyHandler
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.
FBCBOTTOM - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: FBCBottom or NonRaw.
FBCBottom - Annotation Type in org.checkerframework.checker.initialization.qual: The bottom type in the Freedom Before Commitment type system.
FENUM - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
Fenum - Annotation Type in org.checkerframework.checker.fenum.qual: A generic fake enumeration qualifier that is parameterized by a name.
FENUM_BOTTOM - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
FENUM_UNQUALIFIED - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
FenumAnnotatedTypeFactory - Class in org.checkerframework.checker.fenum
FenumAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
FenumAnnotatedTypeFactory.FenumQualifierHierarchy - Class in org.checkerframework.checker.fenum
FenumBottom - Annotation Type in org.checkerframework.checker.fenum.qual: The bottom type in the Fenum type system.
FenumChecker - Class in org.checkerframework.checker.fenum: The main checker class for the Fake Enum Checker.
FenumChecker() - Constructor for class org.checkerframework.checker.fenum.FenumChecker
FenumQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Constructor for class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory.FenumQualifierHierarchy
FenumTop - Annotation Type in org.checkerframework.checker.fenum.qual: The top of the fake enumeration type hierarchy.
FenumUnqualified - Annotation Type in org.checkerframework.checker.fenum.qual: An unqualified type.
FenumVisitor - Class in org.checkerframework.checker.fenum
FenumVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.fenum.FenumVisitor
FieldDescriptor - Annotation Type in org.checkerframework.checker.signature.qual: Represents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorForPrimitive - Annotation Type in org.checkerframework.checker.signature.qual: Represents a field descriptor (JVM type format) for a primitive as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorForPrimitiveOrArrayInUnnamedPackage - Annotation Type in org.checkerframework.checker.signature.qual: Represents a field descriptor for a primitive or for an array of whose base type is primitive or in the unnamed package.
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.
findInheritedEffectRange(TypeElement, ExecutableElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
findInheritedEffectRange(TypeElement, ExecutableElement, boolean, Tree) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
findJavaOverride(ExecutableElement, TypeMirror) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
finishValue(NullnessValue, NullnessStore) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
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.
formatAnnotationString(Collection<? extends AnnotationMirror>, boolean) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
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
FormatMethod - Annotation Type in org.checkerframework.checker.formatter.qual: If this annotation is attached to a Formatter.format-like method, then the first, String parameter is treated as a format string for the remaining arguments.
formatParameterCategories(String) - Static method in class org.checkerframework.checker.formatter.FormatUtil: Returns a ConversionCategory for every conversion found in the format string.
formatParameterCategories(String) - Static method in class org.checkerframework.checker.i18nformatter.I18nFormatUtil: Returns a I18nConversionCategory for every conversion found in the format string.
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
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
FREE - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: UnderInitialization or null.
from - Variable in class org.checkerframework.checker.index.Subsequence: First index of the subsequence in the backing sequence.
fromCelsiusToKelvin(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromConversionChar(char) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Use this function to get the category associated with a conversion character.
fromGramToKiloGram(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromHourToMinute(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromKelvinToCelsius(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromKiloGramToGram(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromKiloMeterPerHourToMeterPerSecond(double) - Static method in class org.checkerframework.checker.units.UnitsTools
fromKiloMeterToMeter(int) - Static method in class org.checkerframework.checker.units.UnitsTools
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
fromSecondToMinute(int) - Static method in class org.checkerframework.checker.units.UnitsTools
FullyQualifiedName - Annotation Type in org.checkerframework.checker.signature.qual: Represents a fully-qualified name as defined in the Java Language Specification, section 6.7.

G

g - Annotation Type in org.checkerframework.checker.units.qual: Gram.
g - Static variable in class org.checkerframework.checker.units.UnitsTools
get(T) - Static method in class org.checkerframework.checker.nullness.Opt: If primary is non-null, returns it, otherwise throws NoSuchElementException.
getAllFields(ClassTree) - Static method in class org.checkerframework.checker.initialization.InitializationChecker: Returns a list of all fields of the given class.
getAnalysis() - Method in class org.checkerframework.checker.initialization.InitializationStore
getAnnot() - Method in class org.checkerframework.checker.guieffect.Effect
getAnnotatedType(Tree) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
getAnnotatedTypeLhs(Tree) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory: Handles case 2.
getAnnotatedTypeLhs(Tree) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
getAnnotationForRemainder(IntegerRemainderNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer: getAnnotationForRemainder handles these cases:
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.
getComputedEffectAtCallsite(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedDeclaredType, ExecutableElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory: Get the effect of a method call at its callsite, acknowledging polymorphic instantiation using type use annotations.
getContextFromReceiver(FlowExpressions.Receiver, BaseContext) - Static method in class org.checkerframework.checker.index.Subsequence: If the passed receiver is a FieldAccess, returns the context associated with it.
getDeclaredEffect(ExecutableElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory: Calling context annotations.
getDescription() - Method in exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Retrieves the description of the error.
getError() - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation
getExactValue(Tree, ValueAnnotatedTypeFactory) - Static method in class org.checkerframework.checker.index.IndexUtil: Either returns the exact value of the given tree according to the Constant Value Checker, or null if the exact value is not known.
getExceptionParameterLowerBoundAnnotations() - Method in class org.checkerframework.checker.fenum.FenumVisitor
getExceptionParameterLowerBoundAnnotations() - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
getExceptionParameterLowerBoundAnnotations() - Method in class org.checkerframework.checker.lock.LockVisitor
getExpected() - Method in exception org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException
getExpected() - Method in exception org.checkerframework.checker.formatter.FormatUtil.IllegalFormatConversionCategoryException
getFieldInvariantAnnotation() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Returns the annotation that makes up the invariant of this commitment type system, such as @NonNull.
getFieldInvariantAnnotation() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
getFieldValues() - Method in class org.checkerframework.checker.initialization.InitializationStore
getFormatCategories() - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil.FormatCall: Returns the conversion category for every parameter.
getFormatCategories() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall: Returns the conversion category for every parameter.
getFormatType() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall
getFound() - Method in exception org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException
getFound() - Method in exception org.checkerframework.checker.formatter.FormatUtil.IllegalFormatConversionCategoryException
getFreeOrRawAnnotationOfSuperType(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Returns a UnderInitialization annotation (or UnknownInitialization if rawness is used) that has the superclass of type as type frame.
getGroupCount(AnnotationMirror) - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory: Returns the group count value of the given annotation or 0 if there's a problem getting the group count value.
getGroupCount(String) - Static method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory: Returns the number of groups in the given regex String.
getHasFormatCallCategories(MethodInvocationNode) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
getImmediateSubcheckerClasses() - Method in class org.checkerframework.checker.index.inequality.LessThanChecker
getImmediateSubcheckerClasses() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundChecker
getImmediateSubcheckerClasses() - Method in class org.checkerframework.checker.index.samelen.SameLenChecker
getImmediateSubcheckerClasses() - Method in class org.checkerframework.checker.index.searchindex.SearchIndexChecker
getImmediateSubcheckerClasses() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundChecker
getImmediateSubcheckerClasses() - Method in class org.checkerframework.checker.nullness.AbstractNullnessChecker
getImmediateSubcheckerClasses() - Method in class org.checkerframework.checker.signedness.SignednessChecker
getIndex() - Method in exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Retrieves the error index.
getInferedEffectForLambdaExpression(LambdaExpressionTree) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory: Get the inferred effect of a lambda expression based on the type annotations of its functional interface and the effects of the calls in its body.
getInitializationAnnotations() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
getInitializedInvariantFields(Store, TreePath) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Returns the (non-static) fields that have the invariant annotation and are initialized in a given store.
getInt() - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Returns the int value associated with this equation.
getIntOffsetEquation(Set<OffsetEquation>) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Returns the offset equation that is an int value or null if there isn't one.
getInvalidConstructorReturnTypeAnnotations() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
getInvalidConstructorReturnTypeAnnotations() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
getInvalidError() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall
getInvalidInvocationType() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall
getInvocationType() - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil.FormatCall: Returns the type of method invocation.
getInvocationType() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall: Returns the type of method invocation.
getKeyForMaps() - Method in class org.checkerframework.checker.nullness.KeyForValue: If the underlying type is a type variable or a wildcard, then this is a set of maps for which this value is a key.
getLengthSequenceTree(Tree, IndexMethodIdentifier, ProcessingEnvironment) - Static method in class org.checkerframework.checker.index.IndexUtil: Gets a sequence tree for a length access tree, or null if it is not a length access.
getLessThanAnnotatedTypeFactory() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: Returns the LessThan Checker's annotated type factory.
getLessThanAnnotatedTypeFactory() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory: Returns the LessThan Checker's annotated type factory.
getLessThanExpressions(ExpressionTree) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory: Returns a sorted, modifiable list of expressions that expression is less than.
getLessThanExpressions(AnnotationMirror) - Static method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory: Returns a modifiable list of expressions in the annotation sorted.
getLookupKeys() - Method in class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory: Returns a set of the valid keys that can be used.
getMaxValue(Tree, ValueAnnotatedTypeFactory) - Static method in class org.checkerframework.checker.index.IndexUtil: Finds the maximum value in a Value Checker type.
getMessage() - Method in exception org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException
getMessage() - Method in exception org.checkerframework.checker.formatter.FormatUtil.IllegalFormatConversionCategoryException
getMessage() - Method in exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Returns a multi-line string containing the description of the syntax error and its index, the erroneous regular-expression pattern, and a visual indication of the error index within the pattern.
getMethodReturnType(MethodTree, ReturnTree) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
getMinLen(Tree, ValueAnnotatedTypeFactory) - Static method in class org.checkerframework.checker.index.IndexUtil: Queries the Value Checker to determine if there is a known minimum length for the array represented by tree.
getMinLenFromTree(Tree, ValueAnnotatedTypeFactory) - Static method in class org.checkerframework.checker.index.IndexUtil: Looks up the minlen of a member select tree.
getMinValue(Tree, ValueAnnotatedTypeFactory) - Static method in class org.checkerframework.checker.index.IndexUtil: Finds the minimum value in a Value Checker type.
getNullnessAnnotations() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
getParamTypes() - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil.FormatCall: Returns the type of the function's parameters.
getParamTypes() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall
getPattern() - Method in exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Retrieves the erroneous regular-expression pattern.
getPossibleValues(AnnotatedTypeMirror, ValueAnnotatedTypeFactory) - Static method in class org.checkerframework.checker.index.IndexUtil: Returns a range representing the possible integral values represented by the passed AnnotatedTypeMirror.
getPrefix(AnnotatedTypeMirror) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Retrieves the SI Prefix of an Annotated Type.
getPrefix(AnnotationMirror) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Retrieves the SI Prefix of an Annotation.
getSameLensFromString(String, Tree, TreePath) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory: Find all the sequences that are members of the SameLen annotation associated with the sequence named in sequenceExpression along the current path.
getSearchIndexAnnotatedTypeFactory() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: Returns the SearchIndexFor Checker's annotated type factory.
getSelfType(Tree) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
getSequences() - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
getSubsequenceFromReceiver(FlowExpressions.Receiver, AnnotatedTypeFactory, TreePath, FlowExpressionParseUtil.FlowExpressionContext) - Static method in class org.checkerframework.checker.index.Subsequence: Returns a Subsequence representing the HasSubsequence annotation on the declaration of rec or null if there is not such annotation.
getSubsequenceFromTree(Tree, AnnotatedTypeFactory) - Static method in class org.checkerframework.checker.index.Subsequence: Returns a Subsequence representing the HasSubsequence annotation on the declaration of varTree or null if there is not such annotation.
getSupportedCheckers() - Method in class org.checkerframework.checker.i18n.I18nChecker
getSuppressWarningsKeys() - Method in class org.checkerframework.checker.fenum.FenumChecker: Copied from SubtypingChecker; cannot reuse it, because SubtypingChecker is final.
getSuppressWarningsKeys() - Method in class org.checkerframework.checker.initialization.InitializationChecker
getSuppressWarningsKeys() - Method in class org.checkerframework.checker.nullness.AbstractNullnessChecker
getSuppressWarningsKeys() - Method in class org.checkerframework.checker.units.UnitsChecker: Copied from SubtypingChecker; cannot reuse it, because SubtypingChecker is final.
getTypeFrameFromAnnotation(AnnotationMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Returns the type frame of a given annotation.
getUnboxedType(AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory: Unbox type and replace any interning type annotations with @Interned since all primitives can safely use ==.
getUninitializedInvariantFields(Store, TreePath, boolean, List<? extends AnnotationMirror>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Returns the (non-static) fields that have the invariant annotation and are not yet initialized in a given store.
getUninitializedInvariantFields(NullnessStore, TreePath, boolean, List<? extends AnnotationMirror>) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
getUnitsRel() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory: Return a map from canonical class name to the corresponding UnitsRelations instance.
getUnsigned(ByteBuffer) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an unsigned byte from the ByteBuffer b.
getUnsigned(ByteBuffer, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an unsigned byte from the ByteBuffer b at i.
getUnsigned(ByteBuffer, byte[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Populates an unsigned byte array from the ByteBuffer b at i with l bytes.
getUnsigned(IntBuffer, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an unsigned int from the IntBuffer b at i.
getUnsigned(ByteBuffer, byte[]) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an array of unsigned bytes from the ByteBuffer b and stores them in the array bs.
getUnsignedInt(ByteBuffer) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an unsigned int from the ByteBuffer b.
getUnsignedRGB(BufferedImage, int, int, int, int, int[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtilExtra: Gets rgb of BufferedImage b as unsigned ints.
getUnsignedShort(ByteBuffer) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an unsigned short from the ByteBuffer b.
getValue(FlowExpressions.Receiver) - Method in class org.checkerframework.checker.lock.LockStore
getValueAnnotatedTypeFactory() - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory: Returns the Value Checker's annotated type factory.
getValueAnnotatedTypeFactory() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: Returns the Value Checker's annotated type factory.
getValueOfAnnotationWithStringArgument(AnnotationMirror) - Static method in class org.checkerframework.checker.index.IndexUtil: Gets the value field of an annotation with a list of strings in its value field.
glb(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
glb(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
glb(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundUnknownQualifier
greatestLowerBound(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundQualifierHierarchy
greatestLowerBound(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy
GTEN1 - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: The canonical @GTENegativeOne annotation.
GTEN1 - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer: The canonical GTENegativeOne annotation.
GTENegativeOne - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer greater than or equal to -1.
GUARDEDBY - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory: Annotation constants.
GuardedBy - Annotation Type in org.checkerframework.checker.lock.qual: Indicates that a thread may dereference the value referred to by the annotated variable only if the thread holds all the given lock expressions.
GUARDEDBYBOTTOM - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory: Annotation constants.
GuardedByBottom - Annotation Type in org.checkerframework.checker.lock.qual: The bottom type in the GuardedBy type system.
GUARDEDBYUNKNOWN - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory: Annotation constants.
GuardedByUnknown - Annotation Type in org.checkerframework.checker.lock.qual: It is unknown what locks guard the value referred to by the annotated variable.
GUARDSATISFIED - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory: Annotation constants.
GuardSatisfied - Annotation Type in org.checkerframework.checker.lock.qual: If a variable x has type @GuardSatisfied, then all lock expressions for x's value are held.
GuiEffectChecker - Class in org.checkerframework.checker.guieffect
GuiEffectChecker() - Constructor for class org.checkerframework.checker.guieffect.GuiEffectChecker
GuiEffectOverrideChecker(Tree, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror) - Constructor for class org.checkerframework.checker.guieffect.GuiEffectVisitor.GuiEffectOverrideChecker
GuiEffectTypeFactory - Class in org.checkerframework.checker.guieffect: Annotated type factory for the GUI Effect Checker.
GuiEffectTypeFactory(BaseTypeChecker, boolean) - Constructor for class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
GuiEffectVisitor - Class in org.checkerframework.checker.guieffect: Require that only UI code invokes code with the UI effect.
GuiEffectVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.guieffect.GuiEffectVisitor
GuiEffectVisitor.GuiEffectOverrideChecker - Class in org.checkerframework.checker.guieffect

H

h - Annotation Type in org.checkerframework.checker.units.qual: Hour.
h - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
h - Static variable in class org.checkerframework.checker.units.UnitsTools
handle(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.checker.nullness.CollectionToArrayHeuristics: If the method invocation is a call to toArray, then it manipulates the returned type of method arg to contain the appropriate nullness.
handle(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.checker.nullness.SystemGetPropertyHandler
handleConditionalStatementIsPresentGet(IfTree) - Method in class org.checkerframework.checker.optional.OptionalVisitor: Part of rule #3.
handleCreationElimination(MethodInvocationTree) - Method in class org.checkerframework.checker.optional.OptionalVisitor: Rule #4.
handleTernaryIsPresentGet(ConditionalExpressionTree) - Method in class org.checkerframework.checker.optional.OptionalVisitor: Part of rule #3.
hasError() - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation
hasFieldInvariantAnnotation(VariableTree) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Returns whether or not field has the invariant annotation.
hasFieldInvariantAnnotation(AnnotatedTypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Returns whether or not type has the invariant annotation.
hasFieldInvariantAnnotation(AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory: Returns whether or not type has the invariant annotation.
hasFormat(String, I18nConversionCategory...) - Static method in class org.checkerframework.checker.i18nformatter.I18nFormatUtil: Returns true if the format string is satisfiable, and if the format's parameters match the passed I18nConversionCategorys.
hasFormatAnnotation() - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil.FormatCall: Returns null if the format-string argument's type is annotated as @Format.
hashCode() - Method in class org.checkerframework.checker.guieffect.Effect
hashCode() - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation
hashCode() - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
hasLowerBoundTypeByClass(Node, Class<? extends Annotation>) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory: Returns true iff the given node has the passed Lower Bound qualifier according to the LBC.
hasNoPrefix(AnnotatedTypeMirror) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Checks to see if an Annotated Type has no prefix.
hasNoPrefix(AnnotationMirror) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Checks to see if an Annotation has no prefix (ie, no value element).
hasNoUnits(AnnotatedTypeMirror) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Checks to see if a particular Annotated Type has no units, such as scalar constants in calculations.
hasSequenceWithOffset(String, int) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier: Returns whether or not this qualifier has sequence with the specified offset.
hasSequenceWithOffset(String, String) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier: Returns whether or not this qualifier has sequence with the specified offset.
hasSequenceWithOffset(String, int) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
hasSequenceWithOffset(String, String) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
hasSpecificUnit(AnnotatedTypeMirror, AnnotationMirror) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Checks to see if a particular Annotated Type has a specific unit (represented by its Annotation).
hasSpecificUnitIgnoringPrefix(AnnotatedTypeMirror, AnnotationMirror) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Checks to see if a particular Annotated Type has a particular base unit (represented by its Annotation).
HasSubsequence - Annotation Type in org.checkerframework.checker.index.qual: The annotated sequence contains a subsequence that is equal to the value of some other expression.
havePairOfUnits(AnnotatedTypeMirror, AnnotationMirror, AnnotatedTypeMirror, AnnotationMirror) - Method in class org.checkerframework.checker.units.UnitsRelationsDefault: Checks to see if lht has the unit ul and if rht has the unit ur all at the same time.
havePairOfUnitsIgnoringOrder(AnnotatedTypeMirror, AnnotationMirror, AnnotatedTypeMirror, AnnotationMirror) - Method in class org.checkerframework.checker.units.UnitsRelationsDefault: Checks to see if lht and rht have the pair of units u1 and u2 regardless of order.
Holding - Annotation Type in org.checkerframework.checker.lock.qual: Indicates a method precondition: the specified expressions must be held when the annotated method is invoked.

I

I18nAnnotatedTypeFactory - Class in org.checkerframework.checker.i18n
I18nAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
I18nChecker - Class in org.checkerframework.checker.i18n: A type-checker that enforces (and finds the violations of) two properties:
Only localized output gets emitted to the user
Only localizable keys (i.e.
I18nChecker() - Constructor for class org.checkerframework.checker.i18n.I18nChecker
I18nChecksFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation is used internally to annotate I18nFormatUtil.hasFormat(java.lang.String, org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory...) (and will potentially be used to annotate more such functions in the future).
I18nConversionCategory - Enum in org.checkerframework.checker.i18nformatter.qual: Elements of this enumeration are used in a I18nFormat annotation to indicate the valid types that may be passed as a format parameter.
I18NFORMAT - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
I18nFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation, attached to a String type, indicates that the String may be passed to MessageFormat.format.
I18NFORMATBOTTOM - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
I18nFormatBottom - Annotation Type in org.checkerframework.checker.i18nformatter.qual: The bottom type in the Internationalization Format String type system.
I18nFormatCall(MethodInvocationTree, MethodInvocationNode, AnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall
I18NFORMATFOR - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
I18nFormatFor - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation indicates that when a string of the annotated type is passed as the first argument to MessageFormat.format(String, Object...), then the expression that is an argument to the annotation can be passed as the remaining arguments, in varargs style.
I18nFormatterAnnotatedTypeFactory - Class in org.checkerframework.checker.i18nformatter: Adds I18nFormat to the type of tree, if it is a String or char literal that represents a satisfiable format.
I18nFormatterAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
I18nFormatterChecker - Class in org.checkerframework.checker.i18nformatter: A type-checker plug-in for the qualifier that finds syntactically invalid i18n-formatter calls (MessageFormat.format()).
I18nFormatterChecker() - Constructor for class org.checkerframework.checker.i18nformatter.I18nFormatterChecker
I18nFormatterTransfer - Class in org.checkerframework.checker.i18nformatter
I18nFormatterTransfer(CFAnalysis) - Constructor for class org.checkerframework.checker.i18nformatter.I18nFormatterTransfer
I18nFormatterTreeUtil - Class in org.checkerframework.checker.i18nformatter: This class provides a collection of utilities to ease working with syntax trees that have something to do with I18nFormatters.
I18nFormatterTreeUtil(BaseTypeChecker) - Constructor for class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
I18nFormatterTreeUtil.FormatType - Enum in org.checkerframework.checker.i18nformatter: Describe the format annotation type.
I18nFormatterTreeUtil.I18nFormatCall - Class in org.checkerframework.checker.i18nformatter: Represents a format method invocation in the syntax tree.
I18nFormatterVisitor - Class in org.checkerframework.checker.i18nformatter: Whenever a method with I18nFormatFor annotation is invoked, it will perform the format string verification.
I18nFormatterVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.i18nformatter.I18nFormatterVisitor
I18nFormatUtil - Class in org.checkerframework.checker.i18nformatter: This class provides a collection of utilities to ease working with i18n format strings.
I18nFormatUtil() - Constructor for class org.checkerframework.checker.i18nformatter.I18nFormatUtil
I18NINVALIDFORMAT - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
I18nInvalidFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation, attached to a String type, indicates that if the String is passed to MessageFormat.format(String, Object...), an exception will result.
I18nMakeFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation is used internally to annotate ResourceBundle.getString(java.lang.String) indicating the checker to check if the given key exist in the translation file and annotate the result string with the correct format annotation according to the corresponding key's value.
I18nSubchecker - Class in org.checkerframework.checker.i18n: A type-checker that checks that only localized Strings are visible to the user.
I18nSubchecker() - Constructor for class org.checkerframework.checker.i18n.I18nSubchecker
I18NUNKNOWNFORMAT - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
I18nUnknownFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: The top qualifier.
I18nValidFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation is used internally to annotate I18nFormatUtil.isFormat(java.lang.String).
Identifier - Annotation Type in org.checkerframework.checker.signature.qual: An identifier.
IdentifierOrArray - Annotation Type in org.checkerframework.checker.signature.qual: An identifier, followed by any number of array square brackets.
ifPresent(T, Consumer<? super T>) - Static method in class org.checkerframework.checker.nullness.Opt: If primary is non-null, invoke the specified consumer with the value, otherwise do nothing.
IllegalFormatConversionCategoryException(ConversionCategory, ConversionCategory) - Constructor for exception org.checkerframework.checker.formatter.FormatUtil.IllegalFormatConversionCategoryException: Constructs an instance of this class with the mismatched conversion and the expected one.
inConstructorOrInitializer - Variable in class org.checkerframework.checker.lock.LockStore: If true, indicates that the store refers to a point in the code inside a constructor or initializer.
IndexAbstractTransfer - Class in org.checkerframework.checker.index: This class provides methods shared by the Index Checker's internal checkers in their transfer functions.
IndexAbstractTransfer(CFAnalysis) - Constructor for class org.checkerframework.checker.index.IndexAbstractTransfer
IndexChecker - Class in org.checkerframework.checker.index: A type checker for preventing out-of-bounds accesses on fixed-length sequences, such as arrays and strings.
IndexChecker() - Constructor for class org.checkerframework.checker.index.IndexChecker
IndexFor - Annotation Type in org.checkerframework.checker.index.qual: An integer that can be used to index any of the given sequences.
IndexMethodIdentifier - Class in org.checkerframework.checker.index: This class stores information about interesting methods and allows its clients to query it to determine if a method belongs to a particular class.
IndexMethodIdentifier(AnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.index.IndexMethodIdentifier
IndexOrHigh - Annotation Type in org.checkerframework.checker.index.qual: An integer that, for each of the given sequences, is either a valid index or is equal to the sequence's length.
IndexOrLow - Annotation Type in org.checkerframework.checker.index.qual: An integer that is either -1 or is a valid index for each of the given sequences.
IndexRefinementInfo - Class in org.checkerframework.checker.index: This struct contains all of the information that the refinement functions need.
IndexRefinementInfo(TransferResult<CFValue, CFStore>, CFAbstractAnalysis<?, ?, ?>, Node, Node) - Constructor for class org.checkerframework.checker.index.IndexRefinementInfo
IndexRefinementInfo(TransferResult<CFValue, CFStore>, CFAbstractAnalysis<?, ?, ?>, BinaryOperationNode) - Constructor for class org.checkerframework.checker.index.IndexRefinementInfo
IndexUtil - Class in org.checkerframework.checker.index: A collection of utility functions used by several Index Checker subcheckers.
IndexUtil() - Constructor for class org.checkerframework.checker.index.IndexUtil
init(ProcessingEnvironment) - Method in interface org.checkerframework.checker.units.UnitsRelations: Initialize the object.
init(ProcessingEnvironment) - Method in class org.checkerframework.checker.units.UnitsRelationsDefault: Constructs various AnnotationMirrors representing specific checker-framework provided Units involved in the rules resolved in this UnitsRelations implementation.
initAnnos - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
InitializationAnnotatedTypeFactory<Value extends org.checkerframework.framework.flow.CFAbstractValue<Value>,Store extends InitializationStore<Value,Store>,Transfer extends InitializationTransfer<Value,Transfer,Store>,Flow extends org.checkerframework.framework.flow.CFAbstractAnalysis<Value,Store,Transfer>> - Class in org.checkerframework.checker.initialization: The annotated type factory for the freedom-before-commitment type-system.
InitializationAnnotatedTypeFactory(BaseTypeChecker, boolean) - Constructor for class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator - Class in org.checkerframework.checker.initialization
InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator - Class in org.checkerframework.checker.initialization
InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy - Class in org.checkerframework.checker.initialization: The QualifierHierarchy for the initialization type system.
InitializationChecker - Class in org.checkerframework.checker.initialization: Tracks whether a value is initialized (all its fields are set), and checks that values are initialized before being used.
InitializationChecker(boolean) - Constructor for class org.checkerframework.checker.initialization.InitializationChecker
InitializationQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory, Object...) - Constructor for class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy
InitializationStore<V extends org.checkerframework.framework.flow.CFAbstractValue<V>,S extends InitializationStore<V,S>> - Class in org.checkerframework.checker.initialization: A store that extends CFAbstractStore and additionally tracks which fields of the 'self' reference have been initialized.
InitializationStore(CFAbstractAnalysis<V, S, ?>, boolean) - Constructor for class org.checkerframework.checker.initialization.InitializationStore
InitializationStore(S) - Constructor for class org.checkerframework.checker.initialization.InitializationStore: A copy constructor.
InitializationTransfer<V extends org.checkerframework.framework.flow.CFAbstractValue<V>,T extends InitializationTransfer<V,T,S>,S extends InitializationStore<V,S>> - Class in org.checkerframework.checker.initialization: A transfer function that extends CFAbstractTransfer and tracks InitializationStores.
InitializationTransfer(CFAbstractAnalysis<V, S, T>) - Constructor for class org.checkerframework.checker.initialization.InitializationTransfer
InitializationVisitor<Factory extends InitializationAnnotatedTypeFactory<Value,Store,?,?>,Value extends org.checkerframework.framework.flow.CFAbstractValue<Value>,Store extends InitializationStore<Value,Store>> - Class in org.checkerframework.checker.initialization: The visitor for the freedom-before-commitment type-system.
InitializationVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.initialization.InitializationVisitor
Initialized - Annotation Type in org.checkerframework.checker.initialization.qual: This type qualifier belongs to the freedom-before-commitment initialization tracking type-system.
initializedFields - Variable in class org.checkerframework.checker.initialization.InitializationStore: The set of fields that are initialized.
initializedFields - Variable in class org.checkerframework.checker.initialization.InitializationVisitor
initializedFieldsAfterCall(MethodInvocationNode, ConditionalTransferResult<V, S>) - Method in class org.checkerframework.checker.initialization.InitializationTransfer: Returns the fields that can safely be considered initialized after the method call node.
initialStore(UnderlyingAST, List<LocalVariableNode>) - Method in class org.checkerframework.checker.lock.LockTransfer
insertLockPossiblyHeld(FlowExpressions.Receiver) - Method in class org.checkerframework.checker.lock.LockStore
insertValue(FlowExpressions.Receiver, V) - Method in class org.checkerframework.checker.initialization.InitializationStore
insertValue(FlowExpressions.Receiver, CFValue) - Method in class org.checkerframework.checker.lock.LockStore
INTERNAL_FORM - Variable in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory: @InternalForm annotation.
InternalForm - Annotation Type in org.checkerframework.checker.signature.qual: The syntax for binary names that appears in a class file, as defined in the JVM Specification, section 4.2.
internalVisualize(CFGVisualizer<V, S, ?>) - Method in class org.checkerframework.checker.initialization.InitializationStore
internalVisualize(CFGVisualizer<CFValue, LockStore, ?>) - Method in class org.checkerframework.checker.lock.LockStore
internalVisualize(CFGVisualizer<NullnessValue, NullnessStore, ?>) - Method in class org.checkerframework.checker.nullness.NullnessStore
Interned - Annotation Type in org.checkerframework.checker.interning.qual: Indicates that a variable has been interned, i.e., that the variable refers to the canonical representation of an object.
InternedDistinct - Annotation Type in org.checkerframework.checker.interning.qual: Indicates that no other value is equals() to the given value.
InterningAnnotatedTypeFactory - Class in org.checkerframework.checker.interning: An AnnotatedTypeFactory that accounts for the properties of the Interned type system.
InterningAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory: Creates a new InterningAnnotatedTypeFactory that operates on a particular AST.
InterningChecker - Class in org.checkerframework.checker.interning: A type-checker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.
InterningChecker() - Constructor for class org.checkerframework.checker.interning.InterningChecker
InterningVisitor - Class in org.checkerframework.checker.interning: Typechecks source code for interning violations.
InterningVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.interning.InterningVisitor: Create an InterningVisitor.
intersect(ConversionCategory, ConversionCategory) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns the intersection of two categories.
intersect(I18nConversionCategory, I18nConversionCategory) - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns the intersection of the two given I18nConversionCategories.
intFromDouble(double) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned int representing the same value as the double.
intFromFloat(float) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned int representing the same value as the float.
INVALIDFORMAT - Variable in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
InvalidFormat - Annotation Type in org.checkerframework.checker.formatter.qual: This annotation, attached to a String type, indicates that the string is not a legal format string.
invalidFormatAnnotationToErrorMessage(AnnotationMirror) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil: Takes a syntax tree element that represents a InvalidFormat annotation, and returns its value.
invalidFormatAnnotationToErrorMessage(AnnotationMirror) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Takes a syntax tree element that represents a I18nInvalidFormat annotation, and returns its value.
invariantFields - Variable in class org.checkerframework.checker.initialization.InitializationStore: The set of fields that have 'invariant' annotation.
isAsFormatCall(MethodInvocationNode, AnnotatedTypeFactory) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil: Returns true if the call is to a method with the @ReturnsFormat annotation.
isBottom() - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
isCallToKeyset(ExpressionTree) - Method in class org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator
isCommitted(AnnotationMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Is anno the Initialized annotation? If useFbc is false, then NonRaw is used in the comparison.
isCommitted(AnnotatedTypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Does anno have the annotation Initialized? If useFbc is false, then NonRaw is used in the comparison.
isDirectlyMarkedUIThroughInference(Tree) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory: Test if this tree corresponds to a lambda expression or new class marked as UI affecting by either constrainLambdaToUI} or GuiEffectTypeFactory.constrainAnonymousClassToUI(TypeElement).
isFbcBottom(AnnotationMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Is anno the bottom annotation?
isFbcBottom(AnnotatedTypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Does anno have the bottom annotation?
isFieldInitialized(Element) - Method in class org.checkerframework.checker.initialization.InitializationStore: Is the field identified by the element f initialized?
isFormat(String) - Static method in class org.checkerframework.checker.i18nformatter.I18nFormatUtil
isFormatCall(MethodInvocationTree, AnnotatedTypeFactory) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil: Returns true if node is a call to a method annotated with @FormatMethod.
isFree(AnnotationMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Is anno the UnderInitialization annotation (with any type frame)? Always returns false if useFbc is false.
isFree(AnnotatedTypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Does anno have the annotation UnderInitialization (with any type frame)? Always returns false if useFbc is false.
isHasFormatCall(MethodInvocationNode, AnnotatedTypeFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Returns true if the call is to a method with the @I18nChecksFormat annotation.
isInitializationAnnotation(AnnotationMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Is the annotation anno an initialization qualifier?
isInitializedForFrame(AnnotatedTypeMirror, TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
isInt() - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Returns true if this equation is a single int value.
isIsFormatCall(MethodInvocationNode, AnnotatedTypeFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Returns true if the call is to a method with the @I18nValidFormat annotation.
isKeyForMap(String, ExpressionTree) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory: Returns true if the expression tree is a key for the map.
isLengthOfMethodInvocation(Tree) - Method in class org.checkerframework.checker.index.IndexMethodIdentifier
isLengthOfMethodInvocation(ExecutableElement) - Method in class org.checkerframework.checker.index.IndexMethodIdentifier: Returns true if tree evaluates to the length of "this".
isLengthOfMethodInvocation(Node) - Method in class org.checkerframework.checker.index.IndexMethodIdentifier
isLessThan(Tree, String) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
isLessThan(AnnotationMirror, String) - Static method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
isLessThanByValue(Tree, String, TreePath) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
isLessThanLengthOf(String) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier: Is the value with this qualifier less than the length of sequence?
isLessThanLengthOf(String) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Is a value with this type less than the length of the sequence?
isLessThanLengthOfAny(List<String>) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier: Is the value with this qualifier less than the length of any of the sequences?
isLessThanLengthOfAny(List<String>) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Is a value with this type less than the length of any of the sequences?
isLessThanLengthQualifier() - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
isLessThanLengthQualifier() - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
isLessThanOrEqual(Tree, String) - Method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
isLessThanOrEqual(AnnotationMirror, String) - Static method in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
isLessThanOrEqualTo(String) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier: Is the value with this qualifier less than or equal to the length of sequence?
isLessThanOrEqualTo(String) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Is a value with this type less than or equal to the length of sequence?
isLocale(ExpressionTree, AnnotatedTypeFactory) - Static method in class org.checkerframework.checker.formatter.FormatterTreeUtil: Returns true if the given ExpressionTree has type java.util.Locale.
isMakeFormatCall(MethodInvocationNode, AnnotatedTypeFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Returns true if the call is to a method with the @I18nMakeFormat annotation.
isMathMax(Tree) - Method in class org.checkerframework.checker.index.IndexMethodIdentifier: Returns true if the argument is an invocation of Math.max.
isMathMin(Tree) - Method in class org.checkerframework.checker.index.IndexMethodIdentifier: Returns true if the argument is an invocation of Math.min.
isMathMin(Tree) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
isMathRandom(Tree, ProcessingEnvironment) - Method in class org.checkerframework.checker.index.IndexMethodIdentifier
isNegativeOrZero() - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Returns true if this equation is negative or zero.
isNegOne() - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Returns true if this equation is exactly -1.
isNonNegative(Tree) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: Checks if the expression is non-negative, i.e.
isNonNegative() - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Returns true if this equation non-negative.
isNotFullyInitializedReceiver(MethodTree) - Method in class org.checkerframework.checker.initialization.InitializationTransfer
isParameterNull(TypeMirror) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil.FormatCall: Checks if the parameter returned from FormatterTreeUtil.FormatCall.getParamTypes() is a null expression.
isPoly() - Method in class org.checkerframework.checker.guieffect.Effect
isPoly() - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
isPolymorphicType(TypeElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
isPolyNullNull - Variable in class org.checkerframework.checker.nullness.NullnessStore
isPolyNullNull() - Method in class org.checkerframework.checker.nullness.NullnessStore
isPolyNullNull - Variable in class org.checkerframework.checker.nullness.NullnessValue
isPresent(Object) - Static method in class org.checkerframework.checker.nullness.Opt: Returns true if primary is non-null, false if primary is null.
isRandomNextDouble(Tree, ProcessingEnvironment) - Method in class org.checkerframework.checker.index.IndexMethodIdentifier
isRandomNextInt(Tree, ProcessingEnvironment) - Method in class org.checkerframework.checker.index.IndexMethodIdentifier
isRandomNextInt(Tree) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
isRegex(String) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns true if the argument is a syntactically valid regular expression.
isRegex(String, int) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns true if the argument is a syntactically valid regular expression with at least the given number of groups.
isRegex(char) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns true if the argument is a syntactically valid regular expression.
isSafe() - Method in class org.checkerframework.checker.guieffect.Effect
isSequenceType(TypeMirror) - Static method in class org.checkerframework.checker.index.IndexUtil: Determines whether the type is a sequence supported by this checker.
isSideEffectFree(AnnotatedTypeFactory, ExecutableElement) - Method in class org.checkerframework.checker.lock.LockStore
isSubsetOf(ConversionCategory, ConversionCategory) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory
isSubsetOf(I18nConversionCategory, I18nConversionCategory) - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory
isSubtype(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory.FenumQualifierHierarchy
isSubtype(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
isSubtype(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: If superType is Unknown, return true.
isSubtype(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundUnknownQualifier
isSubtype(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundQualifierHierarchy: Computes subtyping as per the subtyping in the qualifier hierarchy structure unless both annotations are the same.
isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory.KeyForTypeHierarchy
isSubtype(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessQualifierHierarchy
isSubtype(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory.UnitsQualifierHierarchy
isSubtypeInitialization(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy: Subtype testing for initialization annotations.
isSupportedAnnotationClass(Class<? extends Annotation>) - Method in class org.checkerframework.checker.units.UnitsAnnotationClassLoader: Custom filter for units annotations:
isUI() - Method in class org.checkerframework.checker.guieffect.Effect
isUIType(TypeElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
isUnclassified(AnnotationMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Is anno the UnknownInitialization annotation (with any type frame)? If useFbc is false, then Raw is used in the comparison.
isUnclassified(AnnotatedTypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Does anno have the annotation UnknownInitialization (with any type frame)? If useFbc is false, then Raw is used in the comparison.
isUnknown() - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
isUnknown() - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundUnknownQualifier
isValidFormatForInvocation() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall
isValidParameter(ConversionCategory, TypeMirror) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil.FormatCall: Checks if the type of a parameter returned from FormatterTreeUtil.FormatCall.getParamTypes() is valid for the passed ConversionCategory.
isValidParameter(I18nConversionCategory, TypeMirror) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall
isValidReplacement(String, String, UBQualifier.LessThanLengthOf) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Checks whether replacing sequence with replacementSequence in this qualifier creates replacementSequence entry in other.
isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType, Tree) - Method in class org.checkerframework.checker.fenum.FenumVisitor
isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType, Tree) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType, Tree) - Method in class org.checkerframework.checker.lock.LockVisitor: Skips the call to super and returns true.
isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType, Tree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
isValidUse(AnnotatedTypeMirror.AnnotatedPrimitiveType, Tree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType, Tree) - Method in class org.checkerframework.checker.regex.RegexVisitor: Case 2: Check String compound concatenation for valid Regex use.
isValidUse(AnnotatedTypeMirror.AnnotatedPrimitiveType, Tree) - Method in class org.checkerframework.checker.regex.RegexVisitor
isValuePlusOffsetLessThanMinLen(String, long, int) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf

J

javaxGuardedBy - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
jcipGuardedBy - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory

K

K - Annotation Type in org.checkerframework.checker.units.qual: Kelvin (unit of temperature).
K - Static variable in class org.checkerframework.checker.units.UnitsTools
KEYFOR - Variable in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory: The types in the KeyFor hierarchy.
KeyFor - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that the value assigned to the annotated variable is a key for at least the given map(s).
KeyForAnalysis - Class in org.checkerframework.checker.nullness: Boiler plate code to glue together all the parts the KeyFor dataflow classes.
KeyForAnalysis(BaseTypeChecker, KeyForAnnotatedTypeFactory, List<Pair<VariableElement, KeyForValue>>, int) - Constructor for class org.checkerframework.checker.nullness.KeyForAnalysis
KeyForAnalysis(BaseTypeChecker, KeyForAnnotatedTypeFactory, List<Pair<VariableElement, KeyForValue>>) - Constructor for class org.checkerframework.checker.nullness.KeyForAnalysis
KeyForAnnotatedTypeFactory - Class in org.checkerframework.checker.nullness
KeyForAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
KeyForAnnotatedTypeFactory.KeyForTypeHierarchy - Class in org.checkerframework.checker.nullness
KEYFORBOTTOM - Variable in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory: The types in the KeyFor hierarchy.
KeyForBottom - Annotation Type in org.checkerframework.checker.nullness.qual: The bottom type in the Map Key type system.
KeyForPropagationTreeAnnotator - Class in org.checkerframework.checker.nullness: For the following initializations we wish to propagate the annotations from the left-hand side to the right-hand side or vice versa:
KeyForPropagationTreeAnnotator(AnnotatedTypeFactory, KeyForPropagator) - Constructor for class org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator
KeyForPropagator - Class in org.checkerframework.checker.nullness: KeyForPropagator is used to move nested KeyFor annotations from one side of a pseudo-assignment to the other.
KeyForPropagator(AnnotationMirror) - Constructor for class org.checkerframework.checker.nullness.KeyForPropagator
KeyForPropagator.PropagationDirection - Enum in org.checkerframework.checker.nullness
KeyForStore - Class in org.checkerframework.checker.nullness
KeyForStore(CFAbstractAnalysis<KeyForValue, KeyForStore, ?>, boolean) - Constructor for class org.checkerframework.checker.nullness.KeyForStore
KeyForStore(CFAbstractStore<KeyForValue, KeyForStore>) - Constructor for class org.checkerframework.checker.nullness.KeyForStore
KeyForSubchecker - Class in org.checkerframework.checker.nullness: A type-checker for determining which values are keys for which maps.
KeyForSubchecker() - Constructor for class org.checkerframework.checker.nullness.KeyForSubchecker
KeyForTransfer - Class in org.checkerframework.checker.nullness
KeyForTransfer(KeyForAnalysis) - Constructor for class org.checkerframework.checker.nullness.KeyForTransfer
keyForTypeFactory - Variable in class org.checkerframework.checker.nullness.NullnessTransfer: The type factory for the map key analysis.
KeyForTypeHierarchy(BaseTypeChecker, QualifierHierarchy, boolean, boolean) - Constructor for class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory.KeyForTypeHierarchy
KeyForValue - Class in org.checkerframework.checker.nullness: KeyForValue holds additional information about which maps this value is a key for.
KeyForValue(CFAbstractAnalysis<KeyForValue, ?, ?>, Set<AnnotationMirror>, TypeMirror) - Constructor for class org.checkerframework.checker.nullness.KeyForValue
KeyLookupTreeAnnotator(BaseAnnotatedTypeFactory, Class<? extends Annotation>) - Constructor for class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator
kg - Annotation Type in org.checkerframework.checker.units.qual: Kilogram.
kg - Static variable in class org.checkerframework.checker.units.UnitsTools
km - Annotation Type in org.checkerframework.checker.units.qual: Kilometer.
km - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
km - Static variable in class org.checkerframework.checker.units.UnitsTools
km2 - Annotation Type in org.checkerframework.checker.units.qual: Square kilometer.
km2 - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
km2 - Static variable in class org.checkerframework.checker.units.UnitsTools
kmPERh - Annotation Type in org.checkerframework.checker.units.qual: Kilometer per hour.
kmPERh - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
kmPERh - Static variable in class org.checkerframework.checker.units.UnitsTools

L

leastUpperBound(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundQualifierHierarchy: Determines the least upper bound of a1 and a2.
leastUpperBound(S) - Method in class org.checkerframework.checker.initialization.InitializationStore
leastUpperBound(LockStore) - Method in class org.checkerframework.checker.lock.LockStore
leastUpperBound(KeyForValue) - Method in class org.checkerframework.checker.nullness.KeyForValue
leastUpperBound(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessQualifierHierarchy
leastUpperBound(NullnessStore) - Method in class org.checkerframework.checker.nullness.NullnessStore
leastUpperBound(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory.UnitsQualifierHierarchy
leastUpperBoundInitialization(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy: Compute the least upper bound of two initialization qualifiers.
left - Variable in class org.checkerframework.checker.index.IndexRefinementInfo
leftAnno - Variable in class org.checkerframework.checker.index.IndexRefinementInfo: Annotation for left and right expressions.
Length - Annotation Type in org.checkerframework.checker.units.qual: Units of length.
LengthOf - Annotation Type in org.checkerframework.checker.index.qual: An integer that, for each of the given sequences, is equal to the sequence's length.
LessThan - Annotation Type in org.checkerframework.checker.index.qual: An annotation indicating the relationship between values with a byte, short, char, int, or long type.
LessThanAnnotatedTypeFactory - Class in org.checkerframework.checker.index.inequality
LessThanAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
LessThanBottom - Annotation Type in org.checkerframework.checker.index.qual
LessThanChecker - Class in org.checkerframework.checker.index.inequality: An internal checker that estimates which expression's values are less than other expressions' values.
LessThanChecker() - Constructor for class org.checkerframework.checker.index.inequality.LessThanChecker
lessThanOrEqual(OffsetEquation) - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Returns whether or not this equation is known to be less than or equal to the other equation.
lessThanOrEqualTo(Effect, Effect) - Static method in class org.checkerframework.checker.guieffect.Effect
LessThanTransfer - Class in org.checkerframework.checker.index.inequality: Implements 3 refinement rules: 1.
LessThanTransfer(CFAnalysis) - Constructor for class org.checkerframework.checker.index.inequality.LessThanTransfer
LessThanUnknown - Annotation Type in org.checkerframework.checker.index.qual
LessThanVisitor - Class in org.checkerframework.checker.index.inequality
LessThanVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.inequality.LessThanVisitor
LINT_DEFAULT_NOINITFORMONOTONICNONNULL - Static variable in class org.checkerframework.checker.nullness.AbstractNullnessChecker: Default for AbstractNullnessChecker.LINT_NOINITFORMONOTONICNONNULL.
LINT_DEFAULT_REDUNDANTNULLCOMPARISON - Static variable in class org.checkerframework.checker.nullness.AbstractNullnessChecker: Default for AbstractNullnessChecker.LINT_REDUNDANTNULLCOMPARISON.
LINT_NOINITFORMONOTONICNONNULL - Static variable in class org.checkerframework.checker.nullness.AbstractNullnessChecker: Should we be strict about initialization of MonotonicNonNull variables.
LINT_REDUNDANTNULLCOMPARISON - Static variable in class org.checkerframework.checker.nullness.AbstractNullnessChecker: Warn about redundant comparisons of expressions with null, if the expressions is known to be non-null.
LocalizableKey - Annotation Type in org.checkerframework.checker.i18n.qual: Indicates that the String is a key into a property file or resource bundle containing Localized Strings.
LocalizableKeyAnnotatedTypeFactory - Class in org.checkerframework.checker.i18n: A PropertyKeyATF that uses LocalizableKey to annotate the keys.
LocalizableKeyAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
LocalizableKeyBottom - Annotation Type in org.checkerframework.checker.i18n.qual: The bottom type in the Internationalization type system.
LocalizableKeyChecker - Class in org.checkerframework.checker.i18n: A type-checker that checks that only valid localizable keys are used when using localizing methods (e.g.
LocalizableKeyChecker() - Constructor for class org.checkerframework.checker.i18n.LocalizableKeyChecker
Localized - Annotation Type in org.checkerframework.checker.i18n.qual: Indicates that the String type has been localized and formatted for the target output locale.
location - Variable in class org.checkerframework.checker.formatter.FormatterTreeUtil.Result
LockAnalysis - Class in org.checkerframework.checker.lock: The analysis class for the lock type system.
LockAnalysis(BaseTypeChecker, LockAnnotatedTypeFactory, List<Pair<VariableElement, CFValue>>) - Constructor for class org.checkerframework.checker.lock.LockAnalysis
LockAnnotatedTypeFactory - Class in org.checkerframework.checker.lock: LockAnnotatedTypeFactory builds types with @LockHeld and @LockPossiblyHeld annotations.
LockAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
LockChecker - Class in org.checkerframework.checker.lock
LockChecker() - Constructor for class org.checkerframework.checker.lock.LockChecker
LOCKHELD - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory: Annotation constants.
LockHeld - Annotation Type in org.checkerframework.checker.lock.qual: Indicates that an expression is used as a lock and the lock is known to be held on the current thread.
LockingFree - Annotation Type in org.checkerframework.checker.lock.qual: The method neither acquires nor releases locks, nor do any of the methods that it calls.
LOCKPOSSIBLYHELD - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory: Annotation constants.
LockPossiblyHeld - Annotation Type in org.checkerframework.checker.lock.qual: Indicates that an expression is not known to be LockHeld.
LockStore - Class in org.checkerframework.checker.lock
LockStore(LockAnalysis, boolean) - Constructor for class org.checkerframework.checker.lock.LockStore
LockStore(LockAnalysis, CFAbstractStore<CFValue, LockStore>) - Constructor for class org.checkerframework.checker.lock.LockStore: Copy constructor.
LockTransfer - Class in org.checkerframework.checker.lock
LockTransfer(LockAnalysis, LockChecker) - Constructor for class org.checkerframework.checker.lock.LockTransfer
LockTreeAnnotator - Class in org.checkerframework.checker.lock
LockTreeAnnotator(AnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.lock.LockTreeAnnotator
LockVisitor - Class in org.checkerframework.checker.lock: The LockVisitor enforces the special type-checking rules described in the Lock Checker manual chapter.
LockVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.lock.LockVisitor
longFromDouble(double) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned long representing the same value as the double.
longFromFloat(float) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned long representing the same value as the float.
LowerBoundAnnotatedTypeFactory - Class in org.checkerframework.checker.index.lowerbound: Implements the introduction rules for the Lower Bound Checker.
LowerBoundAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
LowerBoundBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type of the lower bound type system.
LowerBoundChecker - Class in org.checkerframework.checker.index.lowerbound: A type-checker for preventing fixed-length sequences such as arrays or strings from being accessed with values that are too low.
LowerBoundChecker() - Constructor for class org.checkerframework.checker.index.lowerbound.LowerBoundChecker: A type-checker for preventing fixed-length sequences such as arrays or strings from being accessed with values that are too low.
LowerBoundTransfer - Class in org.checkerframework.checker.index.lowerbound: Implements dataflow refinement rules based on tests: <, >, ==, and their derivatives.
LowerBoundTransfer(CFAnalysis) - Constructor for class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
LowerBoundUnknown - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to value that might be -2 or lower.
LowerBoundVisitor - Class in org.checkerframework.checker.index.lowerbound: Implements the actual checks to make sure that array accesses aren't too low.
LowerBoundVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.lowerbound.LowerBoundVisitor
LTEqLengthOf - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer whose value is less than or equal to the lengths of all the given sequences.
LTLengthOf - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer whose value is less than the lengths of all the given sequences.
LTOMLengthOf - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer whose value is at least 2 less than the lengths of all the given sequences.
lub(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: If other is Unknown, return Unknown.
lub(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
lub(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundUnknownQualifier
lubTypeFrame(TypeMirror, TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy: Returns the least upper bound of two types.
Luminance - Annotation Type in org.checkerframework.checker.units.qual: Units of luminance.

M

m - Annotation Type in org.checkerframework.checker.units.qual: Meter.
m - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
m - Static variable in class org.checkerframework.checker.units.UnitsTools
m2 - Annotation Type in org.checkerframework.checker.units.qual: Square meter.
m2 - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
m2 - Static variable in class org.checkerframework.checker.units.UnitsTools
makeFormatCallCategories(MethodInvocationNode, I18nFormatterAnnotatedTypeFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
makeLockHeld(LockStore, Node) - Method in class org.checkerframework.checker.lock.LockTransfer: Sets a given Node to @LockHeld in the given store.
makeLockHeld(TransferResult<CFValue, LockStore>, Node) - Method in class org.checkerframework.checker.lock.LockTransfer: Sets a given Node node to LockHeld in the given TransferResult.
makeLockPossiblyHeld(LockStore, Node) - Method in class org.checkerframework.checker.lock.LockTransfer: Sets a given Node to @LockPossiblyHeld in the given store.
makeLockPossiblyHeld(TransferResult<CFValue, LockStore>, Node) - Method in class org.checkerframework.checker.lock.LockTransfer: Sets a given Node node to LockPossiblyHeld in the given TransferResult.
makeNonNull(NullnessStore, Node) - Method in class org.checkerframework.checker.nullness.NullnessTransfer: Sets a given Node to non-null in the given store.
makeNonNull(TransferResult<NullnessValue, NullnessStore>, Node) - Method in class org.checkerframework.checker.nullness.NullnessTransfer: Sets a given Node node to non-null in the given TransferResult.
map(T, Function<? super T, ? extends U>) - Static method in class org.checkerframework.checker.nullness.Opt: If primary is non-null, apply the provided mapping function to it and return the result.
MAP_TYPE - Variable in class org.checkerframework.checker.nullness.NullnessTransfer: Java's Map interface.
markInvariantFieldsAsInitialized(List<VariableElement>, TypeElement) - Method in class org.checkerframework.checker.initialization.InitializationTransfer: Adds all the fields of the class clazzElem that have the 'invariant annotation' to the set of initialized fields result.
Mass - Annotation Type in org.checkerframework.checker.units.qual: Units of mass.
max - Variable in class org.checkerframework.checker.guieffect.Effect.EffectRange
MaybePresent - Annotation Type in org.checkerframework.checker.optional.qual: The Optional container may or may not contain a value.
MayReleaseLocks - Annotation Type in org.checkerframework.checker.lock.qual: The method, or one of the methods it calls, might release locks that were held prior to the method being called.
MethodDescriptor - Annotation Type in org.checkerframework.checker.signature.qual: Represents a method descriptor (JVM representation of method signature) as defined in the Java Virtual Machine Specification, section 4.3.3.
methodFromUse(ExpressionTree, ExecutableElement, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
methodFromUse(MethodInvocationTree) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
min - Variable in class org.checkerframework.checker.guieffect.Effect.EffectRange
min(Effect, Effect) - Static method in class org.checkerframework.checker.guieffect.Effect
min - Annotation Type in org.checkerframework.checker.units.qual: Minute.
min - Static variable in class org.checkerframework.checker.units.UnitsTools
minusOffset(Node, UpperBoundAnnotatedTypeFactory) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Adds node as a negative offset to a copy of this qualifier.
minusOffset(int) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Adds the negation of value as an offset to a copy of this qualifier.
minusOffset(Node, UpperBoundAnnotatedTypeFactory) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
minusOffset(int) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
MixedUnits - Annotation Type in org.checkerframework.checker.units.qual: MixedUnits is the result of multiplying or dividing units, where no more specific unit is known from a UnitsRelations implementation.
mixedUnits - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
mm - Annotation Type in org.checkerframework.checker.units.qual: Millimeter.
mm - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
mm - Static variable in class org.checkerframework.checker.units.UnitsTools
mm2 - Annotation Type in org.checkerframework.checker.units.qual: Square millimeter.
mm2 - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
mm2 - Static variable in class org.checkerframework.checker.units.UnitsTools
mol - Annotation Type in org.checkerframework.checker.units.qual: Mole (unit of Substance).
mol - Static variable in class org.checkerframework.checker.units.UnitsTools
MONOTONIC_NONNULL - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory: Annotation constants.
MonotonicNonNull - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that once the field (or variable) becomes non-null, it never becomes null again.
mostSpecific(KeyForValue, KeyForValue) - Method in class org.checkerframework.checker.nullness.KeyForValue
mPERs - Annotation Type in org.checkerframework.checker.units.qual: Meter per second.
mPERs - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
mPERs - Static variable in class org.checkerframework.checker.units.UnitsTools
mPERs2 - Annotation Type in org.checkerframework.checker.units.qual: Meter per second squared.
mPERs2 - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
mPERs2 - Static variable in class org.checkerframework.checker.units.UnitsTools
multiplication(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in interface org.checkerframework.checker.units.UnitsRelations: Called for the multiplication of type lht and rht.
multiplication(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.units.UnitsRelationsDefault: Provides rules for resolving the result Unit of the multiplication of checker-framework provided Units.

N

NEG_1 - Static variable in class org.checkerframework.checker.index.upperbound.OffsetEquation
negateString(String, TreePath, FlowExpressionParseUtil.FlowExpressionContext) - Static method in class org.checkerframework.checker.index.Subsequence: Returns the additive inverse of the given String.
NegativeIndexFor - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression is between -1 and -a.length - 1, inclusive, for each sequence a listed in the annotation.
newResult - Variable in class org.checkerframework.checker.index.IndexRefinementInfo
NN - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: The canonical @NonNegative annotation.
NN - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer: The canonical NonNegative annotation.
NonNegative - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer greater than or equal to 0.
NONNULL - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory: Annotation constants.
NONNULL - Variable in class org.checkerframework.checker.nullness.NullnessTransfer: Annotations of the non-null type system.
NonNull - Annotation Type in org.checkerframework.checker.nullness.qual: NonNull is a type annotation that indicates that an expression is never null.
NonRaw - Annotation Type in org.checkerframework.checker.nullness.qual: This type qualifier belongs to the rawness initialization tracking type-system.
NOT_EFFECTIVELY_FINAL - Static variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory: dependent type annotation error message for when the expression is not effectively final.
NOT_ONLY_COMMITTED - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: NotOnlyInitialized or null.
NotOnlyInitialized - Annotation Type in org.checkerframework.checker.initialization.qual: A declaration annotation for fields that indicates that a client might observe the field storing values that are Initialized, UnderInitialization, or UnknownInitialization, regardless of the initialization type annotation on the field's type.
NULLABLE - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory: Annotation constants.
NULLABLE - Variable in class org.checkerframework.checker.nullness.NullnessTransfer: Annotations of the non-null type system.
Nullable - Annotation Type in org.checkerframework.checker.nullness.qual: Nullable is a type annotation that indicates that the value is not known to be non-null (see NonNull).
NullnessAnalysis - Class in org.checkerframework.checker.nullness: The analysis class for the non-null type system (serves as factory for the transfer function, stores and abstract values.
NullnessAnalysis(BaseTypeChecker, NullnessAnnotatedTypeFactory, List<Pair<VariableElement, NullnessValue>>) - Constructor for class org.checkerframework.checker.nullness.NullnessAnalysis
nullnessAnnos - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory: Cache for the nullness annotations.
NullnessAnnotatedTypeFactory - Class in org.checkerframework.checker.nullness: The annotated type factory for the nullness type-system.
NullnessAnnotatedTypeFactory(BaseTypeChecker, boolean) - Constructor for class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory: Creates NullnessAnnotatedTypeFactory.
NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator - Class in org.checkerframework.checker.nullness: Nullness doesn't call propagation on binary and unary because the result is always @Initialized (the default qualifier).
NullnessAnnotatedTypeFactory.NullnessQualifierHierarchy - Class in org.checkerframework.checker.nullness
NullnessAnnotatedTypeFactory.NullnessTreeAnnotator - Class in org.checkerframework.checker.nullness
NullnessAnnotatedTypeFactory.NullnessTypeAnnotator - Class in org.checkerframework.checker.nullness
NullnessAnnotatedTypeFormatter - Class in org.checkerframework.checker.nullness: A DefaultAnnotatedTypeFormatter that prints null literals without their annotations.
NullnessAnnotatedTypeFormatter(boolean, boolean) - Constructor for class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFormatter
NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor - Class in org.checkerframework.checker.nullness
NullnessChecker - Class in org.checkerframework.checker.nullness: A concrete instantiation of AbstractNullnessChecker using freedom-before-commitment.
NullnessChecker() - Constructor for class org.checkerframework.checker.nullness.NullnessChecker
NullnessFormattingVisitor(AnnotationFormatter, boolean, boolean) - Constructor for class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor
NullnessPropagationAnnotator(AnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator
NullnessQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory, Object[]) - Constructor for class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessQualifierHierarchy
NullnessRawnessChecker - Class in org.checkerframework.checker.nullness: A concrete instantiation of AbstractNullnessChecker using rawness.
NullnessRawnessChecker() - Constructor for class org.checkerframework.checker.nullness.NullnessRawnessChecker
NullnessStore - Class in org.checkerframework.checker.nullness: Behaves like InitializationStore, but additionally tracks whether PolyNull is known to be Nullable.
NullnessStore(CFAbstractAnalysis<NullnessValue, NullnessStore, ?>, boolean) - Constructor for class org.checkerframework.checker.nullness.NullnessStore
NullnessStore(NullnessStore) - Constructor for class org.checkerframework.checker.nullness.NullnessStore
NullnessTransfer - Class in org.checkerframework.checker.nullness: Transfer function for the non-null type system.
NullnessTransfer(NullnessAnalysis) - Constructor for class org.checkerframework.checker.nullness.NullnessTransfer: Create a new NullnessTransfer for the given analysis.
NullnessTreeAnnotator(NullnessAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
NullnessTypeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTypeAnnotator
nullnessTypeFactory - Variable in class org.checkerframework.checker.nullness.NullnessTransfer: The type factory for the nullness analysis that was passed to the constructor.
NullnessUtil - Class in org.checkerframework.checker.nullness: Utility class for the Nullness Checker.
NullnessValue - Class in org.checkerframework.checker.nullness: Behaves just like CFValue, but additionally tracks whether at this point PolyNull is known to be Nullable.
NullnessValue(CFAbstractAnalysis<NullnessValue, ?, ?>, Set<AnnotationMirror>, TypeMirror) - Constructor for class org.checkerframework.checker.nullness.NullnessValue
NullnessVisitor - Class in org.checkerframework.checker.nullness: The visitor for the nullness type-system.
NullnessVisitor(BaseTypeChecker, boolean) - Constructor for class org.checkerframework.checker.nullness.NullnessVisitor
numberOfIterationsBeforeWidening() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundQualifierHierarchy

O

OffsetDependentTypesHelper - Class in org.checkerframework.checker.index: Dependent type helper for array offset expressions.
OffsetDependentTypesHelper(AnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.index.OffsetDependentTypesHelper
OffsetEquation - Class in org.checkerframework.checker.index.upperbound: An offset equation is 2 sets of Java expression strings, one set of added terms and one set of subtracted terms, and a single integer constant.
ONE - Static variable in class org.checkerframework.checker.index.upperbound.OffsetEquation
Opt - Class in org.checkerframework.checker.nullness: Utility class for the Nullness Checker, providing every method in Optional, but written for possibly-null references rather than for the Optional type.
OptionalChecker - Class in org.checkerframework.checker.optional: A type-checker that prevents misuse of the Optional class.
OptionalChecker() - Constructor for class org.checkerframework.checker.optional.OptionalChecker
OptionalVisitor - Class in org.checkerframework.checker.optional: The OptionalVisitor enforces the Optional Checker rules.
OptionalVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.optional.OptionalVisitor: Create an OptionalVisitor.
orElse(T, T) - Static method in class org.checkerframework.checker.nullness.Opt: Return primary if it is non-null.
orElseGet(T, Supplier<? extends T>) - Static method in class org.checkerframework.checker.nullness.Opt: Return primary if it is non-null.
orElseThrow(T, Supplier<? extends X>) - Static method in class org.checkerframework.checker.nullness.Opt: Return primary if it is non-null.
org.checkerframework.checker.compilermsgs - package org.checkerframework.checker.compilermsgs
org.checkerframework.checker.compilermsgs.qual - package org.checkerframework.checker.compilermsgs.qual: Qualifiers for the Compiler Message Key Checker.
org.checkerframework.checker.fenum - package org.checkerframework.checker.fenum: The implementation of the Fake Enum Checker.
org.checkerframework.checker.fenum.qual - package org.checkerframework.checker.fenum.qual
org.checkerframework.checker.formatter - package org.checkerframework.checker.formatter
org.checkerframework.checker.formatter.qual - package org.checkerframework.checker.formatter.qual
org.checkerframework.checker.guieffect - package org.checkerframework.checker.guieffect
org.checkerframework.checker.guieffect.qual - package org.checkerframework.checker.guieffect.qual
org.checkerframework.checker.i18n - package org.checkerframework.checker.i18n
org.checkerframework.checker.i18n.qual - package org.checkerframework.checker.i18n.qual
org.checkerframework.checker.i18nformatter - package org.checkerframework.checker.i18nformatter
org.checkerframework.checker.i18nformatter.qual - package org.checkerframework.checker.i18nformatter.qual
org.checkerframework.checker.index - package org.checkerframework.checker.index
org.checkerframework.checker.index.inequality - package org.checkerframework.checker.index.inequality
org.checkerframework.checker.index.lowerbound - package org.checkerframework.checker.index.lowerbound
org.checkerframework.checker.index.qual - package org.checkerframework.checker.index.qual
org.checkerframework.checker.index.samelen - package org.checkerframework.checker.index.samelen
org.checkerframework.checker.index.searchindex - package org.checkerframework.checker.index.searchindex
org.checkerframework.checker.index.substringindex - package org.checkerframework.checker.index.substringindex
org.checkerframework.checker.index.upperbound - package org.checkerframework.checker.index.upperbound
org.checkerframework.checker.initialization - package org.checkerframework.checker.initialization
org.checkerframework.checker.initialization.qual - package org.checkerframework.checker.initialization.qual
org.checkerframework.checker.interning - package org.checkerframework.checker.interning: Provides a type-checker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.
org.checkerframework.checker.interning.qual - package org.checkerframework.checker.interning.qual
org.checkerframework.checker.lock - package org.checkerframework.checker.lock
org.checkerframework.checker.lock.qual - package org.checkerframework.checker.lock.qual
org.checkerframework.checker.nullness - package org.checkerframework.checker.nullness
org.checkerframework.checker.nullness.qual - package org.checkerframework.checker.nullness.qual
org.checkerframework.checker.optional - package org.checkerframework.checker.optional
org.checkerframework.checker.optional.qual - package org.checkerframework.checker.optional.qual
org.checkerframework.checker.propkey - package org.checkerframework.checker.propkey
org.checkerframework.checker.propkey.qual - package org.checkerframework.checker.propkey.qual
org.checkerframework.checker.regex - package org.checkerframework.checker.regex
org.checkerframework.checker.regex.qual - package org.checkerframework.checker.regex.qual
org.checkerframework.checker.signature - package org.checkerframework.checker.signature
org.checkerframework.checker.signature.qual - package org.checkerframework.checker.signature.qual
org.checkerframework.checker.signedness - package org.checkerframework.checker.signedness
org.checkerframework.checker.signedness.qual - package org.checkerframework.checker.signedness.qual
org.checkerframework.checker.tainting - package org.checkerframework.checker.tainting
org.checkerframework.checker.tainting.qual - package org.checkerframework.checker.tainting.qual
org.checkerframework.checker.units - package org.checkerframework.checker.units
org.checkerframework.checker.units.qual - package org.checkerframework.checker.units.qual

P

PartialRegex - Annotation Type in org.checkerframework.checker.regex.qual: Indicates a String that is not a syntactically valid regular expression.
PARTIALREGEX - Variable in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
plusOffset(Node, UpperBoundAnnotatedTypeFactory) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Adds node as an offset to a copy of this qualifier.
plusOffset(int) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Adds value as an offset to a copy of this qualifier.
plusOffset(Node, UpperBoundAnnotatedTypeFactory) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier: Add the node as an offset to a copy of this qualifier.
plusOffset(int) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
POLY - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: The canonical @PolyLowerBound annotation.
POLY - Variable in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
PolyFenum - Annotation Type in org.checkerframework.checker.fenum.qual: A polymorphic qualifier for the fake enum type system.
PolyIndex - Annotation Type in org.checkerframework.checker.index.qual: A polymorphic qualifier for the Lower Bound and Upper Bound type systems.
PolyInterned - Annotation Type in org.checkerframework.checker.interning.qual: A polymorphic qualifier for the Interning type system.
PolyKeyFor - Annotation Type in org.checkerframework.checker.nullness.qual: A polymorphic qualifier for the Map Key (@KeyFor) type system.
PolyLength - Annotation Type in org.checkerframework.checker.index.qual: Syntactic sugar for both @PolyValue and @PolySameLen.
PolyLowerBound - Annotation Type in org.checkerframework.checker.index.qual: A polymorphic qualifier for the Lower Bound type system.
POLYNULL - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory: Annotation constants.
PolyNull - Annotation Type in org.checkerframework.checker.nullness.qual: A polymorphic qualifier for the non-null type system.
PolyPresent - Annotation Type in org.checkerframework.checker.optional.qual: A polymorphic qualifier for the Optional type system.
PolyRaw - Annotation Type in org.checkerframework.checker.nullness.qual: A polymorphic qualifier for the Rawness type system.
PolyRegex - Annotation Type in org.checkerframework.checker.regex.qual: A polymorphic qualifier for the Regex type system.
POLYREGEX - Variable in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
PolySameLen - Annotation Type in org.checkerframework.checker.index.qual: A polymorphic qualifier for the SameLen type system.
PolySignature - Annotation Type in org.checkerframework.checker.signature.qual: A polymorphic qualifier for the Signature type system.
PolySigned - Annotation Type in org.checkerframework.checker.signedness.qual: A polymorphic qualifier for the signedness type system.
PolyTainted - Annotation Type in org.checkerframework.checker.tainting.qual: A polymorphic qualifier for the Tainting type system.
PolyUI - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the polymorphic-UI effect.
PolyUIEffect - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the polymorphic effect on methods, or on field accesses.
PolyUIType - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the polymorphic type declaration.
PolyUnit - Annotation Type in org.checkerframework.checker.units.qual: A polymorphic qualifier for the units-of-measure type system implemented by the Units Checker.
PolyUpperBound - Annotation Type in org.checkerframework.checker.index.qual: A polymorphic qualifier for the Upper Bound type system.
POS - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: The canonical @Positive annotation.
POS - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer: The canonical Positive annotation.
Positive - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer greater than or equal to 1.
postAsMemberOf(AnnotatedTypeMirror, AnnotatedTypeMirror, Element) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
Prefix - Enum in org.checkerframework.checker.units.qual: SI prefixes.
Present - Annotation Type in org.checkerframework.checker.optional.qual: The Optional container definitely contains a (non-null) value.
processClassTree(ClassTree) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
processClassTree(ClassTree) - Method in class org.checkerframework.checker.interning.InterningVisitor: Method to implement the @UsesObjectEquals functionality.
processingEnv - Variable in class org.checkerframework.checker.formatter.FormatterTreeUtil
processingEnv - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
propagate(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType, KeyForPropagator.PropagationDirection, AnnotatedTypeFactory) - Method in class org.checkerframework.checker.nullness.KeyForPropagator: Propagate annotations from the type arguments of one type to another.
propagateNewClassTree(NewClassTree, AnnotatedTypeMirror, KeyForAnnotatedTypeFactory) - Method in class org.checkerframework.checker.nullness.KeyForPropagator: Propagate annotations from the type arguments of type to the assignment context of newClassTree if one exists.
PropertyKey - Annotation Type in org.checkerframework.checker.propkey.qual: Indicates that the String type can be used as key in a property file or resource bundle.
PropertyKeyAnnotatedTypeFactory - Class in org.checkerframework.checker.propkey: This AnnotatedTypeFactory adds PropertyKey annotations to String literals that contain values from lookupKeys.
PropertyKeyAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator - Class in org.checkerframework.checker.propkey: This TreeAnnotator checks for every String literal whether it is included in the lookup keys.
PropertyKeyBottom - Annotation Type in org.checkerframework.checker.propkey.qual: The bottom type in the PropertyKeyChecker (and associated checkers) qualifier hierarchy.
PropertyKeyChecker - Class in org.checkerframework.checker.propkey: A type-checker that checks that only valid keys are used to access property files and resource bundles.
PropertyKeyChecker() - Constructor for class org.checkerframework.checker.propkey.PropertyKeyChecker
putUnsigned(ByteBuffer, byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned byte into the ByteBuffer b.
putUnsigned(ByteBuffer, int, byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned byte into the ByteBuffer b at i.
putUnsigned(IntBuffer, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int into the IntBuffer b.
putUnsigned(IntBuffer, int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int into the IntBuffer b at i.
putUnsigned(IntBuffer, int[]) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int array into the IntBuffer b.
putUnsigned(IntBuffer, int[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int array into the IntBuffer b at i with length l.
putUnsignedInt(ByteBuffer, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int into the ByteBuffer b.
putUnsignedInt(ByteBuffer, int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int into the ByteBuffer b at i.
putUnsignedLong(ByteBuffer, int, long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned long into the ByteBuffer b at i.
putUnsignedShort(ByteBuffer, short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned short into the ByteBuffer b.
putUnsignedShort(ByteBuffer, int, short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned short into the ByteBuffer b at i.

R

rad - Static variable in class org.checkerframework.checker.units.UnitsTools
radians - Annotation Type in org.checkerframework.checker.units.qual: Radians.
Raw - Annotation Type in org.checkerframework.checker.nullness.qual: This type qualifier belongs to the rawness type-system for tracking initialization.
readFullyUnsigned(RandomAccessFile, byte[]) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads a file fully into an unsigned byte array.
readUnsigned(RandomAccessFile, byte[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads up to len bytes of data from this file into an unsigned array of bytes.
readUnsignedByte(RandomAccessFile) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads an unsigned byte from the RandomAccessFile f.
readUnsignedChar(RandomAccessFile) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads an unsigned char from the RandomAccessFile f.
readUnsignedInt(RandomAccessFile) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads an unsigned int from the RandomAccessFile f.
readUnsignedLong(RandomAccessFile) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads an unsigned long from the RandomAccessFile f.
readUnsignedShort(RandomAccessFile) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads an unsigned short from the RandomAccessFile f.
refineGT(Node, AnnotationMirror, Node, AnnotationMirror, CFStore, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.IndexAbstractTransfer
refineGT(Node, AnnotationMirror, Node, AnnotationMirror, CFStore, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.inequality.LessThanTransfer: Case 1.
refineGT(Node, AnnotationMirror, Node, AnnotationMirror, CFStore, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer: The implementation of the algorithm for refining a > test.
refineGT(Node, AnnotationMirror, Node, AnnotationMirror, CFStore, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.searchindex.SearchIndexTransfer
refineGT(Node, AnnotationMirror, Node, AnnotationMirror, CFStore, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundTransfer: Case 8: if x < y, and y has a type that is related to the length of an array, then x has the same type, with an offset that is one less.
refineGTE(Node, AnnotationMirror, Node, AnnotationMirror, CFStore, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.IndexAbstractTransfer
refineGTE(Node, AnnotationMirror, Node, AnnotationMirror, CFStore, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.inequality.LessThanTransfer: Case 2.
refineGTE(Node, AnnotationMirror, Node, AnnotationMirror, CFStore, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer: Refines left to exactly the level of right, since in the worst case they're equal.
refineGTE(Node, AnnotationMirror, Node, AnnotationMirror, CFStore, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.searchindex.SearchIndexTransfer
refineGTE(Node, AnnotationMirror, Node, AnnotationMirror, CFStore, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundTransfer: Case 9: if x ≤ y, and y has a type that is related to the length of an array, then x has the same type.
Regex - Annotation Type in org.checkerframework.checker.regex.qual: If a type is annotated as @Regex(n), then the run-time value is a regular expression with n capturing groups.
REGEX - Variable in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
RegexAnnotatedTypeFactory - Class in org.checkerframework.checker.regex: Adds Regex to the type of tree, in the following cases:
a String or char literal that is a valid regular expression
concatenation of two valid regular expression values (either String or char) or two partial regular expression values that make a valid regular expression when concatenated.
RegexAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
RegexBottom - Annotation Type in org.checkerframework.checker.regex.qual: The bottom type in the Regex type system.
REGEXBOTTOM - Variable in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
RegexChecker - Class in org.checkerframework.checker.regex: A type-checker plug-in for the Regex qualifier that finds syntactically invalid regular expressions.
RegexChecker() - Constructor for class org.checkerframework.checker.regex.RegexChecker
regexError(String) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns null if the argument is a syntactically valid regular expression.
regexError(String, int) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns null if the argument is a syntactically valid regular expression with at least the given number of groups.
regexException(String) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns null if the argument is a syntactically valid regular expression.
regexException(String, int) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns null if the argument is a syntactically valid regular expression with at least the given number of groups.
RegexTransfer - Class in org.checkerframework.checker.regex: The transfer function for the Regex Checker.
RegexTransfer(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Constructor for class org.checkerframework.checker.regex.RegexTransfer: Create the transfer function for the Regex Checker.
RegexUtil - Class in org.checkerframework.checker.regex: Utility methods for regular expressions, most notably for testing whether a string is a regular expression.
RegexUtil.CheckedPatternSyntaxException - Exception in org.checkerframework.checker.regex: A checked version of PatternSyntaxException.
regexValueElement - Variable in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
RegexVisitor - Class in org.checkerframework.checker.regex: A type-checking visitor for the Regex type system.
RegexVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.regex.RegexVisitor
ReleasesNoLocks - Annotation Type in org.checkerframework.checker.lock.qual: The method maintains a strictly nondecreasing lock held count on the current thread for any locks that were held prior to the method call.
removeOffset(String, int) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Generates a new UBQualifer without the given sequence and offset.
removePrefix(Elements, AnnotationMirror) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Removes the prefix value from an Annotation, by constructing and returning a copy of its base SI unit's Annotation.
removePrefix(Elements, AnnotatedTypeMirror) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools: Removes the Prefix value from an Annotated Type, by constructing and returning a copy of the Annotated Type without the prefix.
removeSequenceLengthAccess(List<String>) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Returns a copy of this qualifier with sequence-offset pairs where in the original the offset contains an access of an sequence length in sequences.
removeSequenceLengthAccessAndNeg1(List<String>) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf: Returns a copy of this qualifier with sequence-offset pairs where in the original the offset contains an access of an sequence length in sequences.
removeSequenceLengths(List<String>) - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Makes a copy of this offset and removes any added terms that are accesses to the length of the listed sequences.
replacePolyQualifier(AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory: For types of left-hand side of an assignment, this method replaces PolyNull or PolyAll with Nullable if the org.checkerframework.dataflow analysis has determined that this is allowed soundly.
RequiresNonNull - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked.
Result(E, ExpressionTree) - Constructor for class org.checkerframework.checker.formatter.FormatterTreeUtil.Result
ReturnsFormat - Annotation Type in org.checkerframework.checker.formatter.qual: Attach this annotation to a method with the following properties: The first parameter is a format string.
right - Variable in class org.checkerframework.checker.index.IndexRefinementInfo
rightAnno - Variable in class org.checkerframework.checker.index.IndexRefinementInfo: Annotation for left and right expressions.

S

s - Annotation Type in org.checkerframework.checker.units.qual: A second (1/60 of a minute).
s - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault: SI units.
s - Static variable in class org.checkerframework.checker.units.UnitsTools
SafeEffect - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the concrete safe effect on methods, or on field accesses.
SafeType - Annotation Type in org.checkerframework.checker.guieffect.qual: Class declaration annotation to make methods default to @AlwaysSafe.
SameLen - Annotation Type in org.checkerframework.checker.index.qual: An expression whose type has this annotation evaluates to a value that is a sequence, and that sequence has the same length as the given sequences.
SameLenAnnotatedTypeFactory - Class in org.checkerframework.checker.index.samelen: The SameLen Checker is used to determine whether there are multiple fixed-length sequences (such as arrays or strings) in a program that share the same length.
SameLenAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory: Handles case 1.
SameLenAnnotatedTypeFactory.SameLenTreeAnnotator - Class in org.checkerframework.checker.index.samelen: SameLen needs a tree annotator in order to properly type the right side of assignments of new arrays that are initialized with the length of another array.
sameLenAnnotationFromTree(Tree) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory: Queries the SameLen Checker to return the type that the SameLen Checker associates with the given tree.
SameLenBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type in the SameLen type system.
SameLenChecker - Class in org.checkerframework.checker.index.samelen: An internal checker that collects information about the arrays that have the same length.
SameLenChecker() - Constructor for class org.checkerframework.checker.index.samelen.SameLenChecker
SameLenTransfer - Class in org.checkerframework.checker.index.samelen: The transfer function for the SameLen checker.
SameLenTransfer(CFAnalysis) - Constructor for class org.checkerframework.checker.index.samelen.SameLenTransfer
SameLenTreeAnnotator(SameLenAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory.SameLenTreeAnnotator
SameLenUnknown - Annotation Type in org.checkerframework.checker.index.qual: This type represents any variable that isn't known to have the same length as another sequence.
SameLenVisitor - Class in org.checkerframework.checker.index.samelen
SameLenVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.samelen.SameLenVisitor
SearchIndexAnnotatedTypeFactory - Class in org.checkerframework.checker.index.searchindex: The Search Index Checker is used to help type the results of calls to the JDK's binary search methods.
SearchIndexAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
SearchIndexBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type in the Search Index type system.
SearchIndexChecker - Class in org.checkerframework.checker.index.searchindex: An internal checker that assists the Index Checker in typing the results of calls to the JDK's Arrays.binarySearch routine.
SearchIndexChecker() - Constructor for class org.checkerframework.checker.index.searchindex.SearchIndexChecker
SearchIndexFor - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer whose length is between -a.length - 1 and a.length - 1, inclusive, for all sequences a listed in the annotation.
SearchIndexTransfer - Class in org.checkerframework.checker.index.searchindex: The transfer function for the SearchIndexFor checker.
SearchIndexTransfer(CFAnalysis) - Constructor for class org.checkerframework.checker.index.searchindex.SearchIndexTransfer
SearchIndexUnknown - Annotation Type in org.checkerframework.checker.index.qual: The top type for the SearchIndex type system.
SELF_RECEIVER_PATTERN - Static variable in class org.checkerframework.checker.lock.LockVisitor
setInConstructorOrInitializer() - Method in class org.checkerframework.checker.lock.LockStore
setPolyNullNull(boolean) - Method in class org.checkerframework.checker.nullness.NullnessStore
setRoot(CompilationUnitTree) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
setSelfTypeInInitializationCode(Tree, AnnotatedTypeMirror.AnnotatedDeclaredType, TreePath) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Side-effects argument selfType to make it @Initialized or @UnderInitialization, depending on whether all fields have been set.
setUnsignedRGB(BufferedImage, int, int, int, int, int[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtilExtra: Sets rgb of BufferedImage b given unsigned ints.
shortFromDouble(double) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned short representing the same value as the double.
shortFromFloat(float) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned short representing the same value as the float.
shouldSkipUses(String) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundChecker
shouldSkipUses(String) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundChecker
shouldUseInAnnotation(FlowExpressions.Receiver) - Static method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
SIDEEFFECTFREE - Variable in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory: Annotation constants.
SIGNATURE_UNKNOWN - Variable in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory: @SignatureUnknown annotation.
SignatureAnnotatedTypeFactory - Class in org.checkerframework.checker.signature: Accounts for the effects of certain calls to String.replace.
SignatureAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory: Creates a SignatureAnnotatedTypeFactory.
SignatureBottom - Annotation Type in org.checkerframework.checker.signature.qual: The bottom type in the Signature String type system.
SignatureChecker - Class in org.checkerframework.checker.signature
SignatureChecker() - Constructor for class org.checkerframework.checker.signature.SignatureChecker
SignatureUnknown - Annotation Type in org.checkerframework.checker.signature.qual: Top qualifier in the type hierarchy.
Signed - Annotation Type in org.checkerframework.checker.signedness.qual: The value is to be interpreted as signed.
SignednessAnnotatedTypeFactory - Class in org.checkerframework.checker.signedness
SignednessAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
SignednessBottom - Annotation Type in org.checkerframework.checker.signedness.qual: The bottom type in the Unsigned type system.
SignednessChecker - Class in org.checkerframework.checker.signedness: A type-checker that prevents mixing of unsigned and signed values, and prevents meaningless operations on unsigned values.
SignednessChecker() - Constructor for class org.checkerframework.checker.signedness.SignednessChecker
SignednessUtil - Class in org.checkerframework.checker.signedness: Provides static utility methods for unsigned values.
SignednessUtilExtra - Class in org.checkerframework.checker.signedness: Provides more static utility methods for unsigned values.
SignednessVisitor - Class in org.checkerframework.checker.signedness: The SignednessVisitor enforces the Signedness Checker rules.
SignednessVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.signedness.SignednessVisitor
skipBlocks(StatementTree) - Static method in class org.checkerframework.checker.optional.OptionalVisitor: If the given tree is a block tree with a single element, return the enclosed non-block statement.
skipReceiverSubtypeCheck(MethodInvocationTree, AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.lock.LockVisitor: When visiting a method call, if the receiver formal parameter has type @GuardSatisfied and the receiver actual parameter has type @GuardedBy(...), this method verifies that the guard is satisfied, and it returns true, indicating that the receiver subtype check should be skipped.
Speed - Annotation Type in org.checkerframework.checker.units.qual: Units of speed.
standardizeAndViewpointAdaptExpressions(FlowExpressionParseUtil.FlowExpressionContext, TreePath, boolean) - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation: Standardizes and viewpoint-adapts the string terms based us the supplied context.
standardizeString(String, FlowExpressionParseUtil.FlowExpressionContext, TreePath, boolean) - Method in class org.checkerframework.checker.index.OffsetDependentTypesHelper
strengthenAnnotationOfEqualTo(TransferResult<CFValue, CFStore>, Node, Node, CFValue, CFValue, boolean) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer: Implements the transfer rules for both equal nodes and not-equals nodes (i.e.
strengthenAnnotationOfEqualTo(TransferResult<CFValue, CFStore>, Node, Node, CFValue, CFValue, boolean) - Method in class org.checkerframework.checker.index.samelen.SameLenTransfer: Implements the transfer rules for both equal nodes and not-equals nodes.
strengthenAnnotationOfEqualTo(TransferResult<CFValue, CFStore>, Node, Node, CFValue, CFValue, boolean) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundTransfer: Implements case 11.
strengthenAnnotationOfEqualTo(TransferResult<NullnessValue, NullnessStore>, Node, Node, NullnessValue, NullnessValue, boolean) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
strings - Variable in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory
stringToI18nConversionCategory(String) - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Creates a conversion cagetogry from a string name.
Subsequence - Class in org.checkerframework.checker.index: Holds information from HasSubsequence annotations.
Substance - Annotation Type in org.checkerframework.checker.units.qual: Units of substance, such as mole (@mol).
SubstringIndexAnnotatedTypeFactory - Class in org.checkerframework.checker.index.substringindex: Builds types with annotations from the Substring Index checker hierarchy, which contains the @SubstringIndexFor annotation.
SubstringIndexAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory
SubstringIndexBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type in the Substring Index type system.
SubstringIndexChecker - Class in org.checkerframework.checker.index.substringindex: The Substring Index Checker is an internal checker that assists the Index Checker in typing the results of calls to the JDK's String.indexOf and String.lastIndexOf routines.
SubstringIndexChecker() - Constructor for class org.checkerframework.checker.index.substringindex.SubstringIndexChecker
SubstringIndexFor - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to either -1 or a non-negative integer less than the lengths of all the given sequences.
SubstringIndexUnknown - Annotation Type in org.checkerframework.checker.index.qual: The top type for the Substring Index type system.
supersetOf(CFAbstractStore<V, S>) - Method in class org.checkerframework.checker.initialization.InitializationStore
supersetOf(CFAbstractStore<NullnessValue, NullnessStore>) - Method in class org.checkerframework.checker.nullness.NullnessStore
SwingBoxOrientation - Annotation Type in org.checkerframework.checker.fenum.qual
SwingCompassDirection - Annotation Type in org.checkerframework.checker.fenum.qual
SwingElementOrientation - Annotation Type in org.checkerframework.checker.fenum.qual
SwingHorizontalOrientation - Annotation Type in org.checkerframework.checker.fenum.qual
SwingSplitPaneOrientation - Annotation Type in org.checkerframework.checker.fenum.qual
SwingTextOrientation - Annotation Type in org.checkerframework.checker.fenum.qual
SwingTitleJustification - Annotation Type in org.checkerframework.checker.fenum.qual: Vertical orientations for the title text of a TitledBorder.
SwingTitlePosition - Annotation Type in org.checkerframework.checker.fenum.qual: Justifications for the title text of a TitledBorder.
SwingVerticalOrientation - Annotation Type in org.checkerframework.checker.fenum.qual
systemGetProperty - Variable in class org.checkerframework.checker.nullness.SystemGetPropertyHandler
systemGetPropertyHandler - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
SystemGetPropertyHandler - Class in org.checkerframework.checker.nullness: Utility class for handling System.getProperty(String) invocations.
SystemGetPropertyHandler(ProcessingEnvironment, NullnessAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.nullness.SystemGetPropertyHandler

T

Tainted - Annotation Type in org.checkerframework.checker.tainting.qual: Denotes a possibly-tainted value: at run time, the value might be tainted or might be untainted.
TaintingChecker - Class in org.checkerframework.checker.tainting: A type-checker plug-in for the Tainting type system qualifier that finds (and verifies the absence of) trust bugs.
TaintingChecker() - Constructor for class org.checkerframework.checker.tainting.TaintingChecker
Temperature - Annotation Type in org.checkerframework.checker.units.qual: Units of temperature.
thenStore - Variable in class org.checkerframework.checker.index.IndexRefinementInfo
Time - Annotation Type in org.checkerframework.checker.units.qual: Units of time.
to - Variable in class org.checkerframework.checker.index.Subsequence: Last index of the subsequence in the backing sequence.
toDegrees(double) - Static method in class org.checkerframework.checker.units.UnitsTools
toDouble(byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a double representing the same value as the unsigned byte.
toDouble(short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a double representing the same value as the unsigned short.
toDouble(int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a double representing the same value as the unsigned int.
toDouble(long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a double representing the same value as the unsigned long.
toFloat(byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a float representing the same value as the unsigned byte.
toFloat(short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a float representing the same value as the unsigned short.
toFloat(int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a float representing the same value as the unsigned int.
toFloat(long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a float representing the same value as the unsigned long.
TOP - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
toRadians(double) - Static method in class org.checkerframework.checker.units.UnitsTools
toString() - Method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns a pretty printed ConversionCategory.
toString() - Method in class org.checkerframework.checker.guieffect.Effect
toString() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall
toString() - Method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns a pretty printed I18nConversionCategory.
toString() - Method in class org.checkerframework.checker.index.Subsequence
toString() - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation
toString() - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
toString() - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundUnknownQualifier
toUnsignedInt(short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned int representing the same value as an unsigned short.
toUnsignedInt(byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned int representing the same value as an unsigned byte.
toUnsignedInt(char) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned int representing the same value as an unsigned char.
toUnsignedLong(int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned long representing the same value as an unsigned int.
toUnsignedLong(short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned long representing the same value as an unsigned short.
toUnsignedLong(byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned long representing the same value as an unsigned byte.
toUnsignedLong(char) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned long representing the same value as an unsigned char.
toUnsignedShort(byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned short representing the same value as an unsigned byte.
toUnsignedShort(char) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned short representing the same value as an unsigned char.
toUnsignedString(long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned long l.
toUnsignedString(long, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned long l in base radix.
toUnsignedString(int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned int i.
toUnsignedString(int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned int i in base radix.
toUnsignedString(short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned short s.
toUnsignedString(short, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned short s in base radix.
toUnsignedString(byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned byte b.
toUnsignedString(byte, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned byte b in base radix.
translations - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
treeUtil - Variable in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
treeUtil - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
tryFormatSatisfiability(String) - Static method in class org.checkerframework.checker.formatter.FormatUtil: Throws an exception if the format is not syntactically valid.
tryFormatSatisfiability(String) - Static method in class org.checkerframework.checker.i18nformatter.I18nFormatUtil: Throws an exception if the format is not syntactically valid.
types - Variable in enum org.checkerframework.checker.formatter.qual.ConversionCategory
types - Variable in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory

U

UBQualifier - Class in org.checkerframework.checker.index.upperbound: Abstraction for Upper Bound annotations.
UBQualifier() - Constructor for class org.checkerframework.checker.index.upperbound.UBQualifier
UBQualifier.LessThanLengthOf - Class in org.checkerframework.checker.index.upperbound
UBQualifier.UpperBoundUnknownQualifier - Class in org.checkerframework.checker.index.upperbound
UI - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the UI effect.
uiAnonClasses - Variable in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory: Keeps track of all anonymous inner classes with inferred UIEffect.
UIEffect - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the concrete UI effect on methods, or on field accesses.
uiLambdas - Variable in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory: Keeps track of all lambda expressions with inferred UIEffect.
UIPackage - Annotation Type in org.checkerframework.checker.guieffect.qual: Package annotation to make all classes within a package @UIType.
UIType - Annotation Type in org.checkerframework.checker.guieffect.qual: Class declaration annotation to make methods default to @UI.
UNCLASSIFIED - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: UnknownInitialization or Raw.
UnderInitialization - Annotation Type in org.checkerframework.checker.initialization.qual: This type qualifier indicates that an object is (definitely) in the process of being constructed/initialized.
union(ConversionCategory, ConversionCategory) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns the union of two categories.
union(I18nConversionCategory, I18nConversionCategory) - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns the union of the two given I18nConversionCategories.
UnitsAnnotatedTypeFactory - Class in org.checkerframework.checker.units: Annotated type factory for the Units Checker.
UnitsAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
UnitsAnnotatedTypeFactory.UnitsQualifierHierarchy - Class in org.checkerframework.checker.units: Qualifier Hierarchy for the Units Checker.
UnitsAnnotatedTypeFormatter - Class in org.checkerframework.checker.units
UnitsAnnotatedTypeFormatter(BaseTypeChecker) - Constructor for class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter - Class in org.checkerframework.checker.units: Format the error printout of any units qualifier that uses Prefix.one.
UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor - Class in org.checkerframework.checker.units
UnitsAnnotationClassLoader - Class in org.checkerframework.checker.units
UnitsAnnotationClassLoader(BaseTypeChecker) - Constructor for class org.checkerframework.checker.units.UnitsAnnotationClassLoader
UnitsAnnotationFormatter(BaseTypeChecker) - Constructor for class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
UnitsBottom - Annotation Type in org.checkerframework.checker.units.qual: The bottom type in the Units type system.
UnitsChecker - Class in org.checkerframework.checker.units: Units Checker main class.
UnitsChecker() - Constructor for class org.checkerframework.checker.units.UnitsChecker
UnitsFormattingVisitor(BaseTypeChecker, AnnotationFormatter, boolean, boolean) - Constructor for class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
UnitsMultiple - Annotation Type in org.checkerframework.checker.units.qual: Define the relation between a base unit and the current unit.
UnitsQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory, AnnotationMirror) - Constructor for class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory.UnitsQualifierHierarchy: Constructor.
UnitsRelations - Annotation Type in org.checkerframework.checker.units.qual: Specify the class that knows how to handle the meta-annotated unit when put in relation (plus, multiply, ...) with another unit.
UnitsRelations - Interface in org.checkerframework.checker.units: Interface that is used to specify the relation between units.
UnitsRelationsDefault - Class in org.checkerframework.checker.units: Default relations between SI units.
UnitsRelationsDefault() - Constructor for class org.checkerframework.checker.units.UnitsRelationsDefault
UnitsRelationsTools - Class in org.checkerframework.checker.units: A helper class for UnitsRelations, providing numerous methods which help process Annotations and Annotated Types representing various units.
UnitsRelationsTools() - Constructor for class org.checkerframework.checker.units.UnitsRelationsTools
UnitsTools - Class in org.checkerframework.checker.units: Utility methods to generate annotated types and to convert between them.
UnitsTools() - Constructor for class org.checkerframework.checker.units.UnitsTools
UnitsVisitor - Class in org.checkerframework.checker.units: Units visitor.
UnitsVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.units.UnitsVisitor
UNKNOWN - Variable in class org.checkerframework.checker.index.inequality.LessThanAnnotatedTypeFactory
UNKNOWN - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory: The canonical @LowerBoundUnknown annotation.
UNKNOWN - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer: The canonical LowerBoundUnknown annotation.
UNKNOWN - Variable in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
UNKNOWN - Variable in class org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
UNKNOWN - Variable in class org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory: The top qualifier of the Substring Index hierarchy.
UNKNOWN - Variable in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
UnknownCompilerMessageKey - Annotation Type in org.checkerframework.checker.compilermsgs.qual: Indicates that the String type has an unknown compiler message key property.
UNKNOWNFORMAT - Variable in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
UnknownFormat - Annotation Type in org.checkerframework.checker.formatter.qual: The top qualifier.
UnknownInitialization - Annotation Type in org.checkerframework.checker.initialization.qual: This type qualifier indicates how much of an object has been fully initialized.
UnknownInterned - Annotation Type in org.checkerframework.checker.interning.qual: The top qualifier for the Interning Checker.
UNKNOWNKEYFOR - Variable in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory: The types in the KeyFor hierarchy.
UnknownKeyFor - Annotation Type in org.checkerframework.checker.nullness.qual: Used internally by the type system; should never be written by a programmer.
UnknownLocalizableKey - Annotation Type in org.checkerframework.checker.i18n.qual: Indicates that the String type has an unknown localizable key property.
UnknownLocalized - Annotation Type in org.checkerframework.checker.i18n.qual: Indicates that the String type has unknown localization properties.
UnknownPropertyKey - Annotation Type in org.checkerframework.checker.propkey.qual: Indicates that the String type has an unknown property key property.
UnknownRegex - Annotation Type in org.checkerframework.checker.regex.qual: Represents the top of the Regex qualifier hierarchy.
UnknownSignedness - Annotation Type in org.checkerframework.checker.signedness.qual: The value's signedness is not known to the Signedness Checker.
UnknownUnits - Annotation Type in org.checkerframework.checker.units.qual: UnknownUnits is the top type of the type hierarchy.
Unsigned - Annotation Type in org.checkerframework.checker.signedness.qual: The value is to be interpreted as unsigned.
Untainted - Annotation Type in org.checkerframework.checker.tainting.qual: Denotes a reference that is untainted, i.e.
updateForMethodCall(MethodInvocationNode, AnnotatedTypeFactory, V) - Method in class org.checkerframework.checker.initialization.InitializationStore
updateForMethodCall(MethodInvocationNode, AnnotatedTypeFactory, CFValue) - Method in class org.checkerframework.checker.lock.LockStore
UpperBoundAnnotatedTypeFactory - Class in org.checkerframework.checker.index.upperbound: Implements the introduction rules for the Upper Bound Checker.
UpperBoundAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
UpperBoundAnnotatedTypeFactory.UpperBoundQualifierHierarchy - Class in org.checkerframework.checker.index.upperbound: The qualifier hierarchy for the upperbound type system.
UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator - Class in org.checkerframework.checker.index.upperbound
UpperBoundBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type in the Upper Bound type system.
UpperBoundChecker - Class in org.checkerframework.checker.index.upperbound: A type-checker for preventing arrays from being accessed with values that are too high.
UpperBoundChecker() - Constructor for class org.checkerframework.checker.index.upperbound.UpperBoundChecker
UpperBoundQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Constructor for class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundQualifierHierarchy
UpperBoundTransfer - Class in org.checkerframework.checker.index.upperbound: Contains the transfer functions for the upper bound type system, a part of the Index Checker.
UpperBoundTransfer(CFAnalysis) - Constructor for class org.checkerframework.checker.index.upperbound.UpperBoundTransfer
UpperBoundTreeAnnotator(UpperBoundAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator
UpperBoundUnknown - Annotation Type in org.checkerframework.checker.index.qual: A variable not known to have a relation to any sequence length.
UpperBoundVisitor - Class in org.checkerframework.checker.index.upperbound: Warns about array accesses that could be too high.
UpperBoundVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.index.upperbound.UpperBoundVisitor
useFbc - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory: Should the initialization type system be FBC? If not, the rawness type system is used for initialization.
useFbc - Variable in class org.checkerframework.checker.initialization.InitializationChecker: Should the initialization type system be FBC? If not, the rawness type system is used for initialization.
UsesObjectEquals - Annotation Type in org.checkerframework.checker.interning.qual: Class declaration to indicate the class does not override equals(Object), and therefore a.equals(b) and a == b behave identically.

V

value() - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil.Result
valueOf(String) - Static method in enum org.checkerframework.checker.formatter.FormatterTreeUtil.InvocationType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.FormatType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.checker.nullness.KeyForPropagator.PropagationDirection: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.checker.units.qual.Prefix: Returns the enum constant of this type with the specified name.
values() - Static method in enum org.checkerframework.checker.formatter.FormatterTreeUtil.InvocationType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.FormatType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.checker.nullness.KeyForPropagator.PropagationDirection: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.checker.units.qual.Prefix: Returns an array containing the constants of this enum type, in the order they are declared.
visitAnnotation(AnnotationTree, Void) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundVisitor: Warns about LTLengthOf annotations with arguments whose lengths do not match.
visitAnnotation(AnnotationTree, Void) - Method in class org.checkerframework.checker.lock.LockVisitor
visitArrayAccess(ArrayAccessTree, Void) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundVisitor
visitArrayAccess(ArrayAccessTree, Void) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundVisitor: When the visitor reaches an array access, it needs to check a couple of things.
visitArrayAccess(ArrayAccessTree, Void) - Method in class org.checkerframework.checker.lock.LockVisitor
visitArrayAccess(ArrayAccessNode, TransferInput<NullnessValue, NullnessStore>) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
visitArrayAccess(ArrayAccessTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor: Case 3: Check for array dereferencing.
visitAssert(AssertTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
visitAssignment(AssignmentNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.samelen.SameLenTransfer: Handles case 1.
visitAssignment(AssignmentNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundTransfer: Case 1: Refine the type of expressions used as an array dimension to be less than length of the array to which the new array is assigned.
visitAssignment(AssignmentNode, TransferInput<V, S>) - Method in class org.checkerframework.checker.initialization.InitializationTransfer
visitBinary(BinaryTree, Void) - Method in class org.checkerframework.checker.fenum.FenumVisitor
visitBinary(BinaryTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator
visitBinary(BinaryTree, Void) - Method in class org.checkerframework.checker.interning.InterningVisitor: Checks comparison operators, == and !=, for INTERNING violations.
visitBinary(BinaryTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.lock.LockTreeAnnotator
visitBinary(BinaryTree, Void) - Method in class org.checkerframework.checker.lock.LockVisitor
visitBinary(BinaryTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator
visitBinary(BinaryTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
visitBinary(BinaryTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor: Case 6: Check for redundant nullness tests Case 7: unboxing case: primitive operations.
visitBinary(BinaryTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator
visitBinary(BinaryTree, Void) - Method in class org.checkerframework.checker.signedness.SignednessVisitor: Enforces the following rules on binary operations involving Unsigned and Signed types: Do not allow any Unsigned types in {/, %} operations.
visitBitwiseAnd(BitwiseAndNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
visitCase(CaseNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundTransfer
visitCompoundAssignment(CompoundAssignmentTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator
visitCompoundAssignment(CompoundAssignmentTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.lock.LockTreeAnnotator
visitCompoundAssignment(CompoundAssignmentTree, Void) - Method in class org.checkerframework.checker.lock.LockVisitor
visitCompoundAssignment(CompoundAssignmentTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
visitCompoundAssignment(CompoundAssignmentTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor: Case 7: unboxing case: primitive operation.
visitCompoundAssignment(CompoundAssignmentTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator
visitCompoundAssignment(CompoundAssignmentTree, Void) - Method in class org.checkerframework.checker.signedness.SignednessVisitor: Enforces the following rules on compound assignments involving Unsigned and Signed types: Do not allow any Unsigned types in {/=, %=} assignments.
visitCompoundAssignment(CompoundAssignmentTree, Void) - Method in class org.checkerframework.checker.units.UnitsVisitor
visitConditionalExpression(ConditionalExpressionTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
visitConditionalExpression(ConditionalExpressionTree, Void) - Method in class org.checkerframework.checker.optional.OptionalVisitor
visitDoWhileLoop(DoWhileLoopTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
visitEnhancedForLoop(EnhancedForLoopTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor: Case 2: Check for implicit .iterator call.
visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType, Void) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator
visitFieldAccess(FieldAccessNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundTransfer: If n is an array length field access, then the type of a.length is the glb of @LTEqLengthOf("a") and the value of a.length in the store.
visitFieldAccess(FieldAccessNode, TransferInput<V, S>) - Method in class org.checkerframework.checker.initialization.InitializationTransfer: If an invariant field is initialized and has the invariant annotation, than it has at least the invariant annotation.
visitFieldAccess(FieldAccessNode, TransferInput<NullnessValue, NullnessStore>) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
visitForLoop(ForLoopTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
visitGreaterThan(GreaterThanNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.IndexAbstractTransfer
visitGreaterThan(GreaterThanNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.regex.RegexTransfer
visitGreaterThanOrEqual(GreaterThanOrEqualNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.IndexAbstractTransfer
visitGreaterThanOrEqual(GreaterThanOrEqualNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.regex.RegexTransfer
visitIdentifier(IdentifierTree, Void) - Method in class org.checkerframework.checker.lock.LockVisitor
visitIdentifier(IdentifierTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
visitIf(IfTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
visitIf(IfTree, Void) - Method in class org.checkerframework.checker.optional.OptionalVisitor
visitInstanceOf(InstanceOfNode, TransferInput<NullnessValue, NullnessStore>) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
visitIntegerDivision(IntegerDivisionNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
visitIntegerRemainder(IntegerRemainderNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
visitLambdaExpression(LambdaExpressionTree, Void) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
visitLessThan(LessThanNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.IndexAbstractTransfer
visitLessThan(LessThanNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.regex.RegexTransfer
visitLessThanOrEqual(LessThanOrEqualNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.IndexAbstractTransfer
visitLessThanOrEqual(LessThanOrEqualNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.regex.RegexTransfer
visitLiteral(LiteralTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
visitLiteral(LiteralTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator
visitMemberSelect(MemberSelectTree, Void) - Method in class org.checkerframework.checker.lock.LockVisitor
visitMemberSelect(MemberSelectTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
visitMemberSelect(MemberSelectTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor: Case 1: Check for null dereferencing.
visitMethod(MethodTree, Void) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
visitMethod(MethodTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
visitMethod(MethodTree, Void) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
visitMethod(MethodTree, Void) - Method in class org.checkerframework.checker.lock.LockVisitor: Issues an error if a method (explicitly or implicitly) annotated with @MayReleaseLocks has a formal parameter or receiver (explicitly or implicitly) annotated with @GuardSatisfied.
visitMethodAccess(MethodAccessNode, TransferInput<NullnessValue, NullnessStore>) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
visitMethodInvocation(MethodInvocationNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.formatter.FormatterTransfer: Makes it so that the FormatUtil.asFormat(java.lang.String, org.checkerframework.checker.formatter.qual.ConversionCategory...) method returns a correctly annotated String.
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.checker.formatter.FormatterVisitor
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
visitMethodInvocation(MethodInvocationNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTransfer
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterVisitor
visitMethodInvocation(MethodInvocationTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator: This exists for Math.min and Random.nextInt, which must be special-cased.
visitMethodInvocation(MethodInvocationNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundTransfer: If n is a String.length() method invocation, then the type of s.length() is the glb of @LTEqLengthOf("s") and the value of s.length() in the store.
visitMethodInvocation(MethodInvocationNode, TransferInput<V, S>) - Method in class org.checkerframework.checker.initialization.InitializationTransfer
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.checker.interning.InterningVisitor: If lint option "dotequals" is specified, warn if the .equals method is used where reference equality is safe.
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.checker.lock.LockVisitor: When visiting a method invocation, issue an error if the side effect annotation on the called method causes the side effect guarantee of the enclosing method to be violated.
visitMethodInvocation(MethodInvocationNode, TransferInput<KeyForValue, KeyForStore>) - Method in class org.checkerframework.checker.nullness.KeyForTransfer
visitMethodInvocation(MethodInvocationNode, TransferInput<NullnessValue, NullnessStore>) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.checker.optional.OptionalVisitor
visitMethodInvocation(MethodInvocationNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.regex.RegexTransfer
visitMethodInvocation(MethodInvocationTree, Void) - Method in class org.checkerframework.checker.regex.RegexVisitor: Case 1: Don't require a Regex annotation on the String argument to Pattern.compile if the Pattern.LITERAL flag is passed.
visitNewArray(NewArrayTree, Void) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundVisitor
visitNewArray(NewArrayTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory.SameLenTreeAnnotator: Case 5.
visitNewArray(NewArrayTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
visitNewClass(NewClassTree, Void) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
visitNewClass(NewClassTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
visitNewClass(NewClassTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator: Transfers annotations to type if the left hand side is a variable declaration.
visitNewClass(NewClassTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
visitNewClass(NewClassTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
visitNull(AnnotatedTypeMirror.AnnotatedNullType, Set<AnnotatedTypeMirror>) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor
visitNumericalAddition(NumericalAdditionNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
visitNumericalAddition(NumericalAdditionNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundTransfer: If some Node a is known to be less than the length of some array, x, then, the type of a + b, is @LTLengthOf(value="x", offset="-b").
visitNumericalMultiplication(NumericalMultiplicationNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
visitNumericalSubtraction(NumericalSubtractionNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.inequality.LessThanTransfer: Case 3.
visitNumericalSubtraction(NumericalSubtractionNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
visitNumericalSubtraction(NumericalSubtractionNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundTransfer: If some Node a is known to be less than the length of some sequence x, then the type of a - b is @LTLengthOf(value="x", offset="b").
visitReturn(ReturnNode, TransferInput<NullnessValue, NullnessStore>) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
visitSignedRightShift(SignedRightShiftNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
visitSwitch(SwitchTree, Void) - Method in class org.checkerframework.checker.fenum.FenumVisitor
visitSwitch(SwitchTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
visitSynchronized(SynchronizedNode, TransferInput<CFValue, LockStore>) - Method in class org.checkerframework.checker.lock.LockTransfer
visitSynchronized(SynchronizedTree, Void) - Method in class org.checkerframework.checker.lock.LockVisitor: When visiting a synchronized block, issue an error if the expression has a type that implements the java.util.concurrent.locks.Lock interface.
visitSynchronized(SynchronizedTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor: Case 5: Check for synchronizing locks.
visitThrow(ThrowNode, TransferInput<NullnessValue, NullnessStore>) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
visitTypeCast(TypeCastTree, Void) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
visitTypeCast(TypeCastTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor: Case 7: unboxing case: casting to a primitive.
visitUnary(UnaryTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator
visitUnary(UnaryTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator
visitUnary(UnaryTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
visitUnary(UnaryTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor: Case 7: unboxing case: primitive operation.
visitUnsignedRightShift(UnsignedRightShiftNode, TransferInput<CFValue, CFStore>) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
visitVariable(VariableTree, Void) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
visitVariable(VariableTree, Void) - Method in class org.checkerframework.checker.lock.LockVisitor
visitVariable(VariableTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator: Transfers annotations to the variableTree if the right side is a call to java.util.Map.KeySet.
visitVariable(VariableTree, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
visitVariable(VariableTree, Void) - Method in class org.checkerframework.checker.optional.OptionalVisitor: Rule #6 (partial).
visitWhileLoop(WhileLoopTree, Void) - Method in class org.checkerframework.checker.nullness.NullnessVisitor

W

warning(FormatterTreeUtil.Result<E>, String, Object...) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil: Reports an warning.
warning(FormatterTreeUtil.Result<E>, String, Object...) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil: Reports an warning.
widenedUpperBound(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundQualifierHierarchy
widenUpperBound(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
widenUpperBound(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UBQualifier
wrapUnsigned(byte[]) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Wraps an unsigned byte array into a ByteBuffer.
wrapUnsigned(byte[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Wraps an unsigned byte array into a ByteBuffer.
writeUnsigned(RandomAccessFile, byte[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes len unsigned bytes to the RandomAccessFile f at offset off.
writeUnsignedByte(RandomAccessFile, byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes an unsigned byte to the RandomAccessFile f.
writeUnsignedChar(RandomAccessFile, char) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes an unsigned char to the RandomAccessFile f.
writeUnsignedInt(RandomAccessFile, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes an unsigned byte to the RandomAccessFile f.
writeUnsignedLong(RandomAccessFile, long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes an unsigned byte to the RandomAccessFile f.
writeUnsignedShort(RandomAccessFile, short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes an unsigned short to the RandomAccessFile f.

Z

ZERO - Static variable in class org.checkerframework.checker.index.upperbound.OffsetEquation

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