Редагувати

Поділитися через

ContractFailureKind Enum

  • Reference

Definition

Namespace:
System.Diagnostics.Contracts
Assembly:
System.Diagnostics.Contracts.dll
Assembly:
mscorlib.dll
Assembly:
netstandard.dll

Specifies the type of contract that failed.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Inheritance
Object
ValueType
Enum
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