Uses of Class
edu.umd.cs.findbugs.ba.jsr305.TypeQualifierValue
-
Packages that use TypeQualifierValue 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 -
-
Uses of TypeQualifierValue in edu.umd.cs.findbugs.ba.jsr305
Fields in edu.umd.cs.findbugs.ba.jsr305 declared as TypeQualifierValue Modifier and Type Field Description TypeQualifierValue<?>
TypeQualifierAnnotation. typeQualifier
protected TypeQualifierValue<?>
TypeQualifierDataflowAnalysis. typeQualifierValue
Methods in edu.umd.cs.findbugs.ba.jsr305 that return 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<A>TypeQualifierValue. getValue(java.lang.Class<A> clazz, java.lang.Object value)
Methods in edu.umd.cs.findbugs.ba.jsr305 that return types with arguments of type TypeQualifierValue 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.Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type TypeQualifierValue 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.Method parameters in edu.umd.cs.findbugs.ba.jsr305 with type arguments of type TypeQualifierValue 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.Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type TypeQualifierValue 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)
-
Uses of TypeQualifierValue in edu.umd.cs.findbugs.ba.npe
Fields in edu.umd.cs.findbugs.ba.npe declared as TypeQualifierValue Modifier and Type Field Description TypeQualifierValue<javax.annotation.Nonnull>
TypeQualifierNullnessAnnotationDatabase. nonnullTypeQualifierValue
-
Uses of TypeQualifierValue in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as TypeQualifierValue Modifier and Type Field Description TypeQualifierValue<javax.annotation.Nonnull>
BuildUnconditionalParamDerefDatabase. nonnullTypeQualifierValue
TypeQualifierValue<?>
InconsistentAnnotations. nonnullTypeQualifierValue
-