Contract.Assert メソッド

定義

名前空間:

System.Diagnostics.Contracts

アセンブリ:

System.Diagnostics.Contracts.dll

デバッグ ビルドで、指定された条件のランタイム テストを実行します。

オーバーロード

Assert(Boolean)	条件をチェックし、その条件が false の場合は、アナライザーに設定されたエスカレーション ポリシーに従います。
Assert(Boolean, String)	条件をチェックし、その条件が false の場合は、アナライザーによって設定されたエスカレーション ポリシーに従い、指定されたメッセージを表示します。

Assert(Boolean)

ソース:

Contracts.cs

条件をチェックし、その条件が 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

テストする条件式。

属性

ConditionalAttribute

注釈

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

Assert(Boolean, String)

ソース:

Contracts.cs

条件をチェックし、その条件が 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

条件が一致しない場合に表示するメッセージ。

属性

ConditionalAttribute

注釈

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