Main Content

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 or junctions not connected as a destination from a valid transition.

  • Unconditional paths out of states. In this chart, initially state A and state B are active. The chart then takes the unconditional transition to state C, and state C becomes active. The transition to state B1 does not execute and state B1 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

ApplicationSetting
Debuggingwarning
TraceabilityNo impact
EfficiencyNo impact (for simulation)
none (for production code generation)
Safety precautionerror

Related Topics