0
ответов
Contract.Requires бросать pex ошибки [дубликаты]
Возможный дубликат: как настроить Pex для соблюдения кодовых контрактов? В настоящее время, когда я запускаю исследование pex, контракты кода, созданные в моих классах, рассматриваются как ошибки в pex ...
вопрос задан: 23 May 2017 11:47
0
ответов
Контракты Microsoft Code без Visual Studio
Этот вопрос о переполнении стека: Контракты Microsoft Code и сервер сборки CI спрашивают, как заставить контракты кода работать на сервере сборки без установки Visual Studio 2010. Мы пытаемся это сделать the ...
вопрос задан: 23 May 2017 10:30
0
ответов
Почему я не могу добавить контракт. Отрезываться в переопределенный метод?
Я использую код кода (на самом деле, учиться, используя это). Я сталкиваюсь с чем-то странным для меня ... Я переопределяю метод, определенный в 3-й партийной сборке. Я хочу добавить оператор Contract.require, например ...
вопрос задан: 16 January 2017 16:27
0
ответов
Контракты кода пытаются получить ошибки сборки вместо предупреждений
Я пытаюсь заставить VS2010 Ultimate с контрактами кода генерировать ошибки вместо предупреждений. У меня есть простая тестовая программа: using System.Diagnostics.Contracts; пространство имен MyError
{public class ...
вопрос задан: 19 February 2016 20:09
0
ответов
Предварительные условия контракта в конструкторе с пустым телом
Доброе утро! Я пишу класс для рисования гистограмм и для удобства пользователя решил добавить несколько удобных конструкторов. Однако, как только я недавно перешел на код .NET ...
вопрос задан: 12 May 2015 12:38
0
ответов
Make Contract.Assert генерировать исключение, а не отображать диалоговое окно
Если я использую новый метод контрактов кода Contract.Assert, можно ли сделать так, чтобы он генерировал исключение, а не отображал диалоговое окно? Я хочу сделать это при запуске модульных тестов в сборке ...
вопрос задан: 6 January 2015 22:27
0
ответов
Безопасность memcpy () для смежных области памяти
Недавно я задал вопрос об использовании volatile, и мне было предложено прочитать несколько очень информативных статей от Intel и других, в которых обсуждаются барьеры памяти и их использование. После прочтения этих статей я ...
вопрос задан: 8 September 2014 22:25
0
ответов
Проверка предварительных условий в .NET
Я фанат стратегии "раннего отказа" и хочу, например, проверить правильность значений параметров методов. В Java I 'd использовать что-то вроде Guava: checkArgument (count> 0, "must be positive:% s", ...
вопрос задан: 26 June 2014 08:16
0
ответов
Контракты кода для моно?
Поддерживает ли моно контракты кода? Т.е. если я создам библиотеку классов, могут ли моно-пользователи использовать мою сборку? Если нет, то есть ли альтернативные библиотеки? Предпочтительно поддержка статического анализа (через плагин ...
вопрос задан: 14 May 2014 08:43
0
ответов
Почему я все еще получаю кодовые контракты: обеспечить недоказанное предупреждение?
Ниже приведен очень простой пример. Когда я включаю предупреждения статического анализа, я все равно получаю
Предупреждение CodeContracts: гарантирует недоказанность: Contract.Result ()! = String.Empty в строке return string ....
вопрос задан: 21 January 2014 23:11
0
ответов
Плюсы и минусы различных методов проверки предварительных условий?
Сверху моей головы,
Contract.Assert (контекст! = Null);
Contract.Requires (context! = Null);
if (context == null) ...
вопрос задан: 25 November 2013 23:37
0
ответов
Как проверить параметры typeof в методе? [закрыто]
Как проверить параметры typeof в методе с помощью контрактов кода помощи? Мне нужно проверить тип аргумента в методе
вопрос задан: 31 July 2013 16:34
0
ответов
Могут ли методы расширения вызываться из непосредственного окна
Я задаю этот вопрос, потому что всякий раз, когда я пытаюсь вызвать метод расширения из непосредственного окна в Visual Studio 2010, я получаю следующую ошибку: System.Collections.Generic.IEnumerable ' действительно ...
вопрос задан: 9 May 2013 22:33
0
ответов
Контракты кода - приятно, на грани, но не готово для прайм-тайма?
Меня по-настоящему увлекли контракты кода, представленные в .NET 4 (хотя и с помощью DevLabs). Но один мелкий шрифт меня немного охладил. Вот что там написано: В настоящее время обходного пути нет ...
вопрос задан: 15 March 2013 02:40
0
ответов
Множественное перечисление IEnumerable, вызванное предварительным условием контракта
У меня есть параметр IEnumerable, который должен быть не пустым -. Если есть предварительное условие, подобное приведенному ниже, то коллекция будет перечисляться во время него. Но будет перечислено снова...
вопрос задан: 4 July 2012 10:29
0
ответов
Почему исключение .net не перехватывается?
Рассмотрим следующую «безопасную» программу: внутренний класс Safe
{ public static void SafeMethodWillNeverThrow() { try { var something = ThrowsNewException(); ...
вопрос задан: 12 June 2012 06:20
0
ответов
Как обеспечить хорошее покрытие кода логики с плавающей запятой?
Я вручную создаю новый код. Я хотел бы убедиться, что я не оставлю камня на камне. Есть ли что-нибудь конкретное, что я могу сделать, кроме указания контрактов кода, чтобы направлять Pex, чтобы он обеспечивал хорошее покрытие в ...
вопрос задан: 27 May 2012 04:31
0
ответов
С чего начать работу с кодовыми контрактами?
Я видел потрясающую демонстрацию C# Code Contracts и хочу начать внедрять их в свой код. Хотел бы я, чтобы они уже были в моем коде. С чего начать? Мне не удалось убрать печатные...
вопрос задан: 19 April 2012 02:23
0
ответов
Как найти «замаскированные» утверждения в контрактах MS Code
У меня есть следующая запись уровня сообщения в моем списке ошибок из CodeContracts: CodeContracts: проверено 410 утверждений: 404 правильно (6 в маске) Я не могу понять: что такое маскированные утверждения?
Как ...
вопрос задан: 6 April 2012 00:25
0
ответов
Что следует использовать: CodeContract или CuttingEdge.Условия?
Я исследовал использование структуры условий для проверки данных вместо if(cond) throw new SomeException(); SomeFramework.MakeSure(условие); В конце концов мой выбор состоит в том, чтобы использовать либо CodeContract...
вопрос задан: 19 February 2012 10:45
0
ответов
Использование кодовых контрактов для указания возвращаемого значения может быть нулевым
Есть ли способ явно указать, что возвращаемое значение может быть нулевым с помощью кодовых контрактов? Меня беспокоит, что методы без Contract.Ensures (Contract.Result
вопрос задан: 16 February 2012 18:24
0
ответов
Контракты кода и асинхронность
Каков рекомендуемый способ добавления постусловий к асинхронным методам, возвращающим Task ? Я прочитал следующее предложение: http: //social.msdn.microsoft.com/Forums/hu-HU/async/thread / ...
вопрос задан: 6 February 2012 19:02
0
ответов
Использование кодовых контрактов для определения неизменяемого интерфейса?
Могу ли я использовать кодовые контракты для определения инвариантных свойств только для чтения в интерфейсе? Т.е. свойства, которые всегда возвращают одно и то же значение после создания экземпляра?
вопрос задан: 4 February 2012 00:33
0
ответов
Code Contracts + Sandcastle - Можно ли настроить раздел исключений?
Я использую Code Contracts ver: 1.4.40602.0
Я скопировал необходимые файлы Content и Transforms
Sandcastle выводит исключения на основе требований моего контракта. Пример кода: открытый класс MyClass.
...
вопрос задан: 13 December 2011 19:42
0
ответов
Контракты кода C # - Как обеспечить, чтобы коллекция элементов содержала элементы с уникальными свойствами?
В основном у меня есть следующее: открытый класс MyClass
{общедоступный MyClass (ICollection coll) {Contract.Requires (coll! = null); Contract.Requires (Contract.ForAll (...
вопрос задан: 13 December 2011 15:36
0
ответов
Можно ли указать контракты кода, чтобы гарантировать, что метод не изменяет состояние объекта.
Допустим, у меня есть логическое свойство IsValid для моего объекта. Я хотел бы создать метод и убедиться, что IsValid не изменится после его вызова, независимо от того, было ли оно истинным или ложным до вызова. Is ...
вопрос задан: 4 December 2011 11:18
0
ответов
Должен ли я включать проверку контрактов кода во время выполнения для .NET 4.0 в сборках релиза?
Предполагая, что все новые коды .NET 4.0, я вижу, что есть возможность включить их. Однако я не понимаю, какова наилучшая практика? Является ли лучшей практикой то, что после выполнения статической проверки вы действительно не...
вопрос задан: 28 November 2011 22:11
0
ответов
CodeContracts с типами коллекций
У меня есть коллекция дочерних элементов в моем классе, и у меня есть открытый метод доступа к ней. Я хочу предоставить постусловие, чтобы гарантировать, что элементы в коллекции не равны нулю (я знаю, что в тестах 2 и 3 ...
вопрос задан: 25 November 2011 23:03
0
ответов
Что случилось с контрактами кода?
Контракты кода были повсюду в блогосфере много лет назад, до выпуска .NET 4, компоненты среды выполнения, включенные в .NET 4, и статическая проверка, доступная в более дорогая Visual Studio ...
вопрос задан: 10 November 2011 13:00
0
ответов
Программирование с помощью контрактов в PHP
Программирование контрактами - это современная тенденция в .NET, но как насчет библиотек / фреймворков для контрактов кода в PHP? Что вы думаете о применимости этой парадигмы к PHP? Поиск в Google по запросу "код ...
вопрос задан: 30 October 2011 03:57