Windows apps
Collapse the table of content
Expand the table of content
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.

ContractFailureKind Enumeration

Specifies the type of contract that failed.

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

public enum ContractFailureKind

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

The ContractFailureKind enumeration is used by the ContractFailedEventArgs class.


Supported in: 5, 4

For a list of the operating systems and browsers that are supported by Silverlight, see Supported Operating Systems and Browsers.

Community Additions

© 2017 Microsoft