- C - Annotation Type in org.checkerframework.checker.units.qual
-
Degree Centigrade (Celsius).
- C - Static variable in class org.checkerframework.checker.units.UnitsTools
-
- 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
-
- 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
-
- ClassGetSimpleName - Annotation Type in org.checkerframework.checker.signature.qual
-
- CollectionToArrayHeuristics - Class in org.checkerframework.checker.nullness
-
- 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
-
- 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
-
- createFreeAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
-
- 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
-
- createUnclassifiedAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
-
- Current - Annotation Type in org.checkerframework.checker.units.qual
-
Electric current.
- currentMethods - Variable in class org.checkerframework.checker.guieffect.GuiEffectVisitor
-
- 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
-
- 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.
- getMethodName(MethodInvocationNode) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
-
- 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
-
- 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
-
- GTEN1 - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
-
- 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 - Annotation Type in org.checkerframework.checker.units.qual
-
Hour.
- h - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault
-
- 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
I18nConversionCategory
s.
- 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.
- 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
-
A sequence whose declaration is annotated with this annotation contains a named subsequence.
- 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.
- 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
-
- 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
-
- 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 String
s 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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.
- isInvocationOfMapMethod(MethodInvocationNode, String) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
-
- isIsFormatCall(MethodInvocationNode, AnnotatedTypeFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
-
- 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
-
- 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
-
- isMathMax(Tree) - Method in class org.checkerframework.checker.index.IndexMethodIdentifier
-
- isMathMin(Tree) - Method in class org.checkerframework.checker.index.IndexMethodIdentifier
-
- 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
-
- 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
-
- 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
-
- 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
-
- LINT_DEFAULT_REDUNDANTNULLCOMPARISON - Static variable in class org.checkerframework.checker.nullness.AbstractNullnessChecker
-
- LINT_NOINITFORMONOTONICNONNULL - Static variable in class org.checkerframework.checker.nullness.AbstractNullnessChecker
-
- 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 - Annotation Type in org.checkerframework.checker.units.qual
-
Meter.
- m - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault
-
- 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
-
- 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.
- 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
-
- 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
-
- 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
-
- mm2 - Static variable in class org.checkerframework.checker.units.UnitsTools
-
- mol - Annotation Type in org.checkerframework.checker.units.qual
-
- 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 a field (or variable) is lazily initialized to a non-null value.
- MonotonicNonNullDecl - Annotation Type in org.checkerframework.checker.nullness.compatqual
-
Identical to @MonotonicNonNull
, but can only be written at declaration locations.
- MonotonicNonNullType - Annotation Type in org.checkerframework.checker.nullness.compatqual
-
Identical to @MonotonicNonNull
.
- 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
-
- 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
-
- 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.
- 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
-
- NN - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
-
- 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
.
- NonNullDecl - Annotation Type in org.checkerframework.checker.nullness.compatqual
-
Identical to @NonNull
, but can only be written at declaration locations.
- NonNullType - Annotation Type in org.checkerframework.checker.nullness.compatqual
-
Identical to @NonNull
.
- 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 - Annotation Type in org.checkerframework.checker.initialization.qual
-
- 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
).
- NullableDecl - Annotation Type in org.checkerframework.checker.nullness.compatqual
-
Identical to @Nullable
, but can only be written at declaration locations.
- NullableType - Annotation Type in org.checkerframework.checker.nullness.compatqual
-
Identical to @Nullable
.
- 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
-
- 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
-
- 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
-
- NullnessRawnessChecker() - Constructor for class org.checkerframework.checker.nullness.NullnessRawnessChecker
-
- NullnessStore - Class in org.checkerframework.checker.nullness
-
- 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
-
- NullnessTreeAnnotator(NullnessAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
-
- NullnessTypeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTypeAnnotator
-
- 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
-
- 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
-
- 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.
- PolyNullDecl - Annotation Type in org.checkerframework.checker.nullness.compatqual
-
Identical to @PolyNull
, but can only be written at declaration locations.
- PolyNullType - Annotation Type in org.checkerframework.checker.nullness.compatqual
-
Identical to @PolyNull
.
- 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.
- PolySignedness - 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
-
- POS - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
-
- 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.
- processClassTree(ClassTree) - Method in class org.checkerframework.checker.lock.LockVisitor
-
Disallows annotations from the @GuardedBy hierarchy on class declarations (other
than @GuardedBy({}).
- 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.
- 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
-
- RegexTransfer(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Constructor for class org.checkerframework.checker.regex.RegexTransfer
-
- 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
-
- 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 - Annotation Type in org.checkerframework.checker.units.qual
-
A second (1/60 of a minute).
- s - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault
-
- 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
-
- 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
-
- 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
-
- SwingTitlePosition - Annotation Type in org.checkerframework.checker.fenum.qual
-
- 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
-
- SystemGetPropertyHandler(ProcessingEnvironment, NullnessAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.nullness.SystemGetPropertyHandler
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- UNKNOWN - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
-
- 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
-
- 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.
- 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
-
- 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
-