1
ответ
.Net Code Contracts - Где узнать больше? [закрыто]
Я недавно слышал в своем офисе обсуждение "контрактов" .Net, однако, когда я спросил некоторых из моих коллег по работе, никто из них не мог легко объяснить мне, для чего они предназначены или для чего .. .
вопрос задан: 9 December 2011 16:41
1
ответ
Контракты кода [Type] реализуют метод интерфейса {Interface.Method}, поэтому не могут добавлять требования
У меня следующий сценарий: открытый интерфейс ISomething
{void DoStuff (); //...
} открытый класс Something: ISomething
{private readonly ISomethingElse _somethingElse; // ... ...
вопрос задан: 18 May 2011 20:21
1
ответ
Какие-либо альтернативы.Net 4 Code Contracts статический анализатор?
Кажется, что статический анализатор для использования с.NET, 4.0 Контракта Кода только будут доступными для выпусков Комплекта Команды Visual Studio - это помещает ее хорошо вне бюджета для моей команды...
вопрос задан: 12 April 2011 18:22
1
ответ
Можно заставить Анализ кода понять Контракты Кода?
При использовании Контрактов Анализа кода и Кода в комбинации я получаю много предупреждений как CA1062: Microsoft. Дизайн: Во внешне видимом методе 'Нечто. Панель (Журнал)', проверяют параметр 'журнал' перед использованием...
вопрос задан: 2 December 2010 12:29
1
ответ
Why contract is malformed when using default(Type)?
When compiling code which uses code contracts, I have a very strange error I don't understand. [ContractInvariantMethod]
private void ObjectInvariant()
{ Contract.Invariant( this....
вопрос задан: 29 August 2010 12:23
1
ответ
Microsoft Code Contracts и CI build server
Мы переходим на. NET 4 и очень заинтересованы в реализации новых возможностей Design By Contract. Как мы знаем, механизм Code Contract требует установки надстройки Code Contract и VS Ultimate или ...
вопрос задан: 25 August 2010 18:33
1
ответ
Как избежать “источника! =null” при использовании Контрактов Кода и Linq К Sql?
У меня есть следующий код с помощью нормального контекста данных, который работает отлично: var dc = новый myDataContext (); Контракт. Примите (dc. Автомобили! = пустой указатель); автомобили var = (от c в dc. Автомобили, где c. Владелец == 'Jim'...
вопрос задан: 16 August 2010 15:44
1
ответ
Я реализую этот простой контракт неправильно?
Это - мой код: общедоступный класс RegularPolygon {общедоступный международный VertexCount; общественность удваивает SideLength; общедоступный RegularPolygon (интервал vertexCount, дважды sideLength) {Контракт. Требует (...
вопрос задан: 11 August 2010 19:27
1
ответ
Полезность System.Diagnostics. Контракты, о которых идет речь
Я играл с новым классом System.Diagnostics.Contracts, потому что сначала он казался очень полезным. Статические методы для проверки входящих аргументов, возвращаемых значений и т. Д. Это был чистый интерфейс и ...
вопрос задан: 6 August 2010 21:00
1
ответ
Что сделать при использовании Контракта. Утверждайте (верный), и метод должен возвратить что-то?
У меня есть немного кода со следующей логикой://псевдокодируют foreach (элемент в elementList) {если (элемент что), элемент возврата; }} В теории, всегда существует один элемент...
вопрос задан: 3 August 2010 15:47
1
ответ
Контракты кода: Почему некоторые инварианты не рассматривают вне класса?
Рассмотрите этот неизменный тип: общедоступный класс Настройки {общедоступный строковый Путь {добирается; частный набор;} [ContractInvariantMethod] частный пустой ObjectInvariants () {Контракт. Инвариант (...
вопрос задан: 29 July 2010 15:18
1
ответ
Контракты кода: Как иметь дело с наследуемыми интерфейсами?
Я использую Контракты Кода MS и столкнулся с препятствием с использованием интерфейсного наследования и атрибутов ContractClassFor. Учитывая эти интерфейсы и классы контракта: [ContractClass (typeof (IOneContract)...
вопрос задан: 7 July 2010 18:40
1
ответ
Использование контракта. ForAll в контрактах кода
Хорошо, у меня есть еще один вопрос о Контрактах Кода. У меня есть контракт на методе интерфейса, который похож на это (другие методы, опущенные для ясности): [ContractClassFor (typeof (IUnboundTagGroup))]...
вопрос задан: 23 June 2010 19:25
1
ответ
Почему это не Кодирует отношения Контрактов, доказывают?
У меня есть метод, который запускается как это: общедоступный статический UnboundTag ResolveTag (Вводят bindingType, имя строки, представляют адрес в виде строки) {Контракт. Требует (bindingType! = пустой указатель); var отмечает =...
вопрос задан: 23 June 2010 17:39
1
ответ
Контракты кода по сравнению с объектными инициализаторами (.net 4.0)
По номиналу казалось бы, что объектные инициализаторы представляют проблему для .net 4.0 "контракты кода", где обычно инвариант должен быть установлен к тому времени, когда конструктор Object закончен....
вопрос задан: 2 May 2010 10:41
1
ответ
Контракты кода с Интерфейсами: “Вызов метода пропускается. Компилятор генерирует вызов метода, потому что метод является условным выражением … […]”
Добрый вечер я только что начал играть с Microsoft. Контракты (последняя версия) и включение его сверху демонстрационного интерфейса и прямо сейчас он похож на это: пространство имен iRMA2. Ядро. Интерфейсы {...
вопрос задан: 12 March 2010 12:28
1
ответ
C#: Контракты Кода по сравнению с нормальной проверкой параметра
рассмотрите следующие две части кода: общедоступный статический Синтаксический анализ Времени (строковое значение) {представляет regXExpres в виде строки = "^ ([0-9] | [0-1] [0-9] |2 [0-3]) :( [0-9] | [0-5] [0-9]), $ | ^24: (0|00) $";...
вопрос задан: 24 February 2010 12:25
1
ответ
Контракты кода: Как я заявляю в постусловии, что значение поля/свойства не изменилось?
Я лучше всего просто покажу с примером кода, что я хотел бы выполнить? класс SomeClass {общедоступный международный SomeProperty; общественность освобождает SomeOperation () {Контракт. Удостоверяется ("SomeProperty'...
вопрос задан: 28 January 2010 12:12
1
ответ
Контракты кода.NET: это может стать более основным, чем это?
Я просто бездельничал для ответа на чей-то вопрос здесь на Переполнении стека, когда я заметил статическое предупреждение проверки из своей Visual Studio (2008): строка [] источник = {"1", "B"};...
вопрос задан: 27 January 2010 23:14
1
ответ
Microsoft Code Contracts может использоваться с Веб-сайтом ASP.NET?
Я в настоящее время использую Microsoft Code Contracts в приложении MVC ASP.NET без любых проблем, но я, может казаться, не получаю ее довольно рабочий на основном веб-сайте ASP.NET. Я не совсем уверен, что это было сделано...
вопрос задан: 27 January 2010 23:12
1
ответ
Как я могу использовать Контракты Кода в C++ / проект CLI?
Я недавно наткнулся на Контракты Кода и начал использовать их в своих проектах C#. Однако у меня также есть много проектов, записанных в C++ / CLI. Для C# и VB, Контракты Кода предлагают удобное...
вопрос задан: 20 November 2009 11:33
1
ответ
Почему ccrewrite.exe ничего не делает из командной строки?
У меня есть Контракты Кода, хорошо работающие из Visual Studio 2010, но я не могу заставить ccrewrite.exe делать что-либо полезное из командной строки. Вот демонстрационное приложение: использование Системы. Диагностика. Контракты;...
вопрос задан: 31 July 2009 06:12
0
ответов
Возможное исключение ReSharper Null, когда значение null уже проверено
Это ReSharper 7 с Visual Studio 2012. В приведенном ниже примере // Этот код работает нормально, как и ожидалось, и ReShrper им доволен if (!string.IsNullOrWhiteSpace (расширение )&& расширение....
вопрос задан: 22 August 2018 12:41
0
ответов
Как совместить методы защитного программирования вместе?
Вопрос, который я хочу вам задать, довольно широкий, но в то же время очень конкретный. Во-первых, я должен сказать, что меня больше всего интересуют ответы, которые применимы в среде .net. Ну, я ...
вопрос задан: 24 October 2017 04:32
0
ответов
Контракты кода, forall и настраиваемое перечисление
Я использую C # 4.0 и контракты кода, и у меня есть свой собственный набор GameRoomCollection: IEnumerable . Я хочу убедиться, что ни один экземпляр GameRoomCollection никогда не будет содержать нуль ...
вопрос задан: 23 May 2017 12:30
0
ответов
Плохо ли развертывать контракты кода в производственной среде?
Я ссылаюсь на этот ответ ( выделено мной): посмотрите на атрибуты ContractClass и ContractClassFor. Это позволяет писать классы с контрактами кода в отдельных сборках. Эта ...
вопрос задан: 23 May 2017 12:22
0
ответов
Контракт кода, наследование и принцип Лискова
В моем коде есть понятие команды: public abstract class BaseCommand
{ public BaseCommand() { this.CommandId = Guid.NewGuid(); this.State = CommandState.Ready; } public Guid CommandId ...
вопрос задан: 23 May 2017 12:14
0
ответов
Когда следует использовать контракты кода, поставляемые с C # 4.0? [закрыто]
Я задавал вопрос по SO, который касался новых возможностей C # 4.0, и в ответе Джона Скита была функция Code Contracts в C # 4.0 .. Но я действительно не могу понять, когда их использовать .. Любое предложение .. ..
вопрос задан: 23 May 2017 12:08
0
ответов
. Обнаруженное исключение .NET неожиданно является нулевым
См. Ниже объяснение того, что происходит. У меня действительно странная проблема, когда обнаруженное исключение имеет значение null. Код использует MEF и изо всех сил пытается сообщить об ошибках композиции. Использование отладчика I ...
вопрос задан: 23 May 2017 12:00
0
ответов
How Do You Configure Pex to Respect Code Contracts?
Given the following example code, how can I configure Pex to respect my Code Contracts? public static IEnumerable Administrators(this UserGroup userGroup) { Contract....
вопрос задан: 23 May 2017 11:47