edu.umd.cs.findbugs.ba
Class NullnessAnnotationDatabase

java.lang.Object
  edu.umd.cs.findbugs.ba.AnnotationDatabase<NullnessAnnotation>
      edu.umd.cs.findbugs.ba.NullnessAnnotationDatabase

public class NullnessAnnotationDatabase
extends AnnotationDatabase<NullnessAnnotation>

Author:

pugh

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.AnnotationDatabase

ANY, FIELD, METHOD, PARAMETER

Constructor Summary

NullnessAnnotationDatabase()

Method Summary

NullnessAnnotation	getResolvedAnnotation(java.lang.Object o, boolean getMinimal)
boolean	parameterMustBeNonNull(XMethod m, int param)

Methods inherited from class edu.umd.cs.findbugs.ba.AnnotationDatabase

addDefaultAnnotation, addDefaultMethodAnnotation, addDirectAnnotation, addMethodAnnotation, addMethodParameterAnnotation, addSyntheticElement, annotationIsDirect, anyAnnotations, getUncachedResolvedAnnotation

Methods inherited from class java.lang.Object

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

Constructor Detail

NullnessAnnotationDatabase

public NullnessAnnotationDatabase()

Method Detail

parameterMustBeNonNull

public boolean parameterMustBeNonNull(XMethod m,
                                      int param)

getResolvedAnnotation

@CheckForNull
public NullnessAnnotation getResolvedAnnotation(java.lang.Object o,
                                                             boolean getMinimal)

Overrides:

getResolvedAnnotation in class AnnotationDatabase<NullnessAnnotation>