Package | Description |
---|---|
edu.umd.cs.findbugs.ba.jsr305 |
Support for analyzing code containing JSR-305 type qualifier annotations.
|
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.detect |
Modifier and Type | Field and Description |
---|---|
TypeQualifierValue |
TypeQualifierAnnotation.typeQualifier |
protected TypeQualifierValue |
TypeQualifierDataflowAnalysis.typeQualifierValue |
Modifier and Type | Method and Description |
---|---|
TypeQualifierValue |
AbstractMethodAnnotationAccumulator.getTypeQualifierValue() |
static TypeQualifierValue |
TypeQualifierValue.getValue(ClassDescriptor desc,
java.lang.Object value)
Given a ClassDescriptor/value pair, return the
interned TypeQualifierValue representing that pair.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<TypeQualifierValue> |
DirectlyRelevantTypeQualifiersDatabase.getAllKnownQualifiers()
Return a set of all known type qualifiers.
|
static java.util.Collection<TypeQualifierValue> |
TypeQualifierValue.getAllKnownTypeQualifiers()
Get Collection of all known TypeQualifierValues.
|
static java.util.Collection<TypeQualifierValue> |
TypeQualifierValue.getComplementaryExclusiveTypeQualifierValue(TypeQualifierValue tqv)
Get the "complementary" TypeQualifierValues for given exclusive type qualifier.
|
java.util.Collection<TypeQualifierValue> |
DirectlyRelevantTypeQualifiersDatabase.getDirectlyRelevantTypeQualifiers(MethodDescriptor m)
Get the directly-relevant type qualifiers applied to given
method.
|
static java.util.Collection<TypeQualifierValue> |
Analysis.getRelevantTypeQualifiers(MethodDescriptor methodDescriptor,
CFG cfg)
Find relevant type qualifiers needing to be checked
for a given method.
|
Modifier and Type | Method and Description |
---|---|
static boolean |
FlowValue.backwardsValueConflictsWithSource(FlowValue backwardsFlowValue,
SourceSinkInfo source,
TypeQualifierValue typeQualifierValue)
Determine whether given backwards FlowValue
conflicts with given source.
|
static java.util.Collection<TypeQualifierValue> |
TypeQualifierValue.getComplementaryExclusiveTypeQualifierValue(TypeQualifierValue tqv)
Get the "complementary" TypeQualifierValues for given exclusive type qualifier.
|
protected BackwardTypeQualifierDataflow |
BackwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor,
TypeQualifierValue typeQualifierValue) |
protected ForwardTypeQualifierDataflow |
ForwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor,
TypeQualifierValue typeQualifierValue) |
protected abstract DataflowType |
TypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor,
TypeQualifierValue typeQualifierValue) |
DataflowType |
TypeQualifierDataflowFactory.getDataflow(TypeQualifierValue typeQualifierValue) |
static TypeQualifierAnnotation |
TypeQualifierApplications.getDirectTypeQualifierAnnotation(XMethod xmethod,
int parameter,
TypeQualifierValue typeQualifierValue)
Get the TypeQualifierAnnotation directly applied to given
method parameter.
|
static TypeQualifierAnnotation |
TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(AnnotatedObject o,
TypeQualifierValue typeQualifierValue)
Get the effective TypeQualifierAnnotation on given
AnnotatedObject.
|
static TypeQualifierAnnotation |
TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(XMethod xmethod,
int parameter,
TypeQualifierValue typeQualifierValue)
Get the effective TypeQualifierAnnotation on given method parameter.
|
TypeQualifierAnnotation |
TypeQualifierDatabase.getParameter(MethodDescriptor methodDesc,
int param,
TypeQualifierValue tqv)
Get the TypeQualifierAnnotation on a parameter.
|
TypeQualifierAnnotation |
TypeQualifierDatabase.getReturnValue(MethodDescriptor methodDesc,
TypeQualifierValue tqv)
Get the TypeQualifierAnnotation on a method return value.
|
static TypeQualifierAnnotation |
TypeQualifierAnnotation.getValue(TypeQualifierValue desc,
javax.annotation.meta.When when) |
static boolean |
TypeQualifierValue.hasMultipleVariants(TypeQualifierValue tqv)
Determine whether or not given TypeQualifierValue has multiple variants.
|
protected void |
BackwardTypeQualifierDataflowFactory.populateDatabase(BackwardTypeQualifierDataflow dataflow,
ValueNumberDataflow vnaDataflow,
XMethod xmethod,
TypeQualifierValue tqv) |
protected abstract void |
TypeQualifierDataflowFactory.populateDatabase(DataflowType dataflow,
ValueNumberDataflow vnaDataflow,
XMethod xmethod,
TypeQualifierValue tqv) |
protected void |
ForwardTypeQualifierDataflowFactory.populateDatabase(ForwardTypeQualifierDataflow dataflow,
ValueNumberDataflow vnaDataflow,
XMethod xmethod,
TypeQualifierValue tqv) |
void |
TypeQualifierDatabase.setParameter(MethodDescriptor methodDesc,
int param,
TypeQualifierValue tqv,
TypeQualifierAnnotation tqa)
Set a TypeQualifierAnnotation on a method parameter.
|
void |
TypeQualifierDatabase.setReturnValue(MethodDescriptor methodDesc,
TypeQualifierValue tqv,
TypeQualifierAnnotation tqa)
Set a TypeQualifierAnnotation on a method return value.
|
Modifier and Type | Method and Description |
---|---|
static void |
Analysis.addKnownTypeQualifiers(java.util.HashSet<TypeQualifierValue> result,
java.util.Collection<TypeQualifierAnnotation> applicableApplications) |
static void |
Analysis.addKnownTypeQualifiersForParameters(java.util.HashSet<TypeQualifierValue> result,
XMethod m) |
static java.util.Collection<TypeQualifierAnnotation> |
TypeQualifierAnnotation.getValues(java.util.Map<TypeQualifierValue,javax.annotation.meta.When> map) |
void |
DirectlyRelevantTypeQualifiersDatabase.setDirectlyRelevantTypeQualifiers(MethodDescriptor methodDescriptor,
java.util.Collection<TypeQualifierValue> qualifiers)
Set the collection of directly-relevant type qualifiers for
a given method.
|
Constructor and Description |
---|
AbstractMethodAnnotationAccumulator(TypeQualifierValue typeQualifierValue,
XMethod xmethod) |
BackwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs,
ReverseDepthFirstSearch rdfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
TypeQualifierValue typeQualifierValue)
Constructor.
|
ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
TypeQualifierValue typeQualifierValue)
Constructor.
|
ParameterAnnotationAccumulator(TypeQualifierValue typeQualifierValue,
XMethod xmethod,
int parameter)
Constructor.
|
TypeQualifierDataflowAnalysis(XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
TypeQualifierValue typeQualifierValue)
Constructor.
|
Modifier and Type | Field and Description |
---|---|
TypeQualifierValue |
TypeQualifierNullnessAnnotationDatabase.nonnullTypeQualifierValue |
Modifier and Type | Field and Description |
---|---|
TypeQualifierValue |
BuildUnconditionalParamDerefDatabase.nonnullTypeQualifierValue |
TypeQualifierValue |
InconsistentAnnotations.nonnullTypeQualifierValue |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.