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

A

accept(AnnotatedTypeVisitor<R, P>, P) - Method in class checkers.types.AnnotatedTypeMirror
Applies a visitor to this type.
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedArrayType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedNoType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedNullType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedPrimitiveType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedWildcardType
 
actualType - Variable in class checkers.types.AnnotatedTypeMirror
Actual type wrapped with this AnnotatedTypeMirror
actualType - Variable in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
 
addAnnotation(AnnotationMirror) - Method in class checkers.types.AnnotatedTypeMirror
Adds an annotation to this type.
addAnnotations(Iterable<? extends AnnotationMirror>) - Method in class checkers.types.AnnotatedTypeMirror
Adds multiple annotations to this type.
addQualifier(AnnotationMirror) - Method in class checkers.util.GraphQualifierHierarchy.Factory
Adds the passed qualifier to the hierarchy.
addSubtype(AnnotationMirror, AnnotationMirror) - Method in class checkers.util.GraphQualifierHierarchy.Factory
Adds a subtype relationship between the two type qualifiers.
AggregateChecker - Class in checkers.util
An aggregate checker that packages multiple checkers together.
AggregateChecker() - Constructor for class checkers.util.AggregateChecker
 
aliasedAnnotation(AnnotationMirror) - Method in class checkers.nullness.NullnessAnnotatedTypeFactory
Aliased annotations.
aliasedAnnotation(AnnotationMirror) - Method in class checkers.types.AnnotatedTypeFactory
Returns the canonical annotation for the passed annotation if it is an alias of a canonical one in the framework.
and(GenKillBits<K>) - Method in class checkers.flow.GenKillBits
Merges each gen-kill set in this group with the one corresponding to the same key in other via boolean "and" on each bit.
annoFactory - Variable in class checkers.basetype.BaseTypeVisitor
The annotation factory to use for creating annotations.
annoRelations - Variable in class checkers.flow.Flow
The hierarchy for the type qualifiers that this class infers.
annos - Variable in class checkers.flow.Flow
Tracks the annotated state of each variable during flow.
annosWhenFalse - Variable in class checkers.flow.Flow
Tracks the annotated state of each variable in a false branch.
annosWhenTrue - Variable in class checkers.flow.Flow
Tracks the annotated state of each variable in a true branch.
annotate(AnnotatedTypeMirror, Element) - Static method in class checkers.types.TypeFromElement
Extracts type annotations from the element and inserts them into the type of the element.
annotate(AnnotatedTypeMirror, VariableElement) - Static method in class checkers.types.TypeFromElement
Extracts type annotations from the element and inserts them into the type of the element.
annotate(AnnotatedTypeMirror.AnnotatedDeclaredType, TypeElement) - Static method in class checkers.types.TypeFromElement
Extracts type annotations from the element and inserts them into the type of the element.
annotate(AnnotatedTypeMirror.AnnotatedExecutableType, ExecutableElement) - Static method in class checkers.types.TypeFromElement
Extracts type annotations from the element and inserts them into the type of the element.
annotate(Element, AnnotatedTypeMirror) - Method in class checkers.util.QualifierDefaults
Applies default annotations to a type given an Element.
annotate(Tree, AnnotatedTypeMirror) - Method in class checkers.util.QualifierDefaults
Applies default annotations to a type given a Tree.
annotate(Element, AnnotatedTypeMirror) - Method in class checkers.util.QualifierPolymorphism
Resolves polymorphism annotations for the given type.
annotate(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class checkers.util.QualifierPolymorphism
Resolves polymorphism annotations for the given type.
annotateAsLub(AnnotatedTypeMirror, AnnotatedTypeMirror...) - Method in class checkers.types.AnnotatedTypes
Annotate the lub type as if it is the least upper bound of the rest of the types.
AnnotatedTypeComparer<R> - Class in checkers.types.visitors
A TypeVisitor that takes an AnnotatedTypeMirror as a parameter, and visits it simultaneously.
AnnotatedTypeComparer() - Constructor for class checkers.types.visitors.AnnotatedTypeComparer
 
AnnotatedTypeFactory - Class in checkers.types
The methods of this class take an element or AST node, and return the annotated type as an AnnotatedTypeMirror.
AnnotatedTypeFactory(SourceChecker, CompilationUnitTree) - Constructor for class checkers.types.AnnotatedTypeFactory
Constructs a factory from the given ProcessingEnvironment instance and syntax tree root.
AnnotatedTypeFactory(ProcessingEnvironment, QualifierHierarchy, CompilationUnitTree) - Constructor for class checkers.types.AnnotatedTypeFactory
 
AnnotatedTypeFactory.InheritedFromClassAnnotator - Class in checkers.types
A singleton utility class for pulling annotations down from a class type.
AnnotatedTypeMirror - Class in checkers.types
Represents an annotated type in the Java programming language.
AnnotatedTypeMirror.AnnotatedArrayType - Class in checkers.types
Represents Array types in java.
AnnotatedTypeMirror.AnnotatedDeclaredType - Class in checkers.types
Represents a declared type (whether class or interface).
AnnotatedTypeMirror.AnnotatedExecutableType - Class in checkers.types
Represents a type of an executable.
AnnotatedTypeMirror.AnnotatedNoType - Class in checkers.types
A pseudo-type used where no actual type is appropriate.
AnnotatedTypeMirror.AnnotatedNullType - Class in checkers.types
Represents the null type.
AnnotatedTypeMirror.AnnotatedPrimitiveType - Class in checkers.types
Represents a primitive type.
AnnotatedTypeMirror.AnnotatedReferenceType - Interface in checkers.types
 
AnnotatedTypeMirror.AnnotatedTypeVariable - Class in checkers.types
Represents a type variable.
AnnotatedTypeMirror.AnnotatedWildcardType - Class in checkers.types
Represents a wildcard type argument.
AnnotatedTypes - Class in checkers.types
Utility methods for operating on AnnotatedTypeMirror.
AnnotatedTypes(ProcessingEnvironment, AnnotatedTypeFactory) - Constructor for class checkers.types.AnnotatedTypes
Constructor for AnnotatedTypeUtils
AnnotatedTypeScanner<R,P> - Class in checkers.types.visitors
A TypeVisitor that visits all the child tree nodes.
AnnotatedTypeScanner() - Constructor for class checkers.types.visitors.AnnotatedTypeScanner
 
AnnotatedTypeVisitor<R,P> - Interface in checkers.types.visitors
A Visitor class of annotated types, in the style of the visitor design pattern.
annotateImplicit(Tree, AnnotatedTypeMirror) - Method in class checkers.javari.JavariAnnotatedTypeFactory
Adds implicit annotations to a qualified type, based on its tree, as follows: 1.
annotateImplicit(Iterable<? extends Tree>, Iterable<? extends AnnotatedTypeMirror>) - Method in class checkers.javari.JavariAnnotatedTypeFactory
Convenience method for annotating two corresponding iterables.
annotateImplicit(Element, AnnotatedTypeMirror) - Method in class checkers.javari.JavariAnnotatedTypeFactory
Adds annotations to qualified types according to their provided element, as follows: 1.
annotateImplicit(Tree, AnnotatedTypeMirror) - Method in class checkers.lock.LockAnnotatedTypeFactory
 
annotateImplicit(Element, AnnotatedTypeMirror) - Method in class checkers.nullness.NullnessAnnotatedTypeFactory
 
annotateImplicit(Tree, AnnotatedTypeMirror) - Method in class checkers.nullness.NullnessAnnotatedTypeFactory
 
annotateImplicit(Tree, AnnotatedTypeMirror) - Method in class checkers.types.AnnotatedTypeFactory
Adds implicit annotations to a type obtained from a Tree.
annotateImplicit(Element, AnnotatedTypeMirror) - Method in class checkers.types.AnnotatedTypeFactory
Adds implicit annotations to a type obtained from a Element.
annotateImplicit(Tree, AnnotatedTypeMirror) - Method in class checkers.types.BasicAnnotatedTypeFactory
 
annotateImplicit(Element, AnnotatedTypeMirror) - Method in class checkers.types.BasicAnnotatedTypeFactory
 
annotateInheritedFromClass(AnnotatedTypeMirror) - Method in class checkers.igj.IGJAnnotatedTypeFactory
Override the default behavior of implicitly adding annotations on the class type to the declared types within the passed type.
annotateInheritedFromClass(AnnotatedTypeMirror) - Method in class checkers.interning.InterningAnnotatedTypeFactory
 
annotateInheritedFromClass(AnnotatedTypeMirror) - Method in class checkers.javari.JavariAnnotatedTypeFactory
Does nothing.
annotateInheritedFromClass(AnnotatedTypeMirror) - Method in class checkers.types.AnnotatedTypeFactory
Adds annotations to the type based on the annotations from its class type if and only if no annotations are already present on the type.
annotateSupers(List<AnnotatedTypeMirror.AnnotatedDeclaredType>, TypeElement) - Static method in class checkers.types.TypeFromElement
 
annotateTypeElement(TypeElement, AnnotatedTypeMirror) - Method in class checkers.util.QualifierDefaults
 
annotationFactory - Variable in class checkers.types.AnnotatedTypeMirror
The factory to use for lazily creating annotations.
annotationName(AnnotationMirror) - Static method in class checkers.util.AnnotationUtils
 
annotationOrdering() - Static method in class checkers.util.AnnotationUtils
provide ordering for AnnotationMirror based on their fully qualified name.
annotations - Variable in class checkers.flow.Flow
The annotations (qualifiers) to infer.
annotations - Variable in class checkers.types.AnnotatedTypeFactory
The factory to use for creating annotations.
annotations - Variable in class checkers.types.AnnotatedTypeMirror
The annotations on this type.
AnnotationsCounter - Class in checkers.util.count
A utility class for counting the occurrences of annotations
AnnotationsCounter() - Constructor for class checkers.util.count.AnnotationsCounter
 
annotationsFromArrayCreation(NewArrayTree, int) - Static method in class checkers.util.InternalUtils
 
annotationsFromTree(AnnotatedTypeTree) - Static method in class checkers.util.InternalUtils
 
annotationsFromTree(TypeParameterTree) - Static method in class checkers.util.InternalUtils
 
annotationsFromTypeAnnotationTrees(List<? extends AnnotationTree>) - Static method in class checkers.util.InternalUtils
 
AnnotationUtils - Class in checkers.util
A utility class for working with annotations.
AnnotationUtils.AnnotationBuilder - Class in checkers.util
Builds an annotation mirror that may have some values.
AnnotationUtils.AnnotationBuilder(ProcessingEnvironment, Class<? extends Annotation>) - Constructor for class checkers.util.AnnotationUtils.AnnotationBuilder
 
AnnotationUtils.AnnotationBuilder(ProcessingEnvironment, CharSequence) - Constructor for class checkers.util.AnnotationUtils.AnnotationBuilder
 
AnnotationUtils.AnnotationBuilder(ProcessingEnvironment, AnnotationMirror) - Constructor for class checkers.util.AnnotationUtils.AnnotationBuilder
 
annoTypes - Variable in class checkers.basetype.BaseTypeVisitor
utilities class for annotated types
applyAt(TreePath, Tree.Kind, Heuristics.Matcher) - Static method in class checkers.util.Heuristics
Applies a tree-matching algorithm at the first parent on a given tree path with a specified kind and returns the result.
areSame(AnnotationMirror, AnnotationMirror) - Static method in class checkers.util.AnnotationUtils
Checks if both annotations are the same.
areSame(Collection<AnnotationMirror>, Collection<AnnotationMirror>) - Static method in class checkers.util.AnnotationUtils
Checks that two collections contain the same annotations.
areSameIgnoringValues(AnnotationMirror, AnnotationMirror) - Static method in class checkers.util.AnnotationUtils
 
asMemberOf(AnnotatedTypeMirror, ExecutableElement) - Method in class checkers.types.AnnotatedTypes
 
asMemberOf(AnnotatedTypeMirror, Element) - Method in class checkers.types.AnnotatedTypes
Returns the type of an element when that element is viewed as a member of, or otherwise directly contained by, a given type.
AssertNonNull - Annotation Type in checkers.nullness.quals
Indicates that the method throws an exception if any of its parameters is null.
Assignable - Annotation Type in checkers.igj.quals
Indicates the annotated Field may be re-assigned regardless of the immutability of the enclosing class or object instance.
ASSIGNABLE - Variable in class checkers.javari.JavariChecker
 
Assignable - Annotation Type in checkers.javari.quals
Indicates that a field is assignable, even if it is inside a ReadOnly instance.
assignedTo(TreePath) - Method in class checkers.types.AnnotatedTypes
Returns the annotated type that the leaf of path is assigned to, if it is within an assignment context Returns the annotated type that the method invocation at the leaf is assigned to.
ASSIGNS_FIELDS - Variable in class checkers.igj.IGJChecker
Supported annotations for IGJ.
AssignsFields - Annotation Type in checkers.igj.quals
Indicates that the annotated method could assigns (but not mutate) the fields of this object.
asSuper(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class checkers.types.AnnotatedTypes
Returns the most specific base type of t whose erasure type is superType.
atypeFactory - Variable in class checkers.source.SourceVisitor
The factory to use for obtaining "parsed" version of annotations.
atypes - Variable in class checkers.flow.Flow
Utility class for operations on annotated types.
atypes - Variable in class checkers.types.AnnotatedTypeFactory
Utility class for manipulating annotated types.

B

BaseTypeChecker - Class in checkers.basetype
An abstract SourceChecker that provides a simple SourceVisitor implementation for typical assignment and pseudo-assignment checking of annotated types.
BaseTypeChecker() - Constructor for class checkers.basetype.BaseTypeChecker
 
BaseTypeVisitor<R,P> - Class in checkers.basetype
A SourceVisitor that performs assignment and pseudo-assignment checking, method invocation checking, and assignability checking.
BaseTypeVisitor(BaseTypeChecker, CompilationUnitTree) - Constructor for class checkers.basetype.BaseTypeVisitor
 
BasicAnnotatedTypeFactory<Checker extends BaseTypeChecker> - Class in checkers.types
A factory that extends AnnotatedTypeFactory to optionally use flow-sensitive qualifier inference, qualifier polymorphism, implicit annotations via ImplicitFor, and user-specified defaults via DefaultQualifier
BasicAnnotatedTypeFactory(Checker, CompilationUnitTree, boolean) - Constructor for class checkers.types.BasicAnnotatedTypeFactory
Creates a type factory for checking the given compilation unit with respect to the given annotation.
BasicAnnotatedTypeFactory(Checker, CompilationUnitTree) - Constructor for class checkers.types.BasicAnnotatedTypeFactory
Creates a type factory for checking the given compilation unit with respect to the given annotation.
BasicChecker - Class in checkers.basic
A checker for type qualifier systems that only checks subtyping relationships.
BasicChecker() - Constructor for class checkers.basic.BasicChecker
 
BOTTOM_QUAL - Variable in class checkers.igj.IGJChecker
Supported annotations for IGJ.
build() - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
 
build() - Method in class checkers.util.GraphQualifierHierarchy.Factory
Returns an instance of GraphQualifierHierarchy that represents the hierarchy built so far

C

castNonNull(T) - Method in class checkers.nullness.NullnessUtils
A method that suppresses warnings from the Nullness Checker.
checkAccess(IdentifierTree, P) - Method in class checkers.basetype.BaseTypeVisitor
 
checkArguments(List<? extends AnnotatedTypeMirror>, List<? extends ExpressionTree>, P) - Method in class checkers.basetype.BaseTypeVisitor
A helper method to check that each passed argument is a subtype of the corresponding required argument, and issues "argument.invalid" error for each passed argument that not a subtype of the required one.
checkArrayInitialization(AnnotatedTypeMirror, List<? extends ExpressionTree>, P) - Method in class checkers.basetype.BaseTypeVisitor
 
checkAssignability(AnnotatedTypeMirror, Tree) - Method in class checkers.basetype.BaseTypeVisitor
Tests, for a re-assignment, whether the variable is assignable or not.
checkAssignability(AnnotatedTypeMirror, Tree) - Method in class checkers.javari.JavariVisitor
Checks whether the variable represented by the given type and tree can be assigned, causing a checker error otherwise.
checkConstructorInvocation(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, Tree) - Method in class checkers.basetype.BaseTypeVisitor
 
checkConstructorInvocation(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, Tree) - Method in class checkers.igj.IGJVisitor
 
checker - Variable in class checkers.basetype.BaseTypeVisitor
The checker corresponding to this visitor.
checker - Variable in class checkers.flow.Flow
The checker to which this instance belongs.
checker - Variable in class checkers.source.SourceVisitor
The SourceChecker to invoke on the input source tree.
checkers.basetype - package checkers.basetype
Contains a simple typechecker plug-in that performs assignment and pseudo-assignment checks on annotated types.
checkers.basic - package checkers.basic
 
checkers.flow - package checkers.flow
Contains a generalized flow-sensitive qualifier inference that can be employed by any checker.
checkers.igj - package checkers.igj
Provides a typechecker plug-in for the IGJ checkers.igj.quals qualifiers that finds (and verifies the absence of) immutability errors.
checkers.igj.quals - package checkers.igj.quals
Contains qualifiers for type annotations used by the IGJ checker.
checkers.interning - package checkers.interning
Provides a typechecker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.
checkers.interning.quals - package checkers.interning.quals
 
checkers.javari - package checkers.javari
Provides a typechecker plug-in for the Javari type system that finds (and verifies the absence of) immutability errors.
checkers.javari.quals - package checkers.javari.quals
 
checkers.lock - package checkers.lock
 
checkers.lock.quals - package checkers.lock.quals
 
checkers.nullness - package checkers.nullness
Provides a typechecker plug-in for the NonNull qualifier that finds (and verifies the absence of) null pointer errors.
checkers.nullness.quals - package checkers.nullness.quals
 
checkers.quals - package checkers.quals
Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers).
checkers.source - package checkers.source
Contains the essential functionality for interfacing a compile-time (source) typechecker plug-in to the Java compiler.
checkers.tainting - package checkers.tainting
 
checkers.types - package checkers.types
Contains a way of representing the type of a program element that considers the type qualifiers on that element (and ignores its Java type).
checkers.types.visitors - package checkers.types.visitors
 
checkers.util - package checkers.util
 
checkers.util.count - package checkers.util.count
 
checkers.util.debug - package checkers.util.debug
 
checkers.util.test - package checkers.util.test
A minimal checker and simple annotation used for testing the checkers framework without the semantics of any particular (meaningful) checker.
checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class checkers.basetype.BaseTypeVisitor
Tests whether the method can be invoked using the receiver of the 'node' method invocation, and issues a "method.invocation.invalid" if the invocation is invalid.
checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class checkers.lock.LockVisitor
 
checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class checkers.nullness.NullnessVisitor
Special casing NonNull and Raw method calls
checkOverride(MethodTree, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, P) - Method in class checkers.basetype.BaseTypeVisitor
Checks that an overriding method's return type, parameter types, and receiver type are correct with respect to the annotations on the overridden method's return type, parameter types, and receiver type.
checkOverride(MethodTree, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, Void) - Method in class checkers.lock.LockVisitor
 
checkTypeArguments(List<? extends AnnotatedTypeMirror>, List<? extends AnnotatedTypeMirror>, List<? extends Tree>, P) - Method in class checkers.basetype.BaseTypeVisitor
Checks that the annotations on the type arguments supplied to a type or a method invocation are within the bounds of the type variables as declared, and issues the "generic.argument.invalid" error if they are not.
checkTypecastSafety(TypeCastTree, P) - Method in class checkers.basetype.BaseTypeVisitor
 
clear(K, int) - Method in class checkers.flow.GenKillBits
Clears the bit (kill) for the key at the specified index.
clearAnnotations() - Method in class checkers.types.AnnotatedTypeMirror
Removes all annotations on this type
CollectionToArrayHeauristics - Class in checkers.nullness
Handles calls to Collection.toArray() and determines the appropriate nullness type of the returned value.
CollectionToArrayHeauristics(ProcessingEnvironment, NullnessAnnotatedTypeFactory) - Constructor for class checkers.nullness.CollectionToArrayHeauristics
 
commonAssignmentCheck(Tree, ExpressionTree, String, P) - Method in class checkers.basetype.BaseTypeVisitor
Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it does.
commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String, P) - Method in class checkers.basetype.BaseTypeVisitor
Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it does.
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String, P) - Method in class checkers.basetype.BaseTypeVisitor
Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it does.
commonAssignmentCheck(Tree, ExpressionTree, String, Void) - Method in class checkers.nullness.NullnessVisitor
 
