Contract.Assume Méthode

Définition

Espace de noms:
System.Diagnostics.Contracts
Assemblys:
mscorlib.dll, System.Diagnostics.Contracts.dll
Assembly:
mscorlib.dll
Assembly:
netstandard.dll

Indique aux outils d’analyse du code de supposer qu’une condition est true, même si elle ne peut pas être prouvée statiquement comme étant truetoujours .

Surcharges

Nom Description
Assume(Boolean)

Indique aux outils d’analyse du code de supposer que la condition spécifiée est true, même si elle ne peut pas être prouvée de manière statique pour toujours être true.
Assume(Boolean, String)

Indique aux outils d’analyse du code de supposer qu’une condition est true, même si elle ne peut pas être prouvée statiquement pour toujours être true, et affiche un message si l’hypothèse échoue.

Assume(Boolean)

Indique aux outils d’analyse du code de supposer que la condition spécifiée est true, même si elle ne peut pas être prouvée de manière statique pour toujours être 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 true.

Attributs
ConditionalAttribute

Remarques

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

S’applique à

Assume(Boolean, String)

Indique aux outils d’analyse du code de supposer qu’une condition est true, même si elle ne peut pas être prouvée statiquement pour toujours être 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 true.

userMessage
String

Message à publier si l’hypothèse échoue.

Attributs
ConditionalAttribute

Remarques

S’il userMessage ne s’agit pas d’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 à utiliser la Assert(Boolean, String) méthode.

S’applique à