Какъв е препоръчителният начин за добавяне на постусловия към асинхронни методи, които връщат Task<T> ? Прочетох следното предложение: http://social.msdn.microsoft.com/Forums/hu-HU/async/thread/52fc521c-473e-4bb2-a666-6c97a4dd3a39...

В момента съм в процес на добавяне на CodeContracts към моята съществуваща кодова база. Едно нещо, което се оказва трудно, е използването на обекти, които са хидратирани от NHibernate. Да приемем този прост клас: public class Post { private...

Code Contracts продължават да ми дават предупреждения „Възможно извикване на метод при нулева препратка“ за всички мои LINQ изрази и не мога да намеря начин да ги заглуша. Например, следният метод генерира две такива предупреждения, защото имам...

Създавам внедряване на ClickOnce. Сега използвам CodeContracts rewriter, което означава, че манифестът на приложението се генерира преди CodeContracts да модифицира моя асембли. Затова актуализирам файла с манифеста на приложението с актуален...

Мога да имам тип вложени договори за негенеричен интерфейс: [ContractClass(typeof(Foo.FooContracts))] public interface IFoo { string Bar(object obj); } Но се оплаква, когато се опитам да направя същото с общ интерфейс:...

Защо Contracts for .NET не се оплаква от този код? private static User GetUser() { var sFirstName = Console.ReadLine(); var sLastName = Console.ReadLine(); if (sLastName == "NULL") { return null; } else {...

Каква е разликата между тези две твърдения? Contract.Requires(string.IsNullOrWhiteSpace(userName)); Contract.Assume(string.IsNullOrWhiteSpace(userName));

Опитвам се да разбера как .NET Code Contracts взаимодействат с ключовата дума lock , използвайки следния пример: public class TestClass { private object o1 = new object(); private object o2 = new object(); private void Test() {...

Разработвам голям проект, използвайки езика Ada (около 10 000 реда само код). По време на използването на програмирането на базата на договори (функции на Ada-2012 като условия преди, след условия, инварианти на типа и т.н.) установявам, че когато...

Опитвам се да разбера кодовите договори малко по-подробно. Имам следния измислен пример, където се опитвам да твърдя инварианта на шаблон try/get, че ако върне true , тогава обектът out не е нула, в противен случай, ако върне false ....