Contract.EndContractBlock Metoda
Definicja
Ważne
Niektóre informacje odnoszą się do produktu w wersji wstępnej, który może zostać znacząco zmodyfikowany przed wydaniem. Firma Microsoft nie udziela żadnych gwarancji, jawnych lub domniemanych, w odniesieniu do informacji podanych w tym miejscu.
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 -> unitPublic 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.
