Contract.Requires Méthode

Définition

Espace de noms:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

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

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

ConditionalAttribute

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.

Requires(Boolean, String)

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")>]
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

ConditionalAttribute

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.

Requires<TException>(Boolean)

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.

Requires<TException>(Boolean, String)

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;

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.