A B C D E F G H I J K 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.
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(Tree, AnnotatedTypeMirror) - 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
 
AnnotatedTypeMirror - Class in checkers.types
Represents a annotated type in the JSR308 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(Element, AnnotatedTypeMirror) - Method in class checkers.igj.IGJAnnotatedTypeFactory
 
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(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.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
 
AnnotationUtils - Class in checkers.util
A utility class for working with annotations.
AnnotationUtils(ProcessingEnvironment) - Constructor for class checkers.util.AnnotationUtils
 
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
 
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.
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.
attribute(Set<? extends TypeElement>) - Method in class checkers.source.SourceChecker
Attribute the trees associated with the provided elements.
attribute(Set<? extends TypeElement>) - Method in class checkers.util.count.AnnotationsCounter
No need for type-checking.
attribute(Set<? extends TypeElement>) - Method in class checkers.util.count.Locations
No need for type-checking.
attribute(Set<? extends TypeElement>) - Method in class checkers.util.debug.TreeDebug
No need for type-checking.
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

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.
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.
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.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.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.nullness.NullnessVisitor
 
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.
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.
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
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.
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.types.AnnotatedTypeFactory
Determines the AnnotatedTypeMirror.AnnotatedExecutableType of a constructor invocation.
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
 
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
 
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.AnnotationsCounter
 
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() - Method in class checkers.types.AnnotatedTypeMirror
 
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
Specifies that an annotation should be included on a type without having to provide it explicitly.
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
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
 

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(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
eltsToArrays - Static variable in class checkers.types.AnnotatedTypeFactory
 
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}.
enclosingMethod(TreePath) - Static method in class checkers.util.TreeUtils
Gets the enclosing method of the tree node defined by the given {@link TreePath}.
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.
fromTypeTree(Tree) - Method in class checkers.types.AnnotatedTypeFactory
Determines the annotated type from a type in tree form.
fromTypeTreeInternal(Tree) - 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(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() - 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
 
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.debug.TreeDebug
 
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.
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 "*".
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
 
getSupportedSourceVersion() - Method in class checkers.source.SourceChecker
 
getSupportedTypeQualifiers() - Method in class checkers.basetype.BaseTypeChecker
Returns an immutable set of the type qualifiers supported by this checker.
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
 

H

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
 

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
 
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.test.FactoryTestChecker
 
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
 
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
 
isConstructor(MethodTree) - Static method in class checkers.util.TreeUtils
Checks if the provided method is a constructor method or no.
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
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
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 anno2, according to the type qualifiers 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.
isVarArgs() - Method in class checkers.types.AnnotatedTypeMirror.AnnotatedExecutableType
 
isWarning() - Method in class checkers.source.Result
 

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.
JSR308_ELTS_ARRAY_CONVENTION - Static variable in class checkers.types.AnnotatedTypeFactory
JSR 308: should we use the ELTS array convention?

K

kind - Variable in class checkers.flow.Location
The tree's kind.

L

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.Kind) - 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 counting the potential locations of annotations.
Locations() - Constructor for class checkers.util.count.Locations
 

M

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
 
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.
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: 1.
NullnessAnnotatedTypeFactory(NullnessChecker, CompilationUnitTree) - Constructor for class checkers.nullness.NullnessAnnotatedTypeFactory
Creates a NullnessAnnotatedTypeFactory.
NullnessChecker - Class in checkers.nullness
A typechecker plug-in for the Nullness type system qualifier that finds (and verifies the absence of) null-pointer errors.
NullnessChecker() - Constructor for class checkers.nullness.NullnessChecker
 
NullnessVisitor - Class in checkers.nullness
A type-checking visitor for the Nullness type system.
NullnessVisitor(NullnessChecker, 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
 
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 - Annotation Type in checkers.nullness.quals
A polymorphic qualifier for the Nullness type system.
polyQual - Variable in class checkers.util.QualifierPolymorphism
The polymorphic qualifier.
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.
position - Variable in class checkers.flow.Location
The tree's source position (as a character offset).
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().
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
process(Set<? extends TypeElement>, RoundEnvironment) - 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.
process(Set<? extends TypeElement>, RoundEnvironment) - Method in class checkers.util.count.AnnotationsCounter
 
process(Set<? extends TypeElement>, RoundEnvironment) - Method in class checkers.util.test.TypeOutputtingChecker
 

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 qualifiers 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.
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, Void) - 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 absolute default annotation in case a class does specify a default
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.
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
 
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.
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.
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. 
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
 
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(TreeDebug, CompilationUnitTree) - 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.
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
 
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 unqualified type in the qualifier hierarchy, as an argument to SubtypeOf.value(), in the type qualifiers declarations.
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
 
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
 
visitBinary(BinaryTree, Void) - Method in class checkers.interning.InterningVisitor
 
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
 
visitConditionalExpression(ConditionalExpressionTree, Void) - Method in class checkers.flow.Flow
 
visitContinue(ContinueTree, Void) - Method in class checkers.flow.Flow
 
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
 
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
 
visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType, Void) - 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
 
visitIdentifier(IdentifierTree, Void) - Method in class checkers.flow.Flow
 
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
 
visitInstanceOf(InstanceOfTree, Void) - Method in class checkers.flow.Flow
 
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.nullness.NullnessVisitor
 
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.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
 
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
 
visitThrow(ThrowTree, Void) - Method in class checkers.flow.Flow
 
visitThrow(ThrowTree, Void) - Method in class checkers.nullness.NullnessVisitor
 
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.javari.JavariVisitor
Emits a warning if a cast is made increasing mutability.
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).
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
null is treated as unqualified type, so it returns a collection with null if annos is empty.

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