Package edu.umd.cs.findbugs.ba.jsr305
Class Analysis
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.jsr305.Analysis
-
public class Analysis extends java.lang.Object
Find relevant type qualifiers needing to be checked for a given method.- Author:
- William Pugh
-
-
Field Summary
Fields Modifier and Type Field Description static boolean
DEBUG_FIND_EFFECTIVE_RELEVANT_QUALIFIERS
static boolean
FIND_EFFECTIVE_RELEVANT_QUALIFIERS
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 Constructor Description Analysis()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
addKnownTypeQualifiers(java.util.HashSet<? super TypeQualifierValue<?>> result, java.util.Collection<TypeQualifierAnnotation> applicableApplications)
static void
addKnownTypeQualifiersForParameters(java.util.HashSet<? super TypeQualifierValue<?>> result, XMethod m)
static java.util.Collection<TypeQualifierValue<?>>
getRelevantTypeQualifiers(MethodDescriptor methodDescriptor, CFG cfg)
Find relevant type qualifiers needing to be checked for a given method.
-
-
-
Field Detail
-
FIND_EFFECTIVE_RELEVANT_QUALIFIERS
public static final boolean FIND_EFFECTIVE_RELEVANT_QUALIFIERS
This 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:
- Constant Field Values
-
DEBUG_FIND_EFFECTIVE_RELEVANT_QUALIFIERS
public static final boolean DEBUG_FIND_EFFECTIVE_RELEVANT_QUALIFIERS
-
-
Method Detail
-
getRelevantTypeQualifiers
public static java.util.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
-
addKnownTypeQualifiersForParameters
public static void addKnownTypeQualifiersForParameters(java.util.HashSet<? super TypeQualifierValue<?>> result, XMethod m)
- Parameters:
result
-m
-
-
addKnownTypeQualifiers
public static void addKnownTypeQualifiers(java.util.HashSet<? super TypeQualifierValue<?>> result, java.util.Collection<TypeQualifierAnnotation> applicableApplications)
- Parameters:
result
-applicableApplications
-
-
-