Contract.Assume 方法
定義
重要
部分資訊涉及發行前產品，在發行之前可能會有大幅修改。 Microsoft 對此處提供的資訊，不做任何明確或隱含的瑕疵擔保。
指示程式碼分析工具假設條件為 true，即使無法靜態證明其永遠為 true。
多載
| 名稱 | Description |
|---|---|
| Assume(Boolean) |
指示程式碼分析工具假設指定的條件為 |
| Assume(Boolean, String) |
指示程式碼分析工具假設條件為 |
Assume(Boolean)
- 來源:
- Contracts.cs
- 來源:
- Contracts.cs
- 來源:
- 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 -> unitPublic Shared Sub Assume (condition As Boolean)參數
- condition
- Boolean
假設 true的條件表達式 。
- 屬性
備註
在執行時，使用此方法等同於使用該 Assert(Boolean) 方法。
適用於
Assume(Boolean, String)
- 來源:
- Contracts.cs
- 來源:
- Contracts.cs
- 來源:
- 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 -> unitPublic Shared Sub Assume (condition As Boolean, userMessage As String)參數
- condition
- Boolean
假設 true的條件表達式 。
- userMessage
- String
如果假設失敗，請發訊息。
- 屬性
備註
如果 userMessage 不是常數字串的字面值，工具可能無法理解該契約。
在執行時，使用此方法等同於使用該 Assert(Boolean, String) 方法。
