Contract.EnsuresOnThrow メソッド
定義
重要
一部の情報は、リリース前に大きく変更される可能性があるプレリリースされた製品に関するものです。 Microsoft は、ここに記載されている情報について、明示または黙示を問わず、一切保証しません。
指定された例外および条件に基づいて、外側のメソッドまたはプロパティに実行後の状態のコントラクトを指定します。
オーバーロード
| EnsuresOnThrow<TException>(Boolean) |
指定された例外および条件に基づいて、外側のメソッドまたはプロパティに実行後の状態のコントラクトを指定します。 |
| EnsuresOnThrow<TException>(Boolean, String) |
指定された例外および条件に基づいて、実行後の状態のコントラクトと、外側のメソッドまたはプロパティの条件が |
EnsuresOnThrow<TException>(Boolean)
- ソース:
- Contracts.cs
- ソース:
- Contracts.cs
- ソース:
- 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)
- ソース:
- Contracts.cs
- ソース:
- Contracts.cs
- ソース:
- 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、コントラクトがツールで認識されない可能性があります。
適用対象
.NET