Check Stateflow charts for strong data typing (Stateflow 차트에서 강한 데이터형 지정 검사)

검사 ID: mathworks.hism.hisf_0015

Stateflow^® 객체에서 서로 다른 데이터 유형을 가진 표현식의 변수와 파라미터를 식별합니다.

강한 데이터형 지정을 용이하게 하기 위해 이 검사는 Stateflow 상태와 천이에서 서로 다른 데이터 유형을 가진 표현식의 변수와 파라미터를 식별합니다.

Simulink^® Check™와 함께 사용 가능합니다.

이 검사에는 Stateflow 라이선스가 필요합니다.

상태	권장 조치
Stateflow 객체가 서로 다른 데이터 유형을 가진 표현식의 변수와 파라미터를 가지고 있습니다.	표현식에서 변수와 파라미터를 동일한 데이터 유형으로 명시적으로 형변환합니다. 자세한 내용은 `cast` 항목을 참조하십시오.

라이브러리 모델에서는 실행되지 않습니다.
블록과 차트를 제외할 수 있습니다.
마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 마스크 아래 보기는 모두로 설정됩니다.
라이브러리에 연결된 블록의 내용을 분석합니다. 기본적으로 입력 파라미터 링크 따르기는 on로 설정됩니다.
Stateflow 객체의 표현식에 있는 리터럴 유형을 분석하지 않습니다. 리터럴 유형을 의도한 데이터 유형으로 명시적으로 형변환합니다.
true 및 false 키워드가 있는 표현식에는 플래그를 지정하지 않습니다. 자세한 내용은 Other Common Reserved Keywords (Embedded Coder) 항목을 참조하십시오.
C로 작성되어 Stateflow에 내장된 외부 함수는 이 검사에서 작동하지 않습니다.
어떤 경우에는 검사를 통해 데이터 유형을 판별할 수 없는 경우 정보 상태와 함께 보고됩니다.