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 |
|---|---|---|
| Assert | 4 | Smlouva Assert selhala. |
| Assume | 5 | Smlouva Assume selhala. |
| Invariant | 3 | Smlouva Invariant selhala. |
| Postcondition | 1 | Smlouva Ensures selhala. |
| PostconditionOnException | 2 | Smlouva EnsuresOnThrow selhala. |
| Precondition | 0 | Smlouva Requires selhala. |
Poznámky
Výčet ContractFailureKind je používán System.Diagnostics.Contracts.ContractFailedEventArgs třídou.
