FindBugs™ 1.3.9

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

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

See:
          Description

Class Summary
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 FindBugs-specific default-annotation annotations.
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 TypeQualifierValue is a pair specifying a type qualifier annotation and a value.
TypeQualifierValueSet Set of ValueNumbers and their corresponding FlowValues.
 

Enum Summary
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/.


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.