Contract.Assert メソッド

定義

デバッグ ビルドで、指定された条件のランタイム テストを実行します。In debug builds, performs a run-time test for a specified condition.

オーバーロード

Assert(Boolean)

条件をチェックし、その条件が false の場合は、アナライザーに設定されたエスカレーション ポリシーに従います。Checks for a condition; if the condition is false, follows the escalation policy set for the analyzer.

Assert(Boolean, String)

条件をチェックし、その条件が false の場合は、アナライザーによって設定されたエスカレーション ポリシーに従い、指定されたメッセージを表示します。Checks for a condition; if the condition is false, follows the escalation policy set by the analyzer and displays the specified message.

Assert(Boolean)

条件をチェックし、その条件が false の場合は、アナライザーに設定されたエスカレーション ポリシーに従います。Checks for a condition; if the condition is false, follows the escalation policy set for the analyzer.

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

パラメーター

condition
Boolean

テストする条件式。The conditional expression to test.

属性

注釈

既定のエスカレーションポリシーでは、アタッチされたデバッガーに対してコントラクトエラーに関する通知を行います。デバッガーがアタッチされていない場合は、 アサート ダイアログボックスを表示します。The default escalation policy is to notify the attached debugger about a contract failure or to display an Assert dialog box if a debugger is not attached. 必要に応じて、アナライザーに例外をスローするように指示できます。Optionally, the analyzer can be instructed to throw an exception.

適用対象

Assert(Boolean, String)

条件をチェックし、その条件が false の場合は、アナライザーによって設定されたエスカレーション ポリシーに従い、指定されたメッセージを表示します。Checks for a condition; if the condition is false, follows the escalation policy set by the analyzer and displays the specified message.

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

パラメーター

condition
Boolean

テストする条件式。The conditional expression to test.

userMessage
String

条件が一致しない場合に表示するメッセージ。A message to display if the condition is not met.

属性

注釈

既定のエスカレーションポリシーでは、アタッチされたデバッガーに対してコントラクトエラーに関する通知を行います。デバッガーがアタッチされていない場合は、 アサート ダイアログボックスを表示します。The default escalation policy is to notify the attached debugger about a contract failure or to display an Assert dialog box if a debugger is not attached. 必要に応じて、アナライザーに例外をスローするように指示できます。Optionally, the analyzer can be instructed to throw an exception. userMessageパラメーターは、デバッガーの出力に渡されます。The userMessage parameter is passed to the debugger output. userMessageが定数文字列リテラルでない場合、ツールはそれを読み取ることができない可能性があります。If userMessage is not a constant string literal, tools may not be able to read it.

適用対象