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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
Analysis
public Analysis()
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<TypeQualifierValue> result,
XMethod m)
- Parameters:
result
- m
-
addKnownTypeQualifiers
public static void addKnownTypeQualifiers(java.util.HashSet<TypeQualifierValue> result,
java.util.Collection<TypeQualifierAnnotation> applicableApplications)
- Parameters:
result
- applicableApplications
-
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.