The members of System.Diagnostics.Contracts.ContractFailedEventArgs are listed below.
See Also: Inherited members from System.EventArgs
Public Constructors
Provides data for the Contract.ContractFailed event. |
Public Properties
| [read-only] | Condition | string.
Gets the condition for the failure of the contract. |
| [read-only] | FailureKind | ContractFailureKind.
Gets the type of contract that failed. |
| [read-only] | Handled | bool.
Indicates whether the Contract.ContractFailed event has been handled. |
| [read-only] | Message | string.
Gets the message that describes the Contract.ContractFailed event. |
| [read-only] | OriginalException | Exception.
Gets the original exception that caused the Contract.ContractFailed event. |
| [read-only] | Unwind | bool.
Indicates whether the code contract escalation policy should be applied. |
Public Methods
SetHandled()
| ||
SetUnwind()
| ||