System.Diagnostics.Contracts Ruang nama

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 if-then-throw ke dalam metode terpisah untuk digunakan kembali, dan memberikan kontrol penuh atas pengecualian dan argumen yang dilemparkan.
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.