ContractFailureKind Enum
Definition
Viktigt
En del information gäller för förhandsversionen av en produkt och kan komma att ändras avsevärt innan produkten blir allmänt tillgänglig. Microsoft lämnar inga garantier, uttryckliga eller underförstådda, avseende informationen som visas här.
Anger vilken typ av kontrakt som misslyckades.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Arv
Fält
| Name | Värde | Description |
|---|---|---|
| Precondition | 0 | Ett Requires kontrakt misslyckades. |
| Postcondition | 1 | Ett Ensures kontrakt misslyckades. |
| PostconditionOnException | 2 | Ett EnsuresOnThrow kontrakt misslyckades. |
| Invariant | 3 | Ett Invariant kontrakt misslyckades. |
| Assert | 4 | Ett Assert kontrakt misslyckades. |
| Assume | 5 | Ett Assume kontrakt misslyckades. |
Kommentarer
Uppräkningen ContractFailureKind används av System.Diagnostics.Contracts.ContractFailedEventArgs klassen.