Contract.EndContractBlock Metoda
Definice
Důležité
Některé informace platí pro předběžně vydaný produkt, který se může zásadně změnit, než ho výrobce nebo autor vydá. Microsoft neposkytuje žádné záruky, výslovné ani předpokládané, týkající se zde uváděných informací.
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 -> unitPublic 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.
