Export (0) Print
Expand All

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.

Silverlight

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

ADD
Show:
© 2015 Microsoft