Contract.Assert 方法

定义

命名空间:

System.Diagnostics.Contracts

程序集:

System.Diagnostics.Contracts.dll

在调试版本中，针对指定条件执行运行时测试。

重载

Assert(Boolean)	检查条件；如果条件为 false，则遵循为分析器设置的升级策略。
Assert(Boolean, String)	检查条件；如果条件为 false，则遵循由分析器设置的升级策略，并显示指定的消息。

Assert(Boolean)

Source:

Contracts.cs

检查条件；如果条件为 false，则遵循为分析器设置的升级策略。

public:
 static void Assert(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
[System.Diagnostics.Conditional("DEBUG")]
public static void Assert (bool condition);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
[<System.Diagnostics.Conditional("DEBUG")>]
static member Assert : bool -> unit

Public Shared Sub Assert (condition As Boolean)

参数

condition

Boolean

要测试的条件表达式。

属性

ConditionalAttribute

注解

默认的升级策略是通知附加的调试器协定失败，或者如果未附加调试器，则显示“ 断言 ”对话框。 （可选）可以指示分析器引发异常。

Assert(Boolean, String)

Source:

Contracts.cs

检查条件；如果条件为 false，则遵循由分析器设置的升级策略，并显示指定的消息。

public:
 static void Assert(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assert (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assert : bool * string -> unit

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

参数

condition

Boolean

要测试的条件表达式。

userMessage

String

在不满足条件时要显示的消息。

属性

ConditionalAttribute

注解

默认的升级策略是通知附加的调试器协定失败，或者如果未附加调试器，则显示“ 断言 ”对话框。 （可选）可以指示分析器引发异常。 参数 userMessage 将传递到调试器输出。 如果 userMessage 不是常量字符串文本，则工具可能无法读取它。