Contract.Requires 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 condition préalable pour une méthode ou une propriété englobante.
Surcharges
| Nom | Description |
|---|---|
| Requires(Boolean) |
Spécifie un contrat de condition préalable pour la méthode ou la propriété englobante. |
| Requires(Boolean, String) |
Spécifie un contrat de condition préalable pour la méthode ou la propriété englobante et affiche un message si la condition du contrat échoue. |
| Requires<TException>(Boolean) |
Spécifie un contrat de condition préalable pour la méthode ou la propriété englobante et lève une exception si la condition du contrat échoue. |
| Requires<TException>(Boolean, String) |
Spécifie un contrat de condition préalable pour la méthode ou la propriété englobante et lève une exception avec le message fourni si la condition du contrat échoue. |
Requires(Boolean)
Spécifie un contrat de condition préalable pour la méthode ou la propriété englobante.
public:
static void Requires(bool condition);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires(bool condition);[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool -> unitPublic Shared Sub Requires (condition As Boolean)Paramètres
- condition
- Boolean
Expression conditionnelle à tester.
- Attributs
Remarques
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.
Utilisez cette méthode au lieu de la méthode lorsque la Contract.Requires<TException>(Boolean) compatibilité descendante ne vous force pas à lever une exception particulière.
S’applique à
Requires(Boolean, String)
Spécifie un contrat de condition préalable pour la méthode ou la propriété englobante et affiche un message si la condition du contrat échoue.
public:
static void Requires(bool condition, System::String ^ userMessage);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires(bool condition, string userMessage);[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool * string -> unitPublic Shared Sub Requires (condition As Boolean, userMessage As String)Paramètres
- condition
- Boolean
Expression conditionnelle à tester.
- userMessage
- String
Message à afficher si la condition est false.
- Attributs
Remarques
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.
Utilisez cette méthode au lieu de la méthode lorsque la Contract.Requires<TException>(Boolean, String) compatibilité descendante ne vous force pas à lever une exception particulière.
S’applique à
Requires<TException>(Boolean)
Spécifie un contrat de condition préalable pour la méthode ou la propriété englobante et lève une exception si la condition du contrat échoue.
public:
generic <typename TException>
where TException : Exception static void Requires(bool condition);public static void Requires<TException>(bool condition) where TException : Exception;static member Requires : bool -> unit (requires 'Exception :> Exception)Public Shared Sub Requires(Of TException As Exception) (condition As Boolean)Paramètres de type
- TException
Exception à lever si la condition est false.
Paramètres
- condition
- Boolean
Expression conditionnelle à tester.
Remarques
Important
Vous devez activer la vérification au moment de l’exécution pour utiliser la Requires méthode. Si la vérification au moment de l’exécution est désactivée, le processus est arrêté. Pour obtenir les outils de vérification du runtime, consultez Code Contracts sur la Place de marché Visual Studio.
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.
Utilisez cette méthode au lieu de la Contract.Requires(Boolean) méthode lorsque vous souhaitez lever une exception si la condition préalable échoue.
S’applique à
Requires<TException>(Boolean, String)
Spécifie un contrat de condition préalable pour la méthode ou la propriété englobante et lève une exception avec le message fourni si la condition du contrat échoue.
public:
generic <typename TException>
where TException : Exception static void Requires(bool condition, System::String ^ userMessage);public static void Requires<TException>(bool condition, string userMessage) where TException : Exception;static member Requires : bool * string -> unit (requires 'Exception :> Exception)Public Shared Sub Requires(Of TException As Exception) (condition As Boolean, userMessage As String)Paramètres de type
- TException
Exception à lever si la condition est false.
Paramètres
- condition
- Boolean
Expression conditionnelle à tester.
- userMessage
- String
Message à afficher si la condition est false.
Remarques
-
Important
Vous devez activer la vérification au moment de l’exécution pour utiliser la Requires méthode. Si la vérification au moment de l’exécution est désactivée, le processus est arrêté. Pour obtenir les outils de vérification du runtime, consultez Code Contracts sur la Place de marché Visual Studio.
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.
Utilisez cette méthode au lieu de la Contract.Requires(Boolean, String) méthode lorsque vous souhaitez lever une exception si la condition préalable échoue.