Freigeben über


Contract.EndContractBlock Methode

Definition

Markiert das Ende des Vertragsabschnitts, wenn die Verträge einer Methode nur Vorbedingungen in Form vom if-then-throw enthalten.

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

Hinweise

Der meiste Code enthält bereits eine Parametervalidierung in Form von if--thenthrow Code. Die Vertragstools erkennen ifthen--throw Anweisungen als Vorbedingungen, wenn die -Anweisungen zuerst innerhalb einer -Methode angezeigt werden, und auf den gesamten Satz solcher Anweisungen folgt ein expliziter Contract Methodenaufruf, z. B. , EnsuresRequires, EnsuresOnThrowoder .EndContractBlock

Wenn if--thenthrow Anweisungen in dieser Form angezeigt werden, erkennen die Vertragstools sie als Legacy-Require-Anweisungen an. Das EndContractBlock Formular wird nur verwendet, wenn keine anderen Verträge den if--thenthrow Sequenzen folgen, aber sie sollten weiterhin als legacy-erforderlich gekennzeichnet werden.

Gilt für: