Contract.EndContractBlock Metode

Definisi

Ruang nama:

System.Diagnostics.Contracts

Rakitan:

System.Diagnostics.Contracts.dll

Sumber:

Contracts.cs

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 -> unit

Public Shared Sub EndContractBlock ()

Atribut

ConditionalAttribute

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.