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

Вопросы с тегом
2 ответа

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

Для чего нужен Microsoft.Contracts пространство имен в asp.net? Я имею в виду, в каких случаях я мог написать using Microsoft.Contracts;?
05 ноя '09 в 09:36
7 ответов

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

Есть ли способ указать ReSharper, что нулевая ссылка не будет возникать из-за того, что Design-by-Contract требует проверки? Например, следующий код вызовет предупреждение (Possible 'null' assignment to entity marked with 'NotNull' attribute) в ReSh…
30 май '09 в 14:52
1 ответ

Не удалось загрузить файл или сборку "Facebook.Web.Contracts" или одну из ее зависимостей

Только что скачал фейсбук C# sdk. Я не написал никакого кода, просто добавил мои ссылки на библиотеки DLL и запустил проект, так как у меня уже был какой-то другой код, над которым я работал. Тогда я получил эту ошибку выше. Я определенно добавил эт…
08 сен '11 в 03:22
2 ответа

Что нужно, чтобы доказать этот Контракт. Требует?

У меня есть приложение, которое проходит раунды в турнире, и я получаю предупреждение о контракте по этой упрощенной структуре кода: public static void LoadState(IList<Object> stuff) { for(int i = 0; i < stuff.Count; i++) { // Contract.Asse…
04 авг '09 в 21:43
4 ответа

Контракты кода.NET 4.0 - Как они повлияют на модульное тестирование?

Например, эта статья представляет их. В чем выгода? Статический анализ кажется классным, но в то же время он не позволяет передавать нулевое значение в качестве параметра в модульном тесте. (если вы следовали примеру в статье, которая есть) В то вре…
05 сен '09 в 15:02
2 ответа

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

Раньше я использовал Microsoft CodeContracts в течение трех недель, и теперь половина моего кода - это просто контракты. У меня есть десятки недоказанных мест, я не могу использовать проверку времени выполнения, потому что перезапись IL предотвращае…
24 мар '09 в 20:32
1 ответ

Контракты кода.NET: может ли он стать более базовым, чем этот?

Я просто возился, чтобы ответить на чей-то вопрос здесь, о переполнении стека, когда я заметил предупреждение о статической проверке изнутри моей Visual Studio (2008): string[] source = { "1", "A", "B" }; var sourceObjects = Array.ConvertAll(source,…
09 авг '09 в 11:50
2 ответа

CodeContracts: Как выполнить Require в Ctor с помощью вызова this()?

Я играю с CodeContracts от Microsoft и столкнулся с проблемой, которую не смог решить. У меня есть класс с двумя конструкторами: public Foo (public float f) { Contracts.Require(f > 0); } public Foo (int i) : this ((float)i) {} Пример упрощен. Я н…
23 июл '09 в 09:57
1 ответ

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

Я недавно скачал Visual Studio 2010b2 и хотел бы переоценить некоторые из моих вопросов о статической проверке контрактов Microsoft. Мне удалось повторно использовать большую часть кода с помощью System.Diagnostics.Contracts пространство имен для ко…
02 ноя '09 в 16:28
1 ответ

Кодовые контракты с новым MVC 3 ViewBag

public class HomeController : Controller { public ActionResult Index() { // Warning 19 CodeContracts: Possibly calling a method on a null reference 'Website.Controllers.HomeController.<Index>o__SiteContainer0.<>p__Site2.Target' HomeCont…
04 июл '11 в 13:24
5 ответов

Почему этот контракт кода C# искажен?

Visual Studio показывает ошибку, когда я пишу этот контракт ниже. Ошибка 20 Раздел неверного контракта в методе '....get_Page' Проблема с блоком if? public int? Page { get { int? result = Contract.Result<int?>(); if (result != null) Contract.E…
21 дек '09 в 01:39
1 ответ

microsoft.contracts dll ошибка при создании объекта facebookclient в facebook C#sdk

using Facebook; using Facebook.Web; public pageLoad() public void fetchFacebookData() { var fbApp = new FacebookClient();// error occured at this line var result = (IDictionary<string, object>)fbApp.Get("me"); var name = (string)result["name"]…
01 мар '12 в 11:58
1 ответ

Конвертировать ImageSource в IRandomAccessStream

Я загрузил изображение в моем приложении с типом ImageSource, и я хочу поделиться им, но мне нужно преобразовать изображение в IRandomAccessStream, Например: ImageSource _myLoadedImage; IRandomAccessStream ras; //Some code when _myLoadedImage conver…
03 фев '13 в 14:04
2 ответа

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

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

Дизайн по контракту: можете ли вы иметь интерфейс с протоколом?

Я довольно новичок в концепции дизайна по контракту, но пока мне нравится, как легко можно найти потенциальные ошибки. Тем не менее, я работал с библиотекой Microsoft.Contracts (что довольно здорово) и наткнулся на дорожный блок. Возьмите этот упрощ…
31 июл '09 в 21:50
5 ответов

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

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

Контракты Microsoft: загрузка сборки привела к предупреждению импорта метаданных

Я пытаюсь освоить библиотеки Microsoft Code Contracts, и у меня есть следующая простая функция: internal static Engine CreateBuildEngine(Microsoft.Build.Framework.ILogger logger) { Contract.Requires( logger != null ); var engine = new Engine { Defau…
16 июн '09 в 21:17
1 ответ

C#: кодовые контракты против обычной проверки параметров

Рассмотрим следующие две части кода: public static Time Parse(string value) { string regXExpres = "^([0-9]|[0-1][0-9]|2[0-3]):([0-9]|[0-5][0-9])$|^24:(0|00)$"; Contract.Requires(value != null); Contract.Requires(new Regex(regXExpres).IsMatch(value))…
30 дек '09 в 15:18
2 ответа

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

Как мне указать, что метод никогда не возвращает нуль? В настоящее время это мой код. Строка 19 получает сообщение Ensures not Verified, хотя CreateFunction предполагает, что результат не является ничем. 1 <Pure()> Public Function CreateFuncti…
25 фев '09 в 19:28
4 ответа

Насколько зрела платформа Microsoft Code Contracts?

Microsoft недавно выпустила свою платформу Code Contracts на DevLabs с коммерческой лицензией. Мы заинтересованы в том, чтобы использовать их в нашем проекте (в основном C#, немного C++/CLI), чтобы постепенно заменить весь пользовательский код прове…
22 мар '09 в 23:31