Main Content

이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

강력한 데이터 입력을 위해 Stateflow 차트를 확인하세요.

검사 ID: mathworks.hism.hisf_0015

Stateflow® 개체에서 다양한 데이터 유형을 사용하는 표현식의 변수와 매개변수를 식별합니다.

설명

강력한 데이터 유형 지정을 용이하게 하기 위해 이 검사는 Stateflow 상태 및 전환에서 다양한 데이터 유형을 사용하는 표현식의 변수 및 매개변수를 식별합니다.

Simulink® Check™로 구매 가능합니다.

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

결과 및 권장 조치

상태권장 조치
Stateflow 객체에는 다양한 데이터 유형의 표현식에 변수와 매개변수가 있습니다.

표현식의 변수와 매개변수를 동일한 데이터 유형으로 명시적으로 캐스팅합니다. 자세한 내용은 cast를 참조하세요.

기능 및 제한 사항

  • 라이브러리 모델에서는 실행되지 않습니다.

  • 블록 및 차트를 제외할 수 있습니다.

  • 마스크된 하위 시스템의 콘텐츠를 분석합니다. 기본적으로 입력 매개변수 Look under masks모든로 설정됩니다.

  • 라이브러리 링크 블록의 내용을 분석합니다. 기본적으로 입력 매개변수 Follow links켜기로 설정됩니다.

  • Stateflow 객체의 표현식에 있는 리터럴 유형을 분석하지 않습니다. 리터럴 유형을 의도한 데이터 유형으로 명시적으로 캐스팅합니다.

  • true 및 false 키워드로 표현식에 플래그를 지정하지 않습니다. 자세한 내용은 Other Common Reserved Keywords (Embedded Coder)를 참조하세요.

  • C로 작성되고 Stateflow에 포함된 외부 기능은 이 검사에서 작동하지 않습니다.

참조: