design-by-contract

5зной

7ответ

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

Вот типичный способ достижения этой цели: public void myContractualMethod(final String x, final Set<String> y) { if ((x == null) || (x.isEmpty())) { throw new IllegalArgumentException("x ca

6зной

2ответ

Как вы можете реализовать дизайн по контракту на Clojure специально или функциональных языках в целом?

Я бы предпочел, чтобы примеры были в варианте Лиспа (бонусные баллы для Clojure или Scheme), так как это то, что я больше всего знаю, но любые отзывы о DBC в функциональных lanugages, конечно, были бы

4зной

3ответ

Дизайн по контракту и инвариант класса

Я читаю о dbc (http://en.wikipedia.org/wiki/Design_by_contract) Может кто-нибудь, пожалуйста, дайте мне простой пример использования инвариантов класса по отношению к наследованию?

7зной

1ответ

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

Мне лучше всего показать пример кода, что бы я хотел сделать? class SomeClass { public int SomeProperty; public void SomeOperation() { Contract.Ensures("SomeProperty's value has

0зной

1ответ

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

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

1зной

2ответ

Microsoft.Contracts namespace

Для чего необходимо Microsoft.Contracts namespace в asp.net? Я имею в виду, в каких случаях я мог бы написать using Microsoft.Contracts;?

4зной

3ответ

Необходимы предварительные условия и постусловия в дополнение к инвариантам в функциях-членах, если они выполняются по контракту?

Я понимаю, что в методе DbC к функции добавляются предварительные условия и постусловия. Что мне интересно, если это относится и к функциям-членам. Например, предполагая, что я использую инварианты в