Extensions.StateMachineProcedure.State
Revision as of 11:33, 19 January 2022 by Ntr2 (talk | contribs) (Created page with "{{DISPLAYTITLE:Data Type '''State'''}}Category:DataTypeCategory:StateMachine == Classification == {{ClassificationDataType | State | A Extensions.StateMachineProced...")
Classification
| Name | State |
| Short Description | A State within a state machine. |
| Class | Named And Specified |
| Base Data Type | |
| Default Value | Empty |
| Provide a Literal | No |
| SpecifiedBy | ISO 13209-4 |
| Standard Compliant | Yes |
Description
|
Important: A state can be referred by the target attribute of a transition. Therefore the name attribute is mandatory for states (unlike the base type NamedAndSpecified where it is optional). This is enforced by <xsd:key> constraints specified in the OTX schema. |
Sample
state : State1
{
}Checker rules
| StateMachineProcedure_Chk004 | Mandatory trigger |
| StateMachineProcedure_Chk005 | Mandatory transition |
