.NET 4 Contratos de código: "require unproven: source! = Null"

Question

Acabo de empezar a usar contratos de código en mi proyecto. Sin embargo, tengo un problema con la implementación de mi repositorio, que consulta mi base de datos utilizando Entity Framework.

que tienen el siguiente método:

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

El método devuelve una colección que contiene todas las organizaciones en la base de datos, o una colección vacía que no hay organizaciones en la base de datos.

Sin embargo, esto no es aceptable de acuerdo a CodeContracts, que me dan el error: "no probada requiere: fuente = null"

¿Qué se trataba de decirme? Puedo satisfacer los contratos de código usando Contract.Assume, para asumir que siempre encontrará algo, pero luego tengo que hacer eso en todos los métodos que lean datos de la base de datos.

¿Me falta algo aquí, o es un comportamiento intencionado cuando se trabaja con bases de datos y LINQ?

Answer 1

Supongo que uno de los métodos CreateSet, OfType y AsEnumerable se declara como un método de extensión con un parámetro llamado "fuente", y CodeContrcts no puede probar que no es nulo. Además, ¿no necesita agregar una cláusula Require para especificar que _uow no es nulo en la entrada?

CreateSet parece ser el método de extensión, ya que no aparece en MSDN. Si el método no debe devolver null, puede cumplir esto mediante la adición de este contrato para CreateSet:

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

Cuando el analizador CodeContracts ve esta regla, se toma como prueba de que la entrada a OfType no será nulo, y la advertencia debería desaparecer