Contract.EndContractBlock Metodo

Definizione

Spazio dei nomi:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

Contrassegna la fine della sezione del contratto quando i contratti di un metodo contengono solo precondizioni nel formato if-then-throw.

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

Attributi

ConditionalAttribute

Commenti

La maggior parte del codice contiene già una convalida dei parametri sotto forma di if--thenthrow codice. Gli strumenti del contratto riconoscono ifthrow--thenle istruzioni come precondizioni quando le istruzioni vengono visualizzate per prime all'interno di un metodo e l'intero set di tali istruzioni è seguito da una chiamata di metodo esplicitaContract, ad Requiresesempio , , EnsuresEnsuresOnThrowo .EndContractBlock

Quando if--thenthrow le istruzioni vengono visualizzate in questo formato, gli strumenti del contratto li riconoscono come istruzioni legacy-require. Il EndContractBlock modulo viene usato solo se nessun altro contratto segue le sequenze, ma deve comunque essere contrassegnato come legacy.the form is used only if no other contracts follow thethrowif-then-sequences, but they should still be tagged as legacy-requires.