Anotaciones no nulas y paquetes estándar de Java

Question

Estoy tratando de agregar anotaciones compatibles con findbugs a un proyecto, pero noté que @Nonnull no siempre se procesa como era de esperar. Por ejemplo findbugs no da por sentado que las colecciones nativas estándar pueden devolver null:

void method(@Nonnull String bar) {...} 

map = new HashMap(); 
method(map.get("foo")); 

pasará las pruebas FindBugs a pesar de que no debe. ¿Puedo configurar findbugs de alguna manera para que esté alerta en este caso?

Answer 1

según la documentación,

El elemento anotada no debe ser nulo. Los campos anotados solo deben ser nulos después de que se haya completado la construcción. Los métodos anotados deben tener valores de retorno no nulos.

@Documented 
@Target(value={FIELD,METHOD,PARAMETER,LOCAL_VARIABLE}) 
@Retention(value=CLASS) 
@Nonnull(when=ALWAYS) 
@TypeQualifierNickname 
public @interface NonNull 

o puede utilizar @DefaultAnnotation (NonNull.class) en una clase o paquete, y luego usar @Nullable sólo en esos parámetros, métodos o campos que desee para permitir a ser nulo.

el análisis se realiza en la fuente.

así que pruebe esto, a mí me funciona

/** 
* @param args 
*/ 
public static void main(String[] args) { 
    method(getValue()); 
} 

private static void method(@NonNull Object obj){ 
    System.out.println(obj); 
} 

@CheckForNull 
private static Object getValue(){ 
    Map map = new HashMap(); 
    return map.get("foo"); 
} 

o puede probar un diseño de contratación a través de http://c4j.sourceforge.net/