Contract.Ensures Malformed contract section in method

Question

Why am I getting this building error "Malformed contract section in method..." on the following code?

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

`TransformListToString(MatrizesCorrelacao);` this code isn't valid. — , Sep 23 '16 at 17:21
I just put a phrase to you understand what my function does, but my code is another name. — Paulo Hirata, Sep 24 '16 at 22:42

score 0 · Answer 1 · answered Sep 23 '16 at 17:20

0

Like with most of the Contract calls, your Contract.Ensures has to be at the top of the method.

answered Sep 23 '16 at 17:20

Contract.Ensures Malformed contract section in method

1 Answers1