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)
-