Information
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.

PexAssertReachedEventArgs Class

 

Event argument when a reachability point is touched.

Namespace:   Microsoft.Pex.Framework
Assembly:  Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)

System::Object
  System::EventArgs
    Microsoft.Pex.Framework::PexAssertReachedEventArgs

[SerializableAttribute]
public ref class PexAssertReachedEventArgs sealed : EventArgs

NameDescription
System_CAPS_pubmethodPexAssertReachedEventArgs(String^)

Initializes a new instance of the class.

NameDescription
System_CAPS_pubpropertyLocation

Gets the location.

NameDescription
System_CAPS_pubmethodEquals(Object^)

(Inherited from Object.)

System_CAPS_pubmethodGetHashCode()

(Inherited from Object.)

System_CAPS_pubmethodGetType()

(Inherited from Object.)

System_CAPS_pubmethodToString()

(Inherited from Object.)

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Return to top
Show: