Partager via


Contract.Requires Méthode

Définition

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 -> unit
Public 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 -> unit
Public 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.

S’applique à