Udostępnij za pośrednictwem


Contract.EndContractBlock Metoda

Definicja

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

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.

Dotyczy