Teilen über


ContractFailureKind Enumeration

Definition

Gibt den Typ des fehlgeschlagenen Vertrags an.

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

Felder

Assert 4

Ein fehlgeschlagener Assert-Vertrag.

Assume 5

Ein fehlgeschlagener Assume-Vertrag.

Invariant 3

Ein fehlgeschlagener Invariant-Vertrag.

Postcondition 1

Ein fehlgeschlagener Ensures-Vertrag.

PostconditionOnException 2

Ein fehlgeschlagener EnsuresOnThrow-Vertrag.

Precondition 0

Ein fehlgeschlagener Requires-Vertrag.

Hinweise

Die ContractFailureKind-Enumeration wird von der System.Diagnostics.Contracts.ContractFailedEventArgs-Klasse verwendet.

Gilt für: