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 对话框（如果未附加调试器）。 （可选）可以指示分析器引发异常。

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

注解

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