Issue: State actions are not supported on atomic subcharts.

Diagnostic level: Error.

Solution: Delete the state actions or move them to a substate of the atomic subchart.

Issue: In a chart or state with exclusive (OR) decomposition and at least two substates or junctions, a default transition is required to indicate where the execution begins.

Diagnostic level: Error.

Solution: Specify an initial state by adding a default transition. For more information, see Use Default Transitions to Specify Initial Substate Activity.

Issue: Because graphical functions execute completely in a single time step, they must not contain any states.

Diagnostic level: Error.

Solution: Replace the states with junctions. For more information, see Reuse Logic Patterns by Defining Graphical Functions.

Issue: States and junctions must not overlap in the Stateflow Editor.

Diagnostic level: Error.

Solution: Avoid intersections by separating the states and junctions.

Issue: Charts and states with parallel (AND) decomposition do not support monitoring of leaf or child state activity because parallel substates are active simultaneously.

Diagnostic level: Warning.

Solution: Open the Property Inspector or the Model Explorer. Clear the Create output for monitoring check box or select Self activity from the drop-down list. For more information, see Monitor State Activity Through Active State Data.

Issue: A state action does not follow the Stateflow syntax rules. The Stateflow Editor underlines syntax errors with a red, wavy line. See also Transition Contains a Syntax Error.

Diagnostic level: Error.

Solution: Correct the syntax error in the state action. For more information, see Define Actions in a State.

Issue: A state is unreachable when no valid execution path leads to it.

Diagnostic level: Depends on the configuration parameter Unreachable execution path (Simulink).

Solution: Connect the unreachable state with a transition from a reachable source.

Issue: Every transition must have a valid destination.

Diagnostic level: Depends on the configuration parameter Unreachable execution path (Simulink).

Solution: Connect the transition to a state, junction, or port. For more information, see Transition Between Operating Modes.

Issue: In charts or states with exclusive (OR) decomposition and at least one substate:

Diagnostic level: Depends on the configuration parameter No unconditional default transitions (Simulink).

Solution: Terminate every branch of the default transition path in a substate. Ensure that one branch of the default transition path is not guarded by a condition or triggered by an event.

Issue: A default transition path must not exit the parent state.

Diagnostic level: Error.

Solution: Modify the default transition path so it stays within the parent state.

Issue: In a transition, a condition or action does not follow the Stateflow syntax rules. The Stateflow Editor underlines syntax errors with a red, wavy line. See also State Contains a Syntax Error.

Diagnostic level: Error.

Solution: Correct the syntax error in the transition condition or action. For more information, see Define Actions in a Transition.

Issue: When a transition with a transition action is followed by a transition with a condition action, the actions are not executed in the order of the transitions. Stateflow charts execute condition actions when the associated condition is evaluated as true. In contrast, charts execute transition actions only when the transition path is fully executed. As a consequence, a chart takes a transition path, the condition actions occur before the transition actions.

Diagnostic level: Depends on the configuration parameter Transition action specified before condition action (Simulink).

Solution: Place the transition action after the last condition action on the path.

Issue: In charts and states with parallel (AND) decomposition, all sibling substates are active or inactive at the same time.

Diagnostic level: Warning.

Solution: Remove the transitions or change the decomposition of the parent state to exclusive (OR).

Issue: Transitions must connect only to states and junctions.

Diagnostic level: Error.

Solution: Move or delete the transitions attached to the box.

Issue: Standalone charts in MATLAB^® do not support transitions that cross the boundary of a parallel state.

Diagnostic level: Error.

Solution: Delete the transition crossing into or out of the parallel states.

Issue: Transitions must not enter or exit a graphical function. Flow charts in graphical functions must be completely contained inside the function.

Diagnostic level: Error.

Solution: Delete the transition entering or exiting the graphical function.

Issue: Transition is not connected to the entry or exit port near its source or destination.

Diagnostic level: Warning.

Solution: Connect the transition to the port or move the transition source or destination to a different location.

Issue: If a transition goes outside the parent state between the source and destination, the chart executes the exit and entry actions of the parent state before the destination state becomes active.

Diagnostic level: Depends on the configuration parameter Transition outside natural parent (Simulink).

Solution: Move the transition so that it is contained within the parent state.

Issue: When an unconditional transition executes before other outgoing transitions from the same source, it prevents the other transitions from executing.

Diagnostic level: Depends on the configuration parameter Unreachable execution path (Simulink).

Solution: Create no more than one unconditional transition from each state or junction. Explicitly specify that the unconditional transition executes after any transitions with conditions. For more information, see Transition Evaluation Order.

