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 ContractFailureKind
public enum ContractFailureKind
type 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
Opinia
https://aka.ms/ContentUserFeedback.
Dostępne już wkrótce: W 2024 r. będziemy stopniowo wycofywać zgłoszenia z serwisu GitHub jako mechanizm przesyłania opinii na temat zawartości i zastępować go nowym systemem opinii. Aby uzyskać więcej informacji, sprawdź:Prześlij i wyświetl opinię dla