Contract.Assume Méthode

Définition

Espace de noms:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Fait en sorte que les outils d'analyse du code supposent qu'une condition est true, même s'il ne peut pas être prouvé statiquement qu'elle est toujours true.

Surcharges

Assume(Boolean)	Fait en sorte que les outils d'analyse du code supposent que la condition spécifiée est true, même s'il ne peut pas être prouvé statiquement qu'elle est toujours true.
Assume(Boolean, String)	Fait en sorte que les outils d'analyse du code supposent qu'une condition est true, même s'il ne peut pas être prouvé statiquement qu'elle est toujours true, et affiche un message si l'hypothèse échoue.

Assume(Boolean)

Source:

Contracts.cs

Fait en sorte que les outils d'analyse du code supposent que la condition spécifiée est true, même s'il ne peut pas être prouvé statiquement qu'elle est toujours true.

public:
 static void Assume(bool condition);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool -> unit

Public Shared Sub Assume (condition As Boolean)

Paramètres

condition

Boolean

Expression conditionnelle à supposer comme true.

Attributs

ConditionalAttribute

Remarques

Au moment de l’exécution, l’utilisation de cette méthode équivaut à l’utilisation de la Assert(Boolean) méthode .

Assume(Boolean, String)

Source:

Contracts.cs

Fait en sorte que les outils d'analyse du code supposent qu'une condition est true, même s'il ne peut pas être prouvé statiquement qu'elle est toujours true, et affiche un message si l'hypothèse échoue.

public:
 static void Assume(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool * string -> unit

Public Shared Sub Assume (condition As Boolean, userMessage As String)

Paramètres

condition

Boolean

Expression conditionnelle à supposer comme true.

userMessage

String

Message à envoyer si l'hypothèse échoue.

Attributs

ConditionalAttribute

Remarques

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

Au moment de l’exécution, l’utilisation de cette méthode équivaut à l’utilisation de la Assert(Boolean, String) méthode .