Check for inappropriate use of transition paths

Check ID: mathworks.hism.hisf_0014

Description

This check inspects the use of junctions inside states and identifies the junctions that lie on a path that goes in and out of a state.

Available with Simulink^® Check™.

This check requires a Stateflow^® license.

Results and Recommended Actions

Condition	Recommended Action
One or more transition paths in the model traverses through a state without ending on a substate.	Remodel the junctions to avoid transition paths that go into and out of a state without ending on a substate.

Capabilities and Limitations

• Runs on library models.

• Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to all.

• Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to on.

See Also

• hisf_0014: Usage of transition paths (passing through states)