Check Stateflow charts for uniquely defined data objects

Check ID: mathworks.hism.hisl_0061

Identify Stateflow^® charts that include data objects that are not uniquely defined.

Description

This check searches your model for local data in Stateflow charts that is not uniquely defined.

Available with Simulink^® Check™.

This check requires a Stateflow license.

Results and Recommended Actions

Condition	Recommended Action
The Stateflow chart contains a data object identifier defined in two or more scopes.	For the identified chart, do one of the following: Create a unique data object identifier within each of the scopes. Create a unique data object identifier within the chart, at the parent level.

Capabilities and Limitations

• This check does not look for usage of unique identifiers for Simulink signals.

• Runs on library models.

• Does not analyze content of library linked blocks.

• Analyzes content in all masked subsystems.

• Does not allow exclusions of blocks or charts.

See Also

• hisl_0061: Unique identifiers for clarity