Contract.Assert Méthode
Définition
Important
Certaines informations portent sur la préversion du produit qui est susceptible d’être en grande partie modifiée avant sa publication. Microsoft exclut toute garantie, expresse ou implicite, concernant les informations fournies ici.
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 |
Assert(Boolean, String) |
Vérifie une condition ; si la condition est |
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.