Specifies the type of contract that failed.
Syntax
public enum ContractFailureKind
Remarks
The System.Diagnostics.Contracts.ContractFailureKind enumeration is used by the System.Diagnostics.Contracts.ContractFailedEventArgs class.
Members
| Member Name | Description |
|---|---|
| Assert |
An erload:System.Diagnostics.Contracts.Contract.Assert contract failed. |
| Assume |
An erload:System.Diagnostics.Contracts.Contract.Assume contract failed. |
| Invariant |
An erload:System.Diagnostics.Contracts.Contract.Invariant contract failed. |
| Postcondition |
An erload:System.Diagnostics.Contracts.Contract.Ensures contract failed. |
| PostconditionOnException |
An erload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow contract failed. |
| Precondition |
A erload:System.Diagnostics.Contracts.Contract.Requires contract failed. |
Requirements
Namespace: System.Diagnostics.Contracts
Assembly: mscorlib (in mscorlib.dll)
Assembly Versions: 4.0.0.0
Assembly: mscorlib (in mscorlib.dll)
Assembly Versions: 4.0.0.0