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 ContractFailureKindpublic enum ContractFailureKindtype 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:
Zusammenarbeit auf GitHub
Die Quelle für diesen Inhalt finden Sie auf GitHub, wo Sie auch Issues und Pull Requests erstellen und überprüfen können. Weitere Informationen finden Sie in unserem Leitfaden für Mitwirkende.
