Contract.EndContractBlock Metoda

Definicja

Przestrzeń nazw:

System.Diagnostics.Contracts

Zestaw:

System.Diagnostics.Contracts.dll

Źródło:

Contracts.cs

Oznacza koniec sekcji kontraktu, gdy kontrakty metody zawierają tylko warunki wstępne w formularzuifthrow-then-.

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 ()

Atrybuty

ConditionalAttribute

Uwagi

Większość kodu zawiera już pewne weryfikacje parametrów if--thenthrow w postaci kodu. Narzędzia kontraktu rozpoznają ifthrow--theninstrukcje jako warunki wstępne, gdy instrukcje pojawiają się najpierw wewnątrz metody, a po całym zestawie takich instrukcji następuje jawne Contract wywołanie metody, takie jak Requires, Ensures, EnsuresOnThrowlub .EndContractBlock

Gdy if--thenthrow instrukcje są wyświetlane w tym formularzu, narzędzia kontraktu rozpoznają je jako instrukcje starszej wersji. Formularz EndContractBlock jest używany tylko wtedy, gdy żadne inne kontrakty nie są zgodne zthrowif-then-sekwencjami, ale nadal powinny być oznaczone jako starsze.