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