Class TypeQualifierNullnessAnnotationDatabase

java.lang.Object

edu.umd.cs.findbugs.ba.npe.TypeQualifierNullnessAnnotationDatabase

All Implemented Interfaces:

INullnessAnnotationDatabase

public class TypeQualifierNullnessAnnotationDatabase
extends Object
implements INullnessAnnotationDatabase

Implementation of INullnessAnnotationDatabase that is based on JSR-305 type qualifiers.

Field Summary

Fields

Modifier and Type	Field	Description
private static final boolean	DEBUG
final TypeQualifierValue<javax.annotation.Nonnull>	nonnullTypeQualifierValue
private static final ClassDescriptor	PARAMETERS_ARE_NONNULL_BY_DEFAULT
private static final ClassDescriptor	RETURN_VALUES_ARE_NONNULL_BY_DEFAULT

Constructor Summary

Constructors

Constructor	Description
TypeQualifierNullnessAnnotationDatabase()

Method Summary

Modifier and Type	Method	Description
void	addDefaultAnnotation(AnnotationDatabase.Target target, String c, NullnessAnnotation n)	Add a default annotation to the database.
void	addFieldAnnotation(String cName, String mName, String mSig, boolean isStatic, NullnessAnnotation annotation)	Add a field annotation to the database.
void	addMethodAnnotation(String cName, String mName, String sig, boolean isStatic, NullnessAnnotation annotation)	Add a method annotation to the database.
void	addMethodParameterAnnotation(String cName, String mName, String sig, boolean isStatic, int param, NullnessAnnotation annotation)	Add a method parameter annotation to the database.
static boolean	assertsFirstParameterIsNonnull(XMethod m)
NullnessAnnotation	getDirectAnnotation(Object o)
NullnessAnnotation	getInheritedAnnotation(XMethod m)
NullnessAnnotation	getInheritedAnnotation(XMethod m, int parameter)
private ClassDescriptor	getNullnessAnnotationClassDescriptor(NullnessAnnotation n)	Convert a NullnessAnnotation into the ClassDescriptor of the equivalent JSR-305 nullness type qualifier.
NullnessAnnotation	getResolvedAnnotation(Object o, boolean getMinimal)	Get a resolved NullnessAnnotation on given XMethod, XField, or XMethodParameter.
XMethod	getXMethod(String cName, String mName, String sig, boolean isStatic)
void	loadAuxiliaryAnnotations()	Load "built-in" annotations that might not be evident from the analyzed/referenced code.
boolean	parameterMustBeNonNull(XMethod m, int param)	Determine whether given parameter must be non-null.
private NullnessAnnotation	toNullnessAnnotation(TypeQualifierAnnotation tqa)	Convert a Nonnull-based TypeQualifierAnnotation into a NullnessAnnotation.

Methods inherited from class Object

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

Field Details

DEBUG

private static final boolean DEBUG

nonnullTypeQualifierValue

public final TypeQualifierValue<javax.annotation.Nonnull> nonnullTypeQualifierValue

PARAMETERS_ARE_NONNULL_BY_DEFAULT

private static final ClassDescriptor PARAMETERS_ARE_NONNULL_BY_DEFAULT

RETURN_VALUES_ARE_NONNULL_BY_DEFAULT

private static final ClassDescriptor RETURN_VALUES_ARE_NONNULL_BY_DEFAULT

Constructor Details

TypeQualifierNullnessAnnotationDatabase

public TypeQualifierNullnessAnnotationDatabase()

Method Details

getResolvedAnnotation

public NullnessAnnotation getResolvedAnnotation(Object o,
 boolean getMinimal)

Description copied from interface: INullnessAnnotationDatabase

Get a resolved NullnessAnnotation on given XMethod, XField, or XMethodParameter.

Specified by:

getResolvedAnnotation in interface INullnessAnnotationDatabase

Parameters:

o - an XMethod, XField, or XMethodParameter

getMinimal - TODO: what does this mean?

Returns:

resolved NullnessAnnotation

getInheritedAnnotation

@CheckForNull
public NullnessAnnotation getInheritedAnnotation(XMethod m,
 int parameter)

