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
final TypeQualifierValue<?>	TypeQualifierAnnotation.typeQualifier
private final TypeQualifierValue<?>	AbstractMethodAnnotationAccumulator.typeQualifierValue
protected final TypeQualifierValue<?>	TypeQualifierDataflowAnalysis.typeQualifierValue

Fields in edu.umd.cs.findbugs.ba.jsr305 with type parameters of type TypeQualifierValue

Modifier and Type	Field	Description
private final Set<TypeQualifierValue<?>>	DirectlyRelevantTypeQualifiersDatabase.allKnownQualifiers
(package private) Set<TypeQualifierValue<?>>	TypeQualifierValue.Data.allKnownTypeQualifiers	Set of all known TypeQualifierValues.
private final HashMap<TypeQualifierValue<?>, TypeQualifierDataflowFactory.DataflowResult<DataflowType>>	TypeQualifierDataflowFactory.dataflowMap
private final Map<TypeQualifierValue<?>, Map<AnnotatedObject, TypeQualifierAnnotation>>	TypeQualifierApplications.Data.effectiveObjectAnnotations	Map of TypeQualifierValues to maps containing, for each AnnotatedObject, the effective TypeQualifierAnnotation (if any) for that AnnotatedObject.
private final Map<TypeQualifierValue<?>, DualKeyHashMap<XMethod, Integer, TypeQualifierAnnotation>>	TypeQualifierApplications.Data.effectiveParameterAnnotations	Map of TypeQualifierValues to maps containing, for each XMethod/parameter, the effective TypeQualifierAnnotation (if any) for that XMethod/parameter.
private static ThreadLocal<DualKeyHashMap<TypeQualifierValue<?>, javax.annotation.meta.When, TypeQualifierAnnotation>>	TypeQualifierAnnotation.instance
private final Map<MethodDescriptor, Collection<TypeQualifierValue<?>>>	DirectlyRelevantTypeQualifiersDatabase.methodToDirectlyRelevantQualifiersMap
private final DualKeyHashMap<MethodDescriptor, Integer, Map<TypeQualifierValue<?>, TypeQualifierAnnotation>>	TypeQualifierDatabase.parameterMap
private final Map<MethodDescriptor, Map<TypeQualifierValue<?>, TypeQualifierAnnotation>>	TypeQualifierDatabase.returnValueMap
(package private) DualKeyHashMap<ClassDescriptor, Object, TypeQualifierValue<?>>	TypeQualifierValue.Data.typeQualifierMap	Cache in which constructed TypeQualifierValues are interned.

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, Object value)	Given a ClassDescriptor/value pair, return the interned TypeQualifierValue representing that pair.
static <A extends Annotation> TypeQualifierValue<A>	TypeQualifierValue.getValue(Class<A> clazz, Object value)

Methods in edu.umd.cs.findbugs.ba.jsr305 that return types with arguments of type TypeQualifierValue

