Contract.EnsuresOnThrow メソッド

定義

指定された例外および条件に基づいて、外側のメソッドまたはプロパティに実行後の状態のコントラクトを指定します。

オーバーロード

EnsuresOnThrow<TException>(Boolean)

指定された例外および条件に基づいて、外側のメソッドまたはプロパティに実行後の状態のコントラクトを指定します。

EnsuresOnThrow<TException>(Boolean, String)

指定された例外および条件に基づいて、実行後の状態のコントラクトと、外側のメソッドまたはプロパティの条件が false の場合に表示するメッセージを指定します。

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 、コントラクトがツールで認識されない可能性があります。

適用対象