System.Diagnostics.Contracts Namespace

[ This article is for Windows Phone 8 developers. If you’re developing for Windows 10, see the latest documentation. ]

The System.Diagnostics.Contracts namespace contains static classes for representing program contracts such as preconditions, postconditions, and invariants.

Classes

Class Description
Contract Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants.
ContractAbbreviatorAttribute Enables you to define abbreviations for contracts that can be used in place of the full contract syntax.
ContractArgumentValidatorAttribute 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 Provides methods and data for the Contract..::.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.

Enumerations

Enumeration Description
ContractFailureKind Specifies the type of contract that failed.