ContractFailureKind Enumeration

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)

No code example is currently available or this language may not be supported.

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

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

Windows Phone OS

Supported in: 8.1, 8.0

Show:
© 2017 Microsoft