Блог

Я не могу настроить контракты кода в своем классе. Я следовал документации и примеру, но это не работает.

Я бы хотел вставить условие контрактов кода в свой интерфейс, вот мой код

Интерфейс

  [ContractClass(typeof(ArticleBLLContract))]
 public interface IArticleBLL
 {
    int getArticleNSheet(string IdBox);
    IEnumerable<IArticle> getArticleValue(string IdBox, string IdLanguage);
}
  

Класс Contract

 [ContractClassFor(typeof(IArticleBLL))]
public sealed class ArticleBLLContract : IArticleBLL
{
    int IArticleBLL.getArticleNSheet(string IdBox)
    {
        Contract.Requires<ArgumentOutOfRangeException>(!String.IsNullOrEmpty(IdBox),"IdBox has no valid value");                        

        return default(int);
    }

    IEnumerable<Base.Article.IArticle> IArticleBLL.getArticleValue(string IdBox, string IdLanguage)
    {
        Contract.Requires<ArgumentOutOfRangeException>(!String.IsNullOrEmpty(IdBox), "IdBox has no valid value");
        Contract.Requires<ArgumentOutOfRangeException>(!String.IsNullOrEmpty(IdLanguage), "IdLanguagehas no valid value");

        Contract.Ensures(Contract.Result<IEnumerable<Base.Article.IArticle>>() != null, "Return value is out of Range");

        return default(IEnumerable<Base.Article.IArticle>);
    }        
}
  

Класс для применения контракта

 public class ArticleBLL : IArticleBLL
{

    public int getArticlNSheet(string IdBox)
    {
        try
        {
            return _Dal...
        }
        catch (Exception ex)
        {
            throw ex;
        }
    }

    public IEnumerable<IArticle> getArticleValue(string IdBox, string IdLanguage)
    {
        IEnumerable<IArticle> article = null;

        try
        {
            article = _Dal...

            return article;

        }
        catch (Exception ex)
        {
            throw ex;
        }
    }
}
  

Я попытался вставить точку останова в эту строку

 Contract.Requires<ArgumentOutOfRangeException>(!String.IsNullOrEmpty(IdBox),"IdBox has no valid value");  
  

но когда я вызываю метод, он никогда не проходит здесь
Это конфигурация моего проекта

Что-то не так?

Спасибо!

Режим сборки в вашей конфигурации должен быть «Требуется стандартный контракт».

Полная переписка, основанная на комментариях до сих пор

Я создал проект библиотеки классов и поместил туда интерфейс и его класс contract. Я установил для него значение «Требуется стандартный контракт», проверки до и после выполнения и сборку ссылочной сборки контракта (я установил идентичные параметры для Debug и Release).

Затем я получил консольное приложение с классом, реализующим интерфейс, и установил «Требуется стандартный контракт», предварительные и последующие проверки во время выполнения (опять же, одинаковые между Debug и Release).

Запуская его либо в режиме отладки, либо в режиме выпуска, я получаю сообщение ArgumentOutOfRangeException при попытке вызвать getArticleNSheet .

За очевидным исключением переключения на «Требуется стандартный контракт», что в приведенном выше не соответствует вашей текущей настройке?

И, на самом деле, я был в ошибке ранее. С помощью «Требуется стандартный контракт» я действительно могу достичь точки останова в классе contract при отладке. Я не уверен, каким волшебством он способен это сделать — поскольку он не выполняет код в этом классе буквально — о чем свидетельствует тот факт, что вы можете переписать метод в классе contract как:

     int IArticleBLL.getArticleNSheet(string IdBox)
    {
        Contract.Requires<ArgumentOutOfRangeException>(!String.IsNullOrEmpty(IdBox), "IdBox has no valid value");

        throw new NotImplementedException();
    }
  

Вы можете поставить точку останова в Contract.Requires строке, и, похоже, она попадает в нее (после предупреждения о несоответствиях файлов, вероятно, из-за перезаписи). Но если предположить, что вы передали непустую строку, она не выдает NotImplementedException .