共用方式為


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 事件可讓受控應用程式環境,例如互動式解釋器、網頁瀏覽器主機、測試配接器或記錄基礎結構,以收到合約失敗的通知。 此事件需要完全信任。

建構函式

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)

適用於