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 | Description |
---|---|---|
TypeQualifierValue<?> |
TypeQualifierAnnotation.typeQualifier |
|
protected TypeQualifierValue<?> |
TypeQualifierDataflowAnalysis.typeQualifierValue |
Modifier and Type | Method | 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.
|
static <A extends java.lang.annotation.Annotation> |
TypeQualifierValue.getValue(java.lang.Class<A> clazz,
java.lang.Object value) |
Modifier and Type | Method | 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 | 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 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 methodDescriptor1,
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(XMethod xmethod,
int parameter,
TypeQualifierValue<?> typeQualifierValue) |
Get the effective TypeQualifierAnnotation on given method parameter.
|
static TypeQualifierAnnotation |
TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(AnnotatedObject o,
TypeQualifierValue<?> typeQualifierValue) |
Get the effective TypeQualifierAnnotation on given AnnotatedObject.
|
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 void |
ForwardTypeQualifierDataflowFactory.populateDatabase(ForwardTypeQualifierDataflow dataflow,
ValueNumberDataflow vnaDataflow,
XMethod xmethod,
TypeQualifierValue<?> tqv) |
|
protected abstract void |
TypeQualifierDataflowFactory.populateDatabase(DataflowType 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 | 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 | 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 | Description |
---|---|---|
TypeQualifierValue<javax.annotation.Nonnull> |
TypeQualifierNullnessAnnotationDatabase.nonnullTypeQualifierValue |
Modifier and Type | Field | Description |
---|---|---|
TypeQualifierValue<javax.annotation.Nonnull> |
BuildUnconditionalParamDerefDatabase.nonnullTypeQualifierValue |
|
TypeQualifierValue<?> |
InconsistentAnnotations.nonnullTypeQualifierValue |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.