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)

常に 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.

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.

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 -> unit
Public 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 -> unit
Public 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.

適用対象