StateFlags Enumeration
A type representing the targetFlags of a state.
Namespace: Microsoft.SpecExplorer.ObjectModel
Assembly: Microsoft.SpecExplorer.ObjectModel (in Microsoft.SpecExplorer.ObjectModel.dll)
Namespace: Microsoft.SpecExplorer.ObjectModel
Assembly: Microsoft.SpecExplorer.ObjectModel (in Microsoft.SpecExplorer.ObjectModel.dll)
| Member name | Description |
|---|---|
| Accepting | Whether this is an accepting state (a test suite has been passed in this state). State kind flag. |
| BoundStopped | All bound stopped flags. |
| Dead | Whether this is a dead state (no outgoing path reaches an accepting state) |
| Error | Whether this is an error state (an assertion is violated when this state is reached). State kind flag. |
| ExplorationErrorBoundStopped | Leads to a state in which exploration stopped because of exploration error bound. State stopped reason flag. |
| NonAcceptingEnd | Whether this is a non-accepting state with no outgoing steps. State stopped reason flag. |
| None | No flags set. |
| PathDepthBoundStopped | Leads to a state in which exploration stopped because of a path bound. State stopped reason flag. |
| StateBoundStopped | Leads to a state in which exploration stopped because of a state bound. State stopped reason flag. |
| StepBoundStopped | Leads to a state in which exploration stopped because of step bound. State stopped reason flag. |
| StepsPerStateBoundStopped | Leads to a state in which exploration stopped because of step per state bound. State stopped reason flag. |
| StoppedReasonFlags | Set all state stopped reason flags. |
| UserStopped | Leads to a state in which exploration has been stopped by the user. State stopped reason flag. |
Development Platforms
Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003
Community Additions
ADD
Show: