Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
System.Diagnostics.Contracts Namespace
Microsoft Silverlight will reach end of support after October 2021. Learn more.
Contains static classes for representing program contracts such as preconditions, postconditions, and invariants.
Classes
| Class | Description | |
|---|---|---|
| Public class | Contract | Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants. |
| Public class | ContractClassAttribute | Specifies that a separate type contains the code contracts for this type. |
| Public class | ContractClassForAttribute | Specifies that a class is a contract for a type. |
| Public class | ContractInvariantMethodAttribute | Marks a method as being the invariant method for a class. |
| Public class | ContractPublicPropertyNameAttribute | Specifies that a field can be used in method contracts when the field has less visibility than the method. |
| Public class | ContractReferenceAssemblyAttribute | Specifies that an assembly is a reference assembly that contains contracts. |
| Public class | ContractRuntimeIgnoredAttribute | Identifies a member that has no run-time behavior. |
| Public class | ContractVerificationAttribute | Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification. |
| Public class | PureAttribute | Indicates that a type or method is pure, that is, it does not make any visible state changes. |
Enumerations
| Enumeration | Description | |
|---|---|---|
| Public enumeration | ContractFailureKind | Specifies the type of contract that failed. |