Contract.EnsuresOnThrow メソッド

定義

名前空間:

System.Diagnostics.Contracts

アセンブリ:

System.Diagnostics.Contracts.dll

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

オーバーロード

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

EnsuresOnThrow<TException>(Boolean)

ソース:

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

テストする条件式。

属性

ConditionalAttribute

注釈

パラメーターはcondition、外側のメソッドまたはプロパティが異常終了し、型TExceptionの例外がスローされたときに想定されるtrue事後条件を指定します。

• このメソッド呼び出しは、他のコードの前に、メソッドまたはプロパティの先頭にある必要があります。

• このコントラクトはクライアントに公開されます。したがって、少なくとも外側のメソッドと同じくらい見えるメンバーのみを参照する必要があります。

• この事後条件の実行時の適用には、バイナリ リライターを使用する必要があります。

EnsuresOnThrow<TException>(Boolean, String)

ソース:

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")>]
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 の場合に表示するメッセージ。

属性

ConditionalAttribute

注釈

パラメーターはcondition、外側のメソッドまたはプロパティが異常終了し、型TExceptionの例外がスローされたときに想定されるtrue事後条件を指定します。 パラメーターは message 、条件 falseが の場合に表示するメッセージを指定します。

• このメソッド呼び出しは、他のコードの前に、メソッドまたはプロパティの先頭にある必要があります。

• このコントラクトはクライアントに公開されます。したがって、少なくとも外側のメソッドと同じくらい見えるメンバーのみを参照する必要があります。

• この事後条件の実行時の適用には、バイナリ リライターを使用する必要があります。

• が定数文字列リテラルでない場合 userMessage 、コントラクトはツールで理解されない可能性があります。