Contract.EnsuresOnThrow メソッド
定義
重要
一部の情報は、リリース前に大きく変更される可能性があるプレリリースされた製品に関するものです。 Microsoft は、ここに記載されている情報について、明示または黙示を問わず、一切保証しません。
指定された例外と条件に基づいて、外側のメソッドまたはプロパティの事後条件コントラクトを指定します。
オーバーロード
| 名前 | 説明 |
|---|---|
| EnsuresOnThrow<TException>(Boolean) |
指定された例外と条件に基づいて、外側のメソッドまたはプロパティの事後条件コントラクトを指定します。 |
| EnsuresOnThrow<TException>(Boolean, String) |
指定された例外と条件に基づいて、条件が外側のメソッドまたはプロパティに |
EnsuresOnThrow<TException>(Boolean)
指定された例外と条件に基づいて、外側のメソッドまたはプロパティの事後条件コントラクトを指定します。
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)
指定された例外と条件に基づいて、条件が外側のメソッドまたはプロパティに 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されている場合に表示するメッセージ。
- 属性
注釈
condition パラメーターは、外側のメソッドまたはプロパティが異常終了し、TException型の例外がスローされたときにtrueされることが予想される事後条件を指定します。
message パラメーターは、条件がfalse場合に表示するメッセージを指定します。
このメソッド呼び出しは、他のコードの前に、メソッドまたはプロパティの先頭にある必要があります。
このコントラクトはクライアントに公開されます。したがって、少なくとも外側のメソッドと同じくらい見えるメンバーのみを参照する必要があります。
この事後条件を実行時に適用するには、バイナリ リライターを使用する必要があります。
userMessageが定数文字列リテラルでない場合、コントラクトはツールで認識されない可能性があります。