constructor(NewClassTree) - Static method in class checkers.util.InternalUtils
Determines the symbol for a constructor given an invocation via new.
constructorFromUse(NewClassTree) - Method in class checkers.javari.JavariAnnotatedTypeFactory
Determines the type of the constructed object based on the parameters passed to the constructor.
constructorFromUse(NewClassTree) - Method in class checkers.nullness.NullnessAnnotatedTypeFactory
 
constructorFromUse(NewClassTree) - Method in class checkers.types.AnnotatedTypeFactory
Determines the AnnotatedTypeMirror.AnnotatedExecutableType of a constructor invocation.
containsThisConstructorInvocation(MethodTree) - Static method in class checkers.util.TreeUtils
 
copy(GenKillBits<K>) - Static method in class checkers.flow.GenKillBits
Creates a new GenKillBits that is a deep copy of the GenKillBits passed as an argument.
copyFields(AnnotatedTypeMirror, boolean) - Method in class checkers.types.AnnotatedTypeMirror
Copy the fields on this type onto the passed type.
createAnnotationMap() - Static method in class checkers.util.AnnotationUtils
Create a map suitable for storing AnnotationMirror as keys.
createAnnotationSet() - Static method in class checkers.util.AnnotationUtils
Constructs a Set suitable for storing AnnotationMirrors.
createFactory(CompilationUnitTree) - Method in class checkers.basetype.BaseTypeChecker
Constructs an instance of the appropriate type factory for the implemented type system.
createFactory(CompilationUnitTree) - Method in class checkers.basic.BasicChecker
 
createFactory(CompilationUnitTree) - Method in class checkers.source.SourceChecker
 
createFactory(CompilationUnitTree) - Method in class checkers.util.test.FactoryTestChecker
 
createFactory(CompilationUnitTree) - Method in class checkers.util.test.FlowTestChecker
 
createFactory(CompilationUnitTree) - Method in class checkers.util.test.TestChecker
 
createFlow(Checker, CompilationUnitTree, Set<AnnotationMirror>) - Method in class checkers.types.BasicAnnotatedTypeFactory
Returns a Flow instance that performs flow sensitive analysis to infer qualifiers on unqualified types.
createFlowQualifiers(IGJChecker) - Method in class checkers.igj.IGJAnnotatedTypeFactory
 
createFlowQualifiers(Checker) - Method in class checkers.types.BasicAnnotatedTypeFactory
Returns the set of annotations to be inferred in flow analysis
createLRUCache(int) - Static method in class checkers.types.AnnotatedTypeFactory
A Utility method for creating LRU cache
createQualifierHierarchy() - Method in class checkers.basetype.BaseTypeChecker
Returns the type qualifier hierarchy graph to be used by this processor.
createQualifierHierarchy() - Method in class checkers.igj.IGJChecker
 
createQualifierHierarchy() - Method in class checkers.lock.LockChecker
 
createSourceVisitor(CompilationUnitTree) - Method in class checkers.basetype.BaseTypeChecker
Returns the appropriate visitor that type checks the compilation unit according to the type system rules.
createSourceVisitor(CompilationUnitTree) - Method in class checkers.source.SourceChecker
Provides the SourceVisitor that the checker should use to scan input source trees.
createSourceVisitor(CompilationUnitTree) - Method in class checkers.util.count.Locations
 
createSourceVisitor(CompilationUnitTree) - Method in class checkers.util.debug.TreeDebug
 
createSourceVisitor(CompilationUnitTree) - Method in class checkers.util.test.FactoryTestChecker
 
createSourceVisitor(CompilationUnitTree) - Method in class checkers.util.test.TypeOutputtingChecker
 
createSupportedTypeQualifiers() - Method in class checkers.basetype.BaseTypeChecker
If the checker class is annotated with TypeQualifiers, return an immutable set with the same set of classes as the annotation.
createSupportedTypeQualifiers() - Method in class checkers.basic.BasicChecker
 
createTreeAnnotator(IGJChecker) - Method in class checkers.igj.IGJAnnotatedTypeFactory
 
