Condividi tramite


ContractFailedEventArgs Classe

Definizione

Fornisce metodi e dati per l'evento ContractFailed.

public ref class ContractFailedEventArgs sealed : EventArgs
public sealed class ContractFailedEventArgs : EventArgs
type ContractFailedEventArgs = class
    inherit EventArgs
Public NotInheritable Class ContractFailedEventArgs
Inherits EventArgs
Ereditarietà
ContractFailedEventArgs

Commenti

Un ContractFailedEventArgs oggetto viene passato all'evento Contract.ContractFailed quando un contratto ha esito negativo. L'evento ContractFailed consente a un ambiente applicazione gestito, ad esempio un interprete interattivo, un host del Web browser, un test harness o un'infrastruttura di registrazione per ricevere una notifica degli errori del contratto. L'evento richiede l'attendibilità totale.

Costruttori

ContractFailedEventArgs(ContractFailureKind, String, String, Exception)

Fornisce dati per l'evento ContractFailed.

Proprietà

Condition

Ottiene la condizione dell'errore del contratto.

FailureKind

Ottiene il tipo di contratto non riuscito.

Handled

Indica se l'evento ContractFailed è stato gestito.

Message

Ottiene il messaggio nel quale è descritto l'evento ContractFailed.

OriginalException

Ottiene l'eccezione originale che ha causato l'evento ContractFailed.

Unwind

Indica se devono essere applicati i criteri di escalation del contratto di codice.

Metodi

Equals(Object)

Determina se l'oggetto specificato è uguale all'oggetto corrente.

(Ereditato da Object)
GetHashCode()

Funge da funzione hash predefinita.

(Ereditato da Object)
GetType()

Ottiene l'oggetto Type dell'istanza corrente.

(Ereditato da Object)
MemberwiseClone()

Crea una copia superficiale dell'oggetto Object corrente.

(Ereditato da Object)
SetHandled()

Imposta la proprietà Handled su true.

SetUnwind()

Imposta la proprietà Unwind su true.

ToString()

Restituisce una stringa che rappresenta l'oggetto corrente.

(Ereditato da Object)

Si applica a