Результаты поиска по запросу "code-contracts"
Могу ли я оставить контракты в коде, который я объединяю с базой кода, используемой разработчиками не кодовых контрактов?
В течение последних нескольких месяцев я разрабатывал сторонний проект для своей компании, но руководители решили, что он будет хорошо вписываться в существу...
Проектирование по контрактам и конструкторам
Я реализую свой собственный ArrayList для школьных целей, но чтобы немного оживить ситуацию, я пытаюсь использовать C # 4.0 Code Contracts. Все было хорошо, ...
CodeContracts: логическое условие оценивается как постоянное значение, почему?
Я получаю это предупреждение, но не могу понять проблему ...CodeContracts: warning: логическое условие d1.Count! = D2.Count всегда принимает постоянное значе...
Кодовые контракты: инварианты в абстрактном классе
Я столкнулся с проблемой при использовании инвариантов с кодовыми контрактами. Я хочу определить Инвариант в моем абстрактном классе, но он просто игнорирует...
Как избежать «source! = Null» при использовании Code Contracts и Linq To Sql?
У меня есть следующий код с использованием нормального контекста данных, который прекрасно работает:
Контракты .net 4.0. Когда использовать? Когда они трата времени?
Я изучал .NET 4.0 Code Contracts и смотрел на stackoverflow, а также на вопрос, касающийся этого.Я до сих пор никогда не сталкивался ни с одним примером кода...
Контракты кода для .NET 3.5 портят отладчик VS10
Недавно я перенес много ручного тестирования предварительных условий и исключения для контрактов кода. Вместо обновления до .NET 4 я использую