ContractFailureKind Enum

Definition

Specifies the type of contract that failed.

C#
public enum ContractFailureKind
Inheritance
ContractFailureKind

Fields

Name Value Description
Precondition 0

A Requires contract failed.

Postcondition 1

An Ensures contract failed.

PostconditionOnException 2

An EnsuresOnThrow contract failed.

Invariant 3

An Invariant contract failed.

Assert 4

An Assert contract failed.

Assume 5

An Assume contract failed.

Remarks

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

Applies to

Product Versions
.NET Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9
.NET Framework 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1
.NET Standard 2.0, 2.1
UWP 10.0