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 builds de débogage, effectue un test d’exécution pour une condition spécifiée.
Surcharges
| Nom | Description |
|---|---|
| Assert(Boolean) |
Recherche une condition ; si la condition est |
| Assert(Boolean, String) |
Recherche une condition ; si la condition est |
Assert(Boolean)
Recherche 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 -> unitPublic Shared Sub Assert (condition As Boolean)Paramètres
- condition
- Boolean
Expression conditionnelle à tester.
- Attributs
Remarques
La stratégie d’escalade par défaut consiste à avertir 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)
Recherche 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")>]
static member Assert : bool * string -> unitPublic 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 à avertir 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. S’il userMessage ne s’agit pas d’un littéral de chaîne constante, les outils peuvent ne pas être en mesure de le lire.