.NET 4 코드 계약 : "requires unproven : source! = null"

Question

방금 ​​프로젝트에서 코드 계약을 사용하기 시작했습니다. 그러나 Entity Framework를 사용하여 데이터베이스를 쿼리하는 리포지토리 구현에 문제가 있습니다.

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

방법은 데이터베이스에있는 모든 조직을 포함하는 모음 또는 데이터베이스의 조직이 아니라 빈 컬렉션을 반환 :

나는 다음과 같은 방법이있다.

그러나, 이것은 나에게 오류를 제공 CodeContracts에 따라 좋아하지 않습니다 : "검증되지 않은이 필요합니다 = null의 소스를"

것은 무엇을 말해하려고? Contract.Assume을 사용하여 코드 계약을 만족시킬 수 있습니다. 항상 뭔가를 찾을 것이라고 추측하지만 데이터베이스에서 데이터를 읽는 모든 메서드에서이를 수행해야합니다.

여기에 뭔가가 누락되었거나 데이터베이스와 LINQ로 작업 할 때 의도 된 동작입니까?

Answer 1

내 생각 엔 CreateSet, OfType 및 AsEnumerable 메서드 중 하나가 "source"라는 this 매개 변수를 사용하여 확장 메서드로 선언되어 있고 CodeContrcts가 null이 아니라는 것을 증명할 수 없다고 생각됩니다. 또한 _uow가 입력시 null이 아니도록 지정하려면 Requires 절을 추가 할 필요가 없습니까?

CreateSet은 MSDN에 나타나지 않으므로 확장 메서드 인 것으로 보입니다. 메소드가 null를 돌려해서는 안 경우 CreateSet이 계약을 추가하여 적용 할 수 있습니다 :

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

CodeContracts 분석기는이 규칙을 볼 때, 그것은 OfType의 입력이 null 수 없음을 증거로 걸릴 것입니다, 경고는 사라져야합니다.