Issue: Unconditional transitions leading out of a state prevent the execution of the during actions in the state and the transitions between child states.

Diagnostic level: Depends on the configuration parameter Transition outside natural parent (Simulink).

Solution: Add a condition to the transition or remove during actions and child states from the state.

Issue: Cycles should not contain transitions with transition actions.

Diagnostic level: Error.

Solution: Remove the transition action or remove the cycle by deleting a transition.

Issue: A history junction is invalid when:

Diagnostic level: Error.

Solution: Remove the history junction from the chart level of the hierarchy, a state with parallel (AND) decomposition, or a graphical function. Remove all but one history junction from the state. Move the transition source to a connective junction or a state. For more information, see Resume Prior Substate Activity by Using History Junctions.

Issue: A junction must have an unconditional escape path from a cycle to a state or terminating junction.

Diagnostic level: Error.

Solution: Create an unconditional path from the junction to a state or terminating junction.

Issue: Transition paths start at the same source state but have different parents.

Diagnostic level: Error.

Solution: Modify transition paths to have the same parent.

Issue: Unexpected backtracking of control flow can occur when multiple transition paths from the same source lead to a junction and the junction does not have an unconditional path to a state or terminating junction.

Diagnostic level: Depends on the configuration parameter Unexpected backtracking (Simulink).

Solution: Create an unconditional path from the junction to a state or terminating junction. For more information, see Backtrack in Flow Charts.

For example, the highlighted junction in this chart does not have an unconditional path to state A. If ConditionA and ConditionB are true and ConditionC is false, the chart backtracks to the first junction in the path multiple times. As a result, the chart executes the three condition actions.

To avoid backtracking, combine the conditions and create an unconditional path from the second junction to the destination state. After the change, the chart executes only one condition action.

Issue: A junction is unreachable when no valid execution path leads to it.

Diagnostic level: Depends on the configuration parameter Unreachable execution path (Simulink).

Solution: Connect the unreachable junction with a transition from a reachable source.

Issue: A function is unused when a chart when there are no statements that call the function.

Diagnostic level: Warning.

Solution: Call the function from a state or transition action or from another function.

Issue: A function definition uses a reserved keyword as an argument.

Diagnostic level: Error.

Solution: Rename the argument to the function. For a list of reserved keywords, see Guidelines for Naming Stateflow Objects.

Issue: An entry junction must have one transition path that is not guarded by a condition or triggered by an event.

Diagnostic level: Error.

Solution: Add an unconditional path from the entry junction to a state.

Issue: An entry junction does not connect to an outgoing transition path.

Diagnostic level: Error.

Solution: Attach transitions to the entry junction or remove the junction.

Issue: An exit port must have one transition path that is not guarded by a condition or triggered by an event.

Diagnostic level: Error.

Solution: Add an unconditional path from the exit port to a state.

Issue: An exit port does not connect to an outgoing transition path.

Diagnostic level: Error.

Solution: Attach transitions to the exit port or remove the port.

Issue: Entry and exit junctions are supported only in exclusive (OR) states and atomic subcharts.

Diagnostic level: Error.

Solution: Move the junction to an exclusive (OR) state or atomic subchart or delete the junction.

Issue: An entry or exit port must have a matching entry or exit junction.

Diagnostic level: Error.

Solution: Delete the port or create a matching junction with the same label.

Issue: Entry and exit junctions in the same parent must have unique labels.

Diagnostic level: Error.

Solution: Delete one of the junctions or change one of the labels.

Issue: Every path from an entry junction must lead to a state.

Diagnostic level: Error.

Solution: Replace the terminal junction with a state.

Issue: Every path from an exit port must lead to a state.

Diagnostic level: Error.

Solution: Replace the terminal junction with a state.

Issue: Transition paths from entry junctions must not connect to history junctions.

Diagnostic level: Error.

Solution: Remove the path from the entry junction to the history junction.

Issue: Inner transition paths must not connect to an exit junction.

Diagnostic level: Error.

Solution: Remove the path from the inner transition to the exit junction.

Issue: Transition paths that start at entry junctions or end at exit junctions must be contained in the parent state.

Diagnostic level: Error.

Solution: Modify the transition path to be contained in the parent state.

Issue: A port or junction is unreachable when no valid execution path leads to it.

Diagnostic level: Depends on the configuration parameter Unreachable execution path (Simulink).

Solution: Connect the unreachable entry port or exit junction with a transition from a reachable source.