Partager via


Contract.Assume Méthode

Définition

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
Source:
Contracts.cs
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

Remarques

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

S’applique à

Assume(Boolean, String)

Source:
Contracts.cs
Source:
Contracts.cs
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")]
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

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 .

S’applique à