getInheritedAnnotation

@CheckForNull
public NullnessAnnotation getInheritedAnnotation(XMethod m)

getDirectAnnotation

@CheckForNull
public NullnessAnnotation getDirectAnnotation(Object o)

assertsFirstParameterIsNonnull

public static boolean assertsFirstParameterIsNonnull(XMethod m)

parameterMustBeNonNull

public boolean parameterMustBeNonNull(XMethod m,
 int param)

Description copied from interface: INullnessAnnotationDatabase

Determine whether given parameter must be non-null.

Specified by:

parameterMustBeNonNull in interface INullnessAnnotationDatabase

Parameters:

m - a method

param - parameter (0 == first parameter)

Returns:

true if the parameter must be non-null, false otherwise

getNullnessAnnotationClassDescriptor

private ClassDescriptor getNullnessAnnotationClassDescriptor(NullnessAnnotation n)

Convert a NullnessAnnotation into the ClassDescriptor of the equivalent JSR-305 nullness type qualifier.

Parameters:

n - a NullnessAnnotation

Returns:

ClassDescriptor of the equivalent JSR-305 nullness type qualifier

addDefaultAnnotation

public void addDefaultAnnotation(AnnotationDatabase.Target target,
 String c,
 NullnessAnnotation n)

Description copied from interface: INullnessAnnotationDatabase

Add a default annotation to the database.

Specified by:

addDefaultAnnotation in interface INullnessAnnotationDatabase

Parameters:

target - one of AnnotationDatabase.METHOD, AnnotationDatabase.FIELD, AnnotationDatabase.PARAMETER, or AnnotationDatabase.ANY

c - dotted class name of class default annotation pertains to

n - the default NullnessAnnotation

addFieldAnnotation

public void addFieldAnnotation(String cName,
 String mName,
 String mSig,
 boolean isStatic,
 NullnessAnnotation annotation)

Description copied from interface: INullnessAnnotationDatabase

Add a field annotation to the database.

Specified by:

addFieldAnnotation in interface INullnessAnnotationDatabase

Parameters:

cName - dotted class name

mName - field name

mSig - field signature

isStatic - true if field is static, false otherwise

annotation - NullnessAnnotation to add

getXMethod

@CheckForNull
public XMethod getXMethod(String cName,
 String mName,
 String sig,
 boolean isStatic)

addMethodAnnotation

public void addMethodAnnotation(String cName,
 String mName,
 String sig,
 boolean isStatic,
 NullnessAnnotation annotation)

Description copied from interface: INullnessAnnotationDatabase

Add a method annotation to the database.

Specified by:

addMethodAnnotation in interface INullnessAnnotationDatabase

Parameters:

cName - dotted class name

mName - method name

sig - method signature

isStatic - true if method is static, false otherwise

annotation - NullnessAnnotation to add

addMethodParameterAnnotation

public void addMethodParameterAnnotation(@DottedClassName
 String cName,
 String mName,
 String sig,
 boolean isStatic,
 int param,
 NullnessAnnotation annotation)

Description copied from interface: INullnessAnnotationDatabase

Add a method parameter annotation to the database.

Specified by:

addMethodParameterAnnotation in interface INullnessAnnotationDatabase

Parameters:

cName - dotted class name

mName - method name

sig - method signature

isStatic - true if method is static, false otherwise

param - parameter (0 == first parameter)

annotation - the NullnessAnnotation to add

loadAuxiliaryAnnotations

public void loadAuxiliaryAnnotations()

Description copied from interface: INullnessAnnotationDatabase

Load "built-in" annotations that might not be evident from the analyzed/referenced code.

Specified by:

loadAuxiliaryAnnotations in interface INullnessAnnotationDatabase

toNullnessAnnotation

@CheckForNull
private NullnessAnnotation toNullnessAnnotation(@CheckForNull
 TypeQualifierAnnotation tqa)

Convert a Nonnull-based TypeQualifierAnnotation into a NullnessAnnotation.

Parameters:

tqa - Nonnull-based TypeQualifierAnnotation

Returns:

corresponding NullnessAnnotation