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 postcondition pour la méthode ou la propriété englobante en fonction de l’exception et de la condition fournies.
Surcharges
| Nom | Description |
|---|---|
| EnsuresOnThrow<TException>(Boolean) |
Spécifie un contrat postcondition pour la méthode ou la propriété englobante, en fonction de l’exception et de la condition fournies. |
| EnsuresOnThrow<TException>(Boolean, String) |
Spécifie un contrat postcondition et un message à afficher si la condition concerne |
EnsuresOnThrow<TException>(Boolean)
Spécifie un contrat postcondition pour la méthode ou la propriété englobante, 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 postcondition.
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 être 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 ne doit référencer que les membres qui sont au moins aussi visibles que la méthode englobante.
Vous devez utiliser le réécriture binaire pour l’exécution de cette postcondition.
S’applique à
EnsuresOnThrow<TException>(Boolean, String)
Spécifie un contrat postcondition et un message à afficher si la condition concerne false la méthode ou la propriété englobante, 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")>]
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 postcondition.
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 être 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 ne doit référencer que les membres qui sont au moins aussi visibles que la méthode englobante.
Vous devez utiliser le réécriture binaire pour l’exécution de cette postcondition.
S’il
userMessagene s’agit pas d’un littéral de chaîne constante, le contrat peut ne pas être compris par les outils.