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 不是常數位串常值，工具可能無法讀取它。