System.Diagnostics.Contracts Namespace

Пространство имен System.Diagnostics.Contracts содержит статические классы для представления контрактов программы, таких как предусловие, постусловие и инвариантность объектов. The System.Diagnostics.Contracts namespace contains static classes for representing program contracts such as preconditions, postconditions, and invariants.

Классы

Contract

Содержит статические методы для представления контрактов программы, таких как предусловие, постусловие и инвариантность объектов.Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants.

ContractAbbreviatorAttribute

Определяет аббревиатуры, которые можно использовать вместо полного синтаксиса контракта.Defines abbreviations that you can use in place of the full contract syntax.

ContractArgumentValidatorAttribute

Включает факторизацию устаревшего кода if-then-throw в отдельные методы для многократного использования, и обеспечивает полный контроль над выброшенными исключениями и аргументами.Enables the factoring of legacy if-then-throw code into separate methods for reuse, and provides full control over thrown exceptions and arguments.

ContractClassAttribute

Указывает, что отдельный тип содержит контракты кода для этого типа.Specifies that a separate type contains the code contracts for this type.

ContractClassForAttribute

Указывает, что класс является контрактом для типа.Specifies that a class is a contract for a type.

ContractFailedEventArgs

Предоставляет методы и данные для события ContractFailed.Provides methods and data for the ContractFailed event.

ContractInvariantMethodAttribute

Помечает метод как инвариантный метод для класса.Marks a method as being the invariant method for a class.

ContractOptionAttribute

Позволяет задавать параметры контракта и средств на уровне сборки, типа или метода.Enables you to set contract and tool options at assembly, type, or method granularity.

ContractPublicPropertyNameAttribute

Указывает, что поле может использоваться в контрактах методов, если видимость поля меньше, чем видимость метода.Specifies that a field can be used in method contracts when the field has less visibility than the method.

ContractReferenceAssemblyAttribute

Указывает на то, что сборка является ссылочной сборкой, которая содержит контракты.Specifies that an assembly is a reference assembly that contains contracts.

ContractRuntimeIgnoredAttribute

Определяет член, для которого нет поведения во время выполнения.Identifies a member that has no run-time behavior.

ContractVerificationAttribute

Указывает, что средствам анализа следует принимать правильность сборки, типа или члена без выполнения статической проверки.Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.

PureAttribute

Указывает на то, что тип или метод являются чистыми, т. е. не вносят каких-либо видимых изменений в состояние.Indicates that a type or method is pure, that is, it does not make any visible state changes.

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

ContractFailureKind

Указывает тип контракта, вызвавшего сбой.Specifies the type of contract that failed.