Contract.ContractFailed イベント

定義

コントラクトが失敗したときに発生します。

public:
 static event EventHandler<System::Diagnostics::Contracts::ContractFailedEventArgs ^> ^ ContractFailed;
public static event EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs> ContractFailed;
[add: System.Security.SecurityCritical]
[remove: System.Security.SecurityCritical]
public static event EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs> ContractFailed;
member this.ContractFailed : EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs> 
[<add: System.Security.SecurityCritical>]
[<remove: System.Security.SecurityCritical>]
member this.ContractFailed : EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs> 
Public Shared Custom Event ContractFailed As EventHandler(Of ContractFailedEventArgs) 

イベントの種類

属性

注釈

このイベントのイベント情報は、イベント ハンドラーに渡される System.Diagnostics.Contracts.ContractFailedEventArgs オブジェクトによって提供されます。 このイベントは、対話型インタープリターや Web ブラウザー ホストなどのマネージド アプリケーション環境に、コントラクトが失敗したことを通知します。 その前に、アプリケーションが適切に処理できるイベントが発生します。 たとえば、コードがテスト フレームワークで実行されている場合は、テストエラーをログに記録し、テストを終了できます。

.NET Framework クラス ライブラリの RaiseContractFailedEvent メソッドの既定の実装では、ContractFailed イベントに登録されている各ハンドラーを呼び出します。 ハンドラーによってスローされる例外は無視されますが、各ハンドラーは、イベント引数の SetHandled メソッドを呼び出すことによってエラーが処理されるかどうかを示すことができます。 ハンドラーによってエラーが処理されたとして設定されている場合、メソッドは null を返し、それ以上のアクションは実行されません。 または、ハンドラーは SetUnwind メソッドを呼び出して、アンワインドするようにコードに指示することもできます。 その場合、すべてのハンドラーが実行された後に例外がスローされます。

適用対象