Contract.EnsuresOnThrow Méthode

Définition

Espace de noms:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Spécifie un contrat de post-condition pour la méthode englobante ou la propriété en fonction de l'exception et de la condition fournies.

Surcharges

EnsuresOnThrow<TException>(Boolean)	Spécifie un contrat de post-condition pour la méthode englobante ou la propriété en fonction de l'exception et de la condition fournies.
EnsuresOnThrow<TException>(Boolean, String)	Spécifie un contrat de post-condition et un message à afficher si la condition est false pour la méthode englobante ou la propriété, en fonction de l'exception et de la condition fournies.

EnsuresOnThrow<TException>(Boolean)

Source:

Contracts.cs

Spécifie un contrat de post-condition pour la méthode englobante ou la propriété 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 de post-condition.

Paramètres

condition

Boolean

Expression conditionnelle à tester.

Attributs

ConditionalAttribute

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 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, il doit uniquement référencer les membres qui sont au moins aussi visibles que la méthode englobante.

• Vous devez utiliser la réécriture binaire pour l’application au moment de l’exécution de cette postcondition.

EnsuresOnThrow<TException>(Boolean, String)

Source:

Contracts.cs

Spécifie un contrat de post-condition et un message à afficher si la condition est false pour la méthode englobante ou la propriété, 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 de post-condition.

Paramètres

condition

Boolean

Expression conditionnelle à tester.

userMessage

String

Message à afficher si l'expression est false.

Attributs

ConditionalAttribute

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 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, il doit uniquement référencer les membres qui sont au moins aussi visibles que la méthode englobante.

• Vous devez utiliser la réécriture binaire pour l’application au moment de l’exécution de cette postcondition.

• Si userMessage n’est pas un littéral de chaîne constante, le contrat peut ne pas être compris par les outils.