¿Hay alguna manera de marcar (por ejemplo, anotar) un método Java como nunca volver?

Question

Acabo de empezar a usar el nuevo Eclipse 4.2 (Juno) Análisis nulo.

El código como este:

x = foo(); 
if (x == null) 
    fail("x is null"); 
return x.bar(); 

estoy recibiendo advertencias de que X puede ser nulo. Pero no puede ser, porque el fracaso siempre arroja y, por lo tanto, nunca regresa. (Con un mejor análisis entre procedimientos podría presumiblemente determinar esto automáticamente, pero actualmente no parece).

Obviamente, hay formas de reescribir el código para evitar la advertencia, pero lo que me gustaría es una forma de indicar (por ejemplo, una anotación) que nunca falla el retorno.

También traté de suprimir la advertencia con @SuppressWarnings ("nulo") pero eso no funcionó.

Una forma de deshacerse de la advertencia es añadir: assert x != null; (suponiendo que haya encendido el ajuste para incluir afirma en el análisis nulo)

En GCC C++ que puedo hacer: void fn __attribute__ ((noreturn))

Answer 1

Una semi -tradicional manera de hacer esto es como sigue:

public RuntimeException fail(String message) { 
    throw new RuntimeException(message); 
} 

para que pueda escribir throw fail("x is null"). Por supuesto, fail siempre terminará haciendo el lanzamiento, no el throw, pero es suficiente para tranquilizar al compilador que esa línea siempre arrojará.

Answer 2

¿Ha probado la anotación org.eclipse.jdt.annotation.Nullable?

http://git.eclipse.org/c/jdt/eclipse.jdt.core.git/tree/org.eclipse.jdt.annotation/src/org/eclipse/jdt/annotation/Nullable.java