Describes a status change. More...

Inheritance diagram for OpenTestSystem.Otx.Extensions.StateMachineProcedure.DataTypes.Transition:

Public Attributes
ConditionHeader	condition
	Cardinality [0..1] Condition that has to return true in order to execute the branch. For the last branch at the right hand side no condition is necessary. More...

Flow	flow
	Cardinality [0..1] Optional flow which is executed if the condition is true before switching to the new state. More...

OtxName	target
	Cardinality [0..1] Defines the next state to which the state-machine should be switched. The new state can be the same state. More...

TriggerRefs	triggerRefs
	Cardinality [1] Refers to one or more triggers defined in this state. More...

Public Attributes inherited from OpenTestSystem.Otx.Core.UniversalTypes.NamedAndSpecified
ExtensibleData[]	extendedData
	Declares general data for NamedAndSpecified which can be extented by new general data defined in new OTX extensions using the standardised extension mechanism. For example it can be used to specify specification relevant content in a better structured way. More...

OtxId	id
	Unique identifier of an element More...

MetaData	metaData
	Additional tool-specific data More...

OtxName	name
	Name of an element More...

NamedAndSpecifiedSpecification[]	specification
	Descriptive specification More...

Detailed Description

Describes a status change.

A transition describes a change bwteen states. For this, the transition refers to one or more triggers. As soon as an event within the triggers occurs and a condition is checked. If the condition is TRUE, the next status will be jumped, see TargetState. No further transitions are evaluated. If the condition returns FALSE, the next transition will be checked in order of OTX occurence. If no condition is met, the status will not be changed. If no condition is defined, the system jumps directly to the next status. A status change can also be made to the same status. Optionally, the Flow can be executed immediately before the status change.

Checker rules: Core.CheckerRule.Core_Chk055 - Unreachable nodes
CheckerRule.StateMachineProcedure_Chk002 – Mandatory target state
CheckerRule.StateMachineProcedure_Chk003 – No target state for completed state
CheckerRule.StateMachineProcedure_Chk009 – Correct nesting of transition target state

Member Data Documentation

◆ condition

ConditionHeader OpenTestSystem.Otx.Extensions.StateMachineProcedure.DataTypes.Transition.condition

Cardinality [0..1]
Condition that has to return true in order to execute the branch. For the last branch at the right hand side no condition is necessary.

◆ flow

Flow OpenTestSystem.Otx.Extensions.StateMachineProcedure.DataTypes.Transition.flow

Cardinality [0..1]
Optional flow which is executed if the condition is true before switching to the new state.

◆ target

OtxName OpenTestSystem.Otx.Extensions.StateMachineProcedure.DataTypes.Transition.target

Cardinality [0..1]
Defines the next state to which the state-machine should be switched. The new state can be the same state.

◆ triggerRefs

TriggerRefs OpenTestSystem.Otx.Extensions.StateMachineProcedure.DataTypes.Transition.triggerRefs