Partager via


Contract.Assert Méthode

Définition

Dans les versions Debug, exécute un test à l'exécution pour une condition spécifiée.

Surcharges

Assert(Boolean)

Vérifie une condition ; si la condition est false, suit la stratégie d'escalade définie pour l'analyseur.

Assert(Boolean, String)

Vérifie une condition ; si la condition est false, suit la stratégie d'escalade définie par l'analyseur et affiche le message spécifié.

Assert(Boolean)

Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

Vérifie une condition ; si la condition est false, suit la stratégie d'escalade définie pour l'analyseur.

public:
 static void Assert(bool condition);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
[System.Diagnostics.Conditional("DEBUG")]
public static void Assert (bool condition);
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
[<System.Diagnostics.Conditional("DEBUG")>]
static member Assert : bool -> unit
Public Shared Sub Assert (condition As Boolean)

Paramètres

condition
Boolean

Expression conditionnelle à tester.

Attributs

Remarques

La stratégie d’escalade par défaut consiste à informer le débogueur attaché d’un échec de contrat ou à afficher une boîte de dialogue Assert si un débogueur n’est pas attaché. Si vous le souhaitez, l’analyseur peut être invité à lever une exception.

S’applique à

Assert(Boolean, String)

Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

Vérifie une condition ; si la condition est false, suit la stratégie d'escalade définie par l'analyseur et affiche le message spécifié.

public:
 static void Assert(bool condition, System::String ^ userMessage);
[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assert (bool condition, string userMessage);
[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assert (bool condition, string? userMessage);
[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assert : bool * string -> unit
Public Shared Sub Assert (condition As Boolean, userMessage As String)

Paramètres

condition
Boolean

Expression conditionnelle à tester.

userMessage
String

Message à afficher si la condition n'est pas remplie.

Attributs

Remarques

La stratégie d’escalade par défaut consiste à informer le débogueur attaché d’un échec de contrat ou à afficher une boîte de dialogue Assert si un débogueur n’est pas attaché. Si vous le souhaitez, l’analyseur peut être invité à lever une exception. Le userMessage paramètre est passé à la sortie du débogueur. Si userMessage n’est pas un littéral de chaîne constante, les outils peuvent ne pas être en mesure de le lire.

S’applique à