edu.umd.cs.findbugs.ba
Class NullnessAnnotationDatabase

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.AnnotationDatabase<NullnessAnnotation>
      extended by 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>