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-Issues stufenweise als Feedbackmechanismus für Inhalte abbauen und durch ein neues Feedbacksystem ersetzen. Weitere Informationen finden Sie unterFeedback senden und anzeigen für