Результаты поиска по запросу "code-contracts"

1 ответ

Кодовые контракты: инварианты в абстрактном классе

Я столкнулся с проблемой при использовании инвариантов с кодовыми контрактами. Я хочу определить Инвариант в моем абстрактном классе, но он просто игнорирует...

2 ответа

Кодовые контракты не работают на VS2012

Я читаю о Контрактах Кодекса, которые на первый взгляд кажутся довольно революционными, но я могуКажется, они не работают. Я'Я использую Windows 8 и Visu...

2 ответа

Контракты на код: почему некоторые инварианты не рассматриваются вне класса?

ТОП публикаций

1 ответ

Почему ccrewrite.exe ничего не делает из командной строки?

У меня есть контракты кода, работающие нормально из Visual Studio 2010, но я не могу получить

2 ответа

Кодовые контракты + Анализ кода

Я думаю о начале использованияКодовые контракты [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx]в моей кодовой базе. Я уже использую Анализ кода со всеми включенными правилами и целью нулевых предупреждений. Однако при ...

1 ответ

CodeContracts: логическое условие оценивается как постоянное значение, почему?

Я получаю это предупреждение, но не могу понять проблему ...CodeContracts: warning: логическое условие d1.Count! = D2.Count всегда принимает постоянное значе...

2 ответа

Кодовые контракты + Анализ кода

1 ответ

Контракты на код: как работать с унаследованными интерфейсами?

Я использую MS Code Contracts и столкнулся с проблемой с использованием наследования интерфейса и атрибутов ContractClassFor.Учитывая эти интерфейсы и классы...

3 ответа

Книги по кодовым контрактам в C # 4.0 [закрыто]

Несмотря на то, что я уже давно знаю кодовые контракты, так как я немного их использовал в Java, я хотел бы начать использовать их в C #, теперь, когда они я...

6 ответов

Перезапуска Eclipse было достаточно - исключение во время выполнения становится нормальным, а не нулевым. Другие отладчики могут быть не очень добрыми.

ите ниже для объяснения того, что происходит У меня действительно странная проблема, когда обнаруженное исключение - ноль. Код использует MEF и старается сообщать об ошибках композиции. Используя отладчик, я вижу, как выдается исключение ...