Contract.Assume メソッド

  • リファレンス

定義

名前空間:
System.Diagnostics.Contracts
アセンブリ:
System.Diagnostics.Contracts.dll
アセンブリ:
mscorlib.dll
アセンブリ:
netstandard.dll

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

オーバーロード

Assume(Boolean)

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

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

Assume(Boolean)

ソース:
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 -> unit
Public Shared Sub Assume (condition As Boolean)

パラメーター

condition
Boolean

true に想定する条件式。

属性
ConditionalAttribute

注釈

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

適用対象

Assume(Boolean, String)

ソース:
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 -> unit
Public Shared Sub Assume (condition As Boolean, userMessage As String)

パラメーター

condition
Boolean

true に想定する条件式。

userMessage
String

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

属性
ConditionalAttribute

注釈

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

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

適用対象