Запитання з тегом «code-contracts»

Нещодавно я натрапив на основу Microsoft для кодових контрактів. Я прочитав трохи документації і постійно запитував: "Чому я коли-небудь хотів би це зробити, оскільки це не робить і часто не можу зробити статичний аналіз". Тепер у мене вже є такий стиль оборонного програмування, з такими винятками, як охорона: if(var == …

26 code-contracts 

Я дізнаюся про кодові контракти в .NET, і я намагаюся зрозуміти ідею чистих конструкторів. Документація кодових контрактів зазначає: Усі способи, які викликаються в рамках договору, повинні бути чистими; тобто вони не повинні оновлювати будь-який попередній стан. Чистим методом дозволяється змінювати об'єкти, створені після вступу в чистий метод. А в PureAttributeдокументації …

19 c#  .net  code-contracts  pure-function 

Я дещо захисний програміст і великий прихильник контрактів Microsofts Code. Тепер я не завжди можу використовувати C #, і в більшості мов єдиним інструментом, який я маю, є твердження. Тому я зазвичай закінчую такий код: class { function() { checkInvariants(); assert(/* requirement */); try { /* implementation */ } catch(...) …

13 testing  code-contracts 

Я великий шанувальник написання тверджень, контрактів або будь-якого типу чеків, доступних мовою, якою я користуюся. Одне, що мене трохи турбує, - це те, що я не впевнений, що є загальною практикою роботи з дублюючими чеками. Приклад ситуації: Спочатку я записую наступну функцію void DoSomething( object obj ) { Contract.Requires<ArgumentNullException>( obj …

10 assertions  code-contracts 

Я роблю дослідницький проект, де досліджую варіанти обробки змін в архітектурі мікросервісів, керованих подіями. Отже, скажімо, ми отримали додаток, де ми отримали чотири різні сервіси. Кожна з цих служб має власну базу даних для зберігання локальних даних. У цьому налаштуванні чотири служби спілкуються один з одним за допомогою шини подій. …

9 communication  versioning  microservices  message-queue  code-contracts