Contract.EndContractBlock Metodo
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Contrassegna la fine della sezione del contratto quando i contratti di un metodo contengono solo precondizioni nel if-then-throw formato.
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 ()- Attributi
Commenti
La maggior parte del codice contiene già una convalida dei parametri sotto forma di if-then-throw codice. Gli strumenti del contratto riconoscono if-then-throw le 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 esempio , RequiresEnsures, EnsuresOnThrowo .EndContractBlock
Quando if-then-throw 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 theif-then-throwsequences, but they should still be tagged as legacy-requires.
