Main Content

No unconditional default transitions

Description

Select the diagnostic action to take when a chart does not have an unconditional default transition to a state.

This chart construct can cause inconsistency errors. To locate this construct in your model and correct it, use this diagnostic. If a chart contains local event broadcasts or implicit events, detection of a state inconsistency might not be possible until run time.

Category: Diagnostics

Settings

Default: error

none

No warning or error appears.

warning

A warning appears.

error

An error appears and stops the simulation.

Command-Line Information

Parameter: SFNoUnconditionalDefaultTransitionDiag
Value: 'none' | 'warning' | 'error'
Default: 'warning'

Recommended Settings

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

Related Topics