design-by-contract

11зной

2ответ

Кодовые контракты: Почему некоторые инварианты не рассматриваются вне класса?

Рассмотрим этот неизменный тип: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invari

3зной

2ответ

Соглашения об именах для классов кода контракта Типы интерфейсов

Я использую классы Code Contracts в пространстве имен System.Diagnostics.Contracts, чтобы определить некоторые контракты для моих объектов, и мне интересно, как другие называют их контрактные классы,

4зной

3ответ

Что делает CheckAssert(), Check.Ensure() и Check.Require()?

Пожалуйста, скажите мне, что делают эти функции.

4зной

1ответ

Какая сторонняя библиотека «По каждому контракту» больше всего похожа на библиотеку .NET 4.0 .NET?

Я хочу перейти в кодировку по контракту. Я получил VS2010 (с компилятором C# 4.0), но мне нужно настроить рамку 3.5. Какой сторонний код у контрактной библиотеки имеет классы и интерфейс, наиболее пох

5зной

4ответ

Аргумент Исключения должны быть проверены модулем?

Я знаю, что этот вопрос очень похож на других, которые были опубликованы раньше, но я хотел бы обсудить эту тему надлежащим образом. Считаете ли вы, что «очевидное» исключение должно быть проверено на

17зной

9ответ

Обязательные условия ВСЕГДА необходимо проверить?

В эти дни я привык проверять каждое предварительное условие для каждой функции, так как я получил привычку от курса программирования ОС обратно в uni. С другой стороны, на курсе по разработке программ