ContractFailedEventArgs クラス

定義

ContractFailed イベントのメソッドおよびデータを提供します。

public ref class ContractFailedEventArgs sealed : EventArgs
public sealed class ContractFailedEventArgs : EventArgs
type ContractFailedEventArgs = class
    inherit EventArgs
Public NotInheritable Class ContractFailedEventArgs
Inherits EventArgs
継承
ContractFailedEventArgs

注釈

ContractFailedEventArgsコントラクトが失敗すると、Contract.ContractFailedオブジェクトが イベントに渡されます。 この ContractFailed イベントを使用すると、対話型インタープリター、Web ブラウザー ホスト、テスト ハーネス、ログ インフラストラクチャなどのマネージド アプリケーション環境にコントラクトエラーが通知されます。 イベントには完全な信頼が必要です。

コンストラクター

ContractFailedEventArgs(ContractFailureKind, String, String, Exception)

ContractFailed イベントのデータを提供します。

プロパティ

Condition

コントラクトのエラーの条件を取得します。

FailureKind

失敗したコントラクトの型を取得します。

Handled

ContractFailed イベントが処理されたかどうかを示します。

Message

ContractFailed イベントを説明するメッセージを取得します。

OriginalException

ContractFailed イベントの原因となった元の例外を取得します。

Unwind

コードのコントラクトのエスカレーション ポリシーを適用するかどうかを示します。

メソッド

Equals(Object)

指定されたオブジェクトが現在のオブジェクトと等しいかどうかを判断します。

(継承元 Object)
GetHashCode()

既定のハッシュ関数として機能します。

(継承元 Object)
GetType()

現在のインスタンスの Type を取得します。

(継承元 Object)
MemberwiseClone()

現在の Object の簡易コピーを作成します。

(継承元 Object)
SetHandled()

Handled プロパティを true に設定します。

SetUnwind()

Unwind プロパティを true に設定します。

ToString()

現在のオブジェクトを表す文字列を返します。

(継承元 Object)

適用対象