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 ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind =
Public Enum ContractFailureKind
- Dědičnost
Pole
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.
Platí pro
Spolupracujte s námi na GitHubu
Zdroj tohoto obsahu najdete na GitHubu, kde můžete také vytvářet a kontrolovat problémy a žádosti o přijetí změn. Další informace najdete v našem průvodci pro přispěvatele.