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 <A extends java.lang.annotation.Annotation> |
TypeQualifierValue.getValue(java.lang.Class<A> clazz,
java.lang.Object value) |
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,
boolean isIdentity)
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 abstract DataflowType |
TypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor1,
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 BackwardTypeQualifierDataflow |
BackwardTypeQualifierDataflowFactory.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.
|
static TypeQualifierAnnotation |
TypeQualifierApplications.getInheritedTypeQualifierAnnotation(XMethod xmethod,
int parameter,
TypeQualifierValue<?> typeQualifierValue)
Get the effective inherited TypeQualifierAnnotation on the given instance
method parameter.
|
static TypeQualifierAnnotation |
TypeQualifierApplications.getInheritedTypeQualifierAnnotation(XMethod o,
TypeQualifierValue<?> typeQualifierValue)
Get the effective inherited TypeQualifierAnnotation on given instance
method.
|
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<? super TypeQualifierValue<?>> result,
java.util.Collection<TypeQualifierAnnotation> applicableApplications) |
static void |
Analysis.addKnownTypeQualifiersForParameters(java.util.HashSet<? super 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.
|
TypeQualifierValueSet(TypeQualifierValue<?> typeQualifierValue) |
Modifier and Type | Field and Description |
---|---|
TypeQualifierValue<javax.annotation.Nonnull> |
TypeQualifierNullnessAnnotationDatabase.nonnullTypeQualifierValue |
Modifier and Type | Field and Description |
---|---|
TypeQualifierValue<?> |
InconsistentAnnotations.nonnullTypeQualifierValue |
TypeQualifierValue<javax.annotation.Nonnull> |
BuildUnconditionalParamDerefDatabase.nonnullTypeQualifierValue |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.