ContractFailureKind ContractFailureKind ContractFailureKind ContractFailureKind Enum

Definition

Specifies the type of contract that failed.

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

Fields

Assert Assert Assert Assert 4

An Assert contract failed.

Assume Assume Assume Assume 5

An Assume contract failed.

Invariant Invariant Invariant Invariant 3

An Invariant contract failed.

Postcondition Postcondition Postcondition Postcondition 1

An Ensures contract failed.

PostconditionOnException PostconditionOnException PostconditionOnException PostconditionOnException 2

An EnsuresOnThrow contract failed.

Precondition Precondition Precondition Precondition 0

A Requires contract failed.

Remarks

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

Applies to