ContractFailureKind Enumeration

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

Specifies the type of contract that failed.

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


Public Enumeration ContractFailureKind
public enum ContractFailureKind


Member name Description
Assert An Assert contract failed.
Assume An Assume contract failed.
Invariant An Invariant contract failed.
Postcondition An Ensures contract failed.
PostconditionOnException An EnsuresOnThrow contract failed.
Precondition A Requires contract failed.


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

Version Information

Windows Phone OS

Supported in: 8.1, 8.0

See Also


System.Diagnostics.Contracts Namespace