Uses of Class
edu.umd.cs.findbugs.ba.jsr305.TypeQualifierValue
Packages that use TypeQualifierValue
Package
Description
Support for analyzing code containing JSR-305 type qualifier annotations.
-
Uses of TypeQualifierValue in edu.umd.cs.findbugs.ba.jsr305
Fields in edu.umd.cs.findbugs.ba.jsr305 declared as TypeQualifierValueModifier and TypeFieldDescriptionfinal 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 TypeQualifierValueModifier and TypeFieldDescriptionprivate 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 TypeQualifierValueModifier and TypeMethodDescriptionAbstractMethodAnnotationAccumulator.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> Methods in edu.umd.cs.findbugs.ba.jsr305 that return types with arguments of type TypeQualifierValueModifier and TypeMethodDescriptionDirectlyRelevantTypeQualifiersDatabase.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.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 TypeQualifierValueModifier and TypeMethodDescriptionstatic 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) TypeQualifierApplications.ComputeEffectiveTypeQualifierAnnotation.compute
(TypeQualifierValue<?> tqv) 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) 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.TypeQualifierDatabase.getParameter
(MethodDescriptor methodDesc, int param, TypeQualifierValue<?> tqv) Get the TypeQualifierAnnotation on a parameter.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 TypeQualifierValueModifier and TypeMethodDescriptionprivate 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 TypeQualifierValueModifierConstructorDescriptionprotected
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 TypeQualifierValueModifier and TypeFieldDescriptionfinal TypeQualifierValue
<javax.annotation.Nonnull> TypeQualifierNullnessAnnotationDatabase.nonnullTypeQualifierValue
-
Uses of TypeQualifierValue in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as TypeQualifierValueModifier and TypeFieldDescriptionfinal TypeQualifierValue
<javax.annotation.Nonnull> BuildUnconditionalParamDerefDatabase.nonnullTypeQualifierValue
final TypeQualifierValue
<?> InconsistentAnnotations.nonnullTypeQualifierValue
Fields in edu.umd.cs.findbugs.detect with type parameters of type TypeQualifierValueModifier and TypeFieldDescription(package private) HashSet
<TypeQualifierValue<?>> NoteDirectlyRelevantTypeQualifiers.applicableApplications
Methods in edu.umd.cs.findbugs.detect with parameters of type TypeQualifierValueModifier and TypeMethodDescriptionprivate 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)