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

Check assignment operations in Stateflow charts (Stateflow 차트에서 대입 연산 검사)

검사 ID: mathworks.hism.hisf_0065

Stateflow® 객체에서 대입 연산을 식별합니다.

설명

이 검사는 Stateflow 객체에서 정수 및 고정 소수점 산술 계산을 입력 데이터 유형보다 더 넓은 데이터 유형으로 묵시적으로 형변환하는 대입 연산을 식별합니다.

이 검사는 산술 연산이 포함된 대입만 식별합니다.

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

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

결과 및 권장 조치

상태권장 조치
Stateflow 객체가 정수와 고정 소수점 계산을 입력 데이터 유형보다 더 넓은 데이터 유형으로 변환하는 대입 연산으로 구성되어 있습니다.Stateflow 객체에서 대입 연산자(=)를 := 연산자로 명시적으로 대체합니다.

기능 및 제한 사항

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

  • 마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 마스크 내부 탐색는 모두로 설정됩니다.

  • 라이브러리에 연결된 블록의 콘텐츠를 분석합니다. 기본적으로 입력 파라미터 Follow links는 on로 설정됩니다.

  • C로 작성되어 Stateflow에 내장된 외부 함수는 이 검사에서 작동하지 않습니다.

참고 항목