ContractFailureKind Enum

Definition

Specifies the type of contract that failed.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Inheritance
ContractFailureKind

Fields

Assert 4

An Assert contract failed.

Assume 5

An Assume contract failed.

Invariant 3

An Invariant contract failed.

Postcondition 1

An Ensures contract failed.

PostconditionOnException 2

An EnsuresOnThrow contract failed.

Precondition 0

A Requires contract failed.

Remarks

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

Applies to