ContractFailureKind Enumeration

Specifies the type of contract that failed.

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

public enum ContractFailureKind

Member nameDescription
Supported by Portable Class LibrarySupported in .NET for Windows Store appsAssertAn Assert contract failed.
Supported by Portable Class LibrarySupported in .NET for Windows Store appsAssumeAn Assume contract failed.
Supported by Portable Class LibrarySupported in .NET for Windows Store appsInvariantAn Invariant contract failed.
Supported by Portable Class LibrarySupported in .NET for Windows Store appsPostconditionAn Ensures contract failed.
Supported by Portable Class LibrarySupported in .NET for Windows Store appsPostconditionOnExceptionAn EnsuresOnThrow contract failed.
Supported by Portable Class LibrarySupported in .NET for Windows Store appsPreconditionA 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

.NET for Windows Store apps

Supported in: Windows 8

Supported in: Windows Phone 8.1

Supported in: Windows Phone Silverlight 8.1

Supported in: Windows Phone Silverlight 8

Windows Phone 8.1, Windows Phone 8, Windows 8.1, Windows Server 2012 R2, Windows 8, Windows Server 2012, Windows 7, Windows Vista SP2, Windows Server 2008 (Server Core Role not supported), Windows Server 2008 R2 (Server Core Role supported with SP1 or later; Itanium not supported)

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

Was this page helpful?
(1500 characters remaining)
Thank you for your feedback
Show:
© 2014 Microsoft