StateFlags Enumeration

A type representing the targetFlags of a state.

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

Usage

'Usage

Syntax

'Declaration
[SerializableAttribute] 
[FlagsAttribute] 
public enum StateFlags

Members

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.

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

Microsoft.SpecExplorer.ObjectModel Namespace