Как стать автором
Обновить

Комментарии 2

К примеру проверка с помощью Requires
Contract.Requires(myParam != null) 

будет заменена на
if (myParam == null) 
    throw new ArgumentNullException();

Contract.Assert и Contract.Assume на Debug.Assert
Contact.Ensures, Contract.EndContractBlock и другие будут удалены.
Атрибуты и методы проверки инварианта остаются.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий

Публикации

Истории