Contract.Assert メソッド

定義

デバッグ ビルドで、指定した条件に対して実行時テストを実行します。

オーバーロード

名前 説明
Assert(Boolean)

条件を確認します。条件が false場合は、アナライザーに設定されているエスカレーション ポリシーに従います。

Assert(Boolean, String)

条件を確認します。条件が false場合は、アナライザーによって設定されたエスカレーション ポリシーに従って、指定されたメッセージを表示します。

Assert(Boolean)

条件を確認します。条件が false場合は、アナライザーに設定されているエスカレーション ポリシーに従います。

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)

パラメーター

condition
Boolean

テストする条件式。

属性

注釈

既定のエスカレーション ポリシーは、コントラクトエラーについてアタッチされたデバッガーに通知するか、デバッガーがアタッチされていない場合は Assert ダイアログ ボックスを表示することです。 必要に応じて、アナライザーに例外をスローするように指示できます。

適用対象

Assert(Boolean, String)

条件を確認します。条件が false場合は、アナライザーによって設定されたエスカレーション ポリシーに従って、指定されたメッセージを表示します。

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 -> unit
Public Shared Sub Assert (condition As Boolean, userMessage As String)

パラメーター

condition
Boolean

テストする条件式。

userMessage
String

条件が満たされていない場合に表示するメッセージ。

属性

注釈

既定のエスカレーション ポリシーは、コントラクトエラーについてアタッチされたデバッガーに通知するか、デバッガーがアタッチされていない場合は Assert ダイアログ ボックスを表示することです。 必要に応じて、アナライザーに例外をスローするように指示できます。 userMessage パラメーターはデバッガーの出力に渡されます。 userMessageが定数文字列リテラルでない場合は、ツールで読み取ることができない可能性があります。

適用対象