コード契約の例外使用例

Question

void ReadContent(string path) 
{ 
    Contract.Requires(path!=null); 
    string contentofileasstring = filehelperobj.GetContent(path); 
    if(String.IsNullOrEmpty(contentofileasstring)) 
    { 
    throw new FileContentException(path + "No content found"); 
    } 
    m_xmlobj = contentofileasstring ; 
} 

この場合、コード契約と例外の使用を前提にしています。例外をコードコントラクトに置き換えることは論理的だと思いますか？

コード例のシナリオ[はい、それが有効な事前がある（それを使用しようとする前に、すなわち、ヌルのパスをテストする）あなたは間違った方法ラウンドラインを持っていたと仮定まあ

Answer 1

私はおそらく次のような実装のために行くだろう：

private void ReadContent(string path) 
{ 
    Contract.Requires<FileMissingException>(File.Exists(path)); 
    string content = filehelperobj.GetContent(path); 
    m_xmlobj = content; 
} 

ポスト編集

それはあなたが検証したいコンテンツだとして、私は​​メソッド内Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>()));を置きます。次に、読み込まれるコンテンツがnullまたは空の場合、私は例外をスローします。例えば

public string GetContent(string path) 
{ 
    Contract.Requires<FileMissingException>(File.Exists(path)); 
    Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>())); 

    using(var reader = new StreamReader(File.OpenRead(path))) 
    { 
     var content = reader.ReadToEnd(); 

     if(String.IsNullOrEmpty(content)) 
      throw new FileContentException("No content found at file: " + path); 

     return content; 
    } 
} 

Answer 2

をtested.Justありませんしたがって、コード契約でなければなりません。