Результаты поиска по запросу "code-contracts"
Кодовые контракты: инварианты в абстрактном классе
Я столкнулся с проблемой при использовании инвариантов с кодовыми контрактами. Я хочу определить Инвариант в моем абстрактном классе, но он просто игнорирует...
CodeContracts: логическое условие оценивается как постоянное значение, почему?
Я получаю это предупреждение, но не могу понять проблему ...CodeContracts: warning: логическое условие d1.Count! = D2.Count всегда принимает постоянное значе...
Могу ли я оставить контракты в коде, который я объединяю с базой кода, используемой разработчиками не кодовых контрактов?
В течение последних нескольких месяцев я разрабатывал сторонний проект для своей компании, но руководители решили, что он будет хорошо вписываться в существу...
Гарантируется ли выполнение контрактов кода перед вызовом цепочечных конструкторов?
До того, как я начал использовать Контракты Кодекса, я иногда сталкивался с трудностями, связанными с проверкой параметров при использовании цепочки конструктора. Это проще всего объяснить с помощью (надуманного) примера: class Test { public ...
Гарантируется ли выполнение контрактов кода перед вызовом цепочечных конструкторов?
До того, как я начал использовать Контракты Кодекса, я иногда сталкивался с трудностями, связанными с проверкой параметров при использовании цепочки конструк...
Кодовые контракты не работают на VS2012
Я читаю о контрактах по коду, которые на первый взгляд кажутся довольно революционными, но я не могу заставить их работать. Я использую Windows 8 и Visual Studio 2012 Premium (обе версии выпуска). Затем я установил кодовые контракты отВот ...
Кодовые контракты не работают на VS2012
Я читаю о Контрактах Кодекса, которые на первый взгляд кажутся довольно революционными, но я могуКажется, они не работают. Я'Я использую Windows 8 и Visu...