Uses of Package
edu.umd.cs.findbugs.ba.jsr305
Packages that use edu.umd.cs.findbugs.ba.jsr305
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
Support for analyzing code containing JSR-305 type qualifier annotations.
Support for analyses based on the BCEL bytecode framework.
-
Classes in edu.umd.cs.findbugs.ba.jsr305 used by edu.umd.cs.findbugs.baClassDescriptionDatabase of type qualfiers applied directly to methods.
-
Classes in edu.umd.cs.findbugs.ba.jsr305 used by edu.umd.cs.findbugs.ba.jsr305ClassDescriptionAccumulate type qualifier annotations on method, taking supertype methods into account.Dataflow class for BackwardTypeQualifierDataflowAnalysis.Backwards type qualifier dataflow analysis.Flow value type for type qualifier dataflow analysis.Dataflow object for ForwardTypeQualifierDataflowAnalysis.Forward type qualifier dataflow analysis.TypeQualifierAnnotationLookupResult summarizing TypeQualifierAnnotation(s) relevant 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.Callback interface to compute effective TypeQualifierAnnotation on an AnnotatedObject or method parameter.Dataflow class for TypeQualifierDataflowAnalysis.Abstract base class for type qualifier dataflow analyses.Factory to create and cache TypeQualifierDataflow objects for a particular method.A TypeQualifierValue is a pair specifying a type qualifier annotation and a value.Set of ValueNumbers and their corresponding FlowValues.
-
Classes in edu.umd.cs.findbugs.ba.jsr305 used by edu.umd.cs.findbugs.ba.npeClassDescriptionA type qualifier applied to a field, method, parameter, or return value.A TypeQualifierValue is a pair specifying a type qualifier annotation and a value.
-
Classes in edu.umd.cs.findbugs.ba.jsr305 used by edu.umd.cs.findbugs.classfile.engine.bcelClassDescriptionFactory for BackwardTypeQualifierDataflow objects for given type qualifier values.Factory for producing ForwardTypeQualifierDataflow objects for various kinds of type qualifiers.
-
Classes in edu.umd.cs.findbugs.ba.jsr305 used by edu.umd.cs.findbugs.detectClassDescriptionDataflow class for BackwardTypeQualifierDataflowAnalysis.Factory for BackwardTypeQualifierDataflow objects for given type qualifier values.Database of type qualfiers applied directly to methods.Flow value type for type qualifier dataflow analysis.Dataflow object for ForwardTypeQualifierDataflowAnalysis.Factory for producing ForwardTypeQualifierDataflow objects for various kinds of type qualifiers.Information about a source or sink in the type qualifier dataflow analysis.A TypeQualifierValue is a pair specifying a type qualifier annotation and a value.Set of ValueNumbers and their corresponding FlowValues.