Результаты поиска по запросу "code-contracts"
Кодовые контракты: инварианты в абстрактном классе
Я столкнулся с проблемой при использовании инвариантов с кодовыми контрактами. Я хочу определить Инвариант в моем абстрактном классе, но он просто игнорирует...
Кодовые контракты не работают на VS2012
Я читаю о Контрактах Кодекса, которые на первый взгляд кажутся довольно революционными, но я могуКажется, они не работают. Я'Я использую Windows 8 и Visu...
Почему ccrewrite.exe ничего не делает из командной строки?
У меня есть контракты кода, работающие нормально из Visual Studio 2010, но я не могу получить
Кодовые контракты + Анализ кода
Я думаю о начале использованияКодовые контракты [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx]в моей кодовой базе. Я уже использую Анализ кода со всеми включенными правилами и целью нулевых предупреждений. Однако при ...
CodeContracts: логическое условие оценивается как постоянное значение, почему?
Я получаю это предупреждение, но не могу понять проблему ...CodeContracts: warning: логическое условие d1.Count! = D2.Count всегда принимает постоянное значе...
Контракты на код: как работать с унаследованными интерфейсами?
Я использую MS Code Contracts и столкнулся с проблемой с использованием наследования интерфейса и атрибутов ContractClassFor.Учитывая эти интерфейсы и классы...
Книги по кодовым контрактам в C # 4.0 [закрыто]
Несмотря на то, что я уже давно знаю кодовые контракты, так как я немного их использовал в Java, я хотел бы начать использовать их в C #, теперь, когда они я...
Перезапуска Eclipse было достаточно - исключение во время выполнения становится нормальным, а не нулевым. Другие отладчики могут быть не очень добрыми.
ите ниже для объяснения того, что происходит У меня действительно странная проблема, когда обнаруженное исключение - ноль. Код использует MEF и старается сообщать об ошибках композиции. Используя отладчик, я вижу, как выдается исключение ...