Комментарии 2
А можно поподробнее про
Желательно с примерами.
заменяет проверки Code Contracts на их эквивалент вне Code Contracts?
Желательно с примерами.
К примеру проверка с помощью Requires
будет заменена на
Contract.Assert и Contract.Assume на Debug.Assert
Contact.Ensures, Contract.EndContractBlock и другие будут удалены.
Атрибуты и методы проверки инварианта остаются.
Contract.Requires(myParam != null)
будет заменена на
if (myParam == null)
throw new ArgumentNullException();
Contract.Assert и Contract.Assume на Debug.Assert
Contact.Ensures, Contract.EndContractBlock и другие будут удалены.
Атрибуты и методы проверки инварианта остаются.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Удаление Code Contracts c помощью Roslyn