Bagikan melalui


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.