Contract.Assume メソッド

定義

名前空間:

System.Diagnostics.Contracts

アセンブリ:

System.Diagnostics.Contracts.dll

常に true であるとは静的に証明されない場合でも、条件が true であると想定するようコード分析ツールに指示します。

オーバーロード

Assume(Boolean)	常に true であるとは静的に証明されない場合でも、指定された条件が true であると想定するようコード分析ツールに指示します。
Assume(Boolean, String)	常に true であるとは静的に証明されない場合でも、条件が true であると想定するようコード分析ツールに指示し、想定が失敗した場合はメッセージを表示します。

Assume(Boolean)

ソース:

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 に想定する条件式。

属性

ConditionalAttribute

注釈

実行時に、このメソッドを使用することは、 メソッドの使用と Assert(Boolean) 同じです。

Assume(Boolean, String)

ソース:

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")>]
static member Assume : bool * string -> unit

Public Shared Sub Assume (condition As Boolean, userMessage As String)

パラメーター

condition

Boolean

true に想定する条件式。

userMessage

String

想定が失敗した場合にポストするメッセージ。

属性

ConditionalAttribute

注釈

が定数文字列リテラルでない場合 userMessage 、コントラクトはツールで理解されない可能性があります。

実行時に、このメソッドを使用することは、 メソッドの使用と Assert(Boolean, String) 同じです。