isvalid

메시지가 유효한지 결정합니다.

구문

isvalid(message_name)

isvalid(message_name)은 입력 메시지 또는 로컬 메시지가 유효한지 검사합니다. 차트가 대기열에서 메시지를 제거한 후 전달하거나 폐기하지 않으면 메시지는 유효합니다.

상태 A가 활성이면 메시지 M을 수신합니다. 메시지의 데이터 값이 3과 같으면 메시지를 폐기합니다. 그런 다음, 상태 B가 활성이면 메시지 M이 여전히 유효한지 검사합니다. 메시지가 유효하고 데이터 값이 6과 같으면 메시지를 폐기합니다.

상태 A에서:

during:
   if receive(M) == true
      if M.data == 3
         discard(M);
      end
   end

상태 B에서:

during:
   if isvalid(M) == true
      if M.data == 6
         discard(M);
      end
   end

Stateflow chart that uses the isvalid operator in two parallel states.

R2015b에 개발됨