Unreachable execution path
Select the diagnostic action to take when there are chart constructs not on a valid execution path. These constructs can cause unreachable execution paths:
Dangling transitions not connected to a destination object.
Transition shadowing caused by an unconditional transition originating from a source that prevents other transitions from the same source from executing.
States or junctions not connected as a destination from a valid transition.
Unconditional paths out of states. In this chart, initially state
Bare active. The chart then takes the unconditional transition to state
C, and state
Cbecomes active. The transition to state
B1does not execute and state
No warning or error appears.
A warning appears.
An error appears and stops the simulation.
|Efficiency||No impact (for simulation)|