Contract.EnsuresOnThrow Méthode
Définition
Important
Certaines informations portent sur la préversion du produit qui est susceptible d’être en grande partie modifiée avant sa publication. Microsoft exclut toute garantie, expresse ou implicite, concernant les informations fournies ici.
Spécifie un contrat de post-condition pour la méthode englobante ou la propriété en fonction de l'exception et de la condition fournies.
Surcharges
| EnsuresOnThrow<TException>(Boolean) |
Spécifie un contrat de post-condition pour la méthode englobante ou la propriété en fonction de l'exception et de la condition fournies. |
| EnsuresOnThrow<TException>(Boolean, String) |
Spécifie un contrat de post-condition et un message à afficher si la condition est |
EnsuresOnThrow<TException>(Boolean)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Spécifie un contrat de post-condition pour la méthode englobante ou la propriété en fonction de l'exception et de la condition fournies.
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)Paramètres de type
- TException
Type d'exception qui appelle la vérification de post-condition.
Paramètres
- condition
- Boolean
Expression conditionnelle à tester.
- Attributs
Remarques
Le condition paramètre spécifie une postcondition qui est censée être true lorsque la méthode ou la propriété englobante se termine anormalement et qu’une exception de type TException est levée.
Cet appel de méthode doit se trouver au début d’une méthode ou d’une propriété, avant tout autre code.
Ce contrat est exposé aux clients ; par conséquent, il doit uniquement référencer les membres qui sont au moins aussi visibles que la méthode englobante.
Vous devez utiliser la réécriture binaire pour l’application au moment de l’exécution de cette postcondition.
S’applique à
EnsuresOnThrow<TException>(Boolean, String)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Spécifie un contrat de post-condition et un message à afficher si la condition est false pour la méthode englobante ou la propriété, en fonction de l'exception et de la condition fournies.
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")]
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)Paramètres de type
- TException
Type d'exception qui appelle la vérification de post-condition.
Paramètres
- condition
- Boolean
Expression conditionnelle à tester.
- userMessage
- String
Message à afficher si l'expression est false.
- Attributs
Remarques
Le condition paramètre spécifie une postcondition qui est censée être true lorsque la méthode ou la propriété englobante se termine anormalement et qu’une exception de type TException est levée. Le message paramètre spécifie un message à afficher si la condition est false.
Cet appel de méthode doit se trouver au début d’une méthode ou d’une propriété, avant tout autre code.
Ce contrat est exposé aux clients ; par conséquent, il doit uniquement référencer les membres qui sont au moins aussi visibles que la méthode englobante.
Vous devez utiliser la réécriture binaire pour l’application au moment de l’exécution de cette postcondition.
Si
userMessagen’est pas un littéral de chaîne constante, le contrat peut ne pas être compris par les outils.
