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 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 Summary

Constructors

Constructor and Description
Analysis()

Method Summary

Methods

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.

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<? 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 -