Partilhar via


DynamicTraversalBase.StateReached Event

State notification handler which can be used to collect state coverage information.

Namespace: Microsoft.SpecExplorer.DynamicTraversal
Assembly: Microsoft.SpecExplorer.DynamicTraversal (in Microsoft.SpecExplorer.DynamicTraversal.dll)

Usage

'Usage

Syntax

'Declaration
protected event StateNotificationHandler StateReached

Platforms

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003

See Also

Reference

DynamicTraversalBase Class
DynamicTraversalBase Members
Microsoft.SpecExplorer.DynamicTraversal Namespace