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 englobante ou une propriété.
Surcharges
| Requires(Boolean) |
Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété. |
| Requires(Boolean, String) |
Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et affiche un message si la condition pour le contrat échoue. |
| Requires<TException>(Boolean) |
Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et lève une exception si la condition pour le contrat échoue. |
| Requires<TException>(Boolean, String) |
Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et lève une exception avec le message fourni si la condition pour le contrat échoue. |
Requires(Boolean)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété.
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 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, elle doit uniquement référencer les membres qui sont au moins aussi visibles que la méthode englobante.
Utilisez cette méthode à la place 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)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et affiche un message si la condition pour le 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")]
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 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, elle doit uniquement référencer les membres qui sont au moins aussi visibles que la méthode englobante.
Utilisez cette méthode à la place 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)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et lève une exception si la condition pour le 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 Contrats de code sur la Place de marché Visual Studio.
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, elle doit uniquement référencer les membres qui sont au moins aussi visibles que la méthode englobante.
Utilisez cette méthode à la place 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)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et lève une exception avec le message fourni si la condition pour le 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;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 Contrats de code sur la Place de marché Visual Studio.
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, elle doit uniquement référencer les membres qui sont au moins aussi visibles que la méthode englobante.
Utilisez cette méthode à la place de la Contract.Requires(Boolean, String) méthode lorsque vous souhaitez lever une exception si la condition préalable échoue.
