Contract.EndContractBlock Metode
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.
Menandai akhir bagian kontrak saat kontrak metode hanya berisi prasyarat dalam if-then-throw formulir.
public:
static void EndContractBlock();[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EndContractBlock();[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EndContractBlock : unit -> unitPublic Shared Sub EndContractBlock ()- Atribut
Keterangan
Sebagian besar kode sudah berisi beberapa validasi parameter dalam bentuk if-then-throw kode. Alat kontrak mengenali if-then-throw pernyataan sebagai prasyarat ketika pernyataan muncul terlebih dahulu di dalam metode, dan seluruh set pernyataan tersebut diikuti dengan panggilan metode eksplisitContract, seperti Requires, , EnsuresEnsuresOnThrow, atau .EndContractBlock
Ketika if-then-throw pernyataan muncul dalam formulir ini, alat kontrak mengenalinya sebagai pernyataan yang memerlukan warisan. Formulir EndContractBlock ini hanya digunakan jika tidak ada kontrak lain yang mengikutiif-then-throwurutan, tetapi masih harus ditandai sebagai warisan yang diperlukan.
