| 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 Annotation> |
TypeQualifierValue.getValue(Class<A> clazz,
Object value) |
static TypeQualifierValue<?> |
TypeQualifierValue.getValue(ClassDescriptor desc,
Object value)
Given a ClassDescriptor/value pair, return the interned
TypeQualifierValue representing that pair.
|
| Modifier and Type | Method and Description |
|---|---|
Set<TypeQualifierValue<?>> |
DirectlyRelevantTypeQualifiersDatabase.getAllKnownQualifiers()
Return a set of all known type qualifiers.
|
static Collection<TypeQualifierValue<?>> |
TypeQualifierValue.getAllKnownTypeQualifiers()
Get Collection of all known TypeQualifierValues.
|
static Collection<TypeQualifierValue<?>> |
TypeQualifierValue.getComplementaryExclusiveTypeQualifierValue(TypeQualifierValue<?> tqv)
Get the "complementary" TypeQualifierValues for given exclusive type
qualifier.
|
Collection<TypeQualifierValue<?>> |
DirectlyRelevantTypeQualifiersDatabase.getDirectlyRelevantTypeQualifiers(MethodDescriptor m)
Get the directly-relevant type qualifiers applied to given method.
|
static 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 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(HashSet<? super TypeQualifierValue<?>> result,
Collection<TypeQualifierAnnotation> applicableApplications) |
static void |
Analysis.addKnownTypeQualifiersForParameters(HashSet<? super TypeQualifierValue<?>> result,
XMethod m) |
static Collection<TypeQualifierAnnotation> |
TypeQualifierAnnotation.getValues(Map<TypeQualifierValue<?>,javax.annotation.meta.When> map) |
void |
DirectlyRelevantTypeQualifiersDatabase.setDirectlyRelevantTypeQualifiers(MethodDescriptor methodDescriptor,
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<Nonnull> |
TypeQualifierNullnessAnnotationDatabase.nonnullTypeQualifierValue |
| Modifier and Type | Field and Description |
|---|---|
TypeQualifierValue<?> |
InconsistentAnnotations.nonnullTypeQualifierValue |
TypeQualifierValue<Nonnull> |
BuildUnconditionalParamDerefDatabase.nonnullTypeQualifierValue |
Copyright © 2003–2015. All rights reserved.