ContractFailureKind Enumeration

  • Referenz

Definition

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

Gibt den Typ des fehlgeschlagenen Vertrags an.

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