ContractFailedEventArgs 類別

定義

命名空間:

System.Diagnostics.Contracts

組件:

System.Diagnostics.Contracts.dll

來源:

ContractFailedEventArgs.cs

提供 ContractFailed 事件的方法與資料。

public ref class ContractFailedEventArgs sealed : EventArgs

public sealed class ContractFailedEventArgs : EventArgs

type ContractFailedEventArgs = class
    inherit EventArgs

Public NotInheritable Class ContractFailedEventArgs
Inherits EventArgs

繼承

Object

EventArgs

ContractFailedEventArgs

備註

ContractFailedEventArgs當合約失敗時，Contract.ContractFailed物件會傳遞至 事件。 此 ContractFailed 事件可讓受控應用程式環境，例如互動式解釋器、網頁瀏覽器主機、測試配接器或記錄基礎結構，以收到合約失敗的通知。 此事件需要完全信任。

建構函式

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)