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

Контракты кода
Контракты кода
(code contracts) — это механизм декларативного документирования 
решений, принятых в ходе проектирования кода, внутри самого кода. Контракты 
бывают трех видов:

---

547
Контракты.кода
‰
предусловия
(preconditions) используются для проверки аргументов;
‰
постусловия
(postconditions) служат для проверки состояния завершения метода 
вне зависимости от того, нормально он завершился или с исключением;
‰
инварианты
(object invariants) позволяют удостовериться, что данные объекта 
находятся в хорошем состоянии на всем протяжении жизни этого объекта.
Контракты облегчают использование кода, его понимание, разработку, тестирова-
ние
1
, документирование и распознавание ошибок на ранних стадиях. Предусловия, 
постусловия и инварианты можно представить в виде части сигнатуры методов. 
При этом вы можете ослабить контракт для новой версии кода, но обратное невоз-
можно — усиление контракта отрицательно скажется на совместимости версий.
В контрактах кода центральное место занимает статический класс 
System.
Diagnostics.Contracts.Contract
:
public static class Contract {
// Методы с предусловиями: [Conditional("CONTRACTS_FULL")]
public static void Requires(Boolean condition);
public static void EndContractBlock();
// Предусловия: Always
public static void Requires(
Boolean condition) where TException : Exception;
// Методы с постусловиями: [Conditional("CONTRACTS_FULL")]
public static void Ensures(Boolean condition);
public static void EnsuresOnThrow(Boolean condition)
where TException : Exception;
// Специальные методы с постусловиями: Always
public static T Result();
public static T OldValue(T value);
public static T ValueAtReturn(out T value);
// Инвариантные методы объекта: [Conditional("CONTRACTS_FULL")]
public static void Invariant(Boolean condition);
// Квантификаторные методы: Always
public static Boolean Exists(
IEnumerable collection, Predicate predicate);
public static Boolean Exists(
Int32 fromInclusive, Int32 toExclusive, Predicate predicate);
public static Boolean ForAll(
IEnumerable collection, Predicate predicate);
public static Boolean ForAll(
Int32 fromInclusive, Int32 toExclusive,
Predicate predicate);
1
Для автоматического тестирования можно использовать инструмент Pex, созданный 
группой Microsoft Research: http://research.microsoft.com/en-us/projects/pex/.

---

548