createTreeAnnotator(Checker) - Method in class checkers.types.BasicAnnotatedTypeFactory
Returns a TreeAnnotator that adds annotations to a type based on the contents of a tree.
createType(TypeMirror, ProcessingEnvironment, AnnotatedTypeFactory) - Static method in class checkers.types.AnnotatedTypeMirror
Creates the appropriate AnnotatedTypeMirror specific wrapper for the provided type
createTypeAnnotator(IGJChecker) - Method in class checkers.igj.IGJAnnotatedTypeFactory
 
createTypeAnnotator(InterningChecker) - Method in class checkers.interning.InterningAnnotatedTypeFactory
 
createTypeAnnotator(Checker) - Method in class checkers.types.BasicAnnotatedTypeFactory
Returns a TypeAnnotator that adds annotations to a type based on the content of the type itself.
createTypeHierarchy() - Method in class checkers.basetype.BaseTypeChecker
Creates the type subtyping checker using the current type qualifier hierarchy.
createTypeHierarchy() - Method in class checkers.igj.IGJChecker
 
createTypeHierarchy() - Method in class checkers.javari.JavariChecker
Implements the @QReadOnly behavior on generic types, creating a new TypeHierarchy class that allows a comparison of type arguments to succeed if the left hand side is annotated with @QReadOnly or if the regular comparison succeeds.
createTypeOfObject(AnnotatedTypeFactory) - Static method in class checkers.types.AnnotatedTypeMirror
 
currentPath - Variable in class checkers.source.SourceChecker
 
currentRoot - Variable in class checkers.source.SourceChecker
The source tree that's being scanned.

D

declarationFromElement(Element) - Method in class checkers.types.AnnotatedTypeFactory
Gets the declaration tree for the element, if the source is available.
deepCopy(AnnotatedTypeMirror) - Method in class checkers.types.AnnotatedTypes
Returns a deep copy of the passed type
DEFAULT_VALUE - Variable in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
The default value to return as a default action
defaultAction(Tree, AnnotatedTypeMirror) - Method in class checkers.types.TreeAnnotator
 
