ReSharper segnalazioni relative ad una stringa nulla (System.NullReferenceException)

Question

Voglio solo essere sicuro che io non sono stato codifica per troppo tempo ... Ma questo sembra altamente improbabile:

http://i.imgur.com/TBjpNTX.png

I crea il var, controlla il null, restituisce se lo è, quindi non c'è modo che io possa vederlo come null in quel punto :)

Bug del programma di ricerca?

Edit:
Come per Igal Tabachnik risposta, ha ragione, sto usando il metodo seguente estensione:

public static bool IsNullOrEmpty(this string target) 
{ 
    return String.IsNullOrEmpty(target); 
} 

Trovo molto più facile da leggere

if (some_string.IsNullOrEmpty()) 
    // do something here 

anziché:

if (string.IsNullOrEmpty(some_string)) 
    // do something here 

Soluzione:
Igal Tabachnik aveva ragione. Gli unici 2 pezzi mancanti erano:

1. Decodificatore -> Opzioni -> Annotazioni di codice (sotto Gruppo di ispezione codice) -> attivare per soluzione.
2. Dai a VS un paio di minuti per rinfrescare tutto.

Answer 1

Il codice suggerisce che il metodo IsNullOrEmpty() utilizzato è il proprio metodo di estensione personalizzato. Il "reale" IsNullOrEmpty è un metodo statico di string.

Risposta breve: se si cambia a

if (string.IsNullOrEmpty(input_string)) 
    return "..."; 

ReSharper si smettere di lamentarsi.

Risposta lunga: Poiché questo è il proprio metodo di estensione, ReSharper non ha modo di sapere come il risultato di questo metodo si applica al codice. Per questo, ReSharper utilizza le annotazioni del codice per capire ulteriori informazioni sul codice. Una di queste annotazioni è denominata Contract Annotation ed è ciò che ReSharper utilizza per calcolare il risultato del metodo originale string.IsNullOrEmpty(). Puoi leggere di più su questo nel post del blog.

Linea di fondo, se si vuole utilizzare il proprio metodo di estensione, ma hanno ReSharper ben capito, si deve applicare la seguente annotazione contratto su di esso:

[ContractAnnotation("null=>true")] 
public static bool IsNullOrEmpty(this string input) 
{ 
    ... 
} 

Answer 2

tuo IsNullOrEmpty() -Metodo sembra essere un propria invenzione poiché quella originale è un metodo statico di System.String e non un metodo di estensione. ReSharper non è in grado di capirlo, ma se usi quello originale vedrà che nessun valore di null può farcela.

var str = value as string; 

if (string.IsNullOrEmpty(str)) 
    return; 

var unicorn = str.Contains("unicorn");