Результаты поиска по запросу "code-contracts"
Кодовые контракты не работают на VS2012
Я читаю о контрактах по коду, которые на первый взгляд кажутся довольно революционными, но я не могу заставить их работать. Я использую Windows 8 и Visual Studio 2012 Premium (обе версии выпуска). Затем я установил кодовые контракты отВот ...
Проектирование по контрактам и конструкторам
Я реализую свой собственный ArrayList для школьных целей, но чтобы немного оживить ситуацию, я пытаюсь использовать C # 4.0 Code Contracts. Все было хорошо, ...
Кодекс контрактов. Как подавить предупреждения о сгенерированном коде?
Как я могу отключить статические проверки моего кода Linq2Sql?
Кодовые контракты: инварианты в абстрактном классе
Я столкнулся с проблемой при использовании инвариантов с кодовыми контрактами. Я хочу определить Инвариант в моем абстрактном классе, но он просто игнорирует...
CodeContracts: логическое условие оценивается как постоянное значение, почему?
Я получаю это предупреждение, но не могу понять проблему ...CodeContracts: warning: логическое условие d1.Count! = D2.Count всегда принимает постоянное значе...
Гарантируется ли выполнение контрактов кода перед вызовом цепочечных конструкторов?
До того, как я начал использовать Контракты Кодекса, я иногда сталкивался с трудностями, связанными с проверкой параметров при использовании цепочки конструктора. Это проще всего объяснить с помощью (надуманного) примера: class Test { public ...
Контракты .net 4.0. Когда использовать? Когда они трата времени?
Я изучал .NET 4.0 Code Contracts и смотрел на stackoverflow, а также на вопрос, касающийся этого.Я до сих пор никогда не сталкивался ни с одним примером кода...
Я обнаружил, что проверка времени выполнения является ядром контрактов кода. Я использовал статическую проверку для нескольких «чистых компьютерных» подпрограмм, где я анализировал поток данных и хотел убедиться, что многие ограничения выполняются, но, на мой взгляд, выполнение статического верификатора слишком сложно для общего кодирования.
soft недавно выпустила релиз своихКодовые контракты [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx]фреймворк на DevLabs с коммерческой лицензией. Мы заинтересованы в том, чтобы использовать их в нашем проекте (в основном C #, немного C ++ ...