1
голосов
2ответов
2276 просмотров

Пространство имен Microsoft.Contracts

Для чего нужно пространство имен Microsoft.Contracts в asp.net? То есть, в каких случаях я мог написать using Microsoft.Contracts;?

0
голосов
1ответов
133 просмотров

Как настроить статическую проверку контрактов Microsoft в Visual Studio 2010?

Я недавно загрузил Visual Studio 2010b2 и хотел еще раз оценить некоторые из моих вопросов о статической проверке контрактов Microsoft. Мне удалось повторно использовать большую часть кода, используя пространство имен System.Diagnostics.Contracts для кода, но я не уверен, как включить статиче...

37
голосов
4ответов
4004 просмотров

.NET 4.0 code contracts - How will they affect unit testing?

For example this article introduces them. What is the benefit? Static analysis seems cool but at the same time it would prevent the ability to pass null as a parameter in unit test. (if you followed the example in the article that is) While on the topic of unit testing - given how things are ...

5
голосов
1ответов
1078 просмотров

.NET code contracts: can it get more basic than this?

I was just messing around to answer someone's question here on Stack Overflow, when I noticed a static verification warning from inside my Visual Studio (2008): string[] source = { "1", "A", "B" }; var sourceObjects = Array.ConvertAll(source, c => new Source(c)).ToArray(); I'm getting the m...

2
голосов
2ответов
910 просмотров

What does it take to prove this Contract.Requires?

I have an application that runs through the rounds in a tournament, and I am getting a contract warning on this simplified code structure: public static void LoadState(IList<Object> stuff) { for(int i = 0; i < stuff.Count; i++) { // Contract.Assert(i ...

1
голосов
1ответов
84 просмотров

Can Microsoft.Contracts' static checker be used without Team System?

Aside from the requirement on Visual Studio Team System to be able to install Microsoft.Contacts with the static checker, is it possible to run the static checker without team system? Or, does it depend on an API exposed by studio's team system components? Also, is it within the license to cop...

1
голосов
1ответов
382 просмотров

Design by Contract: Can you have an Interface with a Protocol?

I'm pretty new to the concept of Design by Contract, but so far, I'm loving how easy it makes it to find potential bugs. However, I've been working with the Microsoft.Contracts library (which is pretty great,) and I have run into a road block. Take this simplified example of what I'm trying to...

1
голосов
2ответов
358 просмотров

CodeContracts: How to fulfill Require in Ctor using this() call?

I'm playing around with Microsoft's CodeContracts and encountered a problem I was unable to solve. I've got a class with two constructors: public Foo (public float f) { Contracts.Require(f > 0); } public Foo (int i) : this ((float)i) {} The example is simplified. I don't know how to...

7
голосов
2ответов
1265 просмотров

Можно ли использовать контракты Microsoft Code Contracts с веб-сайтом ASP.NET?

В настоящее время я использую Microsoft Code Contracts в ASP.NET Приложение MVC без каких-либо проблем, но я не могу заставить его нормально работать на базовом веб-сайте ASP.NET. Я не совсем уверен, что он предназначен для работы с проектами такого типа (хотя это не имеет значения), поэтому я...

7
голосов
5ответов
390 просмотров

Ошибка в итераторах с контрактами кода?

Следующий код не соответствует предварительному условию. Это ошибка в контрактах кода? static class Program { static void Main() { foreach (var s in Test(3)) { Console.WriteLine(s); } } static IEnumerable<int>Test (int i) { ...

52
голосов
7ответов
9901 просмотров

ReSharper - возможное присвоение NULL при использовании Microsoft.Contracts

Есть ли способ указать ReSharper, что пустая ссылка не появится из-за того, что проверка требует разработки по контракту? Например, следующий код вызовет предупреждение (Possible 'null' assignment to entity marked with 'NotNull' attribute) в ReSharper в строках 7 и 8: private Dictionary<st...

4
голосов
2ответов
361 просмотров

Какие инструменты вы используете для проектирования по контракту?

Раньше я использовал Microsoft CodeContracts три недели, а теперь половина моего кода - это просто контракты. У меня есть десятки недоказанных мест, я не могу использовать runtime-check, потому что перезапись IL не позволяет инструменту покрытия показывать что-то, а время компиляции менее прие...

43
голосов
4ответов
3720 просмотров

Насколько развита структура контрактов Microsoft Code Contracts?

Microsoft недавно разместила выпуск своей структуры Code Contracts на DevLabs с коммерческой лицензией. Мы заинтересованы в использовании их в нашем проекте (в основном C #, немного C ++ / CLI) для постепенной замены всего настраиваемого кода проверки, но я очень хочу узнать об опыте, который ...

1
голосов
2ответов
516 просмотров

Как указать, что метод никогда не возвращает значение NULL, используя контракты кода?

Как указать, что метод никогда не возвращает значение NULL? В настоящее время это мой код. Строка 19 получает сообщение "Гарантирует, что не доказано", хотя CreateFunction предполагает, что результат - не ничто. 1 <Pure()> Public Function CreateFunction(Of TArg1, TArg2, TResu...