Contract.EndContractBlock Methode

Definition

Markiert das Ende des Vertragsabschnitts, wenn die Verträge einer Methode nur Vorbedingungen in Form vom if-then-throw enthalten.Marks the end of the contract section when a method's contracts contain only preconditions in the if-then-throw form.

public:
 static void EndContractBlock();
public static void EndContractBlock ();
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EndContractBlock ();
static member EndContractBlock : unit -> unit
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EndContractBlock : unit -> unit
Public Shared Sub EndContractBlock ()
Attribute

Hinweise

Die meisten Codes enthalten bereits eine Parameter Validierung in Form von if - then - throw Code.Most code already contains some parameter validation in the form of if-then-throw code. Die Contract-Tools erkennen if - then - throw -Anweisungen als Vorbedingungen, wenn die-Anweisungen zuerst innerhalb einer Methode erscheinen und der gesamte Satz dieser Anweisungen einen expliziten Contract Methoden aufzurufen, wie Requires z Ensures . b.,, EnsuresOnThrow oder EndContractBlock .The contract tools recognize if-then-throw statements as preconditions when the statements appear first inside a method, and the entire set of such statements is followed by an explicit Contract method call, such as a Requires, Ensures, EnsuresOnThrow, or EndContractBlock.

Wenn if - then - throw -Anweisungen in dieser Form angezeigt werden, werden Sie von den Vertrags Tools als Legacy-require-Anweisungen erkannt.When if-then-throw statements appear in this form, the contract tools recognize them as legacy-require statements. Das EndContractBlock Formular wird nur verwendet, wenn keine anderen Verträge den if - then - throw Sequenzen folgen, Sie sollten jedoch weiterhin als Legacy-erforderlich gekennzeichnet werden.The EndContractBlock form is used only if no other contracts follow the if-then-throw sequences, but they should still be tagged as legacy-requires.

Gilt für: