Результаты поиска по запросу "code-contracts"

2 ответа

Кодовые контракты не работают на VS2012

Я читаю о контрактах по коду, которые на первый взгляд кажутся довольно революционными, но я не могу заставить их работать. Я использую Windows 8 и Visual Studio 2012 Premium (обе версии выпуска). Затем я установил кодовые контракты отВот ...

4 ответа

Как избежать «source! = Null» при использовании Code Contracts и Linq To Sql?

У меня есть следующий код с использованием нормального контекста данных, который прекрасно работает:

1 ответ

Полезность System.Diagnostics.Concontracts в вопросе

Я играл с новым классом System.Diagnostics.Contracts, потому что сначала он показался мне очень полезным. Статические методы для проверки входящих аргументов...

ТОП публикаций

2 ответа

Кодовые контракты не работают на VS2012

Я читаю о Контрактах Кодекса, которые на первый взгляд кажутся довольно революционными, но я могуКажется, они не работают. Я'Я использую Windows 8 и Visu...

1 ответ

Я обнаружил, что проверка времени выполнения является ядром контрактов кода. Я использовал статическую проверку для нескольких «чистых компьютерных» подпрограмм, где я анализировал поток данных и хотел убедиться, что многие ограничения выполняются, но, на мой взгляд, выполнение статического верификатора слишком сложно для общего кодирования.

soft недавно выпустила релиз своихКодовые контракты [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx]фреймворк на DevLabs с коммерческой лицензией. Мы заинтересованы в том, чтобы использовать их в нашем проекте (в основном C #, немного C ++ ...

2 ответа

Кодовые контракты + Анализ кода

Я думаю о начале использованияКодовые контракты [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx]в моей кодовой базе. Я уже использую Анализ кода со всеми включенными правилами и целью нулевых предупреждений. Однако при ...

0 ответов

Как автоматически включить контрактные сборки в nupkg?

1 ответ

Гарантируется ли выполнение контрактов кода перед вызовом цепочечных конструкторов?

До того, как я начал использовать Контракты Кодекса, я иногда сталкивался с трудностями, связанными с проверкой параметров при использовании цепочки конструктора. Это проще всего объяснить с помощью (надуманного) примера: class Test { public ...

1 ответ

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

1 ответ

Microsoft Code Contracts и CI build server