Modifier and Type	Method	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.
private static Map<TypeQualifierValue<?>, Map<AnnotatedObject, TypeQualifierAnnotation>>	TypeQualifierApplications.getEffectiveObjectAnnotations()
private static Map<TypeQualifierValue<?>, DualKeyHashMap<XMethod, Integer, TypeQualifierAnnotation>>	TypeQualifierApplications.getEffectiveParameterAnnotations()
static 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.
private static TypeQualifierAnnotation	TypeQualifierApplications.checkFindBugsDefaultAnnotation(ClassDescriptor defaultAnnotation, AnnotatedObject o, TypeQualifierValue<?> typeQualifierValue)
TypeQualifierAnnotation	TypeQualifierApplications.ComputeEffectiveTypeQualifierAnnotation.compute(TypeQualifierValue<?> tqv)
private TypeQualifierDataflowFactory.DataflowResult<DataflowType>	TypeQualifierDataflowFactory.compute(TypeQualifierValue<?> typeQualifierValue)
private static TypeQualifierAnnotation	TypeQualifierApplications.computeEffectiveTypeQualifierAnnotation(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod, int parameter)
private static TypeQualifierAnnotation	TypeQualifierApplications.computeEffectiveTypeQualifierAnnotation(TypeQualifierValue<?> typeQualifierValue, AnnotatedObject o)
private static TypeQualifierAnnotation	TypeQualifierApplications.computeExclusiveQualifier(TypeQualifierValue<?> typeQualifierValue, TypeQualifierApplications.ComputeEffectiveTypeQualifierAnnotation c)
private static TypeQualifierAnnotation	TypeQualifierApplications.extractAnnotation(Collection<AnnotationValue> resolvedTypeQualifiers, TypeQualifierValue<?> typeQualifierValue)
private static TypeQualifierAnnotation	TypeQualifierApplications.findMatchingTypeQualifierAnnotation(Collection<TypeQualifierAnnotation> typeQualifierAnnotations, TypeQualifierValue<?> typeQualifierValue)	Look up a TypeQualifierAnnotation matching given TypeQualifierValue.
static 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)
private static TypeQualifierAnnotation	TypeQualifierApplications.getDefaultAnnotation(AnnotatedObject o, TypeQualifierValue<?> typeQualifierValue, ElementType elementType)	Look for a default type qualifier annotation.
private static TypeQualifierAnnotation	TypeQualifierApplications.getDefaultTypeQualifierAnnotation(AnnotatedObject o, TypeQualifierValue<?> typeQualifierValue, boolean stopAtClassScope)	Get the default (outer scope) annotation applicable to given AnnotatedObject.
private static TypeQualifierAnnotation	TypeQualifierApplications.getDefaultTypeQualifierAnnotationForParameters(XMethod xmethod, TypeQualifierValue<?> typeQualifierValue, boolean stopAtMethodScope)	Get the default (outer-scope) TypeQualifierAnnotation on given method parameter.
static TypeQualifierAnnotation	TypeQualifierApplications.getDirectTypeQualifierAnnotation(XMethod xmethod, int parameter, TypeQualifierValue<?> typeQualifierValue)	Get the TypeQualifierAnnotation directly applied to given method parameter.
private static TypeQualifierAnnotation	TypeQualifierApplications.getDirectTypeQualifierAnnotation(AnnotatedObject o, TypeQualifierValue<?> typeQualifierValue)	Get a directly-applied 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.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
private static void	Analysis.addEffectiveRelevantQualifiers(HashSet<TypeQualifierValue<?>> result, XMethod xmethod)
static void	Analysis.addKnownTypeQualifiers(HashSet<? super TypeQualifierValue<?>> result, Collection<TypeQualifierAnnotation> applicableApplications)
static void	Analysis.addKnownTypeQualifiersForParameters(HashSet<? super TypeQualifierValue<?>> result, XMethod m)
private static void	Analysis.getDirectlyRelevantTypeQualifiers(XMethod xmethod, HashSet<TypeQualifierValue<?>> result)
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.

Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type TypeQualifierValue

Modifier	Constructor	Description
protected	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.
protected	ParameterAnnotationAccumulator(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod, int parameter)	Constructor.
	ReturnTypeAnnotationAccumulator(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod)	Constructor.
private	TypeQualifierAnnotation(TypeQualifierValue<?> typeQualifier, javax.annotation.meta.When when)
protected	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
final 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
final TypeQualifierValue<javax.annotation.Nonnull>	BuildUnconditionalParamDerefDatabase.nonnullTypeQualifierValue
final TypeQualifierValue<?>	InconsistentAnnotations.nonnullTypeQualifierValue

Fields in edu.umd.cs.findbugs.detect with type parameters of type TypeQualifierValue

Modifier and Type	Field	Description
(package private) HashSet<TypeQualifierValue<?>>	NoteDirectlyRelevantTypeQualifiers.applicableApplications

Methods in edu.umd.cs.findbugs.detect with parameters of type TypeQualifierValue

Modifier and Type	Method	Description
private void	CheckTypeQualifiers.annotateWarningWithTypeQualifier(BugInstance warning, TypeQualifierValue<?> typeQualifierValue)
private void	CheckTypeQualifiers.checkDataflow(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)
private void	CheckTypeQualifiers.checkForConflictingValues(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void	CheckTypeQualifiers.checkForEqualityTest(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, Location loc, ValueNumberFrame factAtLocation)
private void	CheckTypeQualifiers.checkQualifier(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ForwardTypeQualifierDataflowFactory forwardDataflowFactory, BackwardTypeQualifierDataflowFactory backwardDataflowFactory, ValueNumberDataflow vnaDataflow)	Check a specific TypeQualifierValue on a method.
private void	CheckTypeQualifiers.checkValueSources(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)
private void	CheckTypeQualifiers.emitDataflowWarning(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void	CheckTypeQualifiers.emitSourceWarning(String bugType, XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, FlowValue backwardsFlowValue, TypeQualifierValueSet backwardsFact, SourceSinkInfo source, ValueNumber vn, Location location)