Net framework 5, а также среды Visual Studio 2012 и C#

ВниМание
Все.члены,.на.которые.присутствуют.ссылки.в.предусловиях,.постусловиях.и.инва-
риантах,.должны.быть.свободны.от.сторонних.эффектов .Такое.требование.связано.
с.тем,.что.во.время.тестирования.ни.в.коем.случае.не.должно.меняться.состояние.
объекта .Кроме.того,.все.методы,.на.которые.есть.ссылка.в.предусловии,.должны.
иметь.уровень.доступа.хотя.бы.не.меньший,.чем.у.метода,.определяющего.само.
предусловие .В.противном.случае.перед.вызовом.метода.не.будет.возможности.
проверить.соответствие.условиям .Это.ограничение.не.касается.членов,.на.которые.
есть.ссылки.в.постусловиях.и.инвариантах .Уровень.доступа.к.ним.может.быть.любым;.
главное,.чтобы.код.компилировался .Причина.снятия.ограничения.состоит.в.том,.что.
проверки.в.постусловии.и.инварианте.не.влияют.на.корректность.вызова.метода 
ВниМание
Что.касается.наследования,.производный.тип.не.может.перегружать.и.менять.
предусловия.виртуальных.членов,.определенных.в.базовом.типе .Аналогично,.тип.
реализации.члена.интерфейса.не.может.менять.предусловия,.определенные.этим.
членом .Если.для.члена.отсутствует.определенный.в.явном.виде.контракт,.значит,.
существует.неявный.контракт,.который.логично.представить.в.таком.виде:
Contract.Requires(true);
И.так.как.при.переходе.к.новой.версии.ужесточить.контракт.не.получится.(или.придет-
ся.пожертвовать.совместимостью.версий),.при.вводе.новых.виртуальных,.абстракт-
ных.или.интерфейсных.членов.следует.очень.аккуратно.выбирать.предусловия .Для.
постусловий.и.инвариантов.вы.можете.добавлять.и.убирать.контракты.по.желанию,.
главное,.чтобы.условия,.поставленные.в.виртуальном/абстрактном/интерфейсном.
члене,.можно.было.логически.соединить.с.условиями.в.перегруженном.члене 
Итак, теперь вы знаете, как определяются контракты. Пришло время поговорить 
о том, как они функционируют во время работы программы. Объявлять предусло-
вия и постусловия следует в верхней части методов, чтобы их легко можно было 
найти. Предусловия проверяются при вызове метода. При этом хотелось бы, чтобы 

---

552