Вопросы с тегом 'code-contracts'

Code Contracts - это проект с открытым исходным кодом Microsoft, который позволяет вам выражать предварительные условия, пост-условия и утверждения непосредственно в коде.
4
ответа

Сравнение дизайна по контракту с типами систем

Недавно я прочитал документ, в котором сравнивались «Контракт-контракт» с Test-Driven-Development. Кажется, что много перекрытий, некоторая избыточность и немного синергии между DbC и TDD. Например, существуют системы автоматического генерации т...
задан 11.05.2011 в 15:35
1
ответ

Как работает Contract.Ensures?

Я начинаю использовать кодовые контракты, а Contract.Requires - довольно прямолинейно, у меня возникают проблемы с тем, что действительно делает на самом деле. Я пробовал создать простой способ: static void Main() { DoSomething(); } p...
задан 13.08.2011 в 21:00
3
ответа

Кодовые контракты и асинхронность

Каков рекомендуемый способ добавления постусловий к методам async, которые возвращают Task<T> ? Я прочитал следующее предложение: Ссылка Сообщение предлагает реализовать каждый метод как синхронный, сжимающий его, а затем реал...
задан 06.02.2012 в 18:18
2
ответа

Плюсы / минусы различных методов тестирования предварительных условий?

Сверху моей головы я могу думать о 4 способах проверки нулевых аргументов: Debug.Assert(context != null); Contract.Assert(context != null); Contract.Requires(context != null); if (context == null) throw new ArgumentNullException("context");...
задан 15.12.2010 в 02:19
1
ответ

Я выполняю этот простой контракт неправильно?

Это мой код: public class RegularPolygon { public int VertexCount; public double SideLength; public RegularPolygon(int vertexCount, double sideLength) { Contract.Requires(vertexCount >= 3); VertexCount = ve...
задан 11.08.2010 в 21:18
3
ответа

Автоматически реализованные свойства с необязательным предложением о защите?

Я согласен с мнением Марка Семана о том, что Автоматические свойства несколько злы , поскольку они разрушают инкапсуляцию , Однако мне нравится сжатый синтаксис, удобство чтения и удобство, которое они приносят. Я цитирую: public string N...
задан 21.07.2011 в 10:23
2
ответа

Как (полностью) удалить расширение кода контракта?

Я пытаюсь избавиться от расширения инструментов Code Contracts Tools в моей системе. Я удалил его из «программ и функций», но он по-прежнему отображается как установленное расширение внутри Visual Studio. Любая помощь будет оценена.     
задан 19.11.2014 в 20:13
3
ответа

Что я должен использовать, CodeContract или CuttingEdge.Conditions?

Я исследовал использование структуры условий для проверки данных вместо if(cond) throw new SomeException(); SomeFramework.MakeSure(cond); В конце концов, мой выбор заключается в использовании структур CodeContract или CuttingEdge.Con...
задан 19.02.2012 в 10:01
3
ответа

Таким образом, контракты на код C # 4.0 на самом деле ничего не делают?

Прочитав о статическом классе System.Diagnostics.Contracts.Contract , на который повлияла удивительность Spec #, я был взволнован и сразу же начал набирать мой код вызовами Contract.Requires() и Contract.Ensures() . Я предполагаю, что...
задан 21.05.2010 в 18:18
6
ответов

.NET Class Class Library?

Я ищу библиотеку или исходный код, который предоставляет методы защиты, такие как проверка нулевых аргументов. Очевидно, что это довольно просто построить, но мне интересно, есть ли там уже .NET. Основной поиск Google не показал много.     
задан 18.11.2008 в 18:17