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

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

Modifier and Type	Field	Description
private java.util.Set<TypeQualifierValue<?>>	DirectlyRelevantTypeQualifiersDatabase.allKnownQualifiers
(package private) java.util.Set<TypeQualifierValue<?>>	TypeQualifierValue.Data.allKnownTypeQualifiers	Set of all known TypeQualifierValues.
private java.util.HashMap<TypeQualifierValue<?>,TypeQualifierDataflowFactory.DataflowResult<DataflowType>>	TypeQualifierDataflowFactory.dataflowMap
private java.util.Map<TypeQualifierValue<?>,java.util.Map<AnnotatedObject,TypeQualifierAnnotation>>	TypeQualifierApplications.Data.effectiveObjectAnnotations	Map of TypeQualifierValues to maps containing, for each AnnotatedObject, the effective TypeQualifierAnnotation (if any) for that AnnotatedObject.
private java.util.Map<TypeQualifierValue<?>,DualKeyHashMap<XMethod,java.lang.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 java.lang.ThreadLocal<DualKeyHashMap<TypeQualifierValue<?>,javax.annotation.meta.When,TypeQualifierAnnotation>>	TypeQualifierAnnotation.instance
private java.util.Map<MethodDescriptor,java.util.Collection<TypeQualifierValue<?>>>	DirectlyRelevantTypeQualifiersDatabase.methodToDirectlyRelevantQualifiersMap
private DualKeyHashMap<MethodDescriptor,java.lang.Integer,java.util.Map<TypeQualifierValue<?>,TypeQualifierAnnotation>>	TypeQualifierDatabase.parameterMap
private java.util.Map<MethodDescriptor,java.util.Map<TypeQualifierValue<?>,TypeQualifierAnnotation>>	TypeQualifierDatabase.returnValueMap
(package private) DualKeyHashMap<ClassDescriptor,java.lang.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, 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.
private static java.util.Map<TypeQualifierValue<?>,java.util.Map<AnnotatedObject,TypeQualifierAnnotation>>	TypeQualifierApplications.getEffectiveObjectAnnotations()
private static java.util.Map<TypeQualifierValue<?>,DualKeyHashMap<XMethod,java.lang.Integer,TypeQualifierAnnotation>>	TypeQualifierApplications.getEffectiveParameterAnnotations()
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.
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(java.util.Collection<AnnotationValue> resolvedTypeQualifiers, TypeQualifierValue<?> typeQualifierValue)
private static TypeQualifierAnnotation	TypeQualifierApplications.findMatchingTypeQualifierAnnotation(java.util.Collection<TypeQualifierAnnotation> typeQualifierAnnotations, TypeQualifierValue<?> typeQualifierValue)	Look up a TypeQualifierAnnotation matching given TypeQualifierValue.
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)
private static TypeQualifierAnnotation	TypeQualifierApplications.getDefaultAnnotation(AnnotatedObject o, TypeQualifierValue<?> typeQualifierValue, java.lang.annotation.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(java.util.HashSet<TypeQualifierValue<?>> result, XMethod xmethod)
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)
private static void	Analysis.getDirectlyRelevantTypeQualifiers(XMethod xmethod, java.util.HashSet<TypeQualifierValue<?>> result)
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.
ReturnTypeAnnotationAccumulator(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod)	Constructor.
TypeQualifierAnnotation(TypeQualifierValue<?> typeQualifier, javax.annotation.meta.When when)
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

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

Modifier and Type	Field	Description
(package private) java.util.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(java.lang.String bugType, XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, FlowValue backwardsFlowValue, TypeQualifierValueSet backwardsFact, SourceSinkInfo source, ValueNumber vn, Location location)