Contract.Ensuresメソッドの不正な契約セクション

Question

次のコードで、このビルドエラー "メソッドの不正な契約セクション..."が表示されるのはなぜですか？ Contract呼び出しのほとんどと同様に

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); 
     } 
    } 

Answer 1

、あなたのContract.Ensuresは、メソッドの先頭でなければなりません。