ContractFailedEventArgs Classe

Definizione

Spazio dei nomi:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Source:

ContractFailedEventArgs.cs

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à

Object

EventArgs

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à completa.

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)