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--thenthrow 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--thenthrow kode. Alat kontrak mengenali ifthen--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--thenthrow pernyataan muncul dalam formulir ini, alat kontrak mengenalinya sebagai pernyataan yang diperlukan warisan. Formulir EndContractBlock hanya digunakan jika tidak ada kontrak lain yang mengikutithrowif-then-urutan, tetapi masih harus ditandai sebagai warisan yang diperlukan.
