| edu.umd.cs.findbugs.ba.NullnessAnnotationDatabase
Method Summary | |
public void | addDefaultAnnotation(AnnotationDatabase.Target target, String c, NullnessAnnotation n) | public void | addDefaultMethodAnnotation(String name, NullnessAnnotation annotation) | public void | addFieldAnnotation(String name, String name2, String sig, boolean isStatic, NullnessAnnotation annotation) | public void | addMethodAnnotation(String name, String name2, String sig, boolean isStatic, NullnessAnnotation annotation) | public void | addMethodParameterAnnotation(String name, String name2, String sig, boolean isStatic, int param, NullnessAnnotation annotation) | public NullnessAnnotation | getResolvedAnnotation(Object o, boolean getMinimal) | public void | loadAuxiliaryAnnotations() | public boolean | parameterMustBeNonNull(XMethod m, int param) |
NullnessAnnotationDatabase | public NullnessAnnotationDatabase()(Code) | | |
loadAuxiliaryAnnotations | public void loadAuxiliaryAnnotations()(Code) | | |
parameterMustBeNonNull | public boolean parameterMustBeNonNull(XMethod m, int param)(Code) | | |
|
|