exponenta event banner

na_0001: Стандартное использование операторов Stateflow

Рекомендации по субидентификатору

  • NA-MAAB - Нет рекомендаций

  • JMAAB - a, b1/b2/b3, c

Версии MATLAB

Все

Правило

Sub ID a

Если для свойства Stateflow ® Chart (Stateflow) установлен Язык действий C, операторы (&, |, ^, ~) должен использоваться только для битовых операций.

Пользовательский параметр

Неприменимо

Пример - Правильно

Операторы (&, |, ^, ~) используются для битовых операций.

Пример - неверный

Операторы (&, |, ^, ~) не используются для битовых операций.

Субидентификатор b1

Если для свойства Stateflow Chart (Stateflow) для параметра Action Language установлено значение C, оператор ~= используется для операций с неравенством.

Пользовательский параметр

Неприменимо

Пример - Правильно

Субидентификатор b2

Если для свойства Stateflow Chart (Stateflow) для параметра Action Language установлено значение C, оператор != используется для операций с неравенством.

Пользовательский параметр

Неприменимо

Пример - Правильно

Субидентификатор b3

Если для свойства Stateflow Chart (Stateflow) для параметра Action Language установлено значение C, оператор <> используется для операций с неравенством.

Пользовательский параметр

Неприменимо

Пример - Правильно

Субидентификатор c

Если для свойства Stateflow Chart (Stateflow) для параметра Action Language установлено значение C, работа ! должен использоваться для логического отрицания.

Пользовательский параметр

Неприменимо

Пример - Правильно

Пример - неверный

Оператор, отличный от ! должен использоваться для логического отрицания.

Объяснение

Субидентификатор a:

  • Если одно из этих свойств диаграммы Stateflow установлено следующим образом:

    && и &, || , и|, имеют ту же функцию вычисления. Однако когда && и & или || и | объединяются в одну и ту же диаграмму, может быть трудно определить, являются ли они отдельными функциями вычисления или одной и той же функцией вычисления.

Вспомогательные идентификаторы b1, b2, b3:

  • Последовательное использование операторов равенства улучшает читаемость.

Субидентификатор c:

  • Последовательное использование операторов логического отрицания улучшает читаемость.

  • Когда активизированы операции С-разрядов, выбирается функция ! оператор остается прежним и на него не влияют логические изменения, возникающие в результате изменения настройки.

Проверка

Проверка модуля Model Advisor: проверка операторов потока состояния (Simulink Check)

Последнее изменение

R2020a

Представлен в R2020a