Contract.EndContractBlock Metoda

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

System.Diagnostics.Contracts.dll

Zdroj:

Contracts.cs

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

ConditionalAttribute

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.