ContractFailureKind Sabit listesi
Tanım
Önemli
Bazı bilgiler ürünün ön sürümüyle ilgilidir ve sürüm öncesinde önemli değişiklikler yapılmış olabilir. Burada verilen bilgilerle ilgili olarak Microsoft açık veya zımni hiçbir garanti vermez.
Başarısız olan sözleşme türünü belirtir.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Devralma
Alanlar
| Name | Değer | Description |
|---|---|---|
| Precondition | 0 | Sözleşme Requires başarısız oldu. |
| Postcondition | 1 | Sözleşme Ensures başarısız oldu. |
| PostconditionOnException | 2 | Sözleşme EnsuresOnThrow başarısız oldu. |
| Invariant | 3 | Sözleşme Invariant başarısız oldu. |
| Assert | 4 | Sözleşme Assert başarısız oldu. |
| Assume | 5 | Sözleşme Assume başarısız oldu. |
Açıklamalar
ContractFailureKind numaralandırması System.Diagnostics.Contracts.ContractFailedEventArgs sınıfı tarafından kullanılır.
