Contract.EndContractBlock Methode

Definitie

Markeert het einde van de contractsectie wanneer de contracten van een methode alleen voorwaarden in de if-then-throw vorm bevatten.

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

Opmerkingen

De meeste code bevat al een parametervalidatie in de vorm van if-then-throw code. De contracthulpprogramma's herkennen if-then-throw instructies als voorwaarden wanneer de instructies eerst in een methode worden weergegeven en de volledige set van dergelijke instructies wordt gevolgd door een expliciete Contract methodeaanroep, zoals een RequiresEnsures, of . EnsuresOnThrowEndContractBlock

Wanneer if-then-throw instructies in dit formulier worden weergegeven, herkennen de contracthulpprogramma's deze als verouderde instructies. Het EndContractBlock formulier wordt alleen gebruikt als geen andere contracten deif-then-throwreeksen volgen, maar ze moeten nog steeds worden gelabeld als verouderd vereist.

Van toepassing op