ContractFailureKind Wyliczenie
Definicja
Ważne
Niektóre informacje odnoszą się do produktu w wersji wstępnej, który może zostać znacząco zmodyfikowany przed wydaniem. Firma Microsoft nie udziela żadnych gwarancji, jawnych lub domniemanych, w odniesieniu do informacji podanych w tym miejscu.
Określa typ kontraktu, który zakończył się niepowodzeniem.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Dziedziczenie
Pola
| Assert | 4 | Umowa Assert nie powiodła się. |
| Assume | 5 | Umowa Assume nie powiodła się. |
| Invariant | 3 | Umowa Invariant nie powiodła się. |
| Postcondition | 1 | Umowa Ensures nie powiodła się. |
| PostconditionOnException | 2 | Umowa EnsuresOnThrow nie powiodła się. |
| Precondition | 0 | Kontrakt Requires nie powiódł się. |
Uwagi
Wyliczenie ContractFailureKind jest używane przez klasę System.Diagnostics.Contracts.ContractFailedEventArgs .
Dotyczy
Współpracuj z nami w serwisie GitHub
Źródło tej zawartości można znaleźć w witrynie GitHub, gdzie można również tworzyć i przeglądać problemy i żądania ściągnięcia. Więcej informacji znajdziesz w naszym przewodniku dla współtwórców.
