Check data types for blocks with index signals (인덱스 신호를 갖는 블록에 대한 데이터형 검사)

검사 ID: mathworks.hism.hisl_0022

이 검사는 정수나 열거형이 아닌 데이터 유형을 가지면서 인덱스 값의 범위 내에 있는 인덱스 신호가 있는 블록을 식별합니다.

이 검사는 Simulink의 다음 타깃 컴포넌트에 적용됩니다.

이 검사는 인덱싱에 다음 데이터 유형을 허용합니다.

참고

인덱스 벡터의 최대 크기는 int32바이트를 초과할 수 없습니다. 자세한 내용은 Maximum Size Limits of Simulink Models 항목을 참조하십시오.

이 검사는 Stateflow의 다음 타깃 컴포넌트에 적용됩니다.

다음과 같은 case에 대해 Multiport Switch를 고려해 볼 수 있습니다.

'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™와 함께 사용 가능합니다.

모델 어드바이저 구성 편집기를 사용하면 .m 확장자를 가진 파일을 분석에 포함하도록 이 검사를 구성할 수 있습니다. 이 기능을 활성화하려면 입력 파라미터 섹션에서 모델에서 참조된 외부 .m 파일 검사를 선택하세요.

상태	권장 조치
모델의 하나 이상의 Simulink 블록에 정수나 열거형이 아닌 다른 데이터 유형을 갖는 인덱스 신호가 있습니다.	블록 인덱스 신호의 데이터 유형을 인덱스 값 범위를 포괄하는 정수 또는 열거형 데이터 유형으로 변경합니다.
하나 이상의 MATLAB 함수 블록에 부적절한 데이터 유형의 인덱스 변수가 있습니다.	인덱스 변수의 데이터 형식을 인덱스 값 범위를 포괄하는 정수 또는 열거형 데이터 형식으로 변경합니다.
모델의 하나 이상의 Stateflow 차트에 정수나 열거형이 아닌 다른 데이터 유형을 갖는 인덱스 변수가 있습니다.	블록의 인덱스 신호의 데이터 유형을 인덱스 값 범위를 포괄하는 정수 또는 열거형 데이터 유형으로 변경합니다.

참고

어떤 경우에는 검사가 인덱스 신호의 데이터 유형을 판별하지 못할 수도 있습니다. 이런 경우는 정보를 표시하는 플래그가 지정됩니다.