Check MATLAB Code Analyzer messages

mathworks.hism.himl_0004

Dependencies: Simulink^® Check™

Usage: High-Integrity System Modeling

Guideline: himl_0004: MATLAB Code Analyzer recommendations for code generation

Description

Use this check to verify MATLAB^® functions for the presence of the %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.

This check verifies the following:

MATLAB code in MATLAB Function blocks
MATLAB functions defined in Stateflow^® charts
MATLAB functions called from MATLAB Function blocks

Check Parameters

Use the Model Advisor Configuration Editor to define the scope of the analysis by specifying the input parameters.

Parameter Description

Parameter	Description
Check external .m files referenced in the model	Specify whether to run on referenced MATLAB files in the model. `on` (default) \| `off`
Follow links	Specify whether to include content of library-linked blocks in the analysis. `on` (default) \| `off`
Look under masks	Specify whether to include masked model elements in the analysis. `all` (default) \| `none` \| `graphical` \| `functional` `all` — Check analysis includes all masked model elements. `none` — Check analysis excludes masked model elements. `graphical` — Check analysis includes only the graphical masked model elements. `functional` — Check analysis includes only the functional masked model elements.

Check external .m files referenced in the model

Specify whether to run on referenced MATLAB files in the model.

on (default) | off

Follow links

Specify whether to include content of library-linked blocks in the analysis.

on (default) | off

Look under masks

Specify whether to include masked model elements in the analysis.

all (default) | none | graphical | functional

all — Check analysis includes all masked model elements.
none — Check analysis excludes masked model elements.
graphical — Check analysis includes only the graphical masked model elements.
functional — Check analysis includes only the functional masked model elements.

Recommended Actions and Results

Review the violations that are flagged by the check and the recommended action for fixing the issue. After applying the changes, save the model and rerun the check analysis.

Modeling Condition	Recommended Action
For MATLAB code in MATLAB Function blocks: Code lines are not justified with a `%#ok` comment. Codes lines justified with `%#ok` do not specify a message id.	Implement MATLAB Code Analyzer recommendations. Justify not following MATLAB Code Analyzer recommendations with a `%#ok` comment. Specify justified code lines with a message id. For example, `%#ok<NOPRT>`.
For MATLAB functions defined in Stateflow charts: Code lines are not justified with a `%#ok` comment. Codes lines justified with `%#ok` do not specify a message id.	Implement MATLAB Code Analyzer recommendations. Justify not following MATLAB Code Analyzer recommendations with a `%#ok` comment. Specify justified code lines with a message id. For example, `%#ok<NOPRT>`.
For called MATLAB functions: Code does not have the `%#codegen` directive. Code lines are not justified with a `%#ok` comment. Codes lines justified with `%#ok` do not specify a message id.	Insert `%#codegen` directive in the MATLAB code. Implement MATLAB Code Analyzer recommendations. Justify not following MATLAB Code Analyzer recommendations with a `%#ok` comment. Specify justified code lines with a message id, such as `%#ok<NOPRT>`.

Capabilities and Limitations

Analyzes only the functions that are directly referenced by the Simulink model
Runs on library models
Allows exclusions of blocks and charts
Analyzes both active and inactive variant choices
Does not require model compilation

Version History

Introduced in R2016a