Export (0) Print
Expand All

ContractFailureKind Enumeration

Specifies the type of contract that failed.

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

'Declaration
Public Enumeration ContractFailureKind

Member nameDescription
Supported by Portable Class LibraryAssertAn Assert contract failed.
Supported by Portable Class LibraryAssumeAn Assume contract failed.
Supported by Portable Class LibraryInvariantAn Invariant contract failed.
Supported by Portable Class LibraryPostconditionAn Ensures contract failed.
Supported by Portable Class LibraryPostconditionOnExceptionAn EnsuresOnThrow contract failed.
Supported by Portable Class LibraryPreconditionA Requires contract failed.

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

.NET Framework

Supported in: 4.6, 4.5, 4

.NET Framework Client Profile

Supported in: 4

Portable Class Library

Supported in: Portable Class Library

Supported in: Windows Phone 8.1

Supported in: Windows Phone Silverlight 8.1

Supported in: Windows Phone Silverlight 8
Show:
© 2015 Microsoft