Contract.EnsuresOnThrow 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.
Hiermee geeft u een postcondition-contract op voor de insluitmethode of eigenschap op basis van de opgegeven uitzondering en voorwaarde.
Overloads
| Name | Description |
|---|---|
| EnsuresOnThrow<TException>(Boolean) |
Hiermee geeft u een postcondition contract voor de omsluitmethode of eigenschap, op basis van de opgegeven uitzondering en voorwaarde. |
| EnsuresOnThrow<TException>(Boolean, String) |
Hiermee geeft u een contract nacondition en een bericht weer te geven als de voorwaarde voor de insluitmethode of eigenschap is |
EnsuresOnThrow<TException>(Boolean)
Hiermee geeft u een postcondition contract voor de omsluitmethode of eigenschap, op basis van de opgegeven uitzondering en voorwaarde.
public:
generic <typename TException>
where TException : Exception static void EnsuresOnThrow(bool condition);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException>(bool condition) where TException : Exception;[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool -> unit (requires 'Exception :> Exception)Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean)Type parameters
- TException
Het type uitzondering dat de postconditioncontrole aanroept.
Parameters
- condition
- Boolean
De voorwaardelijke expressie die moet worden getest.
- Kenmerken
Opmerkingen
De condition parameter geeft een postcondition op die naar verwachting zal zijn true wanneer de insluitmethode of eigenschap abnormaal wordt beëindigd en een uitzondering van het type TException wordt gegenereerd.
Deze methodeaanroep moet zich aan het begin van een methode of eigenschap vóór een andere code bevindt.
Dit contract wordt blootgesteld aan klanten; Daarom mag alleen worden verwezen naar leden die minstens zo zichtbaar zijn als de insluitmethode.
U moet de binaire rewriter gebruiken voor runtime-afdwinging van deze postcondition.
Van toepassing op
EnsuresOnThrow<TException>(Boolean, String)
Hiermee geeft u een contract nacondition en een bericht weer te geven als de voorwaarde voor de insluitmethode of eigenschap is false , op basis van de opgegeven uitzondering en voorwaarde.
public:
generic <typename TException>
where TException : Exception static void EnsuresOnThrow(bool condition, System::String ^ userMessage);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException>(bool condition, string userMessage) where TException : Exception;[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool * string -> unit (requires 'Exception :> Exception)Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean, userMessage As String)Type parameters
- TException
Het type uitzondering dat de postconditioncontrole aanroept.
Parameters
- condition
- Boolean
De voorwaardelijke expressie die moet worden getest.
- userMessage
- String
Het bericht dat moet worden weergegeven als de expressie is false.
- Kenmerken
Opmerkingen
De condition parameter geeft een postcondition op die naar verwachting zal zijn true wanneer de insluitmethode of eigenschap abnormaal wordt beëindigd en een uitzondering van het type TException wordt gegenereerd. Met message de parameter wordt een bericht opgegeven dat moet worden weergegeven als de voorwaarde is false.
Deze methodeaanroep moet zich aan het begin van een methode of eigenschap vóór een andere code bevindt.
Dit contract wordt blootgesteld aan klanten; Daarom mag alleen worden verwezen naar leden die minstens zo zichtbaar zijn als de insluitmethode.
U moet de binaire rewriter gebruiken voor runtime-afdwinging van deze postcondition.
Als
userMessagedit geen letterlijke tekenreeks is, wordt het contract mogelijk niet begrepen door hulpprogramma's.