Contract.Assume メソッド
定義
常に true であるとは静的に証明されない場合でも、条件が true であると想定するようコード分析ツールに指示します。Instructs code analysis tools to assume that a condition is true, even if it cannot be statically proven to always be true.
オーバーロード
| Assume(Boolean) |
常に |
| Assume(Boolean, String) |
常に |
Assume(Boolean)
常に true であるとは静的に証明されない場合でも、指定された条件が true であると想定するようコード分析ツールに指示します。Instructs code analysis tools to assume that the specified condition is true, even if it cannot be statically proven to always be true.
public:
static void Assume(bool condition);public static void Assume (bool condition);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
[System.Diagnostics.Conditional("DEBUG")]
public static void Assume (bool condition);static member Assume : bool -> unit[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
[<System.Diagnostics.Conditional("DEBUG")>]
static member Assume : bool -> unitPublic Shared Sub Assume (condition As Boolean)パラメーター
- condition
- Boolean
true に想定する条件式。The conditional expression to assume true.
- 属性
注釈
実行時に、このメソッドを使用することは、メソッドを使用することと同じです Assert(Boolean) 。At run time, using this method is equivalent to using the Assert(Boolean) method.
適用対象
Assume(Boolean, String)
常に true であるとは静的に証明されない場合でも、条件が true であると想定するようコード分析ツールに指示し、想定が失敗した場合はメッセージを表示します。Instructs code analysis tools to assume that a condition is true, even if it cannot be statically proven to always be true, and displays a message if the assumption fails.
public:
static void Assume(bool condition, System::String ^ userMessage);public static void Assume (bool condition, string userMessage);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
[System.Diagnostics.Conditional("DEBUG")]
public static void Assume (bool condition, string userMessage);static member Assume : bool * string -> unit[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
[<System.Diagnostics.Conditional("DEBUG")>]
static member Assume : bool * string -> unitPublic Shared Sub Assume (condition As Boolean, userMessage As String)パラメーター
- condition
- Boolean
true に想定する条件式。The conditional expression to assume true.
- userMessage
- String
想定が失敗した場合にポストするメッセージ。The message to post if the assumption fails.
- 属性
注釈
userMessageが定数文字列リテラルでない場合は、ツールによってコントラクトが認識されない可能性があります。If userMessage is not a constant string literal, the contract may not be understood by tools.
実行時に、このメソッドを使用することは、メソッドを使用することと同じです Assert(Boolean, String) 。At run time, using this method is equivalent to using the Assert(Boolean, String) method.