CodeContract.Requires (param! = null)는 param이 null이 아님을 증명하지 못합니까?

Question

안녕하세요 나는 방법이 울부 짖는 소리 나열했습니다 :

public static PasswordCredential Create(string password, string username, string pinCode = null) 
    { 
     Contract.Requires<ArgumentException>(!string.IsNullOrWhiteSpace(password), "Invalid Argument: password"); 
     Contract.Requires<ArgumentException>(!string.IsNullOrWhiteSpace(username), "Invalid Argument: username"); 

     PasswordCredential credential = new PasswordCredential(); 
     UTF8Encoding encoder = new UTF8Encoding(); 
     SHA512Managed sha512hasher = new SHA512Managed(); 


     credential.PasswordHash = sha512hasher.ComputeHash(encoder.GetBytes(password)); <-- Requires unproven: s != null 
     credential.Username = username; 
     credential.PinCode = pinCode; 

     return credential; 
    } 

이이 Contract.Requires이 식을 증명하지 않는다는 것을 의미합니까? 그렇다면 그 용도는 무엇입니까? :?

---

확인

UPDATE, 나는 코드 계약의 매우 이상한 행동을 발견했다. 나는이 방법을 다른 프로젝트로 옮겼다. 더 이상 증명되지 않은 경고가 필요하지 않습니다. 그런 다음 원래 프로젝트로 돌아가서 메시지 창에서 다음 줄을 발견했습니다. 메시지 1 CodeContracts : 제안 된 전제 조건 : Contract.Requires (password! = null); 이 항목을 두 번 클릭하면 PasswordCredential의 PinCode 속성으로 이동합니다.

 [DataMember] 
    public string PinCode 
    { 
     get { return _PinCode; } 
     set { _PinCode = value == null ? null : value.Trim(); } <-- I'm navigated here 
    } 

경고 항목을 클릭하면 encoder.GetBytes (암호) 행으로 이동합니다. 무엇이 잘못되었는지 이해하지 못합니다. 그게 버그 야?

Answer 1

Ok CC와 관련된 문제가 있습니다 (내 프로젝트에서만 재현 할 수 있습니다 : D). 나는 프로젝트를 CC 팀에 보냈고 매우 빠른 응답을 얻었다. 그들은 조사 중이며 아마도 다음 릴리스에서 수정 될 것입니다. 어쨌든 지원해 주셔서 감사합니다.