System.Diagnostics.Contracts Пространство имен

Содержит статические методы для представления контрактов программы, таких как предусловие, постусловие и инвариантность объектов.

Определяет аббревиатуры, которые можно использовать вместо полного синтаксиса контракта.

Включает факторизацию устаревшего кода if-then-throw в отдельные методы для многократного использования, и обеспечивает полный контроль над выброшенными исключениями и аргументами.

Указывает, что отдельный тип содержит контракты кода для этого типа.

Указывает, что класс является контрактом для типа.

Предоставляет методы и данные для события ContractFailed.

Помечает метод как инвариантный метод для класса.

Позволяет задавать параметры контракта и средств на уровне сборки, типа или метода.

Указывает, что поле может использоваться в контрактах методов, если видимость поля меньше, чем видимость метода.

Указывает, что сборка является ссылочной сборкой, которая содержит контракты.

Определяет член, для которого нет поведения во время выполнения.

Указывает, что средствам анализа следует принимать правильность сборки, типа или члена без выполнения статической проверки.

Указывает, что тип или метод является чистым, то есть не вносит изменения в состояние видимости.

Указывает тип контракта, вызвавшего сбой.