Contract.EndContractBlock Methode
Definitie
Belangrijk
Bepaalde informatie heeft betrekking op een voorlopige productversie die aanzienlijk kan worden gewijzigd voordat deze wordt uitgebracht. Microsoft biedt geen enkele expliciete of impliciete garanties met betrekking tot de informatie die hier wordt verstrekt.
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.