Результаты поиска по запросу "code-contracts"
Кодовые контракты не работают на VS2012
Я читаю о Контрактах Кодекса, которые на первый взгляд кажутся довольно революционными, но я могуКажется, они не работают. Я'Я использую Windows 8 и Visu...
Проектирование по контрактам и конструкторам
Я реализую свой собственный ArrayList для школьных целей, но чтобы немного оживить ситуацию, я пытаюсь использовать C # 4.0 Code Contracts. Все было хорошо, ...
Настройка сообщений об исключениях из кода
У меня есть код контракта, который выражается следующим образом: он проверяет, что сущность, которая должна быть сохранена, не равна нулю и действительна для...
Контракты на код: как работать с унаследованными интерфейсами?
Я использую MS Code Contracts и столкнулся с проблемой с использованием наследования интерфейса и атрибутов ContractClassFor.Учитывая эти интерфейсы и классы...
Кодовые контракты: инварианты в абстрактном классе
Я столкнулся с проблемой при использовании инвариантов с кодовыми контрактами. Я хочу определить Инвариант в моем абстрактном классе, но он просто игнорирует...
Кодовые контракты + Анализ кода
Я думаю о начале использованияКодовые контракты [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx]в моей кодовой базе. Я уже использую Анализ кода со всеми включенными правилами и целью нулевых предупреждений. Однако при ...