@ParametersAreNonnullByDefault @AnalysisContextContained
See: Description
Class | Description |
---|---|
AbstractMethodAnnotationAccumulator |
Accumulate type qualifier annotations on method, taking supertype methods
into account.
|
Analysis |
Find relevant type qualifiers needing to be checked for a given method.
|
BackwardTypeQualifierDataflow |
Dataflow class for BackwardTypeQualifierDataflowAnalysis.
|
BackwardTypeQualifierDataflowAnalysis |
Backwards type qualifier dataflow analysis.
|
BackwardTypeQualifierDataflowFactory |
Factory for BackwardTypeQualifierDataflow objects for given type qualifier
values.
|
DirectlyRelevantTypeQualifiersDatabase |
Database of type qualfiers applied directly to methods.
|
FindBugsDefaultAnnotations | Deprecated |
ForwardTypeQualifierDataflow |
Dataflow object for ForwardTypeQualifierDataflowAnalysis.
|
ForwardTypeQualifierDataflowAnalysis |
Forward type qualifier dataflow analysis.
|
ForwardTypeQualifierDataflowFactory |
Factory for producing ForwardTypeQualifierDataflow objects for various kinds
of type qualifiers.
|
JSR305NullnessAnnotations |
ClassDescriptors for JSR-305 nullness annotations.
|
ParameterAnnotationAccumulator |
Accumulate type qualifier annotations for a method parameter.
|
SourceSinkInfo |
Information about a source or sink in the type qualifier dataflow analysis.
|
TypeQualifierAnnotation |
A type qualifier applied to a field, method, parameter, or return value.
|
TypeQualifierAnnotationLookupResult |
The result of looking up a TypeQualifierAnnotation.
|
TypeQualifierAnnotationLookupResult.PartialResult |
Partial result of looking up a TypeQualifierAnnotation.
|
TypeQualifierApplications |
Figure out where and how type qualifier annotations are applied.
|
TypeQualifierDatabase |
Store computed type qualifiers for method parameters and return values.
|
TypeQualifierDataflow<AnalysisType extends TypeQualifierDataflowAnalysis> |
Dataflow class for TypeQualifierDataflowAnalysis.
|
TypeQualifierDataflowAnalysis |
Abstract base class for type qualifier dataflow analyses.
|
TypeQualifierDataflowFactory<AnalysisType extends TypeQualifierDataflowAnalysis,DataflowType extends TypeQualifierDataflow<AnalysisType>> |
Factory to create and cache TypeQualifierDataflow objects for a particular
method.
|
TypeQualifierResolver |
Resolve annotations into type qualifiers.
|
TypeQualifierValue<A extends java.lang.annotation.Annotation> |
A TypeQualifierValue is a pair specifying a type qualifier annotation and a
value.
|
TypeQualifierValueSet |
Set of ValueNumbers and their corresponding FlowValues.
|
Enum | Description |
---|---|
FlowValue |
Flow value type for type qualifier dataflow analysis.
|
SourceSinkType |
Types of sources and sinks in type qualifier dataflow analysis.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.