ContractFailureKind Enumeration
Definition
Wichtig
Einige Informationen beziehen sich auf Vorabversionen, die vor dem Release ggf. grundlegend überarbeitet werden. Microsoft übernimmt hinsichtlich der hier bereitgestellten Informationen keine Gewährleistungen, seien sie ausdrücklich oder konkludent.
Gibt den Typ des fehlgeschlagenen Vertrags an.
public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind =
Public Enum ContractFailureKind
- Vererbung
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:
Feedback
https://aka.ms/ContentUserFeedback.
Bald verfügbar: Im Laufe des Jahres 2024 werden wir GitHub-Tickets als Feedbackmechanismus für Inhalte auslaufen lassen und es durch ein neues Feedbacksystem ersetzen. Weitere Informationen finden Sie unter:Einreichen und Feedback anzeigen für