6
ответов
F# и статически проверенные случаи объединения
Скоро меня и моего собрата по оружию Joel выпустит версию Ударов Крыла. Это - внутренний DSL, записанный в F#. С ним можно генерировать XHTML. Один из источников вдохновения был XHTML.M...
вопрос задан: 11 May 2010 22:18
5
ответов
CodeContracts: Возможно называя метод на нулевой ссылке
У меня есть спор с инструментом статического анализа CodeContracts. Мой код: (версия ASCII) инструмент говорит мне, что instance.bar может быть нулевой ссылкой. Я верю противоположному. Кто прав? Как...
вопрос задан: 23 July 2019 19:11
5
ответов
Библиотека классов охраны.NET?
Я ищу библиотеку или исходный код, который предоставляет защитные методы, такие как проверка нулевые аргументы. Очевидно, это довольно просто создать, но я задаюсь вопросом, существует ли кто-либо там для....
вопрос задан: 25 May 2016 03:58
5
ответов
Действительно пытаясь любить CodeContracts в C#
Я наконец играю в догонялки со всем новым, которое было включено к.NET 3.5/4.0 Платформы. Последние несколько дней я работал с CodeContracts и я действительно очень стараюсь любить...
вопрос задан: 8 November 2012 09:51
5
ответов
Дизайн контрактов и конструкторов
Я реализую свой собственный ArrayList в школьных целях, но к специи вещи немного я пытаюсь использовать Контракты Кода C# 4.0. Все были в порядке, пока я не должен был добавлять Контракты к конструкторам. Если я...
вопрос задан: 5 May 2010 00:01
5
ответов
ReSharper - Возможное Пустое Присвоение при использовании Microsoft. Контракты
Там какой-либо путь состоит в том, чтобы указать к ReSharper, что нулевая ссылка не произойдет из-за Дизайна Контракта, Требует проверки? Например, следующий код повысит предупреждение (Возможный 'пустой указатель'...
вопрос задан: 13 January 2010 12:43
4
ответа
.NET 4,0 контракта кода - Как они будут влиять на поблочное тестирование?
Например, эта статья представляет их. Каково преимущество? Статический анализ кажется прохладным, но в то же время он предотвратил бы способность передать пустой указатель в качестве параметра в модульном тесте. (если Вы...
вопрос задан: 23 May 2017 11:46
4
ответа
Ошибка в итераторах с контрактами кода?
Следующий код перестал работать на пред условие. Действительно ли это - ошибка в контрактах кода? статический класс Программа {статическая Основная пустота () {foreach (var s в Тесте (3)) {Консоль....
вопрос задан: 27 January 2010 23:12
4
ответа
Насколько сформировавшийся платформа Microsoft Code Contracts?
Microsoft недавно поместила выпуск их платформы Контрактов Кода на DevLabs с коммерческой лицензией. Нам интересно при использовании их в нашем проекте (главным образом C#, некоторый C++ / CLI) к постепенно...
вопрос задан: 27 January 2010 23:11
4
ответа
Контракты кода в.NET 4.0, никакая радость для не допускающих NULL-значения вентиляторов ссылочных типов?
Я играл с Контрактами Кода на VS2008 (http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx). Они, конечно, хороши и обеспечивают твердую альтернативу проверкам if-then-throw в методах...
вопрос задан: 1 October 2009 09:18
3
ответа
Что такое практическое использование Контрактов Кода в.NET 4.0?
Чтобы полностью понять и использовать в своих интересах новые возможности, и улучшения предоставили то, чтобы выйти из новой Платформы.NET 4.0, я хотел бы получить пример реального приложения...
вопрос задан: 10 December 2014 19:40
3
ответа
То, что “Сокращается, не может быть в блоке попытки”, среднем?
Я пользуюсь 3,5 библиотеками для объекта общественности контрактов кода Microsoft RetrieveById (международный идентификатор) {//, материал происходит... Контракт. Удостоверяется (newObject! = пустой указатель, "объект не должен быть несуществующим&qu
вопрос задан: 21 May 2010 16:07
3
ответа
Как хорошая идея - это для использования контрактов кода в Профессионале Visual Studio 2010 года (т.е. никакая статическая проверка) для библиотек классов?
Я создаю библиотеки классов, некоторые, которые используются другими во всем мире, и теперь, когда я начинаю использовать Visual Studio 2010, я задаюсь вопросом, как хорошая идея это для меня для переключения на использование контрактов кода...
вопрос задан: 13 April 2010 18:18
3
ответа
То, чтобы заставлять Контракты Кода работать в Visual Studio 2010
У меня есть следующий код: класс Программа {статическая Основная пустота (строка [] args) {Консоль. WriteLine (SqrtRoot (0)); Консоль. WriteLine (SqrtRoot (10)); Консоль. WriteLine (...
вопрос задан: 14 February 2010 22:58
3
ответа
Осуществление корректной реализации INotifyPropertyChanged с CodeContracts - “требует бездоказательный”
Я ищу простой способ осуществить корректную реализацию INotifyPropertyChanged т.е. когда PropertyChanged повышен, он должен сослаться на свойство, которое на самом деле определяется. Я пытался делать...
вопрос задан: 25 October 2009 20:10
3
ответа
Насколько свободный я могу быть в коде в объектном инварианте?
Я пытаюсь продемонстрировать инварианты в Контрактах Кода, и я думал, что дам пример отсортированного списка строк. Это поддерживает массив внутренне с запасным пространством для дополнений и т.д. - точно так же, как...
вопрос задан: 30 July 2009 21:23
2
ответа
Контракты кода: мы должны указать Контракт. Требует (…) операторов избыточно в делегировании методов?
Я намереваюсь использовать новую.NET 4 функции Code Contracts будущей разработки. Это заставило меня задаться вопросом, должны ли мы указать эквивалентный Контракт. Требует (...) операторов избыточно в цепочке...
вопрос задан: 23 May 2017 12:06
2
ответа
Должны Контракты Кода статическое средство проверки смочь проверить связанную арифметику?
(Также отправленный на форуме MSDN - но это не получает много трафика, насколько я вижу.) я пытался обеспечить, пример Утверждают и Принимают. Вот код, который я имею: общедоступный статический интервал...
вопрос задан: 19 October 2015 16:18
2
ответа
Каким образом Вы не можете поймать исключения Контракта Кода?
Система. Диагностика. Контракты. ContractException не доступен в моем тестовом проекте. Обратите внимание, что этот код просто самостоятельно бездельничает с моей солнечной новой копией Visual Studio, но я хотел бы знать что...
вопрос задан: 2 June 2015 09:47
2
ответа
Контракты кода: Как я предоставляю класс контракта для универсального интерфейса?
Я хотел бы указать контракт для этого универсального интерфейса, с помощью Контрактов Кода: интерфейс IRandomWriteAccessible <T> {T это [uint индекс] {набор;} uint Длина {добираются; }}...
вопрос задан: 4 January 2012 22:25
2
ответа
Контракты кода действительно помогают поблочному тестированию?
У меня есть изрядное количество знания о поблочном тестировании. Я пытался читать о контрактах кода. Это действительно помогает поблочному тестированию? Это переоценено особенно, когда мы говорим о помощи контракта кода...
вопрос задан: 27 July 2010 15:36
2
ответа
.net 4.0 Code Contracts. Когда использовать? Когда они - пустая трата времени?
Я изучал.NET 4.0 Контракта Кода и считал stackoverflow также в вопросе относительно этого. Я все еще никогда не сталкивался ни с каким примером кода, который использует контракты кода так, чтобы получил меня...
вопрос задан: 25 July 2010 02:01
2
ответа
Контракты кода для.NET 3.5 портят отладчик VS10
Я недавно переместил большой ручной бросок тестирования и исключения предварительного условия с контрактами кода. Вместо того, чтобы обновить до.NET 4, я использовал блок Microsoft.Contracts.dll, таким образом, я мог...
вопрос задан: 9 July 2010 00:55
2
ответа
C#4.0 Кодируют Контракты, На самом деле Делают Что-нибудь?
После чтения о Системе. Диагностика. Контракты. Сократите статический класс, который был под влиянием великолепия Spec#, к которому я был взволнован и сразу начал перчить свой код вызовами...
вопрос задан: 21 May 2010 16:18
2
ответа
Неловкое выглядящее использование Контракта. ValueAtReturn ()
Я разрабатываю метод, который добавит элемент к внутреннему списку. Структура класса - что-то вроде: класс MyCustomerDatabase {частный IList <Клиент>...
вопрос задан: 9 May 2010 04:58
2
ответа
Как действительно Сокращается. Существует добавленная стоимость?
Я только начинаю узнавать о библиотеке контрактов кода, которая приезжает стандарт с VS2010. Одна вещь, с которой я сталкиваюсь сразу же, - то, что действительно означают некоторые пункты контракта. Например, как...
вопрос задан: 6 May 2010 10:45
2
ответа
Я могу использовать.NET 4 Контракта Кода и остаться совместимым с.NET 3.5?
.NET 4 представленных Контракта Кода как новая возможность. Я хотел бы использовать CC, но обеспечить файлы, которые могут все еще работать в 3,5 SP1. Это возможно? Я могу только использовать части новой функциональности? По-видимому, это...
вопрос задан: 8 April 2010 08:07
2
ответа
Метод, который делает условный возврат метода, называя его?
Хорошо это могло бы быть небольшим количеством взлома, но терпеть меня :) Фон - то, что я устал от методов это, как которое некоторый оператор "if" к этому портит изрезывание для целого метода: общедоступный SomeClass...
вопрос задан: 3 April 2010 08:50
2
ответа
Действительно ли это - ошибка в статическом средстве проверки контракта?
Если я пишу это: общедоступный запечатанный класс Foo {частное международное количество; частный владелец объекта; частная пустая Панель () {Контракт. Требует (количество> 0); Контракт. Удостоверяется (владелец ==...
вопрос задан: 17 December 2009 16:09
1
ответ
Вопрос о [Чистых] методах
Действительно ли следующий метод чист? Я сказал бы так, поскольку это не изменяет в так или иначе текущем классе, таким образом, все, что мы можем теперь currenly "видеть" в классе, прежде, чем выполнить этот метод все еще будет точно...
вопрос задан: 15 April 2013 03:12