共用方式為


Contract.Assume 方法

定義

指示程式碼分析工具假設條件為 true,即使該條件無法以靜態方式證明永遠是 true 亦然。

多載

Assume(Boolean)

指示程式碼分析工具假設指定的條件為 true,即使該條件無法以靜態方式證明永遠是 true 亦然。

Assume(Boolean, String)

指示程式碼分析工具假設條件為 true,即使該條件無法以靜態方式證明永遠是 true 亦然,同時在假設失敗時顯示訊息。

Assume(Boolean)

來源:
Contracts.cs
來源:
Contracts.cs
來源:
Contracts.cs

指示程式碼分析工具假設指定的條件為 true,即使該條件無法以靜態方式證明永遠是 true 亦然。

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

參數

condition
Boolean

要假設 true 的條件運算式。

屬性

備註

在運行時間,使用這個方法相當於使用 Assert(Boolean) 方法。

適用於

Assume(Boolean, String)

來源:
Contracts.cs
來源:
Contracts.cs
來源:
Contracts.cs

指示程式碼分析工具假設條件為 true,即使該條件無法以靜態方式證明永遠是 true 亦然,同時在假設失敗時顯示訊息。

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

參數

condition
Boolean

要假設 true 的條件運算式。

userMessage
String

要在假設失敗時張貼的訊息。

屬性

備註

如果 userMessage 不是常數位串常值,則工具可能無法瞭解合約。

在運行時間,使用這個方法相當於使用 Assert(Boolean, String) 方法。

適用於