Contract.EndContractBlock Methode

Definitie

Markeert het einde van de contractsectie wanneer de contracten van een methode alleen voorwaarden in de if--thenthrow 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--thenthrow code. De contracthulpprogramma's herkennen ifthen--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 EnsuresRequires, of . EnsuresOnThrowEndContractBlock

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

Van toepassing op