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.
Kennzeichnet das Ende des Vertragsabschnitts, wenn die Verträge einer Methode nur Voraussetzungen im if-then-throw Formular 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 einige Parameterüberprüfungen in Form von if-then-throw Code. Die Vertragstools erkennen if-then-throwAnweisungen als Vorbedingungen an, wenn die Anweisungen zuerst innerhalb einer Methode angezeigt werden, und auf den gesamten Satz solcher Anweisungen folgt ein expliziter Contract Methodenaufruf, z. B. ein Requires, Ensures, , EnsuresOnThrowoder .EndContractBlock
Wenn if-then-throw 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-then-throw Sequenzen folgen, aber sie sollten weiterhin als Legacy-Erforderlich gekennzeichnet werden.
