情報
要求されたトピックは次のとおりです。しかし、このトピックはこのライブラリには含まれていません。

Contract.EnsuresOnThrow<TException> メソッド (Boolean, String)

2013/12/12

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

Namespace:  System.Diagnostics.Contracts
アセンブリ:  mscorlib (mscorlib.dll 内)

[ConditionalAttribute("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException>(
	bool condition,
	string userMessage
)
where TException : Exception

型パラメーター

TException

実行後の状態のチェックを起動する例外の種類。

パラメーター

condition
型: System.Boolean
テストする条件式。
userMessage
型: System.String
式が false の場合に表示するメッセージ。

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

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

  • このコントラクトは、クライアントに公開されるため、外側のメソッド以上の参照可能範囲のメンバーだけを参照する必要があります。

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

  • userMessage が定数文字列リテラルではない場合は、コントラクトは、ツールによって不明な場合があります。

Windows Phone OS

サポート: 8.0

表示: