jc_0802: Prohibited use of implicit type casting in Stateflow

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

  • NA-MAAB — a

  • JMAAB — a

Версии MATLAB

Все

Правило

ID Sub a

Все операции, включая замену, сравнение, арифметику, и т.д., должны выполняться между переменными совпадающего типа данных.

Тип данных действительных аргументов и формальных аргументов в вызове функции должен быть тем же самым.

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

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

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

Переменные используют совпадающий тип данных для вычислений.

Пример: операция Comparison

Пример: Арифметические операции и операции присвоения (соединяют выражения),

Переменные имеют различные типы данных, но явным образом преобразованы тип перед вычислением.

Пример: операция Comparison

Пример: Арифметические операции и операции присвоения (соединяют выражения),

Тип данных действительных аргументов и формальных аргументов в вызове функции является тем же самым.

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

Переменные используют различные типы данных для вычислений.

Пример: операция Comparison

Пример: Арифметические операции и операции присвоения (соединяют выражения),

Вычисления выполняются между переменными типа беззнаковых целых чисел и целыми числами со знаком.

Тип данных действительных аргументов и формальных аргументов в вызове функции отличается.

Объяснение

ID Sub a:

  • Неявное преобразование типа данных может привести к неожиданным результатам.

Верификация

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

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

R2020a

Введенный в R2020a