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
GitHub'da bizimle işbirliği yapın
Bu içeriğin kaynağı GitHub'da bulunabilir; burada ayrıca sorunları ve çekme isteklerini oluşturup gözden geçirebilirsiniz. Daha fazla bilgi için katkıda bulunan kılavuzumuzu inceleyin.