Contract.EnsuresOnThrow 方法
定义
重要
一些信息与预发行产品相关，相应产品在发行之前可能会进行重大修改。 对于此处提供的信息，Microsoft 不作任何明示或暗示的担保。
基于提供的异常和条件为封闭方法或属性指定一个后置条件协定。
重载
| EnsuresOnThrow<TException>(Boolean) |
基于提供的异常和条件为封闭方法或属性指定一个后置条件协定。 |
| EnsuresOnThrow<TException>(Boolean, String) |
基于提供的异常和条件为封闭方法或属性指定后置条件协定，并指定条件为 |
EnsuresOnThrow<TException>(Boolean)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- 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
要测试的条件表达式。
- 属性
注解
参数condition指定在封闭方法或属性异常终止并引发 类型TException异常时预期的true后置条件。
此方法调用必须在方法或属性的开头，在任何其他代码之前。
此合同向客户端公开;因此，它只能引用至少与封闭方法一样可见的成员。
必须使用二进制重写器在运行时强制实施此后置条件。
适用于
EnsuresOnThrow<TException>(Boolean, String)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- 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")]
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 时要显示的消息。
- 属性
注解
参数condition指定在封闭方法或属性异常终止并引发 类型TException异常时预期的true后置条件。 参数 message 指定条件为 false时要显示的消息。
此方法调用必须在方法或属性的开头，在任何其他代码之前。
此合同向客户端公开;因此，它只能引用至少与封闭方法一样可见的成员。
必须使用二进制重写器在运行时强制实施此后置条件。
如果
userMessage不是常量字符串文本，则工具可能无法理解协定。
