Описание тега code-contracts

Описание тега Вопросы с тегом
Code Contracts - это проект Microsoft с открытым исходным кодом, который позволяет выражать предварительные условия, постусловия и утверждения непосредственно в коде.
1 ответ

CC, предлагающий резервирование, обеспечивает

У меня есть кусок кода, который выглядит примерно так: public TReturn SubRegion(TParam foo) { Contract.Requires(foo!= null); Contract.Ensures(Contract.Result<TReturn>() != null); if (!CheckStuff(foo)) foo.Blah(); return OtherStuff(foo); } CC д…
04 апр '16 в 16:48
2 ответа

Кодовые контракты в моно

Следующий код: Contract.Requires<ArgumentException>(command != null, Resources.Messages.CommandNotSpecified); звонки Contract.AssertMustUseRewriter (ContractFailureKind kind, System.String message) что, по-видимому, вызвано тем, что Code Contr…
13 ноя '12 в 20:22
1 ответ

Использование контрактов в C# уменьшает количество юнит-тестов

Это правда, что использование Contracts.Requires и Contracts.Ensure в методах C# уменьшит количество необходимых модульных тестов для этих методов? Могу ли я просто игнорировать диапазон значений, которые не соответствуют контрактам, или эти значени…
21 апр '15 в 15:51
2 ответа

Договор. Страхование и обработка исключений

Недавно я обнаружил API.NET Contracts, и, хотя мне не нравится способ реализации с использованием методов, а не расширенный синтаксис (на мой взгляд,Sing # сделал все правильно), я предпочитаю использовать их старым / обычным способом используя if д…
18 окт '13 в 15:10
6 ответов

F# и статически проверенные случаи объединения

Вскоре я и мой соратник Джоэл выпустим версию 0.9 Wing Beats. Это внутренний DSL, написанный на F#. С его помощью вы можете генерировать XHTML. Одним из источников вдохновения был модуль XHTML.M платформы Ocsigen. Я не привык к синтаксису OCaml, но …
11 май '10 в 19:15
0 ответов

Существуют ли какие-либо конкретные API или инструменты для преобразования шаблона контракта swagger в ответ (json)

У меня есть контракт на сваггер, (например, контракт на фишинг в зоомагазине). Я хочу перевести этот контракт на фишку в ответ json (пример ниже). Так как я использую Wiremock для издевательств. Я создал макет JSON с телом запроса и ответа. Прилагае…
28 ноя '17 в 13:12
3 ответа

Проблема CodeContracts

Здравствуйте, у меня есть небольшая проблема, касающаяся CodeContracts. У меня есть проект библиотеки классов, который как класс с методом foo(строка s1, строка s2); внутри метода foo у меня есть Contract.Requires(s1!= null). Поэтому, если я понимаю…
27 ноя '10 в 17:19
3 ответа

Код C# Контракты Параметр userMessage

Я использую кодовые контракты в C#, но мне немного любопытно, что я должен набирать для userMessage параметр. Я приведу короткий пример. У меня есть следующее утверждение в моем коде: Contract.Assert(IsValidReferenceData(refData)); Это сообщение ник…
19 ноя '14 в 12:26
1 ответ

Повторять кодовые требования контракта вниз по цепочке наследования?

Предположим, у вас уже есть крупный проект, и вы хотите интегрировать в него контракты по коду. В существующем коде используется логика if-null-then-throw. Для заданных условий в документации предлагается установить режим сборки на Custom Validation…
22 май '12 в 21:31
1 ответ

Контракт кода, который гарантирует, что все предметы в коллекции одинаковы

Как создать постусловие, обеспечивающее одинаковость всех элементов в коллекции? Я думал об использовании этого решения, но я не уверен, может ли это вызвать нежелательные побочные эффекты, или это будет неправильное использование контрактов кода.
21 окт '11 в 02:20
2 ответа

Visual Studio 2012 и код контрактов для интерфейсов

У меня есть визуальное студийное решение с проектами, содержащими интерфейсы и контракты, оформленные соответственно с ContractClass и ContractClassFor. Решение собирается правильно в Visual Studio 2010, но не в Visual Studio 2012. Ошибка: EXEC: оши…
11 сен '12 в 06:27
1 ответ

Это ошибка в переписывающем кодексе?

Я экспериментирую с.NET Code Contracts. Следующий код прекрасно работает, когда проверка контракта во время выполнения выключена, но не работает, если включена проверка контракта во время выполнения: using System.Collections.Generic; using System.Di…
23 авг '10 в 01:50
4 ответа

Кодовые контракты и исключительная ситуация

Я пытаюсь понять преимущества Code Contracts. Я написал следующий код (из введения в PEX + Code Contract), чтобы копать его. public static string TrimAfter(string value, string suffix) { // <pex> Contract.Requires(suffix != (string)null); Cont…
17 фев '11 в 12:56
1 ответ

Проверка аргументов F#

В F# есть несколько хороших функций проверки аргументов succint, которые можно использовать так: let foo (bar : string) : string = if bar = null then nullArg "bar" ... Я предпочитаю более предписывающее выражение, как, например, Кодекс контрактов: l…
13 июл '14 в 17:29
2 ответа

Кодовые контракты в C# 4.0

Я сделал такой метод class PersonCollection { [Contracts.CanReturnNull] //dont know if something like this exists? IPerson GetPerson(Guid personId) { if (this.persons.Contains(personId)) return this.persons[personId]; else return null; } } Теперь вы…
08 июн '11 в 11:31
2 ответа

Использование codeContracts в.net 4.0 без влияния на других разработчиков

Я новичок в codeContracts, мне это нравится, потому что он кажется чистым. Мне не нравится тот факт, что мне нужно скачать библиотеку, чтобы она работала. Никогда не понимал, почему Microsoft не сделала ее частью платформы в целом. Я не хочу навязыв…
22 дек '13 в 07:09
1 ответ

Можно ли добавить библиотеку CodeContracts в Visual Studio 2005?

Мне просто интересно, смогу ли я добавить и использовать CodeContracts под System.Diagnostics в Visual Studion 2005? Спасибо
20 мар '14 в 17:56
1 ответ

Как включить контракты кода в Visual studio 2008?

Я (в основном) разработчик.NET, и для своего проекта я использую Visual Studio 2008. После просмотра этого видео: http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008 для меня стало ясно, что я хочу использов…
05 сен '13 в 19:51
3 ответа

Должны ли условия повторяться при ссылке на другой контрактный метод?

Ниже приводится выдержка из контракта на интерфейс. Мой вопрос: должен ли первый метод повторять предварительные условия второго метода? Поскольку контракты являются публичными, было бы приемлемо опустить повторение? В этом случае это просто ненулев…
13 фев '12 в 14:57
2 ответа

В C# я должен использовать uint или int для значений, которые никогда не должны быть отрицательными?

Возможный дубликат: Должен ли я использовать Uint в C# для значений, которые не могут быть отрицательными? Предположим, что MaxValue из (примерно:)) 2^31 против 2^32 не имеет значения. С одной стороны, используя uint кажется хорошим, потому что это …
03 июн '10 в 02:54