edu.umd.cs.findbugs.ba.jsr305

Class TypeQualifierDatabase

java.lang.Object

edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDatabase

public class TypeQualifierDatabase
extends java.lang.Object

Store computed type qualifiers for method parameters and return values. This allows interprocedural checking of type qualifiers.

Author:

David Hovemeyer

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	DEBUG
static boolean	USE_DATABASE If true, populate and use interprocedural database.

Constructor Summary

Constructors

Constructor and Description
TypeQualifierDatabase() Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
TypeQualifierAnnotation	getParameter(MethodDescriptor methodDesc, int param, TypeQualifierValue<?> tqv) Get the TypeQualifierAnnotation on a parameter.
TypeQualifierAnnotation	getReturnValue(MethodDescriptor methodDesc, TypeQualifierValue<?> tqv) Get the TypeQualifierAnnotation on a method return value.
void	setParameter(MethodDescriptor methodDesc, int param, TypeQualifierValue<?> tqv, TypeQualifierAnnotation tqa) Set a TypeQualifierAnnotation on a method parameter.
void	setReturnValue(MethodDescriptor methodDesc, TypeQualifierValue<?> tqv, TypeQualifierAnnotation tqa) Set a TypeQualifierAnnotation on a method return value.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

USE_DATABASE

public static final boolean USE_DATABASE

If true, populate and use interprocedural database.

DEBUG

public static final boolean DEBUG

Constructor Detail

TypeQualifierDatabase

public TypeQualifierDatabase()

Constructor.

Method Detail

setReturnValue

public void setReturnValue(MethodDescriptor methodDesc,
                  TypeQualifierValue<?> tqv,
                  TypeQualifierAnnotation tqa)

Set a TypeQualifierAnnotation on a method return value.

Parameters:

methodDesc - the method

tqv - the type qualifier

tqa - the type qualifier annotation

getReturnValue

public TypeQualifierAnnotation getReturnValue(MethodDescriptor methodDesc,
                                     TypeQualifierValue<?> tqv)

Get the TypeQualifierAnnotation on a method return value.

Parameters:

methodDesc - the method

tqv - the type qualifier

Returns:

the type qualifier annotation on the method return value, or null if no (interesting) type qualifier annotation was computed for this method

setParameter

public void setParameter(MethodDescriptor methodDesc,
                int param,
                TypeQualifierValue<?> tqv,
                TypeQualifierAnnotation tqa)

Set a TypeQualifierAnnotation on a method parameter.

Parameters:

methodDesc - the method

param - the parameter (0 == first parameter)

tqv - the type qualifier

tqa - the type qualifier annotation

getParameter

public TypeQualifierAnnotation getParameter(MethodDescriptor methodDesc,
                                   int param,
                                   TypeQualifierValue<?> tqv)

Get the TypeQualifierAnnotation on a parameter.

Parameters:

methodDesc - the method

param - the parameter (0 == first parameter)

tqv - the type qualifier

Returns:

the type qualifier annotation on the method return value, or null if no (interesting) type qualifier annotation was computed for this method