Contract.EndContractBlock Metodo
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 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
La maggior parte del codice contiene già una convalida dei parametri sotto forma di if
--then
throw
codice. Gli strumenti del contratto riconoscono if
throw
--then
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 Requiresesempio , , EnsuresEnsuresOnThrowo .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 thethrow
if
-then
-sequences, but they should still be tagged as legacy-requires.
Prodotto | Versioni |
---|---|
.NET | Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9 |
.NET Framework | 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1 |
.NET Standard | 2.0, 2.1 |
UWP | 10.0 |
Feedback su .NET
.NET è un progetto di open source. Selezionare un collegamento per fornire feedback: