StateFlags Enumeration

A type representing the targetFlags of a state.


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

'Usage

Member nameDescription
AcceptingWhether this is an accepting state (a test suite has been passed in this state).
State kind flag.
BoundStoppedAll bound stopped flags.
DeadWhether this is a dead state (no outgoing path reaches an accepting state)
ErrorWhether this is an error state (an assertion is violated when this state is reached).
State kind flag.
ExplorationErrorBoundStoppedLeads to a state in which exploration stopped because of exploration error bound.
State stopped reason flag.
NonAcceptingEndWhether this is a non-accepting state with no outgoing steps.
State stopped reason flag.
NoneNo flags set.
PathDepthBoundStoppedLeads to a state in which exploration stopped because of a path bound.
State stopped reason flag.
StateBoundStoppedLeads to a state in which exploration stopped because of a state bound.
State stopped reason flag.
StepBoundStoppedLeads to a state in which exploration stopped because of step bound.
State stopped reason flag.
StepsPerStateBoundStoppedLeads to a state in which exploration stopped because of step per state bound.
State stopped reason flag.
StoppedReasonFlagsSet all state stopped reason flags.
UserStoppedLeads 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: