Package edu.umd.cs.findbugs.ba.jsr305
Class Analysis
java.lang.Object
edu.umd.cs.findbugs.ba.jsr305.Analysis
Find relevant type qualifiers needing to be checked for a given method.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
static final boolean
static final boolean
This system property enables additional work to try to detect all *effective* type qualifiers (direct, inherited, and default) applied to methods and called methods. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate static void
addEffectiveRelevantQualifiers
(HashSet<TypeQualifierValue<?>> result, XMethod xmethod) static void
addKnownTypeQualifiers
(HashSet<? super TypeQualifierValue<?>> result, Collection<TypeQualifierAnnotation> applicableApplications) static void
addKnownTypeQualifiersForParameters
(HashSet<? super TypeQualifierValue<?>> result, XMethod m) private static void
getDirectlyRelevantTypeQualifiers
(XMethod xmethod, HashSet<TypeQualifierValue<?>> result) static Collection
<TypeQualifierValue<?>> getRelevantTypeQualifiers
(MethodDescriptor methodDescriptor, CFG cfg) Find relevant type qualifiers needing to be checked for a given method.
-
Field Details
-
DEBUG
private static final boolean DEBUG -
FIND_EFFECTIVE_RELEVANT_QUALIFIERS
public static final boolean FIND_EFFECTIVE_RELEVANT_QUALIFIERSThis system property enables additional work to try to detect all *effective* type qualifiers (direct, inherited, and default) applied to methods and called methods. This step uses an interprocedural call graph.- See Also:
-
DEBUG_FIND_EFFECTIVE_RELEVANT_QUALIFIERS
public static final boolean DEBUG_FIND_EFFECTIVE_RELEVANT_QUALIFIERS
-
-
Constructor Details
-
Analysis
public Analysis()
-
-
Method Details
-
getRelevantTypeQualifiers
public static Collection<TypeQualifierValue<?>> getRelevantTypeQualifiers(MethodDescriptor methodDescriptor, CFG cfg) throws CheckedAnalysisException Find relevant type qualifiers needing to be checked for a given method.- Parameters:
methodDescriptor
- a method- Returns:
- Collection of relevant type qualifiers needing to be checked
- Throws:
CheckedAnalysisException
-
addEffectiveRelevantQualifiers
private static void addEffectiveRelevantQualifiers(HashSet<TypeQualifierValue<?>> result, XMethod xmethod) -
getDirectlyRelevantTypeQualifiers
private static void getDirectlyRelevantTypeQualifiers(XMethod xmethod, HashSet<TypeQualifierValue<?>> result) -
addKnownTypeQualifiersForParameters
public static void addKnownTypeQualifiersForParameters(HashSet<? super TypeQualifierValue<?>> result, XMethod m) - Parameters:
result
-m
-
-
addKnownTypeQualifiers
public static void addKnownTypeQualifiers(HashSet<? super TypeQualifierValue<?>> result, Collection<TypeQualifierAnnotation> applicableApplications) - Parameters:
result
-applicableApplications
-
-