ContractFailureKind Výčet
Definice
Důležité
Některé informace platí pro předběžně vydaný produkt, který se může zásadně změnit, než ho výrobce nebo autor vydá. Microsoft neposkytuje žádné záruky, výslovné ani předpokládané, týkající se zde uváděných informací.
Určuje typ kontraktu, který selhal.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Dědičnost
Pole
| Name | Hodnota | Description |
|---|---|---|
| Precondition | 0 | Smlouva Requires se nezdařila. |
| Postcondition | 1 | Smlouva Ensures se nezdařila. |
| PostconditionOnException | 2 | Smlouva EnsuresOnThrow se nezdařila. |
| Invariant | 3 | Smlouva Invariant se nezdařila. |
| Assert | 4 | Smlouva Assert se nezdařila. |
| Assume | 5 | Smlouva Assume se nezdařila. |
Poznámky
Výčet ContractFailureKind používá třída System.Diagnostics.Contracts.ContractFailedEventArgs.
