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 ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind =
Public Enum ContractFailureKind
- Devralma
Alanlar
Assert | 4 | Anlaşma Assert başarısız oldu. |
Assume | 5 | Anlaşma Assume başarısız oldu. |
Invariant | 3 | Anlaşma Invariant başarısız oldu. |
Postcondition | 1 | Anlaşma Ensures başarısız oldu. |
PostconditionOnException | 2 | Anlaşma EnsuresOnThrow başarısız oldu. |
Precondition | 0 | Anlaşma Requires başarısız oldu. |
Açıklamalar
ContractFailureKind Numaralandırma sınıfı tarafından System.Diagnostics.Contracts.ContractFailedEventArgs kullanılır.
Şunlara uygulanır
Geri Bildirim
https://aka.ms/ContentUserFeedback.
Çok yakında: 2024 boyunca, içerik için geri bildirim mekanizması olarak GitHub Sorunları’nı kullanımdan kaldıracak ve yeni bir geri bildirim sistemiyle değiştireceğiz. Daha fazla bilgi için bkz.Gönderin ve geri bildirimi görüntüleyin