Contract.Assume メソッド
定義
重要
一部の情報は、リリース前に大きく変更される可能性があるプレリリースされた製品に関するものです。 Microsoft は、ここに記載されている情報について、明示または黙示を問わず、一切保証しません。
常にtrueであることが静的に証明できない場合でも、条件がtrueであると想定するようにコード分析ツールに指示します。
オーバーロード
| 名前 | 説明 |
|---|---|
| Assume(Boolean) |
常に |
| Assume(Boolean, String) |
常に |
Assume(Boolean)
常に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)
常に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")>]
static member Assume : bool * string -> unitPublic Shared Sub Assume (condition As Boolean, userMessage As String)パラメーター
- condition
- Boolean
trueを想定する条件式。
- userMessage
- String
想定が失敗した場合に投稿するメッセージ。
- 属性
注釈
userMessageが定数文字列リテラルでない場合、コントラクトはツールで認識されない可能性があります。
実行時に、このメソッドを使用することは、 Assert(Boolean, String) メソッドの使用と同じです。