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는 방법의 상단에 있어야한다.