ContractFailureKind Enum
Definitie
Belangrijk
Bepaalde informatie heeft betrekking op een voorlopige productversie die aanzienlijk kan worden gewijzigd voordat deze wordt uitgebracht. Microsoft biedt geen enkele expliciete of impliciete garanties met betrekking tot de informatie die hier wordt verstrekt.
Hiermee geeft u het type contract op dat is mislukt.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Overname
Velden
| Name | Waarde | Description |
|---|---|---|
| Precondition | 0 | Een Requires contract is mislukt. |
| Postcondition | 1 | Een Ensures contract is mislukt. |
| PostconditionOnException | 2 | Een EnsuresOnThrow contract is mislukt. |
| Invariant | 3 | Een Invariant contract is mislukt. |
| Assert | 4 | Een Assert contract is mislukt. |
| Assume | 5 | Een Assume contract is mislukt. |
Opmerkingen
De ContractFailureKind opsomming wordt door de System.Diagnostics.Contracts.ContractFailedEventArgs klasse gebruikt.