Contract.Ensures方法中的合同格式错误

Question

为什么我会收到此建筑错误＆＃34;方法中的合格部分格式错误...＆＃34;在以下代码？

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电话一样，您的Contract.Ensures必须位于该方法的顶部。