LI Implementation of MAAB 5.0 Rule jc_0700

Checks Diagnostic Setting Unused data, events, messages and functions for Stateflow objects to be at least set to warning level.

Note

The check is implemented as literally defined in MAAB 5.0 jc_0700. Unlike the example given in the guideline document might be interpreted, no stateflow object will actually be checked for usage here. Only the diagnostic setting is taken into account. Actual checking then should be conducted on every intialisation by Simulink/Stateflow.

Parameters

None.