System.Diagnostics.Contracts.ContractFailedEventArgs Class Reference

Public Member Functions
	ContractFailedEventArgs (ContractFailureKind failureKind, string? message, string? condition, Exception? originalException)
void	SetHandled ()
void	SetUnwind ()

Static Public Attributes
static readonly EventArgs	Empty = new EventArgs()

Package Attributes
Exception	thrownDuringHandler

Properties
string?	Message [get]
string?	Condition [get]
ContractFailureKind	FailureKind [get]
Exception?	OriginalException [get]
bool	Handled [get]
bool	Unwind [get]

Private Attributes
readonly ContractFailureKind	_failureKind
readonly string	_message
readonly string	_condition
readonly Exception	_originalException
bool	_handled
bool	_unwind

Detailed Description

Definition at line 3 of file ContractFailedEventArgs.cs.

---

The documentation for this class was generated from the following file:

• source/System.Private.CoreLib/System.Diagnostics.Contracts/ContractFailedEventArgs.cs