This documentation is archived and is not being maintained.

ContractFailureKind Enumeration

Specifies the type of contract that failed.

Namespace:  System.Diagnostics.Contracts
Assembly:  mscorlib (in mscorlib.dll)

public enum ContractFailureKind

Member nameDescription
PreconditionA Requires contract failed.
PostconditionAn Ensures contract failed.
PostconditionOnExceptionAn EnsuresOnThrow contract failed.
InvariantAn Invariant contract failed.
AssertAn Assert contract failed.
AssumeAn Assume contract failed.

The ContractFailureKind enumeration is used by the System.Diagnostics.Contracts.ContractFailedEventArgs class.

.NET Framework

Supported in: 4

.NET Framework Client Profile

Supported in: 4

Windows 7, Windows Vista SP1 or later, Windows XP SP3, Windows Server 2008 (Server Core not supported), Windows Server 2008 R2 (Server Core supported with SP1 or later), Windows Server 2003 SP2

The .NET Framework does not support all versions of every platform. For a list of the supported versions, see .NET Framework System Requirements.