ContractFailureKind Enum
Definisi
Penting
Beberapa informasi terkait produk prarilis yang dapat diubah secara signifikan sebelum dirilis. Microsoft tidak memberikan jaminan, tersirat maupun tersurat, sehubungan dengan informasi yang diberikan di sini.
Menentukan jenis kontrak yang gagal.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Warisan
Bidang
| Nama | Nilai | Deskripsi |
|---|---|---|
| Assert | 4 | Kontrak Assert gagal. |
| Assume | 5 | Kontrak Assume gagal. |
| Invariant | 3 | Kontrak Invariant gagal. |
| Postcondition | 1 | Kontrak Ensures gagal. |
| PostconditionOnException | 2 | Kontrak EnsuresOnThrow gagal. |
| Precondition | 0 | Kontrak Requires gagal. |
Keterangan
Enumerasi ContractFailureKind digunakan oleh System.Diagnostics.Contracts.ContractFailedEventArgs kelas .
