System.Diagnostics.Contracts Ruang nama
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.
Berisi kelas statis untuk mewakili kontrak program seperti prasyarat, pascakondisi, dan invarian.
Kelas
Contract |
Berisi metode statis untuk mewakili kontrak program seperti prasyarat, pascakondisi, dan invarian objek. |
ContractAbbreviatorAttribute |
Menentukan singkatan yang dapat Anda gunakan sebagai pengganti sintaks kontrak penuh. |
ContractArgumentValidatorAttribute |
Memungkinkan faktor kode warisan |
ContractClassAttribute |
Menentukan bahwa jenis terpisah berisi kontrak kode untuk jenis ini. |
ContractClassForAttribute |
Menentukan bahwa kelas adalah kontrak untuk jenis. |
ContractFailedEventArgs |
Menyediakan metode dan data untuk peristiwa tersebut ContractFailed . |
ContractInvariantMethodAttribute |
Menandai metode sebagai metode invarian untuk kelas. |
ContractOptionAttribute |
Memungkinkan Anda mengatur opsi kontrak dan alat di perakitan, jenis, atau granularitas metode. |
ContractPublicPropertyNameAttribute |
Menentukan bahwa bidang dapat digunakan dalam kontrak metode ketika bidang memiliki visibilitas yang lebih sedikit daripada metode . |
ContractReferenceAssemblyAttribute |
Menentukan bahwa assembly adalah rakitan referensi yang berisi kontrak. |
ContractRuntimeIgnoredAttribute |
Mengidentifikasi anggota yang tidak memiliki perilaku run-time. |
ContractVerificationAttribute |
Menginstruksikan alat analisis untuk mengasumsikan kebenaran perakitan, jenis, atau anggota tanpa melakukan verifikasi statis. |
PureAttribute |
Menunjukkan bahwa jenis atau metode murni, yaitu, tidak membuat perubahan status yang terlihat. |
Enum
ContractFailureKind |
Menentukan jenis kontrak yang gagal. |