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

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

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

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

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

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

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

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

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

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

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

Определяет элемент, не имеющий поведения во время выполнения.

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

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

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