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čí konec oddílu smlouvy, pokud kontrakty metody obsahují pouze předběžné podmínky ve formulářiif-then-throw.
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 již obsahuje ověření parametru if-then-throw ve formě kódu. Smluvní nástroje rozpoznávají if-then-throw příkazy jako předpoklady, když se příkazy objeví jako první uvnitř metody, a za celou sadou těchto příkazů následuje explicitní Contract volání metody, například Requires, Ensures, EnsuresOnThrownebo .EndContractBlock
Když if-then-throw se příkazy zobrazí v tomto formuláři, nástroje kontraktů je rozpoznávají jako příkazy starší verze. Formulář EndContractBlock se používá pouze v případě, že žádné jiné kontrakty nedodržujíif-then-throwsekvence, ale měly by být stále označené jako starší verze.
