Contract.Assume 方法

定义

命名空间:

System.Diagnostics.Contracts

程序集:

System.Diagnostics.Contracts.dll

指示代码分析工具假设某个条件为 true（即使无法静态地证明该条件始终为 true）。

重载

Assume(Boolean)	指示代码分析工具假设指定的条件为 true（即使无法静态地证明该条件始终为 true）。
Assume(Boolean, String)	指示代码分析工具假设某个条件为 true（即使无法静态地证明该条件始终为 true），并在假设失败时显示一条消息。

Assume(Boolean)

Source:

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)

Source:

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) 方法。