This documentation is archived and is not being maintained.

ContractFailedEventArgs Properties

The ContractFailedEventArgs type exposes the following members.

Public property Condition Gets the condition for the failure of the contract.
Public property FailureKind Gets the type of contract that failed.
Public property Handled Indicates whether the Contract.ContractFailed event has been handled.
Public property Message Gets the message that describes the Contract.ContractFailed event.
Public property OriginalException Gets the original exception that caused the Contract.ContractFailed event.
Public property Unwind Indicates whether the code contract escalation policy should be applied.