Contract.EnsuresOnThrow 方法

定义

命名空间:

System.Diagnostics.Contracts

程序集:

System.Diagnostics.Contracts.dll

基于提供的异常和条件为封闭方法或属性指定一个后置条件协定。

重载

EnsuresOnThrow<TException>(Boolean)	基于提供的异常和条件为封闭方法或属性指定一个后置条件协定。
EnsuresOnThrow<TException>(Boolean, String)	基于提供的异常和条件为封闭方法或属性指定后置条件协定，并指定条件为 false 时要显示的消息。

EnsuresOnThrow<TException>(Boolean)

Source:

Contracts.cs

基于提供的异常和条件为封闭方法或属性指定一个后置条件协定。

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition) where TException : Exception;

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool -> unit (requires 'Exception :> Exception)

Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean)

类型参数

TException

引发后置条件检查的异常的类型。

参数

condition

Boolean

要测试的条件表达式。

属性

ConditionalAttribute

注解

参数condition指定在封闭方法或属性异常终止并引发 类型TException异常时预期的true后置条件。

• 此方法调用必须在方法或属性的开头，在任何其他代码之前。

• 此合同向客户端公开;因此，它只能引用至少与封闭方法一样可见的成员。

• 必须使用二进制重写器在运行时强制实施此后置条件。

EnsuresOnThrow<TException>(Boolean, String)

Source:

Contracts.cs

基于提供的异常和条件为封闭方法或属性指定后置条件协定，并指定条件为 false 时要显示的消息。

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition, string? userMessage) where TException : Exception;

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool * string -> unit (requires 'Exception :> Exception)

Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean, userMessage As String)

类型参数

TException

引发后置条件检查的异常的类型。

参数

condition

Boolean

要测试的条件表达式。

userMessage

String

表达式为 false 时要显示的消息。

属性

ConditionalAttribute

注解

参数condition指定在封闭方法或属性异常终止并引发 类型TException异常时预期的true后置条件。 参数 message 指定条件为 false时要显示的消息。

• 此方法调用必须在方法或属性的开头，在任何其他代码之前。

• 此合同向客户端公开;因此，它只能引用至少与封闭方法一样可见的成员。

• 必须使用二进制重写器在运行时强制实施此后置条件。

• 如果 userMessage 不是常量字符串文本，则工具可能无法理解协定。