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

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.

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 -