defaultAction(AnnotatedTypeMirror, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeScanner
Called by default for any visit method that is not overridden.
defaultAction(AnnotatedTypeMirror, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
Performs the default action for visiting trees, if subclasses do not override the visitFOO node.
defaultAction(Tree, Void) - Method in class checkers.util.Heuristics.Matcher
 
DefaultLocation - Enum in checkers.quals
Specifies the locations to which a DefaultQualifier annotation applies.
DefaultQualifier - Annotation Type in checkers.quals
Applied to a declaration of a package, type, method, variable, etc., specifies that the given annotation should be the default.
DefaultQualifierInHierarchy - Annotation Type in checkers.quals
Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier.
DefaultQualifiers - Annotation Type in checkers.quals
Specifies the annotations to be included in a type without having to provide them explicitly.
defaults - Variable in class checkers.types.BasicAnnotatedTypeFactory
to handle defaults specified by the user
Dependent - Annotation Type in checkers.quals
Refines the qualified type of the annotated field or variable based on the qualified type of the receiver.
DependentTypes - Class in checkers.util
 
DependentTypes(ProcessingEnvironment, CompilationUnitTree) - Constructor for class checkers.util.DependentTypes
 
difference(Collection<AnnotationMirror>, Collection<AnnotationMirror>) - Method in class checkers.types.QualifierHierarchy
 
directSuperTypes() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
 
directSuperTypes() - Method in class checkers.types.AnnotatedTypeMirror
 
directSuperTypes(AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.types.AnnotatedTypeMirror
 
doSubsitution(Element, AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class checkers.util.DependentTypes
 

E

element - Variable in class checkers.types.AnnotatedTypeMirror
the Element associated with this instance value, if one exists
elementFromDeclaration(ClassTree) - Static method in class checkers.util.TreeUtils
Gets the element for a class corresponding to a declaration.
elementFromDeclaration(MethodTree) - Static method in class checkers.util.TreeUtils
Gets the element for a method corresponding to a declaration.
elementFromDeclaration(VariableTree) - Static method in class checkers.util.TreeUtils
Gets the element for a variable corresponding to its declaration.
elementFromUse(MethodInvocationTree) - Static method in class checkers.util.TreeUtils
Gets the element for the method corresponding to this invocation.
elementFromUse(IdentifierTree) - Static method in class checkers.util.TreeUtils
Gets the element for the declaration corresponding to this identifier.
elementFromUse(ExpressionTree) - Static method in class checkers.util.TreeUtils
 
elementFromUse(MemberSelectTree) - Static method in class checkers.util.TreeUtils
Gets the element for the declaration corresponding to this member access.
elements - Variable in class checkers.flow.Flow
Utilities for Elements.
elements - Variable in class checkers.source.SourceVisitor
The Elements helper to use when scanning.
elements - Variable in class checkers.types.AnnotatedTypeFactory
Utility class for working with Elements.
ElementUtils - Class in checkers.util
A Utility class for analyzing Elements
elementValue(AnnotationMirror, CharSequence, Class<T>) - Static method in class checkers.util.AnnotationUtils
 
enclosingClass(Element) - Static method in class checkers.util.ElementUtils
Returns the innermost type element enclosing the given element
enclosingClass(TreePath) - Static method in class checkers.util.TreeUtils
Gets the enclosing method of the tree node defined by the given {@link TreePath}.
enclosingMemberSelect() - Method in class checkers.basetype.BaseTypeVisitor
 
enclosingMethod(TreePath) - Static method in class checkers.util.TreeUtils
Gets the enclosing method of the tree node defined by the given {@link TreePath}.
enclosingOfClass(TreePath, Class<T>) - Static method in class checkers.util.TreeUtils
Gets the first enclosing tree in path, of the specified class
enclosingOfKind(TreePath, Tree.Kind) - Static method in class checkers.util.TreeUtils
Gets the first enclosing tree in path, of the specified kind.
enclosingType - Variable in class checkers.types.AnnotatedTypeMirror
The enclosing Type
enclosingVariable(TreePath) - Static method in class checkers.util.TreeUtils
Gets the enclosing variable of a tree node defined by the given TreePath.
Encrypted - Annotation Type in checkers.util.test
Denotes an object with a representation that has been encrypted.
env - Variable in class checkers.flow.Flow
The processing environment to use.
env - Variable in class checkers.source.SourceChecker
Provides access to compiler helpers/internals.
env - Variable in class checkers.types.AnnotatedTypeFactory
The processing environment to use for accessing compiler internals.
env - Variable in class checkers.types.AnnotatedTypeMirror
Processing Environment of the current round
equals(Object) - Method in class checkers.flow.Location
 
equals(Object) - Method in class checkers.source.Result.DiagMessage
 
equals(Object) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
 
equals(Object) - Method in class checkers.types.AnnotatedTypeMirror
 
expandVarArgs(AnnotatedTypeMirror.AnnotatedExecutableType, List<? extends ExpressionTree>) - Method in class checkers.types.AnnotatedTypes
Returns the method parameters for the invoked method, with the same number of arguments passed in the methodInvocation tree.

F

factory - Variable in class checkers.flow.Flow
Utility class for determining annotated types.
FactoryTestChecker - Class in checkers.util.test
A specialized checker for testing purposes.
FactoryTestChecker() - Constructor for class checkers.util.test.FactoryTestChecker
 
failure(String, Object...) - Static method in class checkers.source.Result
Creates a new failure result with the given message key.
findDefaultLocations(TreePath) - Method in class checkers.util.AnnotationUtils
Finds default annotations starting at the leaf of the given tree path by inspecting enclosing variable, method, and class declarations for DefaultQualifier annotations.
findDefaultLocations(Element) - Method in class checkers.util.AnnotationUtils
Finds default annotations starting at the given element, inspecting the element and its enclosing method and class declarations for DefaultQualifier annotations.
findTypeArguments(MethodInvocationTree) - Method in class checkers.types.AnnotatedTypes
Given a method method invocation, it returns a mapping of the type variables to their parameters if any exist.
Flow - Class in checkers.flow
Provides a generalized flow-sensitive qualifier inference for the checkers framework.
Flow(BaseTypeChecker, CompilationUnitTree, Set<AnnotationMirror>, AnnotatedTypeFactory) - Constructor for class checkers.flow.Flow
Creates a new analysis.
flow - Variable in class checkers.types.BasicAnnotatedTypeFactory
Flow sensitive instance
FLOW_BY_DEFAULT - Static variable in class checkers.types.BasicAnnotatedTypeFactory
should use flow by default
flowResults - Variable in class checkers.flow.Flow
Stores the results of the analysis (source location to qualifier).
FlowTestChecker - Class in checkers.util.test
 
FlowTestChecker() - Constructor for class checkers.util.test.FlowTestChecker
 
formatAnnotationString(Collection<? extends AnnotationMirror>) - Static method in class checkers.types.AnnotatedTypeMirror
 
fromClass(ClassTree) - Method in class checkers.types.AnnotatedTypeFactory
Determines the annotated type of a class from its declaration.
fromClass(Class<? extends Annotation>) - Method in class checkers.util.AnnotationUtils
Creates an AnnotationMirror given by a particular annotation class.
fromElement(Element) - Method in class checkers.types.AnnotatedTypeFactory
Determines the annotated type of an element.
fromElement(TypeElement) - Method in class checkers.types.AnnotatedTypeFactory
 
fromElement(ExecutableElement) - Method in class checkers.types.AnnotatedTypeFactory
 
fromExpression(ExpressionTree) - Method in class checkers.types.AnnotatedTypeFactory
Determines the annotated type of an expression.
fromMember(Tree) - Method in class checkers.types.AnnotatedTypeFactory
Determines the annotated type of a variable or method declaration.
fromName(CharSequence) - Method in class checkers.util.AnnotationUtils
Creates an AnnotationMirror given by a particular fully-qualified name.
fromName(String) - Method in class checkers.util.AnnotationUtils
Creates an AnnotationMirror given by a particular fully-qualified name.
fromTypeTree(Tree) - Method in class checkers.types.AnnotatedTypeFactory
Determines the annotated type from a type in tree form.
fromTypeTree(Tree, ArrayConvention) - Method in class checkers.types.AnnotatedTypeFactory
 

G

GenKillBits<K> - Class in checkers.flow
Maintains multiple gen-kill sets, "keyed" by a value.
GenKillBits(Collection<K>) - Constructor for class checkers.flow.GenKillBits
Creates a new GenKillBits with the specified set of keys.
GenKillBits(GenKillBits<K>) - Constructor for class checkers.flow.GenKillBits
Creates a new GenKillBits that is a deep copy of the GenKillBits passed as an argument.
get(K, int) - Method in class checkers.flow.GenKillBits
Retrieves the bit for the key at the specified index.
getAnnotatedType(Element) - Method in class checkers.types.AnnotatedTypeFactory
Determines the annotated type of an element using AnnotatedTypeFactory.fromElement(Element).
getAnnotatedType(Tree) - Method in class checkers.types.AnnotatedTypeFactory
Determines the annotated type of an AST node.
getAnnotatedType(ClassTree) - Method in class checkers.types.AnnotatedTypeFactory
 
getAnnotatedType(NewClassTree) - Method in class checkers.types.AnnotatedTypeFactory
 
getAnnotatedType(NewArrayTree) - Method in class checkers.types.AnnotatedTypeFactory
 
getAnnotatedType(MethodTree) - Method in class checkers.types.AnnotatedTypeFactory
 
getAnnotatedType(VariableTree) - Method in class checkers.types.AnnotatedTypeFactory
 
getAnnotatedType(ExpressionTree) - Method in class checkers.types.AnnotatedTypeFactory
 
getAnnotatedType(TypeElement) - Method in class checkers.types.AnnotatedTypeFactory
 
getAnnotatedType(ExecutableElement) - Method in class checkers.types.AnnotatedTypeFactory
 
getAnnotatedTypeFromTypeTree(Tree) - Method in class checkers.types.AnnotatedTypeFactory
Determines the annotated type from a type in tree form.
getAnnotatedTypes(Iterable<? extends ExpressionTree>) - Method in class checkers.types.AnnotatedTypes
Return a list of the AnnotatedTypeMirror of the passed expression trees, in the same order as the trees.
getAnnotation(String) - Method in class checkers.types.AnnotatedTypeMirror
Returns the actual annotation mirror used to annotate this type, whose name equals the passed annotationName if one exist, null otherwise.
getAnnotation(Name) - Method in class checkers.types.AnnotatedTypeMirror
 
getAnnotations() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
 
getAnnotations() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedWildcardType
 
getAnnotations() - Method in class checkers.types.AnnotatedTypeMirror
Returns the annotations on this type.
getArgs() - Method in class checkers.source.Result.DiagMessage
 
getArrayDepth(AnnotatedTypeMirror.AnnotatedArrayType) - Method in class checkers.types.AnnotatedTypes
Returns the depth of the array type of the provided array.
getAssignmentContext(TreePath) - Static method in class checkers.util.TreeUtils
Returns the tree with the assignment context for the treePath leaf node.
getBoxedType(AnnotatedTypeMirror.AnnotatedPrimitiveType) - Method in class checkers.types.AnnotatedTypeFactory
returns the annotated boxed type of the given primitive type.
getClassTree() - Method in class checkers.types.VisitorState
 
getClassType() - Method in class checkers.types.VisitorState
 
getComponentType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedArrayType
 
getCopy(boolean) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedArrayType
 
getCopy(boolean) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
 
getCopy(boolean) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
getCopy(boolean) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedNoType
 
getCopy(boolean) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedNullType
 
getCopy(boolean) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedPrimitiveType
 
getCopy(boolean) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
 
getCopy(boolean) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedWildcardType
 
getCopy(boolean) - Method in class checkers.types.AnnotatedTypeMirror
Returns a shallow copy of this type.
getCurrentClassType(Tree) - Method in class checkers.types.AnnotatedTypeFactory
Returns the current class type being visited by the visitor.
getCurrentMethodReceiver(Tree) - Method in class checkers.types.AnnotatedTypeFactory
Returns the receiver type of the current method being visited, and returns null if the visited tree is not within a method.
getDiagMessages() - Method in class checkers.source.Result
 
getElement() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
getElement() - Method in class checkers.types.AnnotatedTypeMirror
Returns the element associated with the value the type represent, if any.
getElementValuesWithDefaults(AnnotationMirror) - Static method in class checkers.util.AnnotationUtils
Returns the values of an annotation's elements, including defaults.
getEnclosingType(TypeElement, Tree) - Method in class checkers.nullness.NullnessAnnotatedTypeFactory
 
getEnclosingType(TypeElement, Tree) - Method in class checkers.types.AnnotatedTypeFactory
 
getEnclosingType() - Method in class checkers.types.AnnotatedTypeMirror
Returns the enclosing type, as in the type of A in the type A.B.
getErased() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedArrayType
 
getErased() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
 
getErased() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
getErased() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
 
getErased() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedWildcardType
 
getErased() - Method in class checkers.types.AnnotatedTypeMirror
Returns the erasure type of the this type, according to JLS specifications.
getExtendsBound() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedWildcardType
 
getHeldLock() - Method in class checkers.lock.LockAnnotatedTypeFactory
 
getImplicitReceiverType(Tree) - Method in class checkers.igj.IGJAnnotatedTypeFactory
 
getImplicitReceiverType(Tree) - Method in class checkers.nullness.NullnessAnnotatedTypeFactory
 
getImplicitReceiverType(Tree) - Method in class checkers.types.AnnotatedTypeFactory
 
getInstance(ProcessingEnvironment) - Static method in class checkers.util.AnnotationUtils
 
getInterfaces() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
Deprecated. 
getIteratedType(AnnotatedTypeMirror) - Method in class checkers.types.AnnotatedTypes
Returns the iterated type of the passed iterable type, and throws IllegalArgumentException if the passed type is not iterable.
getKind() - Method in class checkers.types.AnnotatedTypeMirror
Returns the kind of this type
getLintOption(String) - Method in class checkers.source.SourceChecker
Determines the value of the lint option with the given name.
getLintOption(String, boolean) - Method in class checkers.source.SourceChecker
Determines the value of the lint option with the given name.
getLowerBound() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
 
getMessageKey() - Method in class checkers.source.Result.DiagMessage
 
getMessageKeys() - Method in class checkers.source.Result
 
getMessages() - Method in class checkers.source.SourceChecker
Provides a mapping of error keys to custom error messages.
getMessages() - Method in class checkers.util.test.FactoryTestChecker
 
getMethodReceiver() - Method in class checkers.types.VisitorState
 
getMethodTree() - Method in class checkers.types.VisitorState
 
getParameterTypes() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
getPath(Tree) - Method in class checkers.types.AnnotatedTypeFactory
Gets the path for the given Tree under the current root by checking from the visitor's current path, and only using Trees.getPath(CompilationUnitTree, Tree) (which is much slower) only if node is not found on the current path.
getPath() - Method in class checkers.types.VisitorState
 
getProcessingEnvironment() - Method in class checkers.source.SourceChecker
 
getQualifiedClassName(Element) - Static method in class checkers.util.ElementUtils
Returns the qualified name of the inner most class enclosing the provided Element
getQualifiedName(DeclaredType) - Static method in class checkers.util.TypesUtils
Gets the fully qualified name for a provided type.
getQualifierHierarchy() - Method in class checkers.basetype.BaseTypeChecker
Returns the type qualifier hierarchy graph to be used by this processor.
getQualifierHierarchy() - Method in class checkers.types.AnnotatedTypeFactory
 
getReceiver(ExpressionTree) - Method in class checkers.types.AnnotatedTypeFactory
Returns the receiver type of the expression tree, or null if it does not exist.
getReceiverType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
getReturnType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
getRootAnnotation() - Method in class checkers.types.QualifierHierarchy
 
getRootAnnotation() - Method in class checkers.util.GraphQualifierHierarchy
Returns the root qualifier for this hierarchy.
getSelfType(Tree) - Method in class checkers.igj.IGJAnnotatedTypeFactory
Returns the type of field this, for the scope of this tree.
getSelfType(Tree) - Method in class checkers.types.AnnotatedTypeFactory
Returns the type of this in the current location, which can be used if this has a special semantics (e.g.
getShouldSkip() - Method in class checkers.source.SourceChecker
Returns a regular expression pattern to specify java classes that are not annotated, and thus whose warnings and should be surpressed.
getSuperBound() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedWildcardType
 
getSuperclass() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
Deprecated. 
getSuperTypes(AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.types.AnnotatedTypes
Returns all the super types of the given declared type.
getSupportedAnnotationTypes() - Method in class checkers.source.SourceChecker
Always returns a singleton set containing only "*".
getSupportedAnnotationTypes() - Method in class checkers.util.AggregateChecker
 
getSupportedCheckers() - Method in class checkers.nullness.NullnessChecker
 
getSupportedCheckers() - Method in class checkers.util.AggregateChecker
Returns the list of supported checkers to be run together.
getSupportedLintOptions() - Method in class checkers.basetype.BaseTypeChecker
Specify 'flow' and 'cast' as supported lint options for all Type checkers
getSupportedLintOptions() - Method in class checkers.source.SourceChecker
Returns the lint options recognized by this checker.
getSupportedOptions() - Method in class checkers.source.SourceChecker
 
getSupportedOptions() - Method in class checkers.util.AggregateChecker
 
getSupportedSourceVersion() - Method in class checkers.source.SourceChecker
 
getSupportedSourceVersion() - Method in class checkers.util.AggregateChecker
 
getSupportedTypeQualifiers() - Method in class checkers.basetype.BaseTypeChecker
Returns an immutable set of the type qualifiers supported by this checker.
getSuppressWarningsKey() - Method in class checkers.basic.BasicChecker
 
getSuppressWarningsKey() - Method in class checkers.nullness.RawnessSubchecker
 
getSuppressWarningsKey() - Method in class checkers.source.SourceChecker
 
getThrownTypes() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
getType(Element) - Static method in class checkers.util.ElementUtils
Returns the TypeMirror for usage of Element as a value.
getTypeArguments() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
 
getTypeQualifiers() - Method in class checkers.types.QualifierHierarchy
Returns the names of all type qualifiers in this type qualifier hierarchy
getTypeQualifiers() - Method in class checkers.util.GraphQualifierHierarchy
 
getTypeVariableElement() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
 
getTypeVariables() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
getUnboxedType(AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.interning.InterningAnnotatedTypeFactory
 
getUnboxedType(AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.types.AnnotatedTypeFactory
returns the annotated primitive type of the given declared type if it is a boxed declared type.
getUnderlyingType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedArrayType
 
getUnderlyingType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
 
getUnderlyingType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
getUnderlyingType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedNoType
 
getUnderlyingType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedNullType
 
getUnderlyingType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedPrimitiveType
 
getUnderlyingType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
 
getUnderlyingType() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedWildcardType
 
getUnderlyingType() - Method in class checkers.types.AnnotatedTypeMirror
Returns the underlying unannotated Java type wrapped with this
getUpperBound() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
 
getVisitorState() - Method in class checkers.types.AnnotatedTypeFactory
Returns the VisitorState instance used by the factory to infer types
GraphQualifierHierarchy - Class in checkers.util
Represents the type qualifier hierarchy of a type system.
GraphQualifierHierarchy(GraphQualifierHierarchy) - Constructor for class checkers.util.GraphQualifierHierarchy
 
GraphQualifierHierarchy.Factory - Class in checkers.util
Factory used to create an instance of GraphQualifierHierarchy.
GraphQualifierHierarchy.Factory() - Constructor for class checkers.util.GraphQualifierHierarchy.Factory
 
GuardedBy - Annotation Type in checkers.lock.quals
The field or method to which this annotation is applied can only be accessed when holding a particular lock, which may be a built-in (synchronization) lock, or may be an explicit Lock.

H

handle(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class checkers.nullness.CollectionToArrayHeauristics
 
handle(Tree, AnnotatedTypeMirror) - Method in class checkers.util.DependentTypes
 
handleConstructor(NewClassTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class checkers.util.DependentTypes
 
hasAnnotation(AnnotationMirror) - Method in class checkers.types.AnnotatedTypeMirror
Determines whether this type contains an annotation with the same annotation type as a particular annotation.
hashCode() - Method in class checkers.flow.Location
 
hashCode() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
 
hashCode() - Method in class checkers.types.AnnotatedTypeMirror
 
hasImmutabilityAnnotation(AnnotatedTypeMirror) - Method in class checkers.javari.JavariAnnotatedTypeFactory
 
Heuristics - Class in checkers.util
Utilities for determining tree-based heuristics.
Heuristics() - Constructor for class checkers.util.Heuristics
 
Heuristics.Matcher - Class in checkers.util
A convenience class for tree-matching algorithms.
Heuristics.Matcher() - Constructor for class checkers.util.Heuristics.Matcher
 
Holding - Annotation Type in checkers.lock.quals
Indicates that when the method is invoked, the given locks must be held by the caller.

I

I - Variable in class checkers.igj.IGJChecker
Supported annotations for IGJ.
I - Annotation Type in checkers.igj.quals
Template annotation over IGJ Immutability annotations.
IGJAnnotatedTypeFactory - Class in checkers.igj
Adds implicit and default IGJ annotations, only if the user does not annotate the type explicitly.
IGJAnnotatedTypeFactory(IGJChecker, CompilationUnitTree) - Constructor for class checkers.igj.IGJAnnotatedTypeFactory
Constructor for IGJAnnotatedTypeFactory object.
IGJChecker - Class in checkers.igj
A type-checker plug-in for the IGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors.
IGJChecker() - Constructor for class checkers.igj.IGJChecker
 
IGJVisitor - Class in checkers.igj
A type-checking visitor for the IGJ type qualifier that uses the BaseTypeVisitor implementation.
IGJVisitor(IGJChecker, CompilationUnitTree) - Constructor for class checkers.igj.IGJVisitor
 
IMMUTABILITY_KEY - Static variable in class checkers.igj.IGJAnnotatedTypeFactory
the I annotation value key
IMMUTABLE - Variable in class checkers.igj.IGJChecker
Supported annotations for IGJ.
Immutable - Annotation Type in checkers.igj.quals
Indicates that the annotated reference is an immutable reference to an immutable object.
ImplicitFor - Annotation Type in checkers.quals
A meta-annotation that specifies the trees and types for which the framework should automatically add that qualifier.
incrementCount(Name) - Method in class checkers.util.count.AnnotationsCounter
 
init(ProcessingEnvironment) - Method in class checkers.basetype.BaseTypeChecker
 
init(ProcessingEnvironment) - Method in class checkers.igj.IGJChecker
 
init(ProcessingEnvironment) - Method in class checkers.javari.JavariChecker
Initializes the checker: calls init method on super class, creates a local AnnotationFactory based on the processing environment, and uses it to create the protected AnnotationMirrors used through this checker.
init(ProcessingEnvironment) - Method in class checkers.source.SourceChecker
init(ProcessingEnvironment) - Method in class checkers.util.AggregateChecker
 
init(ProcessingEnvironment) - Method in class checkers.util.debug.SignaturePrinter
 
init(ProcessingEnvironment) - Method in class checkers.util.test.FactoryTestChecker
 
INSTANCE - Static variable in class checkers.types.AnnotatedTypeFactory.InheritedFromClassAnnotator
The singleton instance.
interfaces - Variable in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
Deprecated. 
InternalUtils - Class in checkers.util
Static utility methods used by annotation abstractions in this package.
Interned - Annotation Type in checkers.interning.quals
Indicates that a variable has been interned, i.e., that the variable refers to the canonical representation of an object.
InterningAnnotatedTypeFactory - Class in checkers.interning
An AnnotatedTypeFactory that accounts for the properties of the Interned type system.
InterningAnnotatedTypeFactory(InterningChecker, CompilationUnitTree) - Constructor for class checkers.interning.InterningAnnotatedTypeFactory
Creates a new InterningAnnotatedTypeFactory that operates on a particular AST.
InterningChecker - Class in checkers.interning
A typechecker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.
InterningChecker() - Constructor for class checkers.interning.InterningChecker
 
InterningVisitor - Class in checkers.interning
A type-checking visitor for the Interned type qualifier that uses the BaseTypeVisitor implementation.
InterningVisitor(InterningChecker, CompilationUnitTree) - Constructor for class checkers.interning.InterningVisitor
Creates a new visitor for type-checking Interned.
intersect(Collection<AnnotationMirror>, Collection<AnnotationMirror>) - Method in class checkers.types.QualifierHierarchy
 
isAccessAllowed(Element, AnnotatedTypeMirror) - Method in class checkers.basetype.BaseTypeVisitor
 
isAnonymousConstructor(MethodTree) - Static method in class checkers.util.InternalUtils
Determines whether or not the node referred to by the given TreePath is an anonymous constructor (the constructor for an anonymous class.
isAnonymousType(AnnotatedTypeMirror) - Method in class checkers.types.AnnotatedTypes
Determines if the type is for an anonymous type or not
isAnonymousType(TypeMirror) - Static method in class checkers.util.TypesUtils
Checks if the type represents an anonymous type, e.g.
isAssignable(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree) - Method in class checkers.basetype.BaseTypeChecker
Tests whether the variable accessed is an assignable variable or not, given the current scope
isAssignable(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree) - Method in class checkers.igj.IGJChecker
Return true if the assignment variable is an assignable field or variable, and returns false otherwise.
isBoxedPrimitive(TypeMirror) - Static method in class checkers.util.TypesUtils
 
isClass(TypeMirror) - Static method in class checkers.util.TypesUtils
Checks if the type represents a java.lang.Object declared type
isConstructor(MethodTree) - Static method in class checkers.util.TreeUtils
Checks if the provided method is a constructor method or no.
isDeclaredOfName(TypeMirror, CharSequence) - Static method in class checkers.util.TypesUtils
Check if the type represent a declared type of the given qualified name
isFailure() - Method in class checkers.source.Result
 
isFinal(Element) - Static method in class checkers.util.ElementUtils
Returns true if the element is a final element: a final field, final method, or final class
isGeneric() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
Returns true if the type is generic, even if the type is erased or used as a RAW type.
isIntersectType(AnnotatedTypeMirror) - Method in class checkers.types.AnnotatedTypes
Determines if the type is for an intersect type or not
isMostEnclosingThisDeref(Tree) - Method in class checkers.types.AnnotatedTypeFactory
 
isObject(TypeElement) - Static method in class checkers.util.ElementUtils
Check if the element is an element for 'java.lang.Object'
isObject(TypeMirror) - Static method in class checkers.util.TypesUtils
Checks if the type represents a java.lang.Object declared type
isParameterized() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
Returns true if the type is a generic type and the type declaration is parameterized.
isSelfAccess(ExpressionTree) - Static method in class checkers.util.TreeUtils
Returns true if the tree is a tree that 'looks like' either an access of a field or an invokation of a method that are owned by the same accessing instance.
isStatic(Element) - Static method in class checkers.util.ElementUtils
Returns true if the element is a static element: whether it is a static field, static method, or static class
isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class checkers.basetype.BaseTypeChecker
Tests whether one annotated type is a subtype of another, with respect to the annotations on these types.
isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class checkers.javari.JavariChecker
Checks if one the parameters is primitive, or if a type is subtype of another.
isSubtype(AnnotationMirror, AnnotationMirror) - Method in class checkers.types.QualifierHierarchy
Tests whether anno1 is a super qualifier of anno2, according to the type qualifier hierarchy.
isSubtype(Collection<AnnotationMirror>, Collection<AnnotationMirror>) - Method in class checkers.types.QualifierHierarchy
Tests whether there is any annotation in lhs that is a super qualifier of some annotation in rhs.
isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class checkers.types.TypeHierarchy
Entry point for subtype checking: Checks whether rhs is a subtype of lhs.
isSubtype(AnnotationMirror, AnnotationMirror) - Method in class checkers.util.GraphQualifierHierarchy
Most qualifiers have no value fields.
isSubtypeAsArrayComponent(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class checkers.types.TypeHierarchy
Checks that rhs is a subtype of lhs, as an array component type.
isSubtypeAsTypeArgument(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class checkers.types.TypeHierarchy
Checks that rhs is a subtype of lhs, as actual type arguments.
isSubtypeTypeArguments(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.types.TypeHierarchy
Checks that rhs and lhs are subtypes with respect to type arguments only.
isSuccess() - Method in class checkers.source.Result
 
isSuperCall(MethodInvocationTree) - Static method in class checkers.util.TreeUtils
Checks if the method invocation is a call to super
isThrowable(TypeMirror) - Static method in class checkers.util.TypesUtils
 
isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.basetype.BaseTypeChecker
Tests that the qualifiers present on the useType are valid qualifiers, given the qualifiers on the declaration of the type, declarationType.
isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.igj.IGJChecker
 
isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.javari.JavariChecker
Always true; no type validity checking is made by the BaseTypeVisitor.
isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.lock.LockChecker
 
isValidUse(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.nullness.RawnessSubchecker
 
isVarArgs() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
isWarning() - Method in class checkers.source.Result
 
isWithinConstructor(Tree) - Method in class checkers.types.AnnotatedTypeFactory
 

J

JavariAnnotatedTypeFactory - Class in checkers.javari
Generates a AnnotatedTypeMirror with Javari annotations from a Tree or a Element parameter.
JavariAnnotatedTypeFactory(JavariChecker, CompilationUnitTree) - Constructor for class checkers.javari.JavariAnnotatedTypeFactory
Creates a new JavariAnnotatedTypeFactory that operates on a particular AST.
JavariChecker - Class in checkers.javari
An annotation processor that checks a program's use of the Javari type annotations (@ReadOnly, @Mutable, @Assignable, @PolyRead and @QReadOnly).
JavariChecker() - Constructor for class checkers.javari.JavariChecker
 
JavariVisitor - Class in checkers.javari
A type-checking visitor for the Javari mutability annotations (@ReadOnly, @Mutable and @Assignable) that extends BaseTypeVisitor.
JavariVisitor(JavariChecker, CompilationUnitTree) - Constructor for class checkers.javari.JavariVisitor
Creates a new visitor for type-checking the Javari mutability annotations.

L

LAZYNONNULL - Variable in class checkers.nullness.NullnessAnnotatedTypeFactory
Represents the Nullness Checker qualifiers
LazyNonNull - Annotation Type in checkers.nullness.quals
Indicates that a field is lazily initialized to a non-null value.
leastUpperBound(AnnotationMirror, AnnotationMirror) - Method in class checkers.types.QualifierHierarchy
Returns the least upper bound for a1 and a2 qualifiers.
leastUpperBound(Collection<AnnotationMirror>, Collection<AnnotationMirror>) - Method in class checkers.types.QualifierHierarchy
Returns the type qualifiers that are the least upper bound of the qualifiers in annos1 and annos2.
leastUpperBound(AnnotationMirror, AnnotationMirror) - Method in class checkers.util.GraphQualifierHierarchy
 
Location - Class in checkers.flow
Represents the location of a Tree.
Location(long, Tree) - Constructor for class checkers.flow.Location
Creates a new Location from a position and Tree.Kind.
Locations - Class in checkers.util.count
A utility class for listing the potential locations of annotations.
Locations() - Constructor for class checkers.util.count.Locations
 
LockAnnotatedTypeFactory - Class in checkers.lock
The type factory for Lock type system.
LockAnnotatedTypeFactory(LockChecker, CompilationUnitTree) - Constructor for class checkers.lock.LockAnnotatedTypeFactory
 
LockChecker - Class in checkers.lock
A typechecker plug-in for the JCIP type system qualifier that finds (and verifies the absence of) locking and concurrency errors.
LockChecker() - Constructor for class checkers.lock.LockChecker
 
LockVisitor - Class in checkers.lock
A type-checking visitor for the Lock type system.
LockVisitor(LockChecker, CompilationUnitTree) - Constructor for class checkers.lock.LockVisitor
 

M

main(String[]) - Static method in class checkers.util.debug.SignaturePrinter
 
main(String[]) - Static method in class checkers.util.test.TypeOutputtingChecker
 
matchParents(TreePath, Tree.Kind...) - Static method in class checkers.util.Heuristics
Determines whether a tree has a particular set of direct parents, ignoring blocks and parentheses.
merge(Result) - Method in class checkers.source.Result
Merges two results into one.
message(Diagnostic.Kind, Object, Object, Object...) - Method in class checkers.source.SourceChecker
Prints a message (error, warning, note, etc.) via JSR-269.
messager - Variable in class checkers.source.SourceChecker
Used to report error messages and warnings via the compiler.
messages - Variable in class checkers.source.SourceChecker
Maps error keys to localized/custom error messages.
methodFromUse(MethodInvocationTree) - Method in class checkers.igj.IGJAnnotatedTypeFactory
Resolves @I in the type of the method type base on the method invocation tree parameters.
methodFromUse(MethodInvocationTree) - Method in class checkers.javari.JavariAnnotatedTypeFactory
Determines the type of the invoked method based on the passed method invocation tree.
methodFromUse(MethodInvocationTree) - Method in class checkers.nullness.NullnessAnnotatedTypeFactory
 
methodFromUse(MethodInvocationTree) - Method in class checkers.types.AnnotatedTypeFactory
Determines the type of the invoked method based on the passed method invocation tree.
methodFromUse(MethodInvocationTree) - Method in class checkers.types.BasicAnnotatedTypeFactory
 
methodName(MethodInvocationTree) - Static method in class checkers.util.TreeUtils
 
MUTABLE - Variable in class checkers.igj.IGJChecker
Supported annotations for IGJ.
Mutable - Annotation Type in checkers.igj.quals
Indicates that the annotated reference is an immutable reference to an immutable object.
MUTABLE - Variable in class checkers.javari.JavariChecker
 
Mutable - Annotation Type in checkers.javari.quals
Indicates that, for the variable on which this annotation appears, the object to which this variable refers can be modified via this reference, except its fields explicitly marked as ReadOnly.

N

NONNULL - Variable in class checkers.nullness.NullnessAnnotatedTypeFactory
Represents the Nullness Checker qualifiers
NonNull - Annotation Type in checkers.nullness.quals
Indicates that a variable should never have a null value.
NonRaw - Annotation Type in checkers.nullness.quals
A method receiver annotation that indicates that non-null fields might be null within the body of the method, e.g., if this is Raw, this.field might be null even if field was declared to be NonNull.
NULLABLE - Variable in class checkers.nullness.NullnessAnnotatedTypeFactory
Represents the Nullness Checker qualifiers
Nullable - Annotation Type in checkers.nullness.quals
Indicates that a variable may have a null value.
NullnessAnnotatedTypeFactory - Class in checkers.nullness
Adds the NonNull annotation to a type that is:
  • (*) all literals (except for null literal)
  • (*) all primitive types
  • (*) an array-creation expression (with new)
  • (*) an object-creation expression (with new)
  • (*) a package declaration
  • in the scope of a DefaultQualifier annotation and matches its location criteria
  • determined to be NonNull by flow-sensitive inference
  • the class in a static member access (e.g., "System" in "System.out")
  • an exception parameter
  • the receiver type of a non-static (and non-constructor) method Adds the Raw annotation to
  • the receiver type of constructors.
  • NullnessAnnotatedTypeFactory(NullnessSubchecker, CompilationUnitTree) - Constructor for class checkers.nullness.NullnessAnnotatedTypeFactory
    Creates a NullnessAnnotatedTypeFactory.
    NullnessChecker - Class in checkers.nullness
    A typechecker plug-in for the Rawness type system qualifier that finds (and verifies the absence of) null-pointer errors.
    NullnessChecker() - Constructor for class checkers.nullness.NullnessChecker
     
    NullnessSubchecker - Class in checkers.nullness
    A typechecker plug-in for the Nullness type system qualifier that finds (and verifies the absence of) null-pointer errors.
    NullnessSubchecker() - Constructor for class checkers.nullness.NullnessSubchecker
     
    NullnessUtils - Class in checkers.nullness
    Utilities class for the Nullness Checker.
    NullnessVisitor - Class in checkers.nullness
    A type-checking visitor for the Nullness type system.
    NullnessVisitor(NullnessSubchecker, CompilationUnitTree) - Constructor for class checkers.nullness.NullnessVisitor
    Creates a new visitor for type-checking NonNull.

    O

    Odd - Annotation Type in checkers.util.test
     
    or(GenKillBits<K>) - Method in class checkers.flow.GenKillBits
    Merges each gen-kill set in this group with the one corresponding to the same key in other via boolean "or" on each bit.
    overriddenMethods(ExecutableElement) - Method in class checkers.types.AnnotatedTypes
    A utility method that takes a Method element and returns a set of all elements that this method overrides (as ExecutableElements)
    overriddenMethods(ExecutableElement, Collection<AnnotatedTypeMirror.AnnotatedDeclaredType>) - Method in class checkers.types.AnnotatedTypes
    A utility method that takes the element for a method and the set of all supertypes of the method's containing class and returns the set of all elements that method overrides (as ExecutableElements).

    P

    parseEnumConstantArrayValue(AnnotationMirror, String, Class<R>) - Static method in class checkers.util.AnnotationUtils
     
    parseStringArrayValue(AnnotationMirror, String) - Static method in class checkers.util.AnnotationUtils
     
    parseStringValue(AnnotationMirror, String) - Static method in class checkers.util.AnnotationUtils
     
    plainFactory - Variable in class checkers.basetype.BaseTypeVisitor
     
    poly - Variable in class checkers.types.BasicAnnotatedTypeFactory
    to handle any polymorphic types
    PolyEncrypted - Annotation Type in checkers.util.test
     
    PolyInterned - Annotation Type in checkers.interning.quals
    A polymorphic qualifier for the Interning type system.
    PolymorphicQualifier - Annotation Type in checkers.quals
    A meta-annotation that indicates that an annotation is a polymorphic type qualifier.
    POLYNULL - Variable in class checkers.nullness.NullnessAnnotatedTypeFactory
    Represents the Nullness Checker qualifiers
    PolyNull - Annotation Type in checkers.nullness.quals
    A polymorphic qualifier for the Nullness type system.
    polyQual - Variable in class checkers.util.QualifierPolymorphism
    The polymorphic qualifier.
    PolyRaw - Annotation Type in checkers.nullness.quals
    A polymorphic qualifier for the Rawness type system.
    POLYREAD - Variable in class checkers.javari.JavariChecker
     
    PolyRead - Annotation Type in checkers.javari.quals
    Specifies the allowed mutabilities of a method's return value or the arguments, based on the mutability type of the arguments and the receiver at a method invocation.
    postAsMemberOf(AnnotatedTypeMirror, AnnotatedTypeMirror, Element) - Method in class checkers.igj.IGJAnnotatedTypeFactory
    Resolve the instances of @I in the elementType based on owner, according to is specification.
    postAsMemberOf(AnnotatedTypeMirror, AnnotatedTypeMirror, Element) - Method in class checkers.javari.JavariAnnotatedTypeFactory
    We modify this callback method to replace @ThisMutable implicit annotations with the qualified supertype annotation, if the owner doesn't have a @ReadOnly annotation.
    postAsMemberOf(AnnotatedTypeMirror, AnnotatedTypeMirror, Element) - Method in class checkers.types.AnnotatedTypeFactory
    A callback method for the AnnotatedTypeFactory subtypes to customize AnnotatedTypes.asMemberOf().
    postDirectSuperTypes(AnnotatedTypeMirror, List<? extends AnnotatedTypeMirror>) - Method in class checkers.igj.IGJAnnotatedTypeFactory
    Replace all instances of @I in the super types with the immutability of the current type
    postDirectSuperTypes(AnnotatedTypeMirror, List<? extends AnnotatedTypeMirror>) - Method in class checkers.javari.JavariAnnotatedTypeFactory
     
    postDirectSuperTypes(AnnotatedTypeMirror, List<? extends AnnotatedTypeMirror>) - Method in class checkers.nullness.NullnessAnnotatedTypeFactory
     
    postDirectSuperTypes(AnnotatedTypeMirror, List<? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypeFactory
    A callback method for the AnnotatedTypeFactory subtypes to customize directSuperTypes().
    postDirectSuperTypes(AnnotatedTypeMirror, List<? extends AnnotatedTypeMirror>) - Method in class checkers.types.BasicAnnotatedTypeFactory
     
    printClassType(TypeElement, AnnotatedTypeFactory) - Static method in class checkers.util.test.TypeOutputtingChecker
    Prints the types of the class and all of its enclosing fields, methods, and inner classes
    printUsage() - Static method in class checkers.util.debug.SignaturePrinter
     
    process(Set<? extends TypeElement>, RoundEnvironment) - Method in class checkers.util.count.AnnotationsCounter
     
    process(Set<? extends TypeElement>, RoundEnvironment) - Method in class checkers.util.debug.TreeDebug
     

    Q

    QREADONLY - Variable in class checkers.javari.JavariChecker
     
    QReadOnly - Annotation Type in checkers.javari.quals
    Indicates that the annotated type behaves as the most restrictive of ReadOnly and Mutable: only Mutable can be assigned to it, and it can only be assigned to ReadOnly.
    qualHierarchy - Variable in class checkers.types.AnnotatedTypeFactory
    Represent the annotation relations
    QualifierDefaults - Class in checkers.util
    Determines the default qualifiers on a type.
    QualifierDefaults(AnnotatedTypeFactory, AnnotationUtils) - Constructor for class checkers.util.QualifierDefaults
     
    QualifierHierarchy - Class in checkers.types
    Represents a type qualifier hierarchy.
    QualifierHierarchy() - Constructor for class checkers.types.QualifierHierarchy
     
    QualifierPolymorphism - Class in checkers.util
    Implements framework support for type qualifier polymorphism.
    QualifierPolymorphism(BaseTypeChecker, AnnotatedTypeFactory) - Constructor for class checkers.util.QualifierPolymorphism
    Creates a QualifierPolymorphism instance that uses the given checker for querying type qualifiers and the given factory for getting annotated types.

    R

    RAW - Variable in class checkers.nullness.NullnessAnnotatedTypeFactory
    Represents the Nullness Checker qualifiers
    Raw - Annotation Type in checkers.nullness.quals
    A method receiver annotation that indicates that non-null fields might be null within the body of the method, e.g., if this is Raw, this.field might be null even if field was declared to be NonNull.
    RawnessSubchecker - Class in checkers.nullness
    A typechecker plug-in for the Nullness type system qualifier that finds (and verifies the absence of) null-pointer errors.
    RawnessSubchecker() - Constructor for class checkers.nullness.RawnessSubchecker
     
    READONLY - Variable in class checkers.igj.IGJChecker
    Supported annotations for IGJ.
    ReadOnly - Annotation Type in checkers.igj.quals
    Indicates that the annotated reference is a ReadOnly reference.
    READONLY - Variable in class checkers.javari.JavariChecker
     
    ReadOnly - Annotation Type in checkers.javari.quals
    Indicates that, for the variable on which this annotation appears, the object to which this variable refers will not be modified via this reference, except its fields explicitly marked as Mutable.
    recordBits(TreePath) - Method in class checkers.flow.Flow
    Record the value of the annotation bit for the given usage of a variable, so that a type-checker may use its value after the analysis has finished.
    reduce(R, R) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    removeAnnotation(AnnotationMirror) - Method in class checkers.types.AnnotatedTypeMirror
    Removes an annotation from the type.
    removeAnnotations(Iterable<? extends AnnotationMirror>) - Method in class checkers.types.AnnotatedTypeMirror
    Removes multiple annotations from the type.
    report(Result, Object) - Method in class checkers.source.SourceChecker
    Reports a result.
    Result - Class in checkers.source
    Represents the outcome of a typechecking operation (success, warning, or failure, plus a list of explanatory messages).
    Result.DiagMessage - Class in checkers.source
    A class that represents the diangosis messages.
    Result.DiagMessage(String, Object[]) - Constructor for class checkers.source.Result.DiagMessage
     
    root - Variable in class checkers.flow.Flow
    The file that's being analyzed.
    root - Variable in class checkers.source.SourceVisitor
    The root of the AST that this SourceVisitor will scan.
    root - Variable in class checkers.types.AnnotatedTypeFactory
    optional! The AST of the source file being operated on
    rootQual - Variable in class checkers.util.QualifierPolymorphism
    The qualifier at the root of the hierarchy.

    S

    scan(Tree, P) - Method in class checkers.basetype.BaseTypeVisitor
     
    scan(Tree, Void) - Method in class checkers.flow.Flow
     
    scan(AnnotatedTypeMirror, ElementKind) - Method in class checkers.types.TypeAnnotator
     
    scan(Iterable<? extends AnnotatedTypeMirror>, Iterable<? extends AnnotatedTypeMirror>) - Method in class checkers.types.visitors.AnnotatedTypeComparer
     
    scan(AnnotatedTypeMirror, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
    Processes an element by calling e.accept(this, p); this method may be overridden by subclasses.
    scan(Iterable<? extends AnnotatedTypeMirror>, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
    Processes an element by calling e.accept(this, p); this method may be overridden by subclasses.
    scan(Tree, Void) - Method in class checkers.util.debug.TreeDebug.Visitor
     
    scanAndReduce(Iterable<? extends AnnotatedTypeMirror>, Iterable<? extends AnnotatedTypeMirror>, R) - Method in class checkers.types.visitors.AnnotatedTypeComparer
     
    scanAndReduce(AnnotatedTypeMirror, AnnotatedTypeMirror, R) - Method in class checkers.types.visitors.AnnotatedTypeComparer
     
    scanAndReduce(Iterable<? extends AnnotatedTypeMirror>, AnnotatedTypeMirror, R) - Method in class checkers.types.visitors.AnnotatedTypeComparer
     
    scanAndReduce(Iterable<? extends AnnotatedTypeMirror>, P, R) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    scanAndReduce(AnnotatedTypeMirror, P, R) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    scanCond(Tree) - Method in class checkers.flow.Flow
    Called whenever a conditional expression is scanned.
    scanDef(Tree) - Method in class checkers.flow.Flow
    Called whenever a definition is scanned.
    scanExpr(ExpressionTree) - Method in class checkers.flow.Flow
    Called whenever an expression is scanned.
    scanStat(StatementTree) - Method in class checkers.flow.Flow
    Called whenever a statement is scanned.
    scanStats(List<? extends StatementTree>) - Method in class checkers.flow.Flow
    Called whenever a block of statements is scanned.
    set(K, int) - Method in class checkers.flow.GenKillBits
    Sets the bit (gen) for the key at the specified index.
    setAbsoluteDefaults(AnnotationMirror, Set<DefaultLocation>) - Method in class checkers.util.QualifierDefaults
    Sets the default annotation.
    setClassTree(ClassTree) - Method in class checkers.types.VisitorState
    Updates the tree of the current class currently visited
    setClassType(AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.types.VisitorState
    Updates the type of the current class currently visited
    setDebug(PrintStream) - Method in class checkers.flow.Flow
    Sets the PrintStream for printing debug messages, such as System.out or System.err, or null if no debugging output should be emitted.
    setHeldLocks(List<String>) - Method in class checkers.lock.LockAnnotatedTypeFactory
     
    setMethodReceiver(AnnotatedTypeMirror.AnnotatedDeclaredType) - Method in class checkers.types.VisitorState
    Updates the method receiver type currently visited
    setMethodTree(MethodTree) - Method in class checkers.types.VisitorState
    Updates the mehtod currently visited
    setPath(TreePath) - Method in class checkers.types.VisitorState
    Sets the current path for the visitor.
    setValue(CharSequence, AnnotationMirror) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, List<? extends Object>) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, Object[]) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, Boolean) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, Character) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, Double) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, VariableElement) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, Float) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, Integer) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, Long) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, Short) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, String) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, TypeMirror) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, Class<?>) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    setValue(CharSequence, Enum<?>) - Method in class checkers.util.AnnotationUtils.AnnotationBuilder
     
    shouldSkip(ExpressionTree) - Method in class checkers.basetype.BaseTypeVisitor
    Tests whether the expression should not be checked because of the tree referring to unannotated classes, as specified in the checker.skipClasses property.
    shouldSkip(Element) - Method in class checkers.basetype.BaseTypeVisitor
    Tests whether the class owner of the passed element is an unannotated class and matches the pattern specified in the checker.skipClasses property.
    shouldSkip(String) - Method in class checkers.source.SourceChecker
    Determines whether checking against members of the class with the given name should be performed.
    SignaturePrinter - Class in checkers.util.debug
    Outputs the method signatures of a class with fully annotated types.
    SignaturePrinter() - Constructor for class checkers.util.debug.SignaturePrinter
     
    SimpleAnnotatedTypeScanner<R,P> - Class in checkers.types.visitors
     
    SimpleAnnotatedTypeScanner() - Constructor for class checkers.types.visitors.SimpleAnnotatedTypeScanner
     
    SimpleAnnotatedTypeVisitor<R,P> - Class in checkers.types.visitors
    A simple visitor for AnnotatedTypeMirrors.
    SimpleAnnotatedTypeVisitor() - Constructor for class checkers.types.visitors.SimpleAnnotatedTypeVisitor
    Creates an instance of SimpleAnnotatedTypeVisitor with default value being null
    SimpleAnnotatedTypeVisitor(R) - Constructor for class checkers.types.visitors.SimpleAnnotatedTypeVisitor
    Creates an instance of SimpleAnnotatedTypeVisitor with the default value being the passed defaultValue
    skipParens(Tree) - Static method in class checkers.util.TreeUtils
    If the given tree is a parenthesized tree, it returns the enclosed non-parenthesized tree.
    skipParens(ExpressionTree) - Static method in class checkers.util.TreeUtils
    If the given tree is a parenthesized tree, it returns the enclosed non-parenthesized tree.
    skipPattern - Variable in class checkers.source.SourceChecker
    A regular expression for classes that should be skipped.
    source - Variable in class checkers.flow.Flow
    Utility class for getting source positions.
    SourceChecker - Class in checkers.source
    An abstract annotation processor designed for implementing a source-file checker for a JSR-308 conforming compiler plug-in.
    SourceChecker() - Constructor for class checkers.source.SourceChecker
     
    SourceVisitor<R,P> - Class in checkers.source
    An AST visitor that provides a variety of compiler utilities and interfaces to facilitate typechecking.
    SourceVisitor(SourceChecker, CompilationUnitTree) - Constructor for class checkers.source.SourceVisitor
    Creates a SourceVisitor to use for scanning a source tree.
    SubQual - Annotation Type in checkers.util.test
    A subtype of SuperQual.
    subst(AnnotatedTypeMirror, List<? extends AnnotatedTypeMirror>, List<? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypes
    Returns a new type, a copy of the passed t, with all instances of from type substituted with their correspondents in to and return the substituted in type.
    substitute(Map<? extends AnnotatedTypeMirror, ? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedArrayType
     
    substitute(Map<? extends AnnotatedTypeMirror, ? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
     
    substitute(Map<? extends AnnotatedTypeMirror, ? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
     
    substitute(Map<? extends AnnotatedTypeMirror, ? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedNoType
     
    substitute(Map<? extends AnnotatedTypeMirror, ? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedNullType
     
    substitute(Map<? extends AnnotatedTypeMirror, ? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedPrimitiveType
     
    substitute(Map<? extends AnnotatedTypeMirror, ? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
     
    substitute(Map<? extends AnnotatedTypeMirror, ? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedWildcardType
     
    substitute(Map<? extends AnnotatedTypeMirror, ? extends AnnotatedTypeMirror>) - Method in class checkers.types.AnnotatedTypeMirror
    Sub
    SubtypeOf - Annotation Type in checkers.quals
    A meta-annotation to specify all the qualifiers that the given qualifier is a subtype of.
    SUCCESS - Static variable in class checkers.source.Result
    The success result.
    superclass - Variable in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
    Deprecated. 
    SuperQual - Annotation Type in checkers.util.test
    A supertype of SubQual.
    supertypes - Variable in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
     
    SupportedLintOptions - Annotation Type in checkers.source
    An annotation used to indicate what lint options a checker supports.
    SuppressWarningsKey - Annotation Type in checkers.source
    Specifies the argument that this checker recognizes for suppressing warnings via the SuppressWarnings annotation.
    symbol(Tree) - Static method in class checkers.util.InternalUtils
    Gets the Element ("symbol") for the given Tree API node.

    T

    test(Tree) - Method in class checkers.flow.Flow
    Determines the inference result for tree.
    TestChecker - Class in checkers.util.test
    A simple checker used for testing the Checker Framework.
    TestChecker() - Constructor for class checkers.util.test.TestChecker
     
    THISMUTABLE - Variable in class checkers.javari.JavariChecker
     
    ThisMutable - Annotation Type in checkers.javari.quals
    An annotation used to represent a place holder immutability type, that is equivalent to the ThisMutable type on the Javari typesystem.
    toString() - Method in class checkers.flow.Location
     
    toString() - Method in class checkers.source.Result.DiagMessage
     
    toString() - Method in class checkers.source.Result
     
    toString() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedArrayType
     
    toString() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
     
    toString() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
     
    toString() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedTypeVariable
     
    toString() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedWildcardType
     
    toString() - Method in class checkers.types.AnnotatedTypeMirror
     
    toString() - Method in class checkers.types.VisitorState
     
    toStringAsArraysPre() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedArrayType
     
    toStringAsCanonical() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedArrayType
     
    treeAnnotator - Variable in class checkers.types.BasicAnnotatedTypeFactory
    to annotate types based on the given un-annotated types
    TreeAnnotator - Class in checkers.types
    Adds annotations to a type based on the contents of a tree.
    TreeAnnotator(BaseTypeChecker) - Constructor for class checkers.types.TreeAnnotator
    Creates a TypeAnnotator from the given checker, using that checker's TypeQualifiers annotation to determine the annotations that are in the type hierarchy.
    TreeDebug - Class in checkers.util.debug
    A utility class for displaying the structure of the AST of a program.
    TreeDebug() - Constructor for class checkers.util.debug.TreeDebug
     
    TreeDebug.Visitor - Class in checkers.util.debug
     
    TreeDebug.Visitor() - Constructor for class checkers.util.debug.TreeDebug.Visitor
     
    trees - Variable in class checkers.source.SourceChecker
    Used as a helper for the SourceVisitor.
    trees - Variable in class checkers.source.SourceVisitor
    The Trees instance to use for scanning.
    trees - Variable in class checkers.types.AnnotatedTypeFactory
    The Trees instance to use for tree node path finding.
    TreeUtils - Class in checkers.util
    A utility class made for helping to analyze a given Tree.
    typeAnnotator - Variable in class checkers.types.BasicAnnotatedTypeFactory
    to annotate types based on the given tree
    TypeAnnotator - Class in checkers.types
    Adds annotations to a type based on the contents of a type.
    TypeAnnotator(BaseTypeChecker) - Constructor for class checkers.types.TypeAnnotator
    Creates a TypeAnnotator from the given checker, using that checker's TypeQualifiers annotation to determine the annotations that are in the type hierarchy.
    typeArgs - Variable in class checkers.types.AnnotatedTypeMirror.AnnotatedDeclaredType
    Parametrized Type Arguments
    typeFactory - Variable in class checkers.types.AnnotatedTypeMirror
    The factory to use for lazily creating annotated types.
    TypeFromElement - Class in checkers.types
    A utility class used to extract the annotations from an element and inserts them into the elements type.
    TypeFromElement() - Constructor for class checkers.types.TypeFromElement
     
    TypeHierarchy - Class in checkers.types
    Class to test AnnotatedTypeMirror subtype relationships.
    TypeHierarchy(QualifierHierarchy) - Constructor for class checkers.types.TypeHierarchy
    Constructs an instance of TypeHierarchy for the type system whose qualifiers represented in qualifierHierarchy.
    typeOf(Tree) - Static method in class checkers.util.InternalUtils
     
    TypeOutputtingChecker - Class in checkers.util.test
    A testing class that can be used to test TypeElement.
    TypeOutputtingChecker() - Constructor for class checkers.util.test.TypeOutputtingChecker
     
    TypeOutputtingChecker.Visitor - Class in checkers.util.test
    Prints the types of the class and all of its enclosing fields, methods, and inner classes
    TypeOutputtingChecker.Visitor(SourceChecker, CompilationUnitTree) - Constructor for class checkers.util.test.TypeOutputtingChecker.Visitor
     
    typeProcess(TypeElement, TreePath) - Method in class checkers.source.SourceChecker
    Type-check the code with Java specifications and then runs the Checker Rule Checking visitor on the processed source.
    typeProcess(TypeElement, TreePath) - Method in class checkers.util.AggregateChecker
     
    typeProcess(TypeElement, TreePath) - Method in class checkers.util.debug.SignaturePrinter
     
    typeProcessingOver() - Method in class checkers.util.AggregateChecker
     
    TypeQualifier - Annotation Type in checkers.quals
    A meta-annotation indicating that the annotated annotation is a type qualifier.
    TypeQualifiers - Annotation Type in checkers.quals
    An annotation that lists the type qualifiers supported by the annotated Checker.
    types - Variable in class checkers.source.SourceVisitor
    The Types helper to use when scanning.
    types - Variable in class checkers.types.AnnotatedTypeFactory
    Utility class for working with TypeMirrors.
    TypesUtils - Class in checkers.util
    A Utilities class that helps with Elements.

    U

    unify(Collection<AnnotationMirror>, Collection<AnnotationMirror>) - Method in class checkers.javari.JavariAnnotatedTypeFactory
    Returns a singleton collection with the most restrictive immutability annotation that is a supertype of the annotations on both collections.
    unify(Collection<AnnotationMirror>, Collection<AnnotationMirror>) - Method in class checkers.types.AnnotatedTypeFactory
    Returns the type qualifiers that are least upper bound for c1 and c2 qualifiers.
    Unqualified - Annotation Type in checkers.quals
    A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf.value(), in the type qualifiers declarations.
    Untainted - Annotation Type in checkers.tainting
    Denotes a reference that is untainted, i.e.
    Unused - Annotation Type in checkers.quals
    Declares that the field may not be accessed if the receiver is of the specified qualifier type (or any supertype).
    useFlow - Variable in class checkers.types.BasicAnnotatedTypeFactory
    Should use flow analysis?

    V

    validateTypeOf(Tree) - Method in class checkers.basetype.BaseTypeVisitor
    Tests whether the tree expressed by the passed type tree is a valid type, and emits an error if that is not the case (e.g.
    validateTypeOf(Tree) - Method in class checkers.javari.JavariVisitor
    Tests whether the tree expressed by the passed type tree contains a qualified primitive type on its qualified type, and if so emits an error.
    validQualifier(Collection<AnnotationMirror>) - Method in class checkers.types.QualifierHierarchy
    Deprecated. 
    validQualifiers(Collection<AnnotationMirror>) - Method in class checkers.types.QualifierHierarchy
    Deprecated. 
    valueOf(String) - Static method in enum checkers.quals.DefaultLocation
    Returns the enum constant of this type with the specified name.
    values() - Static method in enum checkers.quals.DefaultLocation
    Returns an array containing the constants of this enum type, in the order they are declared.
    vars - Variable in class checkers.flow.Flow
    Maps variables to a bit index.
    visit(AnnotatedTypeMirror) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    visit(AnnotatedTypeMirror, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    visit(AnnotatedTypeMirror) - Method in interface checkers.types.visitors.AnnotatedTypeVisitor
    A Convenience method equivalent to v.visit(t, null).
    visit(AnnotatedTypeMirror, P) - Method in interface checkers.types.visitors.AnnotatedTypeVisitor
    Visits a type.
    visit(AnnotatedTypeMirror) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
     
    visit(AnnotatedTypeMirror, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
     
    visitAnnotation(AnnotationTree, P) - Method in class checkers.basetype.BaseTypeVisitor
     
    visitAnnotation(AnnotationTree, Void) - Method in class checkers.flow.Flow
     
    visitArray(AnnotatedTypeMirror.AnnotatedArrayType, AnnotatedTypeMirror) - Method in class checkers.types.visitors.AnnotatedTypeComparer
     
    visitArray(AnnotatedTypeMirror.AnnotatedArrayType, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    visitArray(AnnotatedTypeMirror.AnnotatedArrayType, P) - Method in interface checkers.types.visitors.AnnotatedTypeVisitor
    Visits an array type.
    visitArray(AnnotatedTypeMirror.AnnotatedArrayType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeScanner
    Visits an array type.
    visitArray(AnnotatedTypeMirror.AnnotatedArrayType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
     
    visitArrayAccess(ArrayAccessTree, Void) - Method in class checkers.nullness.NullnessVisitor
    Case 3: Check for array dereferencing
    visitAssert(AssertTree, Void) - Method in class checkers.flow.Flow
     
    visitAssignment(AssignmentTree, P) - Method in class checkers.basetype.BaseTypeVisitor
    Performs two checks: subtyping and assignability checks, using BaseTypeVisitor.commonAssignmentCheck(Tree, ExpressionTree, String, Object).
    visitAssignment(AssignmentTree, Void) - Method in class checkers.flow.Flow
     
    visitAssignment(AssignmentTree, Void) - Method in class checkers.nullness.NullnessVisitor
     
    visitBinary(BinaryTree, Void) - Method in class checkers.interning.InterningVisitor
     
    visitBinary(BinaryTree, Void) - Method in class checkers.nullness.NullnessVisitor
    Case 6: Check for redundant nullness tests Case 7: unboxing case: primitive operations
    visitBlock(BlockTree, Void) - Method in class checkers.flow.Flow
     
    visitBreak(BreakTree, Void) - Method in class checkers.flow.Flow
     
    visitClass(ClassTree, P) - Method in class checkers.basetype.BaseTypeVisitor
     
    visitClass(ClassTree, Void) - Method in class checkers.flow.Flow
     
    visitClass(ClassTree, Void) - Method in class checkers.javari.JavariVisitor
    Ensures the class type is not @PolyRead outside a @PolyRead context.
    visitClass(ClassTree, Void) - Method in class checkers.util.test.TypeOutputtingChecker.Visitor
     
    visitCompilationUnit(CompilationUnitTree, P) - Method in class checkers.basetype.BaseTypeVisitor
    Override Compilation Unit so we won't visit package names or imports
    visitCompoundAssignment(CompoundAssignmentTree, P) - Method in class checkers.basetype.BaseTypeVisitor
    Performs assignability check using BaseTypeVisitor.checkAssignability(AnnotatedTypeMirror, Tree).
    visitCompoundAssignment(CompoundAssignmentTree, Void) - Method in class checkers.flow.Flow
     
    visitCompoundAssignment(CompoundAssignmentTree, Void) - Method in class checkers.nullness.NullnessVisitor
    Case 7: unboxing case: primitive operation
    visitConditionalExpression(ConditionalExpressionTree, Void) - Method in class checkers.flow.Flow
     
    visitContinue(ContinueTree, Void) - Method in class checkers.flow.Flow
     
    visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeFactory) - Method in class checkers.types.AnnotatedTypeFactory.InheritedFromClassAnnotator
     
    visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror) - Method in class checkers.types.visitors.AnnotatedTypeComparer
     
    visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType, P) - Method in interface checkers.types.visitors.AnnotatedTypeVisitor
    Visits a declared type.
    visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeScanner
    Visits a declared type.
    visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
     
    visitDoWhileLoop(DoWhileLoopTree, Void) - Method in class checkers.flow.Flow
     
    visitedNodes - Variable in class checkers.types.visitors.AnnotatedTypeScanner
     
    visitEnhancedForLoop(EnhancedForLoopTree, P) - Method in class checkers.basetype.BaseTypeVisitor
    Performs a subtype check, to test whether the node expression iterable type is a subtype of the variable type in the enhanced for loop.
    visitEnhancedForLoop(EnhancedForLoopTree, Void) - Method in class checkers.flow.Flow
     
    visitEnhancedForLoop(EnhancedForLoopTree, Void) - Method in class checkers.nullness.NullnessVisitor
    Case 2: Check for implicit .iterator call
    visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeFactory) - Method in class checkers.types.AnnotatedTypeFactory.InheritedFromClassAnnotator
     
    visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType, ElementKind) - Method in class checkers.types.TypeAnnotator
     
    visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror) - Method in class checkers.types.visitors.AnnotatedTypeComparer
     
    visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType, P) - Method in interface checkers.types.visitors.AnnotatedTypeVisitor
    Visits an executable type.
    visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeScanner
    Visits an executable type.
    visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
     
    visitForLoop(ForLoopTree, Void) - Method in class checkers.flow.Flow
     
    visitIdentifier(IdentifierTree, P) - Method in class checkers.basetype.BaseTypeVisitor
     
    visitIdentifier(IdentifierTree, Void) - Method in class checkers.flow.Flow
     
    visitIdentifier(IdentifierTree, Void) - Method in class checkers.lock.LockVisitor
     
    visitIdentifier(IdentifierTree, Void) - Method in class checkers.util.debug.TreeDebug.Visitor
     
    visitIf(IfTree, Void) - Method in class checkers.flow.Flow
     
    visitImport(ImportTree, Void) - Method in class checkers.flow.Flow
     
    visitInstanceOf(InstanceOfTree, P) - Method in class checkers.basetype.BaseTypeVisitor
     
    visitLiteral(LiteralTree, AnnotatedTypeMirror) - Method in class checkers.types.TreeAnnotator
     
    visitLiteral(LiteralTree, Void) - Method in class checkers.util.debug.TreeDebug.Visitor
     
    visitMemberSelect(MemberSelectTree, Void) - Method in class checkers.flow.Flow
     
    visitMemberSelect(MemberSelectTree, Void) - Method in class checkers.lock.LockVisitor
     
    visitMemberSelect(MemberSelectTree, Void) - Method in class checkers.nullness.NullnessVisitor
    Case 1: Check for null dereferecing
    visitMemberSelect(MemberSelectTree, Void) - Method in class checkers.util.debug.TreeDebug.Visitor
     
    visitMethod(MethodTree, P) - Method in class checkers.basetype.BaseTypeVisitor
    Performs pseudo-assignment check: checks that the method obeys override and subtype rules to all overridden methods.
    visitMethod(MethodTree, Void) - Method in class checkers.flow.Flow
     
    visitMethod(MethodTree, Void) - Method in class checkers.lock.LockVisitor
     
    visitMethod(MethodTree, Void) - Method in class checkers.nullness.NullnessVisitor
     
    visitMethod(MethodTree, Void) - Method in class checkers.util.test.TypeOutputtingChecker.Visitor
     
    visitMethodInvocation(MethodInvocationTree, P) - Method in class checkers.basetype.BaseTypeVisitor
    Performs a method invocation check.
    visitMethodInvocation(MethodInvocationTree, Void) - Method in class checkers.flow.Flow
     
    visitMethodInvocation(MethodInvocationTree, Void) - Method in class checkers.interning.InterningVisitor
     
    visitMethodInvocation(MethodInvocationTree, Void) - Method in class checkers.lock.LockVisitor
     
    visitNewArray(NewArrayTree, P) - Method in class checkers.basetype.BaseTypeVisitor
     
    visitNewArray(NewArrayTree, Void) - Method in class checkers.util.debug.TreeDebug.Visitor
     
    visitNewClass(NewClassTree, P) - Method in class checkers.basetype.BaseTypeVisitor
    Performs a new class invocation check.
    visitNoType(AnnotatedTypeMirror.AnnotatedNoType, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    visitNoType(AnnotatedTypeMirror.AnnotatedNoType, P) - Method in interface checkers.types.visitors.AnnotatedTypeVisitor
    Visits NoType type.
    visitNoType(AnnotatedTypeMirror.AnnotatedNoType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeScanner
    Visits NoType type.
    visitNoType(AnnotatedTypeMirror.AnnotatedNoType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
     
    visitNull(AnnotatedTypeMirror.AnnotatedNullType, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    visitNull(AnnotatedTypeMirror.AnnotatedNullType, P) - Method in interface checkers.types.visitors.AnnotatedTypeVisitor
    Visits a null type.
    visitNull(AnnotatedTypeMirror.AnnotatedNullType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeScanner
    Visits a null type.
    visitNull(AnnotatedTypeMirror.AnnotatedNullType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
     
    visitorState - Variable in class checkers.basetype.BaseTypeVisitor
    For storing visitor state
    visitorState - Variable in class checkers.types.AnnotatedTypeFactory
    the state of the visitor
    VisitorState - Class in checkers.types
    Represents the state of a visitor.
    VisitorState() - Constructor for class checkers.types.VisitorState
     
    visitParameterizedType(ParameterizedTypeTree, P) - Method in class checkers.basetype.BaseTypeVisitor
    Checks that the annotations on the type arguments supplied to a type or a method invocation are within the bounds of the type variables as declared, and issues the "generic.argument.invalid" error if they are not.
    visitParenthesized(ParenthesizedTree, Void) - Method in class checkers.util.Heuristics.Matcher
     
    visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType, P) - Method in interface checkers.types.visitors.AnnotatedTypeVisitor
    Visits a primitive type.
    visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeScanner
    Visits a primitive type.
    visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
     
    visitReturn(ReturnTree, P) - Method in class checkers.basetype.BaseTypeVisitor
    Checks that the type of the return expression is a subtype of the enclosing method required return type.
    visitReturn(ReturnTree, Void) - Method in class checkers.flow.Flow
     
    visitSynchronized(SynchronizedTree, Void) - Method in class checkers.lock.LockVisitor
     
    visitSynchronized(SynchronizedTree, Void) - Method in class checkers.nullness.NullnessVisitor
    Case 5: Check for synchronizing locks
    visitThrow(ThrowTree, Void) - Method in class checkers.flow.Flow
     
    visitThrow(ThrowTree, Void) - Method in class checkers.nullness.NullnessVisitor
    Case 4: Check for thrown exception nullness
    visitTry(TryTree, Void) - Method in class checkers.flow.Flow
     
    visitTypeCast(TypeCastTree, P) - Method in class checkers.basetype.BaseTypeVisitor
     
    visitTypeCast(TypeCastTree, Void) - Method in class checkers.flow.Flow
     
    visitTypeCast(TypeCastTree, Void) - Method in class checkers.nullness.NullnessVisitor
    Case 7: unboxing case: casting to a primitive
    visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror) - Method in class checkers.types.visitors.AnnotatedTypeComparer
     
    visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable, P) - Method in interface checkers.types.visitors.AnnotatedTypeVisitor
    Visits a type variable.
    visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeScanner
    Visits a type variable.
    visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
     
    visitUnary(UnaryTree, P) - Method in class checkers.basetype.BaseTypeVisitor
    Performs assignability check using BaseTypeVisitor.checkAssignability(AnnotatedTypeMirror, Tree).
    visitUnary(UnaryTree, Void) - Method in class checkers.nullness.NullnessVisitor
    Case 7: unboxing case: primitive operation
    visitVariable(VariableTree, P) - Method in class checkers.basetype.BaseTypeVisitor
     
    visitVariable(VariableTree, Void) - Method in class checkers.flow.Flow
     
    visitVariable(VariableTree, Void) - Method in class checkers.util.test.TypeOutputtingChecker.Visitor
     
    visitWhileLoop(WhileLoopTree, Void) - Method in class checkers.flow.Flow
     
    visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType, AnnotatedTypeMirror) - Method in class checkers.types.visitors.AnnotatedTypeComparer
     
    visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType, P) - Method in class checkers.types.visitors.AnnotatedTypeScanner
     
    visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType, P) - Method in interface checkers.types.visitors.AnnotatedTypeVisitor
    Visits a wildcard type.
    visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeScanner
    Visits a wildcard type.
    visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType, P) - Method in class checkers.types.visitors.SimpleAnnotatedTypeVisitor
     

    W

    warning(String, Object...) - Static method in class checkers.source.Result
    Creates a new warning result with the given message.
    wrapCollection(Collection<AnnotationMirror>) - Method in class checkers.types.QualifierHierarchy
    Returns a non-null, non-empty collection of annotations.

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