Contract.Ensures

格式錯誤的合同部分爲什麼我在以下代碼中收到此建築錯誤「方法...中格式錯誤的合同部分...」？Contract.Ensures

List<int> MatrizesCorrelacao; 

public string lsMatrizes 
    { 
     get 
     { 
      if (TudoDataUnica == true) 
      { 
       return "0"; 
      } 

      Contract.Ensures(Regex.IsMatch(Contract.Result<string>(), @"^(-1)|(\d+(,\d+)*)$")); 

      return TransformList<int>ToString(MatrizesCorrelacao); 
     } 
     set 
     { 
      MatrizesCorrelacao = TransformStringToList<int>(value); 
     } 
    }

來源

2016-09-23 Paulo Hirata

'TransformList ToString（MatrizesCorrelacao）;'此代碼無效。 – Amy

我只是把一句話給你理解我的函數做什麼，但我的代碼是另一個名字。 –

與大多數的Contract電話，你Contract.Ensures必須在方法的頂部。

來源

2016-09-23 17:20:50 Amy

謝謝艾米！有用。 –

回答

相關問題