FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.jsr305
Class Analysis

java.lang.Object
  extended by 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
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
Analysis()
           
 
Method Summary
static void addKnownTypeQualifiers(java.util.HashSet<TypeQualifierValue> result, java.util.Collection<TypeQualifierAnnotation> applicableApplications)
           
static void addKnownTypeQualifiersForParameters(java.util.HashSet<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.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

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
Constructor Detail

Analysis

public Analysis()
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<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™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.