ContractFailedEventArgs Classe

Riferimento

Definizione

Spazio dei nomi:: System.Diagnostics.Contracts

Assembly:: System.Diagnostics.Contracts.dll

Assembly:: mscorlib.dll

Assembly:: netstandard.dll

Source:: ContractFailedEventArgs.cs

Source:: ContractFailedEventArgs.cs

Source:: ContractFailedEventArgs.cs

Importante

Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.

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

Condividi tramite