0
ответов
Как сделать кодовые контракты считают, что переменная не нулевая?
У меня есть какой-то фабричный метод Public T Create (), где t: класс {Contract.ensures (Contract.result ()! = ноль); T result = this.unityContainer.RESOLVE ...
вопрос задан: 17 September 2011 21:09
0
ответов
Использование шаблона для создания статической таблицы поиска
У меня есть: const char kLetters [] = «QWERTYUIOPASDFGHJKLZXCVBNM»; Я могу вызвать kLetters [n], чтобы получить n-ю букву алфавита клавиатуры за O (1) раз. Однако мне придется повторить через kLetter (...
вопрос задан: 14 September 2011 17:12
0
ответов
Как это сделать Contract.Ensures работает?
Я начинаю использовать Code Contracts, и хотя Contract.Requires довольно прост, мне трудно понять, что на самом деле делает Ensures. Я пробовал создать такой простой метод: ...
вопрос задан: 13 August 2011 19:00
0
ответов
Как заставить контракты кода работать с десериализацией контрактов данных?
Я написал ContractInvariantMethod для класса контрактов данных, и все отлично работает на стороне клиента, однако, когда объект этого типа отправляется в мою службу , и контракт данных ...
вопрос задан: 7 August 2011 12:17
0
ответов
Контракты кода для автоматически реализуемых свойств
Есть ли способ наложить контракты на автоматически реализуемые свойства в .NET?
(А как если ответ «да»)? (Я предполагаю использовать контракты кода .NET от DevLabs)
вопрос задан: 31 July 2011 10:14
0
ответов
ولې کوډ کنیکټس ما ته خبرداری ورکوي چې "غیر ثابت ته اړتیا لري: انډیکس <@ this. حساب "که څه هم ما دمخه شمیره چیک کړې؟
زه کوډ لرم چې داسې یو څه ورته ښکاري: عامه ټولګي Foo : د لیدلو وړ کول
T شخصي T بار؛ عامه فو (نه شمیره کېدونکي توکي): اساس (توکي.ToList ()) ...
вопрос задан: 28 July 2011 18:25
0
ответов
Контракты кода не могут определить очевидную связь между Nullable .HasValue и null?
Я экспериментирую с применением контрактов кода к своему коду и столкнулся с трудной проблемой.
Этот код не соответствует условиям контракта, но если я не буду очень толстым, я ожидаю, что он сможет ...
вопрос задан: 27 July 2011 15:55
0
ответов
Автореализуемые свойства с ненулевым защитным условием?
I согласны с мнением Марка Симана о том, что автоматические свойства в некоторой степени вредны, поскольку нарушают инкапсуляцию. Однако мне нравится их лаконичный синтаксис, удобочитаемость и удобство. Я цитирую: ...
вопрос задан: 21 July 2011 17:31
0
ответов
Контракты кода во время выполнения
Насколько я прочитал в книге вкратце, контракты кода могут ухудшить производительность во время выполнения. Можно ли отключить контракты кода в производственной среде?
вопрос задан: 14 July 2011 18:34
0
ответов
Почему Code Contracts показывает «Неверный контракт. Найдено, что требуется после назначения »в методе с ключом params?
Я несколько часов устранял эту ошибку и не могу понять, почему это происходит. Рассмотрим следующий код: using System;
с помощью System.Diagnostics.Contracts;
с помощью System.Linq ....
вопрос задан: 30 June 2011 15:48
0
ответов
Moq и контракты кода
При использовании инвариантов классов кажется, что контракты кода внедряют код повсюду. Подобные вещи [ContractClassFor (typeof (IX))]
interface IXContract {[ClassInvariant] void Invariant () {... ...
вопрос задан: 17 June 2011 21:22
0
ответов
Кодовый контракт понимание ошибки
Я только начинаю работать с Code Contracts, и мне нужна небольшая помощь в исправлении ошибки: Учитывая этот код: class MyClass
{private bool _isUsed = false; public void SomeMethod () {...
вопрос задан: 15 June 2011 19:12
0
ответов
Сравнение дизайна по контракту с системами типов
Недавно я прочитал статью, в которой сравнивал дизайн по контракту с разработкой, управляемой тестированием. Кажется, есть много совпадений, некоторая избыточность и немного синергии между DbC и TDD. Например, ...
вопрос задан: 11 May 2011 16:00
0
ответов
Как проводить модульное тестирование с помощью контрактов кода
Каковы наилучшие рекомендации по выполнению TDD с контрактами кода .NET 4.0? Я предполагаю, что конкретно мой вопрос заключается в том, что, учитывая, что одна из точек TDD - позволить коду быть самим собой ...
вопрос задан: 1 May 2011 17:57
0
ответов
Контракты кода создают действия эталонной сборки
Я использую контракты кода и пытаюсь понять, какие из вариантов сборки мне использовать и когда. Параметры сборки сборки контракта определены в свойствах проекта. Контракты кода -> Контракт ...
вопрос задан: 28 April 2011 10:17
0
ответов
Исключение условного атрибута с контрактами кода
Я получаю исключение, когда использую контракты кода для следующего кода: public void Отладка (динамическое сообщение1, динамическое сообщение2 = null, динамическое сообщение3 = null, ...
вопрос задан: 14 April 2011 10:49
0
ответов
как настроить кодовые контракты в интерфейсе
Я не могу настроить кодовые контракты в своем классе. Я следил за документацией и примером, но это не работает. Я бы вставил условие Code Contracts в свой интерфейс, здесь мой код The ...
вопрос задан: 12 April 2011 12:28
0
ответов
Контракт кода: ccrewrite завершился с кодом -1?
Я новичок в кодировании контрактов. Я загрузил последнюю сборку проекта контракта кода (1.4.40314.1) и начал внедрять его в свой проект. Когда я включил «Проверка Runtume» на вкладке «Контракты кода» ...
вопрос задан: 12 April 2011 04:47
0
ответов
Конфликты JQuery с Primefaces? [дубликат]
Я включил JQuery1.5 в заголовок страницы JSF. На этой странице уже написано несколько компонентов Primefaces. После того, как я включил Jquery.js в заголовок страницы, некоторые ...
вопрос задан: 29 March 2011 14:34
0
ответов
Почему этот строковый вызов Contract.Ensure недоказан?
В моем приложении .Net 4 есть следующий код: static void Main (string [] args) {Func () ;
} статическая строка S = "1"; static void Func () {Contract.Ensures (S! = Contract.OldValue (S)); S = S + "...
вопрос задан: 9 March 2011 16:13
0
ответов
Контракты кода модульного тестирования
Я просто играю с контрактами кода в .Net 4.0 и, должно быть, упускает что-то очевидное, поскольку они ведут себя не так, как я ожидал. Я всегда использовал простой оператор if ... then ... throw ...
вопрос задан: 2 March 2011 10:26
0
ответов
Контракты кода C #: что можно проверить статически, а что нет ?
Я могу сказать, что довольно хорошо знаком с Code Contracts: я прочитал и понял большую часть руководства пользователя и уже довольно давно использую их, но у меня все еще есть вопросы. Когда я ищу ...
вопрос задан: 17 February 2011 10:40
0
ответов
Как мне использовать контракты кода в .NET 4.0, чтобы мой код не выглядел загроможденным?
У меня есть начали использовать Code Contracts и обнаружили, что это затрудняет немедленное выявление «внутренностей» метода. Возьмем этот (очень простой) пример: public static void UserAddNew (string domain, ...
вопрос задан: 15 February 2011 08:35
0
ответов
Создание контрактов для объектов REST
Я новичок в REST, и похоже, что это должно быть довольно просто. В приложении .NET я могу создать ссылку на службу WCF, и для меня будут созданы контракты для всех доступных типов. Теперь я ...
вопрос задан: 8 February 2011 12:46
0
ответов
Кодовые контракты - предположить против требований
В чем разница между этими двумя утверждениями? Contract.Requires (string.IsNullOrWhiteSpace (userName)); Contract.Assume (строка.IsNullOrWhiteSpace (имя пользователя));
вопрос задан: 21 January 2011 11:51
0
ответов
Следует ли использовать контракты кода для обеспечения безопасности?
Есть ли какие-либо причины, по которым вы этого не сделаете? Используете ли кодовые контракты для обеспечения соблюдения бизнес-правил? Представьте, что у вас есть класс User, который представляет отдельного пользователя системы и определяет действия, ко
вопрос задан: 13 January 2011 23:21
0
ответов
Библиотеки контрактов кода JavaScript?
Я только запускаю новое веб-приложение и хочу реализовать некоторую форму контракта » проверка стиля esque в моем JavaScript. Я быстро погуглил и наткнулся на JsContact, но синтаксис ...
вопрос задан: 15 December 2010 14:27
0
ответов
Как полностью отключить кодовые контракты?
В настоящее время я настроил его, как показано ниже. Я пробовал установить флажок «Выполнить проверку контракта во время выполнения», а затем выбрать «Нет», но это кажется ненужным. Если у меня есть настройки моего проекта, как показано ниже, это код ...
вопрос задан: 23 November 2010 18:03
0
ответов
Как вы утверждаете в алгоритмическом коде в .NET?
В настоящее время я разрабатываю небольшую структуру ИИ (генетические алгоритмы / нейронные сети) на C # для университетского проекта. Моя первая забота - разработка многоразового фреймворка, поэтому я разрабатываю ...
вопрос задан: 19 November 2010 06:01
0
ответов
Specify code contract on Func parameters?
Say I have the following public T Example(Func f)
{ Contract.Requires(f != null); Contract.Requires(f() != null); // no surprise, this is an error
...
} Is there any way to ...
вопрос задан: 30 October 2010 18:44