na_0001: Standard usage of Stateflow operators

Рекомендации ID Sub

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

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

Версии MATLAB

Все

Правило

ID Sub a

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

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

Не применяется

Пример — правильный

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

Пример — неправильный

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

Sub ID b1

Когда Язык Действия свойства Stateflow Chart (Stateflow) установлен в C, оператор ~= буду использоваться для операций неравенства.

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

Не применяется

Пример — правильный

Sub ID b2

Когда Язык Действия свойства Stateflow Chart (Stateflow) установлен в Cоператор = буду использоваться для операций неравенства.

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

Не применяется

Пример — правильный

Sub ID b3

Когда Язык Действия свойства Stateflow Chart (Stateflow) установлен в C, оператор <> буду использоваться для операций неравенства.

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

Не применяется

Пример — правильный

ID Sub c

Когда Язык Действия свойства Stateflow Chart (Stateflow) установлен в C, операция ! буду использоваться для логического отрицания.

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

Не применяется

Пример — правильный

Пример — неправильный

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

Объяснение

ID Sub a:

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

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

Идентификаторы Sub b1, b2, b3:

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

ID Sub c:

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

  • То, когда операции C-bit включены, выбрано, функция ! оператор остается то же самое и не затронут логическими изменениями, которые следуют из изменения настроек.

Верификация

Проверка Model Advisor: Проверяйте операторы Stateflow (Simulink Check)

В последний раз измененный

R2020a

Введенный в R2020a