ContractFailedEventArgs Class

Definition

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Source:

ContractFailedEventArgs.cs

Provides methods and data for the ContractFailed event.

public ref class ContractFailedEventArgs sealed : EventArgs

public sealed class ContractFailedEventArgs : EventArgs

type ContractFailedEventArgs = class
    inherit EventArgs

Public NotInheritable Class ContractFailedEventArgs
Inherits EventArgs

Inheritance

Object

EventArgs

ContractFailedEventArgs

Remarks

A ContractFailedEventArgs object is passed to the Contract.ContractFailed event when a contract fails. The ContractFailed event enables a managed application environment such as an interactive interpreter, a Web browser host, a test harness, or a logging infrastructure to be notified of contract failures. The event requires full trust.

Constructors

ContractFailedEventArgs(ContractFailureKind, String, String, Exception)

Provides data for the ContractFailed event.

Properties

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

Methods

Equals(Object)	Determines whether the specified object is equal to the current object. (Inherited from Object)
GetHashCode()	Serves as the default hash function. (Inherited from Object)
GetType()	Gets the Type of the current instance. (Inherited from Object)
MemberwiseClone()	Creates a shallow copy of the current Object. (Inherited from Object)
SetHandled()	Sets the Handled property to true.
SetUnwind()	Sets the Unwind property to true.
ToString()	Returns a string that represents the current object. (Inherited from Object)