Результаты поиска по запросу "code-contracts"
Контракты на код: как работать с унаследованными интерфейсами?
Я использую MS Code Contracts и столкнулся с проблемой с использованием наследования интерфейса и атрибутов ContractClassFor.Учитывая эти интерфейсы и классы...
Кодекс контрактов. Как подавить предупреждения о сгенерированном коде?
Как я могу отключить статические проверки моего кода Linq2Sql?
Гарантируется ли выполнение контрактов кода перед вызовом цепочечных конструкторов?
До того, как я начал использовать Контракты Кодекса, я иногда сталкивался с трудностями, связанными с проверкой параметров при использовании цепочки конструктора. Это проще всего объяснить с помощью (надуманного) примера: class Test { public ...
Я обнаружил, что проверка времени выполнения является ядром контрактов кода. Я использовал статическую проверку для нескольких «чистых компьютерных» подпрограмм, где я анализировал поток данных и хотел убедиться, что многие ограничения выполняются, но, на мой взгляд, выполнение статического верификатора слишком сложно для общего кодирования.
soft недавно выпустила релиз своихКодовые контракты [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx]фреймворк на DevLabs с коммерческой лицензией. Мы заинтересованы в том, чтобы использовать их в нашем проекте (в основном C #, немного C ++ ...
Могу ли я оставить контракты в коде, который я объединяю с базой кода, используемой разработчиками не кодовых контрактов?
В течение последних нескольких месяцев я разрабатывал сторонний проект для своей компании, но руководители решили, что он будет хорошо вписываться в существу...