@ParametersAreNonnullByDefault @AnalysisContextContained

Package edu.umd.cs.findbugs.ba.jsr305

Support for analyzing code containing JSR-305 type qualifier annotations.

See: Description

Class Summary

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 Summary

Enum	Description
FlowValue	Flow value type for type qualifier dataflow analysis.
SourceSinkType	Types of sources and sinks in type qualifier dataflow analysis.

Package edu.umd.cs.findbugs.ba.jsr305 Description

Support for analyzing code containing JSR-305 type qualifier annotations. See the JSR-305 home page at http://code.google.com/p/jsr-305/.