Contratti di codice .NET 4: "richiede unproven: source! = Null"

Question

Ho appena iniziato a utilizzare i contratti di codice nel mio progetto. Tuttavia, ho un problema con l'implementazione del mio repository, che interroga il mio database usando Entity Framework.

ho il seguente metodo:

public IEnumerable<Organization> GetAllOrganizations() 
{ 
    return _uow.CreateSet<Party>().OfType<Organization>().AsEnumerable(); 
} 

Il metodo restituisce un insieme contenente tutte le organizzazioni nel database, o un insieme vuoto non c'è organizzazioni nel database.

Tuttavia, questo non va bene secondo il CodeContracts, che mi danno l'errore: "richiede non provata: source = null"

Che cosa sta cercando di dirmi? Posso soddisfare i contratti di codice usando Contract.Assume, per supporre che troverà sempre qualcosa, ma poi ho bisogno di farlo in tutti i metodi che leggono i dati dal database.

Mi manca qualcosa qui o è il comportamento previsto quando si lavora con database e LINQ?

Answer 1

La mia ipotesi è che uno dei metodi CreateSet, OfType e AsEnumerable sia dichiarato come un metodo di estensione con un parametro di questo tipo chiamato "source" e CodeContrcts non può dimostrare che non è null. Inoltre, non è necessario aggiungere una clausola Requires per specificare che _uow non è nullo alla voce?

CreateSet sembra essere il metodo di estensione poiché non viene visualizzato in MSDN. Se il metodo non deve mai restituire null, è possibile applicare questo con l'aggiunta di questo contratto per CreateSet:

Contract.Ensures(Contract.Result<T>() != null); 

Quando l'analizzatore CodeContracts vede questa regola, ci vorrà come prova che l'ingresso al OfType non sarà nullo, e l'avviso dovrebbe andare via.