Package edu.umd.cs.findbugs.ba.jsr305
@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/.
-
ClassDescriptionAccumulate type qualifier annotations on method, taking supertype methods into account.Find relevant type qualifiers needing to be checked for a given method.Dataflow class for BackwardTypeQualifierDataflowAnalysis.Backwards type qualifier dataflow analysis.Factory for BackwardTypeQualifierDataflow objects for given type qualifier values.Database of type qualfiers applied directly to methods.Deprecated.Flow value type for type qualifier dataflow analysis.Dataflow object for ForwardTypeQualifierDataflowAnalysis.Forward type qualifier dataflow analysis.Factory for producing ForwardTypeQualifierDataflow objects for various kinds of type qualifiers.ClassDescriptors for JSR-305 nullness annotations.Accumulate type qualifier annotations for a method parameter.Information about a source or sink in the type qualifier dataflow analysis.Types of sources and sinks in type qualifier dataflow analysis.A type qualifier applied to a field, method, parameter, or return value.The result of looking up a TypeQualifierAnnotation.Partial result of looking up a TypeQualifierAnnotation.Figure out where and how type qualifier annotations are applied.Store computed type qualifiers for method parameters and return values.TypeQualifierDataflow<AnalysisType extends TypeQualifierDataflowAnalysis>Dataflow class for 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.Resolve annotations into type qualifiers.TypeQualifierValue<A extends Annotation>A TypeQualifierValue is a pair specifying a type qualifier annotation and a value.Set of ValueNumbers and their corresponding FlowValues.