public class Analysis
extends java.lang.Object
Modifier and Type | Field and 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 and Description |
---|
Analysis() |
Modifier and Type | Method and 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.
|
public static final boolean FIND_EFFECTIVE_RELEVANT_QUALIFIERS
public static final boolean DEBUG_FIND_EFFECTIVE_RELEVANT_QUALIFIERS
public static java.util.Collection<TypeQualifierValue<?>> getRelevantTypeQualifiers(MethodDescriptor methodDescriptor, CFG cfg) throws CheckedAnalysisException
methodDescriptor
- a methodCheckedAnalysisException
public static void addKnownTypeQualifiersForParameters(java.util.HashSet<? super TypeQualifierValue<?>> result, XMethod m)
result
- m
- public static void addKnownTypeQualifiers(java.util.HashSet<? super TypeQualifierValue<?>> result, java.util.Collection<TypeQualifierAnnotation> applicableApplications)
result
- applicableApplications
- FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.