Поделиться через


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

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

Классы

Contract

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

ContractAbbreviatorAttribute

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

ContractArgumentValidatorAttribute

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

ContractClassAttribute

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

ContractClassForAttribute

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

ContractFailedEventArgs

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

ContractInvariantMethodAttribute

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

ContractOptionAttribute

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

ContractPublicPropertyNameAttribute

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

ContractReferenceAssemblyAttribute

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

ContractRuntimeIgnoredAttribute

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

ContractVerificationAttribute

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

PureAttribute

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

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

ContractFailureKind

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