@ParametersAreNonnullByDefault @AnalysisContextContained
Package edu.umd.cs.findbugs.ba.jsr305
Support for analyzing code containing JSR-305 type qualifier annotations.
See the JSR-305 home page at http://code.google.com/p/jsr-305/.
-
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.