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

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

Классы

Contract	Содержит статические методы для представления контрактов программы, таких как предусловие, постусловие и инвариантность объектов.
ContractAbbreviatorAttribute	Определяет аббревиатуры, которые можно использовать вместо полного синтаксиса контракта.
ContractArgumentValidatorAttribute	Включает факторизацию устаревшего кода if-then-throw в отдельные методы для многократного использования, и обеспечивает полный контроль над выброшенными исключениями и аргументами.
ContractClassAttribute	Указывает, что отдельный тип содержит контракты кода для этого типа.
ContractClassForAttribute	Указывает, что класс является контрактом для типа.
ContractFailedEventArgs	Предоставляет методы и данные для события ContractFailed.
ContractInvariantMethodAttribute	Помечает метод как инвариантный метод для класса.
ContractOptionAttribute	Позволяет задавать параметры контракта и средств на уровне сборки, типа или метода.
ContractPublicPropertyNameAttribute	Указывает, что поле может использоваться в контрактах методов, если видимость поля меньше, чем видимость метода.
ContractReferenceAssemblyAttribute	Указывает, что сборка является ссылочной сборкой, которая содержит контракты.
ContractRuntimeIgnoredAttribute	Определяет член, для которого нет поведения во время выполнения.
ContractVerificationAttribute	Указывает, что средствам анализа следует принимать правильность сборки, типа или члена без выполнения статической проверки.
PureAttribute	Указывает, что тип или метод является чистым, то есть не вносит изменения в состояние видимости.

Перечисления

ContractFailureKind

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