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

Глава.20 .Исключения.и.управление.состоянием
постусловия проверялись только после завершения метода. Для этого созданную 
компилятором C# сборку следует обработать инструментом Code Contract Rewriter 
(файл 
CCRewrite exe
находится по адресу 
C:\Program.Files.(x86)\Microsoft\Contracts\
Bin
) для получения ее модифицированной версии. После установки флажка 
Perform
Runtime
Contract
Checking
Visual Studio начнет вызывать эту утилиту автоматически 
еще на стадии создания проекта. Утилита анализирует IL-код всех ваших методов 
и переписывает его таким образом, чтобы постусловия выполнялись только после за-
вершения методов. Для методов, имеющих несколько точек выхода, утилита 
CCRewrite 
exe
редактирует IL-код, заставляя проверять условие перед завершением метода.
Утилита 
CCRewrite exe
ищет в типе методы, помеченные атрибутом 
[Contract-
InvariantMethod]
. Имя такого метода может быть любым, но обычно его называют 
ObjectInvariant
и добавляют модификатор 
private
(как я и сделал). Этот метод 
не имеет аргументов и возвращает 
void
. Обнаружив его, 
CCRewrite exe
вставляет 
IL-код вызова метода 
ObjectInvariant
после всех открытых экземплярных методов. 
В результате состояние объекта проверяется после возвращения значения каждым 
из методов, гарантируя, что ни один из них не нарушил условий контракта. Метод 
Finalize
и метод 
Dispose
класса 
IDisposable
утилитой 
CCRewrite exe
не редак-
тируются, потому что состояние объекта перед его уничтожением или отправкой 
в корзину не имеет никакого значения. Следует также заметить, что один тип может 
определять несколько методов с атрибутом 
[ContractInvariantMethod]
; это по-
лезно при работе с частичными типами. Утилита 
CCRewrite exe
перепишет IL-код 
таким образом, что все эти методы будут вызываться (в неопределенном порядке) 
в конце каждого открытого метода.
Методы 
Assert
и 
Assume
не похожи на остальные. Во-первых, они не являются