na_0001: Standard usage of Stateflow operators

Рекомендации по идентификатору подраздела

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

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

Версии MATLAB

Все

Правило

Идентификатор подраздела a

Когда Stateflow® Chart Stateflow Action Language установлено в 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:

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

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

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

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

Идентификатор подмножества c:

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

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

Верификация

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

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

R2020a

Введенный в R2020a