이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
인덱스 신호가 있는 블록의 데이터 유형 확인
검사 ID: mathworks.hism.hisl_0022
설명
이 검사는 정수 또는 열거형 이외의 데이터 유형을 갖고 인덱스 값 범위 내에 있는 인덱스 신호가 있는 블록을 식별합니다.
이 검사는 Simulink의 다음 대상 구성요소에 적용됩니다.
이 검사를 통해 인덱싱을 위한 다음 데이터 유형이 허용됩니다.
int8
uint8
int16
uint16
int32
uint32
int64
uint64
enum(이전의 데이터 유형 상태와 기본 유형이 동일함)
참고
인덱스 벡터의 최대 크기는 int32바이트를 초과할 수 없습니다. 자세한 내용은 Maximum Size Limits of Simulink Models을 참조하세요.
이 확인은 Stateflow의 다음 대상 구성 요소에 적용됩니다.
상태 및 전환
다중 포트 스위치에 대해 다음과 같은 경우를 고려할 수 있습니다.
'Default Case의 데이터 포트'는 '마지막 데이터 포트'로 설정되고, '데이터 포트 순서'는 '0부터 시작하여 연속'으로 설정됩니다. 검사를 위해 예상되는 최대 데이터 포트 수는 "DATATYPE_MAX+2"이고 데이터 유형은 인덱스 신호입니다.
'Default Case의 데이터 포트'는 '마지막 데이터 포트'로 설정되고, '데이터 포트 순서'는 '1부터 시작하여 연속'으로 설정됩니다. 검사를 위해 예상되는 최대 데이터 포트 수는 "DATATYPE_MAX+1"이고 데이터 유형은 인덱스 신호입니다.
'Default Case의 데이터 포트'는 '추가 데이터 포트'로 설정되고, '데이터 포트 순서'는 '0부터 시작하여 연속'으로 설정됩니다. 검사를 위해 예상되는 최대 데이터 포트 수는 "DATATYPE_MAX+1"이고 데이터 유형은 인덱스 신호입니다.
'Default Case의 데이터 포트'는 '추가 데이터 포트'로 설정되고, '데이터 포트 순서'는 '1부터 시작하여 연속'으로 설정됩니다. 검사를 위해 예상되는 최대 데이터 포트 수는 "DATATYPE_MAX"이고 데이터 유형은 인덱스 신호입니다.
Simulink® Check™로 구매 가능합니다.
매개변수화 확인
Model Advisor 구성 편집기를 사용하여 분석에 확장자가 .m
인 파일을 포함하도록 이 검사를 구성할 수 있습니다. 이 기능을 활성화하려면 입력 파라미터 섹션에서 모델에서 참조된 외부 .m 파일 검사를 선택합니다.
결과 및 권장 조치
상태 | 권장 조치 |
---|---|
모델에 있는 하나 이상의 Simulink 블록에는 정수 또는 열거형 이외의 데이터 유형을 갖는 인덱스 신호가 있습니다. | 블록 인덱스 신호의 데이터 유형을 인덱스 값의 범위를 포함하는 정수 또는 열거형 데이터 유형으로 변경합니다. |
하나 이상의 MATLAB 함수 블록에 부적절한 데이터 유형의 인덱스 변수가 있습니다. | 인덱스 변수의 데이터 유형을 인덱스 값의 범위를 포함하는 정수 또는 열거형 데이터 유형으로 변경합니다. |
모델에 있는 하나 이상의 Stateflow 차트에는 정수 또는 열거형 이외의 데이터 유형을 가진 인덱스 변수가 있습니다. | 블록의 인덱스 신호의 데이터 유형을 인덱스 값의 범위를 포괄하는 정수 또는 열거형 데이터 유형으로 변경합니다. |
참고
어떤 경우에는 검사를 통해 인덱스 신호의 데이터 유형을 확인하지 못할 수도 있습니다. 이러한 사례는 정보로 표시됩니다.
기능 및 제한 사항
이 검사는 대화 상자 세트 색인을 지원하지 않습니다.
마스크된 하위 시스템의 콘텐츠를 분석합니다. 기본적으로 입력 매개변수 Look under masks는
그래픽
로 설정됩니다.라이브러리에 연결된 블록의 내용을 분석합니다. 기본적으로 입력 매개변수 Follow links는
켜기
로 설정됩니다.블록 및 차트를 제외할 수 있습니다.
벡터에 정수 또는 열거형 데이터 유형이 포함된 경우에도 벡터 인덱싱에 플래그를 지정합니다.
참조: