이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
Check for implicit type casting in Stateflow (Stateflow에 묵시적 형변환이 있는지 검사)
검사 ID: mathworks.jmaab.jc_0802
지침: jc_0802: Stateflow®에서 허용되지 않는 묵시적 형변환 사용
설명
Stateflow에서 묵시적 형변환을 식별합니다.
이 검사에는 Simulink® Check™ 및 Stateflow 라이선스가 필요합니다.
파라미터화 검사
MAB 모델링 지침은 하위 ID를 하나만 제공하기 때문에 이 검사에는 하위 검사가 포함되지 않습니다.
참고로 NA-MAAB 및 JMAAB 모델링 표준 기관에서 사용하도록 권장하는 MAB 지침 하위 ID는 다음과 같습니다.
NA-MAAB — a
JMAAB — a
결과 및 권장 조치
| 상태 | 권장 조치 |
|---|---|
| Stateflow 차트에서 하나 이상의 연산 및/또는 함수 호출에서 데이터 유형이 일치하지 않습니다. | 모든 연산과 함수 호출은 동일한 데이터 유형의 변수 사이에서 이루어져야 합니다. 데이터 유형이 다르면 변수를 명시적으로 형변환하여 데이터 유형을 동일하게 맞춰야 합니다. |
기능 및 제한 사항
열거형이 전체 클래스 이름으로 지정되지 않은 경우 이 검사는 Stateflow의 열거형을 분석하지 않습니다. 예를 들어, 열거형 클래스의 이름이
Colors이고 열거형 중 하나가Red인 경우 올바른 사용법은Colors.Red입니다.이 검사는 고정 소수점 상황에 맞는 상수를 분석하지 않습니다.
이 검사는
Simulink.IntEnumType를 별도의 데이터 유형으로 간주합니다.라이브러리 모델에서는 실행되지 않습니다.
블록이나 차트를 제외할 수 있습니다.
라이브러리에 연결된 블록의 콘텐츠를 분석합니다. 기본적으로 입력 파라미터 Follow links는
on로 설정됩니다.마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 마스크 내부 탐색는
그래픽로 설정됩니다.C 함수 호출과 반환 값을 분석하지 않습니다.
어떤 경우에는 검사를 통해 데이터 유형을 판별할 수 없는 경우 정보 상태와 함께 보고됩니다.
Truth Table (Stateflow) 블록과 Stateflow 전환 테이블을 지원하지 않습니다.