Unreachable execution path
Description
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, junctions, or ports not connected as a destination from a valid transition.
Unconditional paths out of states. In this chart, initially state
A
and stateB
are active. The chart then takes the unconditional transition to stateC
, and stateC
becomes active. The transition to stateB1
does not execute and stateB1
is unreachable.
Category: Diagnostics
Settings
Default: warning
none
No warning or error appears.
warning
A warning appears.
error
An error appears and stops the simulation.
Command-Line Information
Parameter: SFUnreachableExecutionPathDiag |
Value: 'none' | 'warning' | 'error' |
Default: 'warning' |
Recommended Settings
Application | Setting |
---|---|
Debugging | warning |
Traceability | No impact |
Efficiency | No impact (for simulation)none (for
production code generation) |
Safety precaution | error |
Related Topics
- Model Configuration Parameters: Stateflow Diagnostics
- Detect Modeling Errors During Edit Time (Stateflow)
- Dangling transition (Stateflow)
- Transition shadowing (Stateflow)
- Unreachable junction (Stateflow)
- Unreachable port or junction (Stateflow)
- Unreachable state (Stateflow)