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)

Syntax

Public Enumeration ContractFailureKind
public enum ContractFailureKind

Members

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.

Remarks

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

Reference

System.Diagnostics.Contracts Namespace