ContractFailureKind Výčet

Definice

Určuje typ kontraktu, který selhal.

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
Dědičnost
ContractFailureKind

Pole

Assert 4

Smlouva Assert selhala.

Assume 5

Smlouva Assume selhala.

Invariant 3

Smlouva Invariant selhala.

Postcondition 1

Smlouva Ensures selhala.

PostconditionOnException 2

Smlouva EnsuresOnThrow selhala.

Precondition 0

Smlouva Requires selhala.

Poznámky

Výčet ContractFailureKind je používán System.Diagnostics.Contracts.ContractFailedEventArgs třídou.

Platí pro