Contract.EndContractBlock Methode
Definition
Wichtig
Einige Informationen beziehen sich auf Vorabversionen, die vor dem Release ggf. grundlegend überarbeitet werden. Microsoft übernimmt hinsichtlich der hier bereitgestellten Informationen keine Gewährleistungen, seien sie ausdrücklich oder konkludent.
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 -> unitPublic 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.
