Sdílet prostřednictvím


Contract.EndContractBlock Metoda

Definice

Označuje konec oddílu smlouvy, pokud kontrakty metody obsahují ve formuláři if--thenthrow pouze předpoklady.

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

Poznámky

Většina kódu už obsahuje ověření parametrů ve formě if--thenthrow kódu. Smluvní nástroje rozpoznávají ifthrow--thenpříkazy jako předpoklady, když se příkazy objeví jako první uvnitř metody, a po celé sadě takových příkazů následuje explicitní Contract volání metody, jako Requiresje , Ensures, EnsuresOnThrownebo .EndContractBlock

Když if--thenthrow se příkazy zobrazí v tomto formuláři, nástroje kontraktu je rozpoznávají jako starší příkazy. Formulář se EndContractBlock použije pouze v případě, že sekvence nesledujíthrowif-then-žádné další kontrakty, ale přesto by měly být označeny jako starší verze.

Platí pro