Check usage of unary minus operations in Stateflow charts (Stateflow 차트에서 단항 마이너스 연산 사용 검사)

검사 ID: mathworks.maab.jc_0451

지침: jc_0451: 부호 없는 정수에서 단항 마이너스 사용

Stateflow^® 객체의 부호 없는 정수에 적용되는 단항 빼기 연산을 식별합니다.

Stateflow 객체의 부호 없는 정수에 대해 단항 빼기 연산을 수행하지 마세요.

이 검사에는 Simulink^® Check™ 및 Stateflow 라이선스가 필요합니다.

MAB 모델링 지침은 하위 ID를 하나만 제공하기 때문에 이 검사에는 하위 검사가 포함되지 않습니다.

참고로 NA-MAAB 및 JMAAB 모델링 표준 기관에서 사용하도록 권장하는 MAB 지침 하위 ID는 다음과 같습니다.

상태	권장 조치
단항 빼기 연산은 Stateflow 객체의 부호 없는 정수에 적용됩니다.	단항 빼기 연산에 대한 종속성을 제거하기 위해 지정된 객체를 수정합니다.
모델 어드바이저는 단항 빼기 연산이 포함된 표현식의 데이터 유형을 결정할 수 없습니다.	모델 어드바이저가 데이터 유형을 결정할 수 있도록 지정된 표현식을 명시적으로 형